■

今日も晴れ、しかし寒い。起床は8時半、本日から冬用のコートを着て出勤。

自宅近くの朝の風景。

職場近く。昼食の買い出し時。
Agdaのコードで、昨日指摘された場合分けを埋める。そうすると、やっぱりTerminateしない。午後の打ち合わせの時間に上司に相談し、結局カリー化して対応することに（単なる述語論理のはずなのに・・・）。16時半に退所、阪急駅前のスーパーでパックの寿司を買って大学へ。
23時に帰宅。