2009-11-17 ■ 寒い日。朝は雨、夕方には止む。今年始めてセーターを着て出勤。研究所でSMTツールの続き。午後は非常勤先で授業、本日は矛盾律と矛盾許容論理について。Gの空手着の写真が一部に妙に受けていた。帰宅して夕食は回鍋肉丼。