2010年09月30日03:30 カテゴリMath Math - 01者で読んでいないと恥ずかしい必読論文 これは恥ずかしい。 10代で読んでいないと恥ずかしい必読書 - その1 - PictorialConnect 何が恥ずかしいって、なんといってもその分量。 必読っていうなら、なるべく短くなくちゃ。 Binary Lambda Calculus and Combinatory Logic 読むべきなのは、こちら。 John's Combinatory Logic Playground http://homepages.cwi.nl/~tromp/cl/LC.pdf わずか20ページのこの論文は、著者が見いだした Binary lambda calculus (以下BLC)と Binary combinatory logic (以下BCL)の簡潔な説明であると同時に、Binary抜きの