2011-12-17から1日間の記事一覧
個人的に興味深い Frege の発言を見かけたので、ここに記しておきます。なお、今回のこの日記項目には、おちや結論はございません。おちや結論をあえて付け加えてもよいのですが、その場合、かなり個人的な結論となりそうで、いいかげんにすぎるから、やめて…
Michel Parigot ''λμ-Calculus: An Algorithmic Interpretation of Classical Natural Deduction,'' in A. Voronkov ed., Logic Programming and Automated Reasoning: International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992, Proce…
一週間ほど前、部屋の天井の照明がつかなくなった。 照明器具内の蛍光灯が寿命を迎えたものと思い、蛍光灯を買いに出かけ、取り替えてみた。 しかし、全然光は戻らない。 どうやら照明器具本体の電子的装置が壊れたらしい。 なぜだかはわからない。説明書の…