今回から、宿題の答えはスライドではなく、板書とします。 授業スライド こちらから 宿題 こちらから

前回の復習 宿題の答え合わせ 命題のイメージ：BHK解釈 命題＝証明のデータ型

授業第四回目、BHK解釈および「命題＝証明のデータ型」についてのざっくりとしたお話です。