■

朝まで某原稿。何とか完成し、寝て昼に起きる。どたばたと出かける。今日はカレーを食べにいく日。疲れているのと寝起きなのと運動してきた後なので、あまり食べられず。そもそも味もよく分からず、だった。もったいないことをした。ＣＤ屋へ。ついＣＤを買ってしまう。古本屋へ。つい本を買ってしまう。喫茶店でくつろぐ。

その後大学へ。今日の話題はこれですかね。

• J.-Y. Girard, `Between logic and quantic: a tract', in T.Ehrhard et al. (eds.), Linear Logic in Computer Science, Cambridge, 2005.

Linear Logicをもっと勉強しとかないとなぁ。あれっこの本、今年に出たんだっけ。ずいぶん前のような気がしたが。