Tags
2 ページ目
Formal-Verification
プログラムを1回も動かさずに、なぜ「絶対にバグが起きない」と証明できるのか：形式検証とモデル検査の科学
型理論とカリー＝ハワード同型対応：命題＝型、証明＝プログラムの深遠なる調和
