ごめん、また Lazy K の話なんだ。 チャーチ数にはやたらと (S(KS)K) が出てくるので、(S(KS)K) を纏めると短くなることが多い。ということで、 (S(KS)K) を後ろにつけるとチャーチ数になる式。0、1、4、16、64 など prelude.scm、prelude-numbers.scm のままの方が短くなる数もあるので注意。 0 K(KI) 1 KI 2 SS(KI) 3 SS(SS(KI)) 4 SSI(SS(KI)) 5 SS(SSI(SS(KI))) 6 S(SSS)(SS(KI)) 7 SS(S(SSS)(SS(KI))) 8 S(S(KS)(SS))I(SS(KI)) 9 SS(SS)(SS(KI)) 10 SS(SS(SS)(SS(KI))) 11 SS(SS(SS(SS)(SS(KI)))) 12 S(SSS)(SS(SS(KI))) 13 SS(S(