線形論理に関する講演を聴く。面白い。何と何が「線形」なのかをやっと理解しました、はい。ついでに「線形論理でラムダ項を微分する」という人たちがいることを聞く。謎だ。とにかく、そんなこんなで最近線形論理がとても楽しい。集合論の講演には出ず、都…

よく晴れる。気持ちのいい初夏の一日。京都の数解研で研究集会（第二日、ただし今日から参加）。数解研は農学部の隣にあるので緑に囲まれ、風もとても心地よい。昼休みに風を浴びていると一瞬意識が飛ぶ。