2004年のTuring賞はインターネットの基本的なプロトコルであるTCP/IPの提唱者V.CerfとR.Kahnに決まった。正式発表。Turing賞についての日本語解説はこちら。

時間感覚ややる気を含めかなりのものが崩壊。嫌になったので気分転換に出かける。

E.Lepore & H.Cappelen, Insensitive Semantics, Blackwell, £19.99. 文脈を意味論にどのように取り込むか。 W.Dunham, The Calculus Gallery: Masterpieces from Newton to Lebesgue, Princeton UP, $29.95. 解析史の一次文献。 A.Elitzur, S.Dolev & N.Kol…