ボーナスで注文したCDの第一陣「バッハ:フーガの技法」（トン・コープマン）が届いていた。

h氏のおすすめで「現代の論理的意味論」（野本和幸）を借りてくる。カプランについて日本語で読める唯一の本か。いろいろなことが書いてあり、便利。

数学会の2005年秋期での講演を申し込むことになり、急いで申込書類を作成、投函する。内容はIGPLに掲載されたやつ。

暑い。今朝、ついに蝉が鳴き始めた。 本日はA教授の"Simple type theory"の授業の最終回。ためになる授業でした。