式神巨大数とは、一番大きな数を出力するプログラムを決めるコンテストです。
このコンテストはみんなで楽しむためのものです。そのようなコンテストを目指します。
このコンテストは巨大数のプログラムを作ろうとする人のためのものです。そのようなコンテストを目指します。
規則は方針に従ったコンテストを開くためのものです。方針に反する規則は改正します。
コンテストの規則は完全なものを目指して作ります。ですが、現実的には不十分なものになります。規則どうしが矛盾したり、規則で処理できない出来事があったときは、私が裁定を行います。
このコンテストは巨大数研究 Wiki の上で行われます。ツイッターの上で行う際に起こる可能性があるトラブルを避けるためです[1][2][3]。
このコンテストは東方巨大数と幻想巨大数を参考にします。成功しているコンテストの一例であるためです。
このコンテストは新しく考案した定義を実装する部門と既に存在する定義を実装する部門の二つに分かれます。
ここで規則の要約を記載します。より詳細な規則はサブセクションに記載されています。
投稿期間は XXXX-XX-XX から XXXX-XX-XX までの一ヶ月間です。審査期間は XXXX-XX-XX から XXXX-XX-XX までの一ヶ月間です。集計期間は XXXX-XX-XX から XXXX-XX-XX までの一週間です。
参加する方法は参加方法のセクションを見てください。投稿する方法は投稿方法のセクションを見てください。審査がどのように行われるかは審査のセクションを見てください。最終的にはユーザー:Hexirp/式神巨大数/結果発表でランキングを発表します。
オリジナル部門は、新しく考案した定義を実装する部門です。
プログラム化部門は、既に存在する定義を実装する部門です。
どこかで投稿を打ち切らないと、一番大きな数を出力するプログラムを定めることができません。そのため、投稿期間を設けます。
投稿期間を XXXX-XX-XXT00:00:00+09:00 以上より XXXX-XX-XXT00:00:00+0900 未満までの期間として定めます。
定義の解析や規則についての審議などのための時間が必要です。そのため、投稿期間の後に審査期間を設定します。
審査期間を XXXX-XX-XXT00:00:00+09:00 以上より XXXX-XX-XXT00:00:00+0900 未満までの期間として定めます。
集計するための時間が予備を兼ねて必要です。そのため、審査期間の後に集計期間を設定します。
集計期間を XXXX-XX-XXT00:00:00+09:00 以上より XXXX-XX-XXT00:00:00+0900 未満までの期間として定めます。
主催者は Hexirp です。それに加えて審査員を含めたものが運営陣です。主催者も審査員を兼ねます。
審査員は主催者が定めた方法により公募されます。審査員が集まらない場合は未審査となるプログラムが増えることになります。
解析の途中の記録の保存や、審査の結果の発表や、運営陣の間のやり取りがどこで行われるかは未定です。
参加者は巨大数研究 Wiki のアカウントにより区別されます。
他人を騙る名前や他人を攻撃するような名前のアカウントは参加者として認めません。
参加の手続きは参加方法のセクションに記載されています。
参加の締め切りは投稿期間が終了するまでです。投稿期間よりも遅い時間に行った手続きについては認められません。
参加するためには、参加受付のセクションにあるリストの一番下に、以下のような記述を加えてください。四つのチルダは署名です。
* --~~~~
- この下に記述を加えてください。
参加者はプログラムを投稿することが出来ます。
他人を攻撃するようなもの、また他人が考案または作成した巨大数を自分のものだと騙るようなものは投稿として認めません。
投稿ブロックを受けている参加者の投稿は、それが投稿ブロック前に行われたもので、内容に問題がなければ認められます。
参加の手続きを行わないまま投稿されたプログラムについては、もし投稿期間が終了するまでに参加が行われなかったならば、無効になります。
最初にユーザーブログへ巨大数のプログラムを記載した記事を作成して下さい。その際に pre タグなどを活用することを推奨します。
どの部門に投稿するのか、どのようなプログラミング言語で記述したのか、そして、出力がどのようなものなのかも記載してください。
また、出力される巨大数の名前も記載してください。プログラム化部門へ投稿したい場合は、元々の定義がどんなものであるのか説明も記載してください。
どのようなプログラムなのかの説明などを一緒に載せる、あるいは解析を載せる、他の記述を加えることも認められます。ただし、その際は他の記述と区別できるようにしてください。
投稿をするためには、投稿受付のセクションにあるリストの一番下に、そのようにして作成した記事へのリンクを以下のようにして加えてください。四つのチルダは署名です。
* URL ** --~~~~
共同で投稿を行いたい場合は、次のように新しい署名を加えてください。
* URL ** --???????????????? ** --~~~~
修正を行いたい場合は、単にその記事を編集してください。投稿期間内の最後の投稿者による編集の内容が、審査する際に投稿内容だと扱われます。その記事が何らかの理由で削除されている場合、削除される前の最後の版が投稿の内容として扱われます。
オリジナル部門に投稿するプログラムは、巨大数の定義もプログラムも新たに作成されたものでなければなりません。ここで巨大数の定義およびプログラムの定義が新しいものかどうかは、運営陣の裁量によります。ですが、一例を挙げると、もしその旨をきちんと明記しているならば、構想段階のものを補完したものでも新しい巨大数の定義として認めます。
プログラム化部門に投稿するプログラムは、少なくともプログラムがオリジナルであればそれだけで認められます。ただし、実装すると宣言した巨大数の定義と異なる定義を実装することは認めません。オリジナル部門に投稿することを検討してください。
たとえば「グラハム数に一を足す」投稿については、プログラム化部門への投稿は認められず、定義はオリジナルではないのでオリジナル部門への投稿も認められません。
言語について制限は設けませんが、運営陣が審査できるような言語でないと、未審査あるいは無効になる可能性があります。
実行の環境については巨大数を計算できるだけの十分なメモリがあるものとします。プログラムの実行についてはメモリアドレスのサイズなどの制限を無視して考えます。ただし、そのような制限をプログラムに組み入れているような投稿については運営陣の議論によって取り扱いを定めます。
プログラムの結果がどのように出力されるかは、それぞれが定義することを認めます。プログラミング言語には様々なものがあるため、それらを出来るだけ多く認められるようにするためです。たとえば Lazy K のように出力という概念が存在しない言語もあります。
たとえば、このような出力の定義が認められます。
- 通常の十進表記
- 式の計算結果の文字数
オリジナル部門に投稿する巨大数の名前については以前の巨大数と重複しないようにしてください。以前の巨大数の変種にバージョン名を付けるならば自分の名前を付けるなどして本家の定義だと誤解されないようにしてください。
- この下に記述を加えてください。
審査員は審査期間の間に投稿されたプログラムを審査することが出来ます。
審査を行いたい審査員は、まず、どのプログラムの何を審査するか宣言してください。審査するポイントは二つあります。
一つ目は、投稿の有効無効です。プログラムが実行できない場合や実行する方法が不明な場合、出力の取り扱いが不明な場合、他の定義を自分がオリジナルであるかのように投稿している場合、その他の場合などに、無効と判定してください。
二つ目は、出力される巨大数の大きさです。これを求めることを解析とします。解析の結果には、たとえば以下のような場合が考えられます。
- 厳密値を与える。
- 近似値を与える。
- 上限と下限を与える。
- 上限だけを与える。
- 下限だけを与える。
- 停止しない。
近似値や上限と下限については、指数関数のみで十分短く記述できる場合はそうしてください。それが出来ない場合は急増加関数を使ってください。急増加関数に与える順序数は、拡張ブーツホルツ関数やイェーガー関数などの定義されている表記により得られるものにしてください。そのような表記で表すことが出来ない場合は、論理的に求めることが出来るならば証明論的順序数を使ってください。それも使えない場合はバシク行列システムで近似してください。
補助として使いたい表記がある場合は運営陣へ相談してください。その場で特別に定めることになります。たとえば次のようになります。「 UNOCF についてはブーツホルツ関数と似ているので、ブーツホルツ関数で代替できるかどうか検討してください。それが出来ない場合は対応するバシク行列システムを併記してください。」
審査が完了したら、その旨を発表してください。審査の結果は公開されます。
有効と無効の判定が行われたものの解析がされていない投稿を未解析とします。
運営陣が審査結果を集計します。
集計されるランキングは二種類あります。新しく考案した定義を実装したプログラムだけのランキングと、既にある定義を実装したプログラムだけのランキングです。また、審査員はそれぞれ一つずつ好きに選択したプログラムに対して特別賞を与えることが出来ます。
ランキングを集計する際には、様々な形式をとる解析結果を集計しなければなりません。その際には上限と下限の重複などが発生する可能性があるかもしれません。そのような場合は、より詳細な解析が出来ないか検討したり、同順としたりすることで対応します。
未解析である投稿や、下限しか与えられていない投稿、あまりにも上限と下限の範囲が広すぎる投稿、非停止である投稿については、ランキングから除かれます。しかし、それでもなお称えるべきだとと考えられる投稿については運営陣の議論によって殿堂入りとされることがあります。
ランキングの形式の詳細はユーザー:Hexirp/式神巨大数/結果発表によります。このページでランキングと特別賞と殿堂入りも発表されます。
規則の改正は関連するページを編集することによって行われます。規則を改正する際は以下のリストへ記録を残します。
- XXXX-XX-XXTXX:XX:XX+0900 - 規則を投稿した。