[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
360(2): 釈迦如来 2024/06/17(月)06:20 ID:wAydTPyr(2/23) AAS
＞箱の中身を見ずに答えてるんだったら∀を内側に移動できるはずだろ
実はもっと簡単にできた
一番外側に∃ｆとできる
∃f.(∀s∈R^N.s~f(s)＆∀s1,s2∈R^N.s1~s2⇒f(s1)=f(s2)) & …
日本語で書けば、
「ある関数fが存在し、任意の実数無限列sに対してfの像はsと尻尾同値で
もし実数無限列s1,s2が尻尾同値なら、その像は等しい」
これで目的は達した fは列に全く依存しないから
（完）
上下前次1-新書関写板覧索設栞歴
あと 642 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.007s