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

---

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

---

156: １３２人目の素数さん [sage] 2024/03/06(水) 01:00:55.66 ID:Rot0tfTt(1) AAS
a,b,c,n := 非負整数
X := 0個以上の非負整数
a:n := n個のa
a:n+b := a:(n+b)
a[X]b[X]c := a[X](b[X]c)

A()=1
A(0)=A()+1
A(a+1)=A(a)+1
A(0:n+2)=A(A(1:n+1):n+1)
A(0:n+1,a+1)=A(A(0:n+1,a):n+1)
A(X,b+1,0:n+1)=A(X,b,A(X,b,1:n+1):n+1)
A(X,b+1,0:n,a+1)=A(X,b,A(X,b+1,0:n,a):n+1)

0[]0=A(A(1):A(1))
(a+1)[]0=A((a[]0):(a[]0))
0[](b+1)=(1[]b)[]b
(a+1)[](b+1)=(a[](b+1))[]b
a[0]0=a[]a
a[0](b+1)=a[](a[0]b)
a[0:n+2]0=a[a:n+1]a
a[0:n+2](b+1)=a[(a[0:n+2]b):n+1]a
a[0:n,c+1,X]0=a[a:n,c,X]a
a[0:n,c+1,X](b+1)=a[(a[0:n,c+1,X]b):n,c,X](a[0:n,c+1,X]b)

10[10:10]10をテンフォーテンテン数とする

---

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

---

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

---

ぬこの手 ぬこTOP 0.029s