FANDOM


D型Comakky数とは、閏土=プリシエン[1]が2017年7月22日に定義した巨大数[2]ふぃっしゅ数バージョン1同様、「関数から関数への写像」に基づいて作られている。

定義編集

Xnを0個以上の自然数、Ynを0個以上の1とする、Zを[]で囲まれた配列とする、mを自然数とする。定義には直接書かれていないが、ここでの「自然数」には0を含めないのが妥当である。

Dm[1,Y1,m-1[1,Y2,\cdots,1[1,Y3,a] \cdots]]f(x)=f^{f(x)}(x)

Dm[a,X1,m-1[b,X2,\cdots,1[X3,c+1,d+1]\cdots]]

=Dm[a,X1,m-1[b,X2,\cdots,1[X3,c,Dm[a,X1,m-1[b,x2,\cdots,1[X3,c+1,d]\cdots]]f^{f(x)}(x)]\cdots]] ^{Dm[a,X1,m-1[b,X2,\cdots,1[X3,c+1,d]\cdots]]f^{f(x)}f(x)}f^{f(x)}f(x)

D[a,b]f(x)=Da[b,b,a-1[b,b,\cdots,1[b,b,b]\cdots]]f(x)

ただし、

1[X,a+1,1,Y,b]=1[X,a,f(b),Y,b]

1[X,a+1,1]=1[X,a,a+1]

n+1[X,a+1,n[1,Y,Z]]=n+1[X,a,n[x,x,\cdots,x,Z]] (xはf(a+1)個)

n+1[X,a+1,1,1,\cdots,1,Z]=n+1[X,a,a+1,a+1,\cdots,a+1,Z]


このとき、Cd=D[63,3]f(3);f(x)=3\rightarrow_{x}3をD型Comakky数とする。


関連項目編集

出典編集

  1. @Runp_goppatoth
  2. [1]

広告ブロッカーが検出されました。


広告収入で運営されている無料サイトWikiaでは、このたび広告ブロッカーをご利用の方向けの変更が加わりました。

広告ブロッカーが改変されている場合、Wikiaにアクセスしていただくことができなくなっています。カスタム広告ブロッカーを解除してご利用ください。

FANDOMでも見てみる

おまかせWiki