■

湿度の高い日。出勤してコード書き、昨日型検査にパスした同じコードが、今日型検査をしたら不合格となり、慌てる。結局、Set1のobjectをSetを書いていたのが原因だった。
午後は共同研究先と会議。コード書きをし、Tkさんと「AgdaにAgdaを埋め込む」話をしてから22時に帰宅。夕食は豚肉のトマトソースとマッシュポテト。