チャーチ数3を考える。その前に、 X`YZ s`kXYZとなる。なぜか? X`YZ kXZ`YZ s`kXYZこれで内側の関数の引数を外に出すことができる。 というわけでチャーチ数3。 X`X`XY X(kXY`XY) X(s`kXXY) X(s`kXXY) X(ksX`kXXY) X(s`kskXXY) X(s`kskX`iXY) X(s(s`ksk)iXY…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。