サクサク読めて、
アプリ限定の機能も多数！
アプリで開く
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
ここにツイート内容が記載されますhttps://b.hatena.ne.jp/URLはspanで囲んでください
Twitterで共有ONにすると、次回以降このダイアログを飛ばしてTwitterに遷移します
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
My job these days is teaching TLA+ and formal methods: specifying designs to find bugs in them. B...My job these days is teaching TLA+ and formal methods: specifying designs to find bugs in them. Butjust knowing the syntax isn’t enough to write specs, andit helps to have examples to draw from. I recently read Chris Siebenmann’s Even inGo, concurrency is still not easy and thoughtit would make agood case study for writing a spec. Init, he gives an example ofGo code which deadlocks: /*1 */
