授業スライド こちらから 宿題 今回はなしとします（スライドには載っていますが）。

前回の復習 前回の宿題 証明の正規化 ダメットのharmony

授業第十四回目、本日は証明の正規化の話をします。