0001風吹けば名無し
2022/08/01(月) 15:01:30.66ID: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で作られた最大の数」とする
