巨大数研究 Wiki
Advertisement

式神巨大数は、私が開催している巨大数の大会です。 2020 年に最初の式神巨大数が開催されました。その後、 2021 年の式神巨大数の開催に向けて、複数回の開催のための規則が追加され、また規則が全面的に整理されている途中です。

2020 年の歴史

ここでは、2020 年の式神巨大数のポータルから見れない歴史に限って書きたいと思います。

2020/04/17: Alwe さんがグーゴロジストの社交場(仮)という Discord のサーバーで「次の巨大数のコンテストはいつあるのか」という旨の投稿をしました[note 1]。そこから巨大数のコンテストについて話しているうちに、 2020 年には東方巨大数が開かれないため巨大数のコンテストの空白期間が生まれることに気付きました。また、プログラミングを使った巨大数のコンテストは、今まで一度も日本語圏では開かれていないことに気付きました。この二つの空白に、巨大数のコンテストを開くチャンスがあるのではないかと思うようになりました。

2020/04/20: コンテストに式神巨大数という名前を付けました。詳しい命名の過程は覚えていないのですが、東方巨大数と幻想巨大数に命令の法則を合わせるのと、コンピュータという要素を入れるのを目指した結果として、式神巨大数となったのは覚えています。

2020/04/20: 規則の作成を開始し、素版を作り上げました[note 2]。グーゴロシストの社交場(仮)で、ルールの素版を公開しました[note 3]

2020/04/20-21: 甘露東風さんと Nayuta Ito さんと Okkuu さんからグーゴロジストの社交場(仮)で質問があり、それらに返答しました。

2020/04/25: Twitter で式神巨大数を開催することを予告しました[note 4]

2020/04/29: 巨大数研究 Wiki のユーザーブログで式神巨大数を開催することを予告しました[note 5]。ここで、 2020/05/08 からという具体的な日時を定めています。これをきっかけとして Alwe さんと JUNKUN さんが巨大数研究 Wiki にアカウントを作ったようです。

2020/04/30-2020/05/01: Okkuu さんと Nayuta Ito さんからグーゴロジストの社交場(仮)で質問があり、それらに返答しました。 Okkuu さんの「審査員は、どのくらい数学の能力を持っていれば大丈夫なのか」という質問に対して、私は「 \(n < 1 \) ならば \( n ! < n ^ n \) 」の証明が出来るのなら大丈夫なのではないかと返答しました[note 6][note 7]

2020/05/03: Okkuu さんがユーザーブログ:Okkuu/「 n > 1 ならば n! < n^n 」の証明を投稿すると共に審査員に応募しました。

2020/05/03: Nayuta Ito さんがユーザーブログ:Nayuta Ito/「 n > 1 ならば n! < n^n 」の証明を投稿すると共に審査員に応募しました。

2020/05/23: Antimony Star さんが「日本語が話せなくても式神巨大数に参加できるか」という旨の投稿を巨大数研究 Wiki でしました[note 8]

2020/05/24: Nayuta Ito さんが Antimony Star さんについて質問を行いました[note 9]。 Nayuta Ito さんとグーゴロシストの社交場(仮)において協議した結果として、 Antitomy Star さんに「参加できる」という旨の返答をしました。

2020/07-2021/01: 審査の難航と私の精神状態の悪化が重なって審査期間の延長を繰り返していました。

2020/12/17: Okkuu さんから「そろそろ締めましょう」という旨の提言がありました。

2020/01/31: 2020 年度の式神巨大数が終了しました。

2020/01/31: グーゴロシストの社交場(仮)において Okkuu さんにより式神巨大数が終了したことが告知されました[note 10]

2021 年の歴史

2021/01/31: ドメイン駆動開発におけるドメイン知識……物事に関する知識を主体が何であるのか意識しながら纏めるという概念を知ったので、何らかのものに適用したくなりました。それで身の回りにあるものを探すと、式神巨大数の規則という丁度良いものがありました。そこで、これを式神巨大数の規則に適用しようとしました。

