0001風吹けば名無し
2022/08/01(月) 14:49:37.69ID:gvJvy8350n:自然数
(a0,a1,…,a(k-1),ak)[n]=s[n]
(s)=()の場合
(s)[n]=n
それ以外の
s[n]=(expand_n(s))[n+1]
expand_n(s,0)=expand_n(s)
それ以外の場合
expand_n(s)=expand_n(L,R0,R1,…,R(n-1),Rn)
r=max{ar<ak∧r<k}
L=a0,a1,…a(r-2),a(r-1)
R_b=ar+c,a(r+1)+c,…,a(k-2)+c,a(k-1)+c
c=b^{(ak-ar-1)↑^n(a0,…,a(k-1))[n]}
f(n)=(0,n)[n]
f^10(10)を「2022年8月1日の時点でなんjで作られた最大の数」とする
禁止事項1 既存の巨大数を使ったりそれに酷似した定義を使用した場合は無効
禁止事項２ 明らかに定義不能なもの
禁止事項3 無限
禁止事項4 作者自身が定義の意味を理解してない
