ルノー凄い。アロンソはフィジコとは違ってマシンバランスが大きく崩れるということもなく。素晴らしい走りだった。ある意味ではルノーより、トヨタに拍手。初の表彰台。去年とはまるで違うチームのようだ。ドライバーとガスコインの力なのだろうか。今後に…

そっか、analytical phenomenologyという言い方はすでにあるのですね。まあ私が興味あるのはtype-theoretical phenomenologyだな。なんだこれ。

がしがしとやる。３時間くらい。たくさんやったつもりでも２ページ。宿題として残しておいた、「有限生成群の部分群は有限生成群である」の証明がうまくいかない。生成元が一つ（巡回群）の場合は簡単にいけるのだが、同じ論法でやろうとしてもどうも。もう…

言語哲学の有名人、Paul HorwichがCity University of New YorkからNew York Universityへ。CUNYの後釜は誰だろう。

Michael Fisher, Dov Gabbay & Lluis Vila (eds.), Handbook of Temporal Reasoning in Artifical Intelligence 1, Elsevier, £114. Erich Klement & Radko Mesiar (eds.), Logical, Algebraic, Analytic and Probabilistic Aspects of Triangular Norms, El…