先日購入させていただいた次の本を読んでいると、「そうなんだ、それは知らなかった」という、ちょっとした話が記されていた。 石川文康 『カントはこう考えた 人はなぜ「なぜ」と問うのか』、ちくま学芸文庫、筑摩書房、2009年 18世紀のドイツの大学で、ア…

まずは書籍から。 Gottlob Frege Collected Papers on Mathematics, Logic, and Philosophy, Brian McGuinness ed., Max Black et al. trans., Basil Blackwell, 1984 Haskell B. Curry, Robert Feys with two sections by William Craig Combinatory Logic,…

Jan van Eijck and Christina Unger Computational Semantics with Functional Programming, Cambridge University Press, Due in October 2010

先日は某所のいくつかの箇所を散策してくる。散策したところについて、簡単な感想を記しておきます。 SIMK: ひどく狭い。もっと大きく広いところと思っていた。こんなに狭くていいのかな、という気がしてくる。OS: こんな地形になっていたんだ、知らなかった…