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

---

124: 2023/08/18(金)22:32 ID:Za+4pn1c(1) AAS
a,n,x := 非負整数
Y := 0個以上の非負整数
a:n := n個のa
f := 任意の関数
↑ := クヌースの矢印表記

$[f,0x]=x
$[f,n+1,x]=f($[f,n,x])

F()=10
F(0)=F()↑^[F()]F()
F(x+1)=F(x)↑^[F(x)]F(x)

B[](x)=F(x)
B[0:n+1](x)=A(x:n+1)
B[0:n,a+1,Y](x)=A(x:n+1,a,Y)

A()=$[F,F(F()),F()]
A(0:n+1)=$[B[0:n],B[0:n](A(0:n)),A(0:n)]
A(0,a+1,Y)=$[B[a+1,Y],B[a+1,Y](A(0,a,Y)),A(0,a,Y)]
A(x+1,Y)=$[B[Y],B[Y](A(x,Y)),A(x,Y)]

A(100:100)を酸数とする

---

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

---

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

---

ぬこの手 ぬこTOP 0.013s