■

昼間は比較的暖かく、昼食にラーメンを食べいただけで汗だくになってしまった。しかし日が暮れるととたんに寒くなる。
午前中は研究所、明日のプレゼン内容について説明を行う。午後に非常勤先の大学に向かい、授業。本日はM君が出席していて、Belnap の uniqueness条件を省略したことについて突っ込みを受ける（授業時間が足りないんや…）。その後ゼミ2件、S君が某国から一時帰国していた。24時に帰宅。