2010年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