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

---

239: 08/01(金)21:40 ID:cQC0OLXo(1/4) AAS
この巨大数M_4,M_nを論理的に評価してください。

変数は全て0以上の整数
↑=クヌースの矢印表記

G_64はグラハム数
G_0=4
G_(n+1)=3↑^[G_n]3

Ackはアッカーマン関数
省42

---

240: 08/01(金)21:41 ID:cQC0OLXo(2/4) AAS
ここで下記の定義を加えます。

X=0個以上の変数
a:n=n個のa

再帰定義を下記の4行に圧縮します。

F[0:n+1](0)=F[N:n](N)
F[0:n+1](a+1)=F[F[0:n+1](a):n](F[0:n+1](a))
F[X,b+1,0:n](0)=F[X,b,N:n](N)
省5

---

241: 08/01(金)23:11 ID:cQC0OLXo(3/4) AAS
更に下記定義を加えます。

Y=0個以上の変数

F[][](0)=F[M:M](M)
F[][](a+1)=F[F[][](a):F[][](a)](F[][](a))
F[Y][0:n+1](0)=F[Y][M:n](M)
F[Y][0:n+1](a+1)=F[Y][F[Y][0:n+1](a):n](F[Y][0:n+1](a))
F[Y][X,b+1,0:n](0)=F[Y][X,b,M:n](M)
省7

---

242: 08/01(金)23:13 ID:cQC0OLXo(4/4) AAS
あ！MはM_nのことです。

---

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

---

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

---

ぬこの手 ぬこTOP 0.692s*