クラムボン, ドラマチック, 2001. The John Coltrane Quartet, Coltrane, 1962. Astor Piazolla, Live in Wien, 1983.

Bertrand Russell, The Principles of Mathematics, 1902. の読書会。何回目か分からないがたぶん20回くらいはやったのではないかと思う。またまたよく分からない話が展開される。

因果論に関して、こないだふと考えた変な話を書く。いま、入力を一つ受けてそれを変数に代入し、2を加えて出力するプログラムを考える。変数の型は自然数であると宣言されていたとすると、このプログラムはラムダタームλx:N.(λy:N.y+2)xによって表現される*1…

読書会。その後、Ｙ氏の修論完成祝賀会で焼き肉。久しぶりに焼き肉に行った。

B.Pierce (ed.), Advanced Topics in Types and Programming Languages, The MIT Press, $65. タイプ理論の中級者向け参考書。 S.Franchi & G.Güzeldere (eds.), Mechanical Bodies, Computational Minds, The MIT Press, $45. 様々な分野からの人工知能研究…