帰宅前、駅近くの本屋で購入、電車内で読了。多分いい本だと思うのですが、私は好きになれません。立場的にはウィトゲンシュタイン（とダメット）をほのめかしながら、可能無限→際限なき拡張可能性という路線で、集合論および「実無限」という考え方をシメて…

東北大の富山先生による、項書き換え系の有名な定理：二つのconfluentな項書き換え系で、関数記号や定数記号を共有しないものは modularity を持つ、の前提条件を減らして証明した、という話。Terminationする場合は簡単だが、もちろんTerminationしない場合…

起床は8時半、出勤途中に「絶望先生」11巻を買って読む。到着後はデータ型を考える。良さそうな案を思いつく。午後は講演会。退所は20時、22時近くに帰宅。