0708132人目の素数さん
2017/10/03(火) 12:17:42.81ID:eQwFikhea,b,n := 0以上の整数
X := 0個以上の0以上の整数
a;b := b個のa
f()=Σ(10^10^100)
f(0)=Σ(f())
f(a+1)=Σ(f(a))
f(0;n+1,0)=f(f();n+1)
f(0;n+1,a+1)=f(f(0;n+1,a);n+1)
f(X,b+1,0;n,0)=f(X,b,f();n+1)
f(X,b+1,0;n,a+1)=f(X,b,f(X,b+1,0;n,a);n+1)
s=f(f();f())
sはビジービーバー関数にグーゴルコンプレックスをぶち込んだ値を基に
再帰的に多変数化させて肥大化させてみた
これはデカイだろう