Math - 新言語、(), [] and {} : 404 Blog Not Found2010年09月28日00:00 カテゴリMathLightweight Languages Math - 新言語、(), [] and {} To Mock a Mockingbird Raymond M. Smullyan [邦訳:数学パズル ものまね鳥をまねる] ()、[]、{}の三姉妹を紹介します。 You gotta love ()! その名は()、読み方は"parens"です。複数形。ペアでないとsyntax errorなので。()は名前であると同時に、Iコンビネータでもあり、そのチャーチ数は1にしてブール演算のif。名は体をあらわす()、もとい格好の例でもあります。 ()が1であることは、以下でご確認いただけます。 /* bool */ var pT, pF; p(cb2bool( pT = parens('((()))') )); p(cb2bool( pF = paren
![Math - 新言語、(), [] and {} : 404 Blog Not Found](https://cdn-ak-scissors.b.st-hatena.com/image/square/da78a05937633f7a2b4b2219826151c370cd607b/height=288;version=1;width=512/https%3A%2F%2Fparts.blog.livedoor.jp%2Fimg%2Fusr%2Fcmn%2Fogp_image%2Flivedoor.png)
