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

---

157(1): １３２人目の素数さん [] 2024/03/07(木) 17:07:05.21 ID:8d4JLJ+t(1) AAS
クヌースの矢印の拡張
足算や掛算にも対応
チェーン表記よりは大きいと思う

a,b,c,n は、非負整数
X は、0個以上の非負整数
a:n は、n個のa
a:n+b は、a:(n+b)

a↑^[]0 = a
a↑^[](b+1) = 1+(a↑^[]b)
a↑^[0]0 = 0
a↑^[0](b+1) = a↑^[](a↑^[0]b)
a↑^[c+1,X]0 = 1
a↑^[c+1,X](b+1) = a↑^[c,X](a↑^[c+1,X]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+1,c+1,X]0 = a↑^[a:n+1,c,X]a
a↑^[0:n+1,c+1,X](b+1) = a↑^[(a↑^[0:n+1,c+1,X]b):n+1,c,X]a

---

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

---

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

---

ぬこの手 ぬこTOP 0.932s*