情報証明論
目次
第１節 もう少し証明らしい証明
第２節 型の宣言や変換
第３節 変数の同等な型
第４節 型の階層
テスト
Logをみる
Back（情報証明論表紙）
第２章 証明の実行
第２章 証明の実行