正体不明の飛行円盤と源三位頼政の弓数 は、mrna[1]が2019年5月12日に公開した巨大数である。[2][3]第3回東方巨大数Normal部門で優勝した。近似値は\(f_{\omega^{\omega^{\omega^3}}}(f_3(257))\)。

定義

  • \(A,B,C,D,E:\) 非負整数、丸括弧、\("-"\)(演算子ではなく記号)、\("→"\)、\("↑"\)のみからなる文字列。
  • \(a,b,n:\) 非負整数
\(0. ((A))=(A)\) ※部分文字列に対して適用可能
\(1. A-0=A\) ※部分文字列に対して適用可能
\(2. f_{(0)}(n)=n+1\)
\(3. f_{(A-(a+1))}(n)=f^n_{(A-(a))}(n)\)
\(4. f_A(n)=f_{A[n]}(n)\)
\(5. (0→A)[n]=(A)\)
\(6. (A→a)[n]=((A→0)-a)\)
\((a)[n]=(a-0)\)
\(7. (a+1→0→0...\{b\})[n]=(a→n→0...\{b\})\)
\((A→a+1→0→0→...\{b\})[n]=(A→a→n→0...\{b\})\)
\(8. ((A↑B)→(C↑D))[n]=((A↑B)→(C↑D)[n])\)
\((E→(A↑B)→(C↑D))[n]=(E→(A↑B)→(C↑D)[n])\)
\(9. (A↑0)[n]=(A→A→...\{n\})\)
\(10. (A↑(B-(a+1)))[n]=((A↑(B-a))→(A↑(B-a))...{n})\)
\(11. (A↑B)→0...{a}=(A↑B)\)
\(C→(A↑B)→0...{a}=(C→(A↑B))\)
\(12. (A↑B)[n]=(A↑(B)[n])\)
\(13. →A...\{a\}=\underbrace{→A→A...→A}_{→Aがa個}\)
\(A→B...\{0\}=A\)

正体不明の飛行円盤と源三位頼政の弓数 \(=f_{(②↑(②↑(②→②→②)))}  (②)\)

ただし、②はスタインハウス・モーザー表記のCircle(2)。

出典

特に記載のない限り、コミュニティのコンテンツはCC-BY-SAライセンスの下で利用可能です。