Collard, Previn/RPO, Saint-Saëns Piano Concertos No.1-5, 1987/88. これはとてもよい。

ってかソースを加えた時やアップグレードする時はapt-get updateやってからapt-get dist-upgradeやるんじゃないか。aptの使い方すら勉強してないのだ。。。

殴り書き。反復的集合観に対する批判としてかなり強力なのは、分出公理図式と置換公理図式の正当化がうまくいかないということがある。そもそも置換公理図式はブーロスの言うように、他の公理と異なる発想の下にあるので別に扱わなければならないだろう。実…

ここ数日、早起きしているので気持ちがよい。午後から研究会。うーむ。終わって飲み。

Pawel Urzyczyn (ed.), Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings, Lecture Notes in Computer Science, Band 3461, Springer, €59.92. おおっＴ井さんの論文が載って…