巨大数を語り合うスレ (244ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん

---

176: 2024/04/05(金)21:32 ID:DNKACrxy(1) AAS
>>172は定義が不完全だった
完全版を定義した

a,b,c,n,a_1〜a_n,b_1〜b_nは、全て非負整数

@0=()
@1=@
@2=@@
@3=@@@
@(a+1)=@a@

#(@(a+1)#)0=#
#(@(a+1)#)1=#@(a+1)#
#(@(a+1)#)2=#@(a+1)#@(a+1)#
#(@(a+1)#)3=#@(a+1)#@(a+1)#@(a+1)#
#(@(a+1)#)(b+1)=#(@(a+1)#)b@(a+1)#

a_1..1=a_1
a_1..2=a_1,a_2
a_1..3=a_1,a_2,a_3
a_1..(n+1)=a_1..n,a_(n+1)

%[a_1..1][b_1..1]=((@1#)a_1)b_1
%[a_1..2][b_1..2]=(%[a_1..1][a_1..1](@2#)a_2)b_2=(((@1#)a_1)b_1(@2#)a_2)b_2
%[a_1..3][b_1..3]=(%[a_1..2][a_1..2](@3#)a_3)b_3=(((@1#)a_1)b_1((@2#)a_2)b_2(@3#)a_3)b_3
%[a_1..(n+2)][b_1..(n+2)]=(%[a_1..(n+1)][a_1..(n+1)](@(n+2)#)a_(n+2))b_(n+2)

$=1
$@(a+1)=($@a)+1
$#=$@
$#@(a+1)=$@($#@a)
$#%[a_1..(n+2)][b_1..(n+2)](@#)(b+1)=$#%[a_1..(n+2)][b_1..(n+2)](@#)b@
$#%[a_1..(n+2)][b_1..(n+2)](@#)(b+1)@(a+1)=$#%[a_1..(n+2)][b_1..(n+2)](@#)b@($#%[a_1..(n+2)][b_1..(n+2)](@#)(b+1)@a)
$#%[a_1..(n+c+3)][b_1..(n+c+3)](@(c+2)#)(b+1)=$#%[a_1..(n+c+3)][b_1..(n+c+3)](@(c+2)#)b(@(c+1)#)
$#%[a_1..(n+c+3)][b_1..(n+c+3)](@(c+2)#)(b+1)@(a+1)=$#%[a_1..(n+c+3)][b_1..(n+c+3)](@(c+2)#)b(@(c+1)#)($#%[a_1..(n+c+3)][b_1..(n+c+3)](@(c+2)#)(b+1)@a)

G(a)=$#(@(a+1))#

H(0)=$#@#
省1

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.886s*