T氏の

線形論理に関する講演を聴く。面白い。何と何が「線形」なのかをやっと理解しました、はい。ついでに「線形論理でラムダ項を微分する」という人たちがいることを聞く。謎だ。とにかく、そんなこんなで最近線形論理がとても楽しい。集合論の講演には出ず、都合で１６時に抜け帰宅。
あまり関係ないが本日昼どうしても蕎麦が食べたくなって、京大周辺を探し歩く。やっと見つけたのが30分後、大学病院の南。おいしかったが、非常に疲れた。ふくらはぎが痛い。