h氏と夕食。居酒屋がいっぱいだったので、河原町の王将で餃子を食べて帰る。

○○君が○○（じゃないらしい○○）連れで来ていたが、話の最中ずっと○○いた。

松阪先生と戸田山先生のお話が面白かったです。 LandiniのRussellのsubstitution theoryに関する解説記事が、Companion to Russell (Cambridge University Press, 2003, pp. 241-285)にあったので、こんどみてみよう（時間があったら）。

Cと八坂神社のすぐ南の「Trattoria みのうら」で昼食。カラスミのスパゲッティー、とてもおいしゅうございました。

なので某旧帝大での"On denoting" 100周年記念研究集会に行く。