っていうのもけっこう前からネットで話題になってるものですが、MouRaというページがインタビューをしたらしい。なぁんだ顔出てないじゃないか。頑張れ僕らの白石さん。

相変わらず眠れず、睡眠時間が短い。今日の昼は知り合いに連れられて神田にある老舗の蕎麦屋へ。ちゃんとした蕎麦屋で食べたのはとっても久しぶりだった。それから図書館へこもり、こないだのカテゴリーのとこを考える。Croleと同じような定理を書いている本…

野矢茂樹、『他者の声 実在の声』、産業図書、¥2200. エッセイ集。出ました。 Iman Hafiz Poernomo, J.N. Crossley & Martin Wirsing, Adapting Proofs-as-Programs: The Curry--Howard Protocol, Monographs in Computer Science, Springer, €69.5. カリー…