巨大数を語り合うスレ (244レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
243: 08/03(日)08:43 ID:Cgae5iMx(1) AAS
アッカーマン演算子
X=変数が0個以上([]c_0[]c_1[]c_2[]...[]c_(n-1)[]c_n)
0[]=1
(a+1)[]=(a[])+1
(0[]){n+1}0=(1[]){n+1}
(a+1)[](0[]){n}0=((a[](0[]){n}0)[]){n+1}
(0[]){n+1}(b+1)X=(1[]){n+1}(b)X
(a+1)[](0[]){n}(b+1)X=(a[](0[]){n}(b+1)X[]){n+1}(b)X
0[](0[]){n+1}=(1[]){n+1}1
(a+1)[](0[]){n+1}=(a[](0[]){n+1}){n+1}(a[](0[]){n+1})
(0[]){n+1}(b+1)X[]=(1[]){n+1}(b)X[]
(a+1)[](0[]){n}(b+1)X[]=(a[](0[]){n}(b+1)X[]){n+1}(b)X[]
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.019s