よく晴れた日、しかし肌寒い。起床は8時15分、出勤してコード書き。昼は会議。その後TkさんにAgda2における否定文の証明法を聞く。20時に退所、21時半に帰宅。夕食は穴子ご飯と石狩汁。科学哲学会の発表練習をする。現在の原稿ではとても25分（ただしそのう…