[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新

---

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

---

241(1): 2024/06/14(金)05:56 ID:7r1vwZVg(1/11) AAS
>∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn
>の証明の話してるんだよ？

ただ上記を満たせばいいと思った境界知能君へ

満たすべきは、正しくはこれだから
∃f∀s1,s2∈R^N.s1~s2⇒s1~f(s1)＆s2~f(s2)＆f(s1)＝f(s2)
ここで
s1~s2⇔∃d∈N.∀n.(n>＝d)⇒s1(n)=s2(n)

---

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

---

あと 761 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.023s