[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

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

---

488: 2024/06/19(水)06:50 ID:nEr7nNy+(1/6) AAS
∃f.(∀s∈R^N.s~f(s)＆∀s1,s2∈R^N.s1~s2⇒f(s1)=f(s2))

このfが嬉しいのは、f(s1)を知りたいときに、s1全部じゃなくても
s1とある項から先の尻尾が同じs2をとってきてf(s2)を求めればいいこと

だから恒等関数じゃ全然ダメなんだなあ
最初から言ってるじゃん　尻尾同値類と選択公理を理解しないと
只の🐎🦌の言いがかりだって

---

489(1): 2024/06/19(水)06:52 ID:nEr7nNy+(2/6) AAS
∃f.(∀s∈R^N.s~f(s)＆∀s1,s2∈R^N.s1~s2⇒f(s1)=f(s2))＆∀s1,s2,...,s100∈R^N.∃D1,D2,...,D100∈N.∃k∈{1,2,...,100}.∀i∈{1,2,...,100}.i≠k⇒si(Di)=f(si)(Di)

これで文句ないね？　🦌君
君の完敗　君はいまここで死んだ・・・

---

499: 2024/06/19(水)18:07 ID:nEr7nNy+(3/6) AAS
まあ∀ｘ∃ｙｘ＝ｙとか言った瞬間
🦌君🦁に食われて骨になっちゃったけど

---

500: 2024/06/19(水)18:07 ID:nEr7nNy+(4/6) AAS
南無阿弥陀佛

---

509: 2024/06/19(水)21:12 ID:nEr7nNy+(5/6) AAS
∃f.(∀s∈R^N.s~f(s)＆∀s1,s2∈R^N.s1~s2⇒f(s1)=f(s2))

これはカンニングではなくテレパシーという
ESP（Extra Sensory Perception　超感覚的知覚）
の技である・・・

---

510: 2024/06/19(水)21:14 ID:nEr7nNy+(6/6) AAS
いかなる無限列もその尻尾同値類の代表によって
その無限列の決定番号から先の尻尾を復元できる

---

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

---

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

---

ぬこの手 ぬこTOP 0.026s