18時より20時まで。参加者5人、終了間際にもう一人。Davidsonの「概念枠という考え方について」を分析し、「概念枠」と言うアイディアを擁護する。面白かったです。が、メイン部分は、また次回ということに。終了後、22時半まで小飲み会。

今日も晴れ、しかし寒い。起床は8時半、本日から冬用のコートを着て出勤。 自宅近くの朝の風景。 職場近く。昼食の買い出し時。 Agdaのコードで、昨日指摘された場合分けを埋める。そうすると、やっぱりTerminateしない。午後の打ち合わせの時間に上司に相談…