■

朝は雨、昼には止むが依然として湿度が高い。出勤して会議とコーディング。ひさびさにKtさんに質問、構成主義の不便さと、Agdaの"magic with"構文がAgdaに読んでもらえないケースの話について。再度コーディングしていたら、読書会の時間に間に合わなくなる。
結局帰宅は22時。夕食はキングサーモンのムニエルとタルタルソース。