12/06：休講 12/13：平常授業（古典論理の完全性定理1） 12/20：平常授業（古典論理の完全性定理2） 1月：2回程度（カリー・ハワード対応） 1月の授業は、エクストラ扱いで、成績にはカウントしません。 また、12/13に成績（および必要な人のための特別課題…

12/6（火）は休講です。