[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

651(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/14(木)00:16 ID:xfdjzzyp(1/11) AAS
>>650
補足

１．今まで調べた ＜ Species＞の中には ∈-loopsとかが出てくる箇所がない
　つまり、 ＜ Species＞は 一般の組合わせ論（いわゆる数え上げ論）みたい
２． ∈-loopsの話は、IUT側から出てくる話で
　IUTの「同義反復的解決」（>>603）と関連する話みたいだな
３．なんで、 ∈-loops？
省7

---

655: 2020/05/14(木)09:49 ID:yUsAr7Ai(2/17) AAS
>>651
Joyalのspeciesは望月のspeciesとは無関係ですよ
言葉だけで検索するとドツボにはまります

---

735(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/15(金)17:40 ID:zHVN/jcs(6/10) AAS
>>651
> １．今まで調べた ＜ Species＞の中には ∈-loopsとかが出てくる箇所がない
>　つまり、 ＜ Species＞は 一般の組合わせ論（いわゆる数え上げ論）みたい

＜組合せ論＞ね〜？（＾＾；

（参考）
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
望月 感想・着想
省19

---

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

---

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

---

ぬこの手 ぬこTOP 0.030s