(2021-01-31) 式神巨大数の結果発表

式神巨大数の終了宣言をするとともに、結果発表を行います。

遅れについて

式神巨大数は当初の予定よりも大幅に結果発表が遅れてしまいました。というと、審査が難航したことを想像されるかもしれませんが、これは私の精神状態が悪化しており審査結果をまとめることが出来なかったためです。 Okkuu 氏と Nayuta Ito 氏には全く責任はなく、私は多くの審査をしていただいたことに感謝しております。

審査記録

審査 1

2020/06/27 00:19 (JST) に Hexirp 氏によりユーザーブログ:Hexirp/(2020-06-26) 解析の初版が投稿されました。この記事はユーザーブログ:Seruranblue/sikigamig entry で投稿されたプログラム output-2.c で計算される巨大数 "output-2.c" を審査するものです。

\[ \exp _ b ^ n ( a ) = \begin{cases} a & ( n = 0 ) \\ \exp _ b ( \exp _ b ^ { n' } ( a ) ) & ( n = n' + 1 ) \\ \end{cases} \]

この投稿は上記のような関数を導入して解析を行っています。なお、 \( \exp _ b ( a ) = b ^ a \) です。

• \( \exp _ 2 ^ { { 10 } ^ { 24 } } ( 9 ) \) 以上である。
• \( \exp _ 2 ^ { 2 \times { 10 } ^ { 24 } - 1 } ( 9 ) \) 以下である。

その結果、上記のような結果が得られています。

審査 2

2020/07/04 06:13 (JST) に Okkuu 氏により「式神巨大数運営's server」にユーザーブログ:Nayuta Ito/2020年式神巨大数第一エントリーの審査が投稿されました。

https://googology.wikia.org/ja/wiki/%E3%83%A6%E3%83%BC%E3%82%B6%E3%83%BC%E3%83%96%E3%83%AD%E3%82%B0:Nayuta_Ito/2020%E5%B9%B4%E5%BC%8F%E7%A5%9E%E5%B7%A8%E5%A4%A7%E6%95%B0%E7%AC%AC%E4%B8%80%E3%82%A8%E3%83%B3%E3%83%88%E3%83%AA%E3%83%BC を解析します
結果1:有効です
結果2:停止します
結果3:大きさはf_ε_ε_ε_ε_5(6)で近似されます
理由:ζ₀未満の順序数をBuchholz ψで表しψ₀(なんか)をψ(なんか)に、ψ₁(なんか)をꇼなんかꇾΩに置換した後ꇼ0ꇾΩをΩに置換するとこの表記と対応するので

それは上記のような内容でした。

審査 3

2020/07/04 21:34 (JST) に Okkuu 氏によりユーザーブログ:Hexirp/(2020-06-26) 解析での近似の改善が投稿されました。

これ(https://googology.wikia.org/ja/wiki/%E3%83%A6%E3%83%BC%E3%82%B6%E3%83%BC%E3%83%96%E3%83%AD%E3%82%B0:Hexirp/(2020-06-26)_%E8%A7%A3%E6%9E%90 )の近似の細かいバージョンです
exp^10^24_2(12.173)<f^10^24(1)<exp^10^24_2(12.174)
解析の投稿はまた今度やります

それは上記のような内容でした。

審査 4

2020/07/05 07:48 (JST) に Nayuta Ito 氏によりユーザーブログ:Nayuta Ito/output-2.cの更なる解析の初版が投稿されました。この記事はユーザーブログ:Seruranblue/sikigamig entry の解析をより詳細におこなうものです。

• \( \exp _ 2 ^ { { 10 } ^ { 24 } } ( 9 ) \) 以上である。
• \( \exp _ 2 ^ { { 10 } ^ { 24 } + 1 } ( 9 ) \) 以下である。

その結果、上記のように結論されました。

審査 5

Nayuta Ito 氏により 2020年7月6日 (月) 08:45 (JST) にユーザーブログ:Nayuta_Ito/式神巨大数審査/2020年式神巨大数小審査まとめが投稿されました。

User_blog:Antimony_Star/Submission_to_式神巨大数 を無効と判定しています。

審査 6

Nayuta Ito 氏により 2020年7月16日 (水) 19:15 (JST) にユーザーブログ:Nayuta_Ito/式神巨大数審査/自己増殖コード数の解析が投稿されました。

ユーザーブログ:P進大好きbot/式神巨大数投稿用エントリーその２の上限を \( f _ \omega ^ { 10 } ( 20 ) \) としています。

審査 7

Okkuu 氏により2020年7月24日に \( \mathbb{Q} _ p \) の導入が困難であることが式神巨大数運営's server で報告されました。

審査 8

私が進めていたユーザーブログ:Hexirp/(2020-07-17)_lambda_3_の解析において発見された疑問点をユーザーブログ:Merliborn/［sikigamig］Lambda-zip のコメントで質問した所、2020年8月11日にバグであるという返答がありました。

審査 9

Okkuu 氏によりユーザーブログ:みずどら/式神巨大数エントリー_編集中が正しく白アスター数を出力するものになっていることが確認されたと式神巨大数運営's server で報告がありました。

審査 10

2020/09/15 (JST) に Okkuu 氏により式神巨大数運営's server でユーザーブログ:P進大好きbot/式神巨大数投稿用エントリーの解析が投稿されました。

ミスって消しちゃいましたが
https://googology.wikia.org/ja/wiki/%E3%83%A6%E3%83%BC%E3%82%B6%E3%83%BC%E3%83%96%E3%83%AD%E3%82%B0:P%E9%80%B2%E5%A4%A7%E5%A5%BD%E3%81%8Dbot/%E5%BC%8F%E7%A5%9E%E5%B7%A8%E5%A4%A7%E6%95%B0%E6%8A%95%E7%A8%BF%E7%94%A8%E3%82%A8%E3%83%B3%E3%83%88%E3%83%AA%E3%83%BC?oldid=23300
の弱Buchholz OCFの限界数はf_{ε₀+1}(100)で近似されます
証明は今の僕には無理です
拡張弱Buchholz OCFの限界数の解析も今の僕には無理です
ただΩ_{ω+1}あたりでバグが起こってます
それによって停止しなくなるかちゃんと数が出力されるかは分かりません

それは上記のような内容でした。

審査 11

2020/09/19 (JST) に Okkuu 氏により式神巨大数運営's server でユーザーブログ:P進大好きbot/式神巨大数投稿用エントリーについての情報が投稿されました。

https://googology.wikia.org/ja/wiki/%E3%83%A6%E3%83%BC%E3%82%B6%E3%83%BC%E3%83%96%E3%83%AD%E3%82%B0:P%E9%80%B2%E5%A4%A7%E5%A5%BD%E3%81%8Dbot/%E5%BC%8F%E7%A5%9E%E5%B7%A8%E5%A4%A7%E6%95%B0%E6%8A%95%E7%A8%BF%E7%94%A8%E3%82%A8%E3%83%B3%E3%83%88%E3%83%AA%E3%83%BC#comm-7350
拡張弱Buchholz OCFの限界数のバグについて本人に聞いたところバグでした

それは上記のような内容でした。

審査 12

Hexirp 氏によりユーザーブログ:Hexirp/(2020-09-19)_lambda_zip_の解析が投稿されました。 lambda zip を無効だと思われるとしています。

審査 13

2020/10/10 (JST) に Okkuu 氏により式神巨大数運営's server でユーザーブログ:JUNKUN_HISALAWA/式神巨大数エントリー「9￡」について無効とされました。「計算結果が出力されるはずのテキストファイルの内容がEOT(伝送終了文字)1文字になります」とのことです。

審査 14

ふえるみん数の解析途中

2020/10/31 (JST) に Okkuu 氏により式神巨大数運営's server でユーザーブログ:みずどら/式神巨大数エントリー_編集中とユーザーブログ:Gaoji/式神巨大数への投稿についての解析が画像付きで投稿されました。

気づいたこと1つ目
他人がやると言っていることでも自分がやってはいけない理由にはならない(二人でやって同じ結果が出た方が信憑性が上がるため)
何が言いたいかというと
f_{ω63+3}(4)<白アスター数<f_{ω63+3}(5)
気づいたこと2つ目
解析ができなくても他人の解析の助けになりうるような情報を上げることはできる
何が言いたいかというとhttps://googology.wikia.org/ja/wiki/%E3%83%A6%E3%83%BC%E3%82%B6%E3%83%BC%E3%83%96%E3%83%AD%E3%82%B0:Gaoji/%E5%BC%8F%E7%A5%9E%E5%B7%A8%E5%A4%A7%E6%95%B0%E3%81%B8%E3%81%AE%E6%8A%95%E7%A8%BF のBOTEC.f03がもし本当にhttps://googology.wikia.org/ja/wiki/%E3%83%A6%E3%83%BC%E3%82%B6%E3%83%BC%E3%83%96%E3%83%AD%E3%82%B0:Gaoji/TEKKAMAKI_NOTATION のTHₓ関数を計算しているならふえるみん数は画像のように計算される(基本列はTEKKAMAKI notationで使っているもの)

それは上記のような内容でした。

審査 15

2020/01/31 (JST) に Okkuu 氏により式神巨大数運営's server でユーザーブログ:Naruyoko/式神巨大数投稿用についての情報が投稿されました。

main.min.min.jsは(0,2)[11](というか多分11以上の任意の自然数)の計算でエラー吐くのでnode name.jsは多分(λ₃と同じ程度の信憑性で)無効だと思います

それは上記のような内容でした。

審査結果

エントリー 1

弱Buchholz OCFの限界数は、審査 10 により \( f _ { \varepsilon _ 0 + 1 } ( 100 ) \) と近似されると思われます。

エントリー 2

拡張弱Buchholz OCFの限界数は、審査 11 により無効であると思われます。

エントリー 3

白アスター数 (by whiteaster.java) は、審査 9 と 審査 14 により \( f _ { \omega \times 63 + 3 } ( 4 ) \) より大きく \( f _ { \omega \times 63 + 3 } ( 5 ) \) より小さいと思われます。

エントリー 4

20年代初頭のブラクラ数は、審査 2 により \( f _ { \varepsilon _ { \varepsilon _ { \varepsilon _ { \varepsilon _ 5 } } } } ( 6 ) \) と近似されると思われます。

エントリー 5

自己増殖コード数は、 審査 6 により \( f _ \omega ^ { 10 } ( 20 ) \) が上限となります。

エントリー 6

ふえるみん数は、期間中に審査を行うことが出来ませんでした。

エントリー 7

９￡は、審査 13 により無効です。

エントリー 8

output-2.c は、審査 1 と審査 3 と審査 4 により * \( \exp _ 2 ^ { { 10 } ^ { 24 } } ( 9 ) \) 以上かつ \( \exp _ 2 ^ { { 10 } ^ { 24 } + 1 } ( 9 ) \) 以下です。

エントリー 9

λ₃ は、審査 8 と審査 12 により無効であると思われます。

エントリー 10

node name.js は、審査 15 により無効であると思われます。

エントリー 11

括弧が多くてわかりにくいっ数 (by kakko.lsp) は、期間中に審査を行うことが出来ませんでした。

エントリー 12

TLAN&SLTANN は、審査 5 により無効です。

総当たり表

総当たり表は Okkuu 氏が作っていただきました。ありがとうございます。

オリジナル部門

総当たり表は次のようになります。

	1	4	5	8
1	／	×	○	○
4	○	／	○	○
5	×	×	／	○
8	×	×	×	／

結果は以下の通りになります。

数	○	×	順位
弱Buchholz OCFの限界数	2	1	2
20年代初頭のブラクラ数	3	0	1
自己増殖コード数	1	2	3
output-2.c	0	3	4

プログラム化部門

総当たり表は次のようになります。

	3
3	／

結果は以下の通りになります。

数	○	×	順位
白アスター数 (by whiteaster.java)	0	0	1

結果発表

ランキング

オリジナル部門に対するランキングは以下の通りになります。

1. 20年代初頭のブラクラ数 - Nayuta Ito 氏
2. 弱Buchholz OCFの限界数 - p進大好きbot 氏
3. 自己増殖コード数 - p進大好きbot 氏
4. output-2.c - Seruranblue 氏

プログラム化部門に対するランキングは以下の通りになります。

1. 白アスター数 (by whiteaster.java) - みずどら氏

殿堂入り

To do.

特別賞

Hexirp

output2.c とします。最初期に解析がなされた巨大数であることや、私が解析に参加した巨大数であることや、最も詳細に解析された巨大数であることなどが、理由です。

Okkuu

以下のコメントをいただきました。

俺は自己増殖コード数にします
理由はコードをコードで生成する発想が面白かったから

Nayuta Ito

以下のコメントをいただきました。

私は空欄のままでお願いします
理由は未解決の審査が多すぎるからです

関連項目

運営：

1. ユーザーブログ:Hexirp/式神巨大数の予告
2. ユーザーブログ:Hexirp/式神巨大数
3. ユーザーブログ:Hexirp/(2020-05-09)_式神巨大数についての通達
4. ユーザーブログ:Hexirp/(2020-05-19)_式神巨大数についての通達
5. ユーザーブログ:Hexirp/(2020-06-06)_審査員の応募（式神巨大数）
6. ユーザーブログ:Hexirp/(2020-07-05)_審査の状況
7. ユーザーブログ:Hexirp/(2020-08-28)_式神巨大数の近況報告
8. ユーザーブログ:Hexirp/(2021-01-31)_式神巨大数の結果発表‎

投稿：

1. ユーザーブログ:P進大好きbot/式神巨大数投稿用エントリー
2. ユーザーブログ:みずどら/式神巨大数エントリー_編集中
3. ユーザーブログ:Nayuta_Ito/2020年式神巨大数第一エントリー
4. ユーザーブログ:P進大好きbot/式神巨大数投稿用エントリーその２
5. ユーザーブログ:Gaoji/式神巨大数への投稿
6. ユーザーブログ:JUNKUN_HISALAWA/式神巨大数エントリー「9￡」
7. ユーザーブログ:Seruranblue/sikigamig_entry
8. ユーザーブログ:Merliborn/［sikigamig］Lambda-zip
9. ユーザーブログ:Naruyoko/式神巨大数投稿用
10. ユーザーブログ:Nayuta_Ito/2020年式神巨大数第二エントリー
11. User_blog:Antimony_Star/Submission_to_式神巨大数

解析：

1. ユーザーブログ:Hexirp/(2020-06-26)_解析
2. ユーザーブログ:Nayuta_Ito/output-2.cの更なる解析
3. ユーザーブログ:Nayuta_Ito/2020年式神巨大数小審査まとめ
4. ユーザーブログ:Nayuta_Ito/式神巨大数審査
5. ユーザーブログ:Nayuta_Ito/式神巨大数審査/2020年式神巨大数小審査まとめ
6. ユーザーブログ:Nayuta_Ito/式神巨大数審査/output-2.cの更なる解析
7. ユーザーブログ:Nayuta_Ito/式神巨大数審査/自己増殖コード数の解析
8. ユーザーブログ:Hexirp/(2020-07-17)_lambda_3_の解析
9. ユーザーブログ:Hexirp/(2020-09-19)_lambda_zip_の解析
10. ユーザーブログ:Nayuta_Ito/式神巨大数上の未解決問題の一覧