巨大数研究 Wiki
Advertisement
巨大数研究 Wiki

Mitsuki1729 Mitsuki1729 6月21日 (月)
0

横値段の挙動を理解したい

https://docs.google.com/document/d/1btpUf3S7Ndaix3s3Ehw61QIj2pAHlH9OjCP55yqCT4U/edit

S=T

P=PT

D=T\PT

d=前者関数

順序は辞書式

TBのkはBHの展開位置を表す((0,0)+kや(0,k)、(α+1,(k,0))とかは含まれる)

RB(なにこれ)(分かり次第書く)

以下横値段のドキュメントの基本列のところの点ごとに番号を振ってそれごとに解釈していく

  1. 基数と0の基本列は0(ぶふほでは基数の基本列は0にならない)
  2. 何かに基数を足したやつの基本列も基数が消える(まあ個別で0だし…)
  3. 何かに別の何かを足したやつの基本列は後のやつの基本列を前のやつに足す
  4. 1変数目が0でないなら消える
  5. (0,(0,2))=(0,(0,1)+(0,1)+(0,1)+…)みたいなやつ
  6. 崩壊のターン((0,(1,(d(δ),(δ,0))))とかが該当する)(横値段と三だと三の方が外にカッコが1つ多いことに注意)
    1. a=RB_{δ,β,γ}((δ,0))らしいのでRBを解読せねばならないけどg(α,n)=RB_{δ,β,γ}((d(δ),g(α,n-1)))としてf(α,n)=(0,g(α,n))みたいになるのはわかる
    2. α=TB_{0,η}((ζ,TB_{δ,ε}((Ι,RB_{δ,β,γ}((δ,0))))))らしいのでまたRBなんだけどg(α,n)=RB_{δ,β,γ}((d(δ),g(α,n-1)))としてf(α,n)=TB_{0,η}((ζ,TB_{δ,ε}((Ι,g(α,n)))))ってことだと思う

・RBを理解したい

α∈S、β∈TB_αとした時、0とkと(と)と,と+のみからなる文字列の集合RB_{α,β}の定義 TB_α⊂RB_{α…

投稿の全文を読む
Mitsuki1729 Mitsuki1729 5月15日 (土)
0

式神巨大数投稿用

今回は2つのプログラムを式神巨大数2021に投稿します。


  • プログラムの名前:P進バーガー.sb3
  • 部門:プログラム化部門
  • ソース:GitHubのこのページにアップロードされている.sb3ファイル
  • 言語:Scratch3.0(から変数の自動桁丸め、リストの要素数上限、リストの1要素ごとの長さ上限、変数の長さ上限を無視した仮想言語)
  • 実行方法:ソースの.sb3ファイルをScratchの「コンピューターから読み込む」からScratchに読み込み、旗をクリックして実行する
  • 出力方式:プログラム停止時に変数「式神巨大数へのエントリー」に格納されている文字列を通常のアラビア数字による十進表記とみなして自然数を表す
  • 出力する巨大数の情報:ユーザーブログ:P進大好きbot/お料理巨大数投稿用記事の最後の行て定義された巨大数の定義の標準形の3に値が変わらないと予想される変更を加えたもの
  • 備考:おそらく2つめの方がでかいです

  • プログラムの名前:逆ポーランド記法リスト祭り式神巨大数三関数.sb3
  • 部門:プログラム化部門(例外条項適用)
  • ソース:GitHubのこのページにアップロードされている.sb3ファイル
  • 言語:Scratch3.0(から変数の自動桁丸め、リストの要素数上限、リストの1要素ごとの長さ上限、変数の長さ上限を無視した仮想言語)
  • 実行方法:ソースの.sb3ファイルをScratchの「コンピューターから読み込む」からScratchに読み込み、旗をクリックして実行する
  • 出力方式:プログラム停止時に変数「三数」に格納されている文字列を通常のアラビア数字による十進表記とみなして自然数を表す
  • 出力する巨大数の情報:ユーザーブログ:P進大好きbot/ヴェブレン関数→ブーフホルツのψ関数→?で定義された関数Lim(n)にn=…


投稿の全文を読む
Mitsuki1729 Mitsuki1729 4月23日 (金)
2

ハンバーガーの解析

基本列計算機が謎の挙動をし始めたので手動解析



予想される順序数
ω2
投稿の全文を読む
Mitsuki1729 Mitsuki1729 4月20日 (火)
0

p進大好きbot氏のハンバーガーを翻訳したい

p進さんのこれが本家です。



  • 1 表記
  • 2 大小関係
  • 3 構成可能性
  • 4 標準形
  • 5 基本列
  • 6 急増加関数
  • 7 巨大数

(と)と+のみからなる文字列の集合HamPaという概念を以下のように再帰的に定義する。:

  1. 空列∈Paである。
  2. いかなるx∈Paについても、(x)∈Hamである。
  3. いかなるs,t∈Hamについても、s+t∈Hamである。
  4. いかなるs∈Hamとx∈Paについても、sx∈Paである。

また、(と)と+のみからなる文字列の集合PaTを以下のように定義する:

  1. いかなるs∈Hamについても、s∈PaTである。
  2. いかなるs,t∈Hamについても、st∈PaTである。

Paの部分集合OPaを以下のように定義する:

  1. 空列∈OPaである。
  2. いかなるa,b∈Paとc∈OPaについても、c(a)(b)∈OPaである。

空でないどのようなPaの要素xに対してもx=zsを満たすz∈OPaとs∈PaTが存在することに注意されたい。


パティが贅沢であるほどハンバーガーは豪華なものとなります。より正確には、ハンバーガー\(s\)と\(t\)に対し\(s\)より\(t\)が豪華であるという関係と、パティ\(x\)と\(y\)に対し\(x\)より\(y\)が贅沢であるという関係を、以下のように同時に再帰的に定義します:

\(s\)より\(t\)が豪華であることの定義
  1. パティ\(x\)を用いて\(s\)が\((x]\)と表せるとします。
    1. パティ\(y\)を用いて\(t\)が\((y]\)と表せる場合、\(s\)より\(t\)が豪華であるということは\(x\)より\(y\)が贅沢であるということです。
    2. ハンバーガー\(v\)とパティ\(y\)を用いて\(t\)が\(v \frown (y]\)と表せる場合、\(s\)より\(t\)が豪華であるということは\…




投稿の全文を読む
Mitsuki1729 Mitsuki1729 4月16日 (金)
1

巨大数大好きbot娘怪文書

  • 1 育成シュミレーションゲーム「カズ娘 ヴェブレンダービー」が登場!
    • 1.1 ゲーム説明
  • 2 ゲームスタート!
    • 2.1 カズ娘一覧

奥深い育成システムとハイクオリティな生成規則で生まれるカズ娘の世界を楽しもう!

コンテンツプロデューサーとしてアニメ・漫画などをプロデュースして、夢の大舞台へ!プロデュースしたアニメや漫画はなんとゲーム内で閲覧可能!


コンテンツプロデューサーとして多種多様な娘たちとともにアニメや漫画をプロデュースし、時には作った作品を美少女化しながらコンテンツのファンを増やしていくゲームです。詳細はゲーム内で説明されます。


ここでは育成出来るカズ娘の一覧を見ることができます。

0と娘と(と)と,とアニメと漫画のみからなる文字列の集合TとPTを以下のように定義する。

  1. 0∈Tである。
  2. (0娘)アニメ∈Tかつ(0娘)アニメ∈PTである。
  3. a_1=0でないようないかなるa_1,a_2…,a_n∈T(1≦n
投稿の全文を読む

Advertisement