ちょっと偉そうに書いてますけどコンビネータとは何かについて知ってる事を書きます。コンビネータとは、 女 男 -> 子供 子供 子供のように二つの物がくっついて何かが生まれるという単純なルールを元に行う算術です。くっつくのは二つと決まってますが、生…

週末は Linear Logic and Permutation Stack -- The Forth Shall Be First http://home.pipeline.com/~hbaker1/ForthStack.html 読んでいた。思ったのは、線形論理が私の人生の疑問の半分くらいを解決するだろうという事。そしてアランさんの言うコンピュー…