■

よく晴れた日、しかし肌寒い。起床は8時15分、出勤してコード書き。昼は会議。その後TkさんにAgda2における否定文の証明法を聞く。20時に退所、21時半に帰宅。夕食は穴子ご飯と石狩汁。科学哲学会の発表練習をする。現在の原稿ではとても25分（ただしそのうち質疑応答時間3分、なので実質20分）に収まりきらないことが発覚、あわてて短縮作業に入る。
ややこしいときにややこしいことは重なるもので、2月に投稿した論文のreject通知が届く。がっかりするが、long pass を狙いすぎたというのが正直な感想。まだ一回目なので、refereeのコメントを参考に修正し、早めの第二回投稿を目指そう。