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

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

232: １３２人目の素数さん [] 2025/01/23(木) 20:01:00.85 ID:1RPMX/BH(1) AAS
10行でε_0まで定義する

a,b,c=非負整数
#,#_0,#_1,#_2,…=[]の0個以上の列挙かつ0回以上の入れ子の組み合わせ
[#]{c}=[#]のc個の列挙
:{0}=#_0[]
:{b+1}=#_(b+1)[:{b}]
::{0,c}=#_0
::{b+1,c}=#_(b+1)[::{b,c}]{c}
F#(0)=1
F(a+1)=F(a)+F(a)
F:{b}(a+1)=F::{b,F:{b}(a)}(F:{b}(a))

---

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

---

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

---

ぬこの手 ぬこTOP 0.013s