10時半に出発、科学哲学会へ。午前中の発表は論理関係の二つを聞く。秋吉亮太氏の発表「Taitの保存拡大定理について」は、型理論 CH (Curry-Howard) が直観主義自然演繹の保存拡大になっている、というTaitの定理の証明は間違っているが、Taitの元のアイディ…

一日中小雨が降り続く、肌寒い日。実家泊、起床は10時。Cは母とお茶会に出かけたそうで、父と朝食。