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

---

170: １３２人目の素数さん [sage] 2024/03/29(金) 17:35:26.73 ID:e6nWm8sb(1) AAS
a,b,i,j,n,m,m_0〜m_j　非負整数
X,X[],X[j]　0個以上の（非負整数または[]または[非負整数]）
X[]　1個以上の場合、右端は[]
X[j]　1個以上の場合、右端は[j]

${f,0,a}=a
${f,b+1,a}=f(${f,b,a})

a:0=()
a:(b+1)=a:b,a

m_j..j=m_j
m_j..(j+i+1)=m_j..(j+i),m_(j+i+1)

#0(n)=0:n
#0(n,m)=#0(n),[]:m
#0(n,m,m_0)=#0(n,m),[0]:m_0
#0(n,m,m_0..(i+1))=#0(n,m,m_0..i),[i+1]:m_(i+1)

#1(m)=[]:m
#1(m,m_0)=#1(m),[0]:m_0
#1(m,m_0..(i+1))=#1(m,m_0..i),[i+1]:m_(i+1)

#(j+2)(m_j)=[j]:m_j
#(j+2)(m_j..(j+i+1))=#(j+2)(m_j..(j+i)),[j+i+1]:m_(j+i+1)

#(a,n)=a:n
#(a,n,m)=#(a,n),([],#(a,a)):m
#(a,n,m,m_0)=#(a,n,m),([0],#(a,a,a)):m_0
#(a,n,m,m_0..(i+1))=#(a,n,m,m_0..i),([i+1],#(a:(i+4))):m_(i+1)

A[]{0}(a)=a+1
A[X]{b+1}(0)=${A[X]{b},1,1}
A[X]{b+1}(a+1)=${A[X]{b},A[X]{b+1}(a),A[X]{b+1}(a)}
A[X[j+1],[j],#(j+2)(m_j..(j+i))]{0}(a)=A[X,#(a:(j+3),m_j..(j+i))]{a}(a)
A[X[0],[],#1(m,m_0..i)]{0}(a)=A[X,#(a:2,m,m_0..i)]{a}(a)
A[X[],0,#0(n,m,m_0..i)]{0}(a)=A[X,#(a:1,n,m,m_0..i)]{a}(a)
A[X,b+1,#0(n,m,m_0..i)]{0}(a)=A[X,b,#(a,n,m,m_0..i)]{a}(a)

B(a)=A[#(a:(a+2))]{a}(a)

---

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

---

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

---

ぬこの手 ぬこTOP 1.887s*