2006-05-08から1日間の記事一覧

Alben Berg Quartet, Haydn: String Quartets No. 76-78, 1993/94. Dream Theater, The Lost Paris Tapes, 1998. ブートレグ。

分からなくて一ヶ月以上放置していた問題が解けた。とても簡単だった。なんであんなに分からなかったんだろう。。。

Curry-Howard isomorphism

この日記のこのエントリー、いつも拝見してますけどとても面白いのでリンクしておきます。カリー・ハワード対応は論理学、数学、計算機科学、哲学と人によって違う観点からいろいろなことが聞けて楽しい話題。

Tom Rockmore & Daniel Breazeale (eds.), Rights, Bodies and Recognition: New Essays on Fichte's Foundations of Natural Right, Ashgate, $99.95. フィヒテの自然法論。 David Coady (ed.), Conspiracy Theories: The Philosophical Debate, Ashgate, $…