2021/02/05: 反省を組み込みながら式神巨大数の規則を纏めなおしたものが完成しました[note 11]

2021/02/05: 表示などを確認するために、巨大数研究 Wiki に投稿しました[note 12]

2021/02/14: ユーザー:Hexirp/式神巨大数/2021/規則へのリンクをグーゴロシストの社交場(仮)へ投稿しました[note 13]

2021/02/18: 2021 年度の式神巨大数には YH 数列システム 3.0 を投稿する予定であることをツイートしました[note 14]

2021/02/18: 甘露東風さんが式神巨大数に参加するのをやめた理由をツイートしました[note 15]

2021/02/19: 甘露東風さんの意見を受けて、チャットを使って投稿すると定めた理由をツイートしました[note 16]

2021/03/18: 投稿の敷居が高いという問題を解決する良いアイデアを思い付いた旨をグーゴロシストの社交場(仮)に書き込みました[note 17]

2021/03/18: 甘露東風さんの意見に対応するために、規則へ代理投稿の条項を加えました[note 18]

用語

式神巨大数に関連した言葉を集めます。

四季神巨大数
四季神巨大数は、審査期間の延長が繰り返された結果として、開催期間が四季の全てに掛かることになってしまった式神巨大数のことです[note 19]
武伸臣丈類
武伸臣丈類は、 "車万臣丈類2" と "車万臣丈類3" という東方巨大数の裏話を投稿するためのハッシュタグを元にして私が作った式神巨大数の裏話を投稿するためのハッシュタグです。
逆式神巨大数
逆式神巨大数とは、 p進大好きbot さんによれば「有限的手続きを一切取ってはいけない」大会であり、私によれば「みんなが巨大数を計算するプログラムに作られて競い合わされる——すなわち、この世界は巨大数を抽出するためにエミュレートされていて、その中でみんなが巨大数を作ったり私が式神巨大数を開いていたりしているのである——」大会です[note 20][note 21]

脚注

注釈

  1. 当該の投稿は discord/444127369033416704/444127369033416706/700580477458972673 です。
  2. 当該の文書は github/Hexirp/sikigamig/3433209d131ba03c778fdac5d843fba7e9a67764/Sikigami_Googology.mediawiki です。
  3. 当該の投稿は discord/444127369033416704/444127369033416706/701714811473494026 です。
  4. 当該の投稿は hexirp_prixeh/1254050246125998080 です
  5. 当該の投稿はユーザーブログ:Hexirp/式神巨大数の予告です。
  6. 当該の投稿は 444127369033416704/444127369033416706/705325068053643264 です
  7. もちろん \( n > 1 \) の誤字です。
  8. 当該の投稿は ユーザーブログ:Hexirp/式神巨大数/4400000000000041472 です。
  9. 当該の投稿は 444127369033416704/444127369033416706/713934993944084507 です。
  10. 当該の投稿は 444127369033416704/444127369033416706/805326042189135924 です。
  11. 当該の文書は Hexirp/sikigamig/020ea3a22b168fb17d5908f79d7a690410a6aea6/02/rule.mediawiki です。
  12. 当該の投稿は Special:Redirect/revision/34324 です。
  13. 当該の投稿は 444127369033416704/444127369033416706/810360361303408672 です。
  14. 当該の投稿は hexirp_prixeh/1362064955067932672 です。
  15. 当該の投稿は kanrokoti/1362290110138511365 です。
  16. 当該の投稿は hexirp_prixeh/1362570769239142400
  17. 当該の投稿は 444127369033416704/812279230875435008/821959010604417054 です。
  18. 当該の変更は Special:Diff/34593/35110 です。
  19. p進大好きbot さんが non_archimedean/1333944828900507648 で定義した言葉です。
  20. p進大好きbot さんの定義は non_archimedean/1372920334328889344 によります。
  21. 私の定義は hexirp_prixeh/1372926408192794631 によります。

関連項目

Advertisement