ここ見ながらとりあえずチャーチ数で2を表現してみる。 ^f^x`$f`$f$x ^f``s`k$f``s`k$fi ``s``s`ks``s`kki``s``s`ks``s`kki`kiなんかできた。そこでこれをちょっと書き直して、 s(s`ks(s`kki))(s(s`ks(s`kki))`ki)とかした上で引数FとXを付けて本当にチャー…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。