2020-09-01から1ヶ月間の記事一覧

2020-09-26

関数プログラミングと形式手法の振り返り

形式手法大学院

本日で春先から受講していたJAISTの授業I217関数プログラミングを終えました。経緯としてはSET(Software Engineer in Test)界隈で形式手法が取り上げられることがあり、自分の業務守備範囲からそう遠くない領域だったため興味を持ち受講しました。今回学ぶ…

2020-09-11

Coroutine Suspending Functionsを理解したい2

Kotlin Coroutine

続きの記事です。 Coroutine Suspending Functionsを理解したい1 - sky’s 雑記振り返り fun main(args: Array<String>) { CoroutineScope(Dispatchers.Main).launch { println("start") greet() println("end") } } suspend fun greet() { println("suspended!!") }</string>…