[B! formal-methods][speaker-deck] nabinnoのブックマーク

nabinno id:nabinno

formal-methodsとspeaker-deckに関するnabinnoのブックマーク (3)

「厳密な共通言語」としての形式手法 #devsumi / Developers Summit 2020
Developers Summit 2020 で使用したスライドです。言葉というものは曖昧です。複数人が「ともにつくる」システムにおいて、メンバ間で仕様を正しく共有することは非常に重要ですが、一方で言葉の裏側に隠された「暗黙の仮定」を見抜くことは簡単ではありません。このような仕様の曖昧性への対抗…
nabinno 2020/02/16
speaker-deck

formal-methods

tla+

software-testing
リンク
テスト駆動開発から証明駆動開発へ #JTF2019 / July Tech Festa 2019
July Tech Festa 2019 で使用したスライドです。近年、テストを書く文化は広く普及しており、開発フローにおいて自動テストを組み込むことはもはや常識となりました。しかしよく考えてみると、有限個のテストケースが保証しているのは、所詮「特定の有限個の入力に対する出力」にしか過ぎません。…
nabinno 2019/12/08
speaker-deck

coq

formal-methods

software-testing

concurrent-computing
リンク
君の並行処理は実行するまでもなく間違っている #golangtokyo / golang.tokyo 20th
golang.tokyo #20 で使用した論文紹介スライドです。 Go のチャネルによる並行処理は強力で魅力的な機能ですが、同時にバグが発生しやすくかつ発見しづらい部分でもあります。この論文では、Go プログラムからその挙動を形式的に記述した振舞い型 (behavioural types) を抽…
nabinno 2018/12/19
speaker-deck

go

concurrent-computing

formal-methods
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx