巨大数を語り合うスレ (244ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

169: 2024/03/23(土)00:27 ID:j12Ybla6(1)調 AAS
a,b,c := 非負整数

a{}0=a
a{}(b+1)=1+(a{}b)
a{0}0=0
a{0}(b+1)=a{}(a{0}b)
a{}0=1
a{c+1}(b+1)=a{c}(a{c+1}b)

X := 0個以上の(非負整数∨任意の記号)

左辺=a[X](b+1) → @=a[X]b

n0 := 非負整数
X0 := 0個以上の非負整数
X0 が1個以上 → 右端は非負整数
a:b := b個のa
a:b+c := a:(b+c)

a[]0=a{a}a
a[](b+1)=@{@}@
a[0:n0+1]0=a[a:n0]a
a[0:n0+1](b+1)=@[@:n0]@
a[X0,c+1,0:n]0=a[X0,c,a:n0]a
a[X0,c+1,0:n0](b+1)=@[X0,c,@:n0]@

n1 := 非負整数
X0,X1 := 0個以上の(非負整数∨[])
X1 が1個以上 → 右端は[]

a[[]:n1+1]0=a[a:a,([],a:a):n1]a
a[[]:n1+1](b+1)=@[@:@,([],@:@):n1]@
a[X1,0:n0+1,[]:n1]0=a[X1,a:n0,([],a:a):n1]a
a[X1,0:n0+1,[]:n1](b+1)=@[X1,@:n0,([],@:@):n1]@
a[X0,c+1,0:n0,[]:n1]0=a[X0,c,a:n0,([],a:a):n1]a
a[X0,c+1,0:n0,[]:n1](b+1)=@[X0,c,@:n0,([],@:@):n1]@

n2 := 非負整数
X0〜X2 := 0個以上の(非負整数∨[]∨[][])
X2 が1個以上 → 右端は[][]

a[[][]:n2+1]0=a[a:a,([],a:a):a,([][],a:a,([],a:a):a):n2]a
a[[][]:n2+1](b+1)=@[@:@,([],@:@):@,([][],@:@,([],@:@):@):n2]@
a[X2,[]:n1+1,[][]:n2]0=a[a:a,([],a:a):n1,([],a:a):a):n2]a
a[X2,[]:n1+1,[][]:n2](b+1)=@[@:@,([],@:@):n1,([][],@:@,([],@:@):@):n2]@
a[X1,0:n0+1,[]:n1,[][]:n2]0=a[X1,a:n0,([],a:a):n1,([],a:a):a):n2]a
a[X1,0:n0+1,[]:n1,[][]:n2](b+1)=@[X1,@:n0,([],@:@):n1,([][],@:@,([],@:@):@):n2]@
a[X0,c+1,0:n0,[]:n1,[][]:n2]0=a[X0,c,a:n0,([],a:a):n1,([],a:a):a):n2]a
a[X0,c+1,0:n0,[]:n1,[][]:n2](b+1)=@[X0,c,@:n0,([],@:@):n1,([][],@:@,([],@:@):@):n2]@

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.012s