フラン数第四形態改三は巨大数大好きbotが2018年3月22日に考案した東方巨大数である[1]。第2回東方巨大数に投稿された。近似値は\(f_{\varepsilon_4^{\varepsilon_4^{\varepsilon_4}}}(5)\)。
名称は東方Projectのフランドール・スカーレット[2](略称フラン)に由来する。
定義[]
- X, X' は任意の文字列
- Y は 0 個以上の ]
- n, A は自然数
適用できるルールが存在しないときは、その数は未定義とする。ただし、X' は以下のそれぞれの式で示された [] が対応しているようにとる。
- o n = n
- X-o n = X (n+1)
- X[]Y n = XY n
- X[X'-o]Y n = X[X']-o[X']-o ... -o[X']Yn ([X'] は n+1個)
- X[X'<0>o]Y n = X[X'-o[-o[...[-o]]]]Y n (-o は n個)
- X[X'<A>o]Y n = X[X'<A-1>o[<A-1>o[...[<A-1>o]]]]Y n (<A-1>はn個)
フラン数第四形態改三 = o-o[<5>o]5
修正[]
2021年8月7日、上の定義は誤植によりill-definedとなっていることがp進大好きbotにより指摘され、[3]、翌8日に誤植が修正された。[4]
修正内容は以下の通り。
定義の下2つを X[X'<0>o]Y n = X[X'-o[-o[...[-o]...]]]Y n (-o は n個) X[X'<A>o]Y n = X[X'<A-1>o[<A-1>o[...[<A-1>o]...]]]Y n (<A-1>はn個) に修正します。
近似[]
- o-o n = n+1
- o-o-o n = n+2
- o[-o]3 = o-o-o-o-o 3 = 7
- o[-o]n = 2n + 1
- o[-o-o]n = o[-o]-o[-o]-o...-o n ≈ 2^n
- o[-o-o-o]n = o[-o-o]-o[-o-o]-o...-o n ≈ 2↑↑n
- o[-o-o...-o]n = \( f_m(n+1)-2 \) (-oはm個) [5]
- o[-o[-o]]n = o[-o-o-o ... -o] n \(\approx f_\omega(n)\)
- o[-o[-o]]-o n \(\approx f_\omega(n+1)\)
- o[-o[-o]]-o[-o]n \(\approx f_\omega(2n)\)
- o[-o[-o]]-o[-o-o]n \(\approx f_\omega(2^n)\)
- o[-o[-o]]-o[-o[-o]]n \(\approx f_\omega^2(n)\)
- o[-o[-o]-o]2 = o[-o[-o]]-o[-o[-o]]2 \(\approx f_{\omega+1}(2)\)
- o[-o[-o]-o]n \(\approx f_{\omega+1}(n)\)
- o[-o[-o]-o-o]n \(\approx f_{\omega+2}(n)\)
- o[-o[-o]-o-o-o]n \(\approx f_{\omega+3}(n)\)
- o[-o[-o][-o]]n = o[-o[-o]-o-o ... -o]n \(\approx f_{\omega 2}(n)\)
- o[-o[-o][-o][-o]]n \(\approx f_{\omega 3}(n)\)
- o[-o[-o-o]]n = o[-o[-o]-o[-o] ... -o[-o]]n \(\approx f_{\omega^2}(n)\)
- o[-o[-o-o-o][-o-o][-o][-o]-o]n \(\approx f_{\omega^3 + \omega^2 + \omega 2 + 1}(n)\)
- o[-o[-o[-o]]]n = o[-o[-o-o ... -o]]n \(\approx f_{\omega^\omega}(n)\)
- o[-o[-o[-o]]]n \(\approx f_{\omega^\omega}(n)\)
- o[-o[-o[-o]]-o]n \(\approx f_{\omega^\omega+1}(n)\)
- o[-o[-o[-o]-o]]n \(\approx f_{\omega^{\omega+1}}(n)\)
- o[-o[-o[-o-o]]]n \(\approx f_{\omega^{\omega^2}}(n)\)
- o[-o[-o-[-o[-o]]]]n \(\approx f_{\omega^{\omega^\omega}}(n)\)
- o[-o[-o-[-o[-o[-o]]]]]n \(\approx f_{\omega^{\omega^{\omega^\omega}}}(n)\)
- o[<0>o]n = o[-o[-o[...[-o]]]]n \(\approx f_{\varepsilon_0}(n)\)
- o[<0>o-o]n \(\approx f_{\varepsilon_0+1}(n)\)
- o[<0>o-<0>o]n \(\approx f_{\varepsilon_0 2}(n)\)
- o[<0>o[-o]]n = o[<0>o-<0>o-<0>o ... -<0>o]n \(\approx f_{\varepsilon_0 \omega}(n)\)
- o[<0>o[-o[-o]]]n \(\approx f_{\varepsilon_0 \omega ^\omega}(n)\)
- o[<0>o[<0>o]]n \(\approx f_{\varepsilon_0 ^2}(n)\)
- o[<0>o[<0>o][<0>o]]n \(\approx f_{\varepsilon_0 ^3}(n)\)
- o[<0>o[<0>o-o]n \(\approx f_{\varepsilon_0 ^\omega}(n)\)
- o[<0>o[<0>o-o[-o]]n \(\approx f_{\varepsilon_0 ^{\omega^\omega}}(n)\)
- o[<0>o[<0>o[<0>o]]]n \(\approx f_{\varepsilon_0 ^{\varepsilon_0}}(n)\)
- o[<0>o[<0>o[<0>o]][<0>o]]n \(\approx f_{\varepsilon_0 ^{\varepsilon_0+1}}(n)\)
- o[<0>o[<0>o[<0>o][<0>o]]]n \(\approx f_{\varepsilon_0 ^{\varepsilon_0 2}}(n)\)
- o[<0>o[<0>o[<0>o[<0>o]]]]n \(\approx f_{\varepsilon_0 ^{\varepsilon_0^2}}(n)\)
- o[<0>o[<0>o[<0>o[<0>o[<0>o]]]]]n \(\approx f_{\varepsilon_0 ^{\varepsilon_0^{\varepsilon_0}}}(n)\)
- o[<1>o]n = o[<0>o[<0>o ... [<0>o]]]n \(\approx f_{\varepsilon_1}(n)\)
- o[<2>o]n \(\approx f_{\varepsilon_2}(n)\)
- o[<3>o]n \(\approx f_{\varepsilon_3}(n)\)
- o[<4>o]n \(\approx f_{\varepsilon_4}(n)\)
- o[<5>o]5 = o[<4>o[<4>o[<4>o[<4>o[<4>o]]]]]5 \(\approx f_{\varepsilon_4 ^{\varepsilon_4^{\varepsilon_4}}}(5)\)
トリビア[]
定義4.の右辺から"-o"を取り除いてX[X'-o]Y n = X[X'][X'] ... [X']Yn ([X'] は n+1個)に変えたときにo-o[<5>o]5によって定義される数は、「フラン数第四形態改二」として知られている[6]。フラン数第四形態改二は、6に等しい[7]。
関連項目[]
- フラン数第一形態
- フラン数第二形態
- フラン数
- 変換写像による解析の一例-変換写像による解析がなされている。予想が正しければ、フラン数第四形態改三は適切な基本列を用いたハーディー階層で\(H_{\epsilon_5}(5)\)と表される。
外部リンク[]
- 猫山にゃん太, Flan Number 4th - フラン数第四形態 改二/改三, GitHubページ. (javascriptによるフラン数第四形態改二/改三の展開計算機)