プログラムの正しさを数学的に証明する形式検証への招待 (2025/06/21 12:00〜)

DRANK

# セミナーの内容 プログラムの正しさを数学的に証明する技術を体験するセミナーです。プログラミングやテストに携わる人が対象です。基本的なプログラミングの知識だけで理解できる構成です。単に話を聞くだけでなく、手を動かして体験していただきます。数学を使う部分はほとんどツールがやってくれるので、数学の知識不足を心配する必要はありません。 ## 数学を使う オペレーティングシステムの研究やダイクストラ法で有名なダイクストラさんはいいました：「テストでバグがあることをは示せるが、バグがないことは証明できない！」 なぜ証明できないのでしょうか？ テストケースの数が多すぎて網羅できないからです...