第二クロちゃん数は、クロちゃんが考案した巨大数である。
定義
\(f(x)=x!^x\)(ネスト階乗表記)
\(f(x)↑^2 2= f^{f(x)}(x)\)
\(f(x)↑^{n+1} 2= f(x)↑^nf(x)\)
\(f(x)↑^{n+1} m+1= f(x)↑^n (f(x)↑^{n+1} m)\)
\(f(x) \rightarrow b \rightarrow c = f(x)\underbrace{↑\ldots↑}_cb\)
\(f(x) \rightarrow\ldots\rightarrow b \rightarrow 1 = f(x) \rightarrow\ldots\rightarrow b\)
\(f(x) \rightarrow\ldots\rightarrow b \rightarrow 1 \rightarrow c = f(x) \rightarrow\ldots\rightarrow b\)
\(f(x) \rightarrow\ldots\rightarrow b \rightarrow (c + 1) \rightarrow (d + 1) = f(x) \rightarrow\ldots\rightarrow b \rightarrow (f(x) \rightarrow\ldots\rightarrow b \rightarrow c \rightarrow (d + 1) ) \rightarrow d\)
\(f(x)\rightarrow^2 n= f(x)\underbrace{\rightarrow f(x)\ldots\rightarrow f(x)}_nf(x)\)
\(f(x)\rightarrow^{n+1} 2= f(x)\rightarrow^nf(x)\)
\(f(x)\rightarrow^{n+1} m+1= f(x)\rightarrow^n (f(x)\rightarrow^{n+1} m)\)
\(KK(x) = f(x)\underbrace{\rightarrow\ldots\rightarrow}_nf(x)\)
このとき、\(KK^{64}(4)\)が第二クロちゃん数である。
出典
巨大数探索スレッド8-320