正体不明の飛行円盤と源三位頼政の弓数 は、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)。