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