[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋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は列に全く依存しないから
（完）
481(1): 2024/06/19(水)06:12 ID:Amj20DQT(15/27) AAS
>fが満たす必要のある制約
>>360に書いてあるだろ？もう忘れたのかい？君の頭はダチョウかね？
>>360を参考に自分で書き直しなよ。スプーンで口に運んでくれないとミルクも飲まない赤ん坊かね？君は
484: 2024/06/19(水)06:27 ID:Amj20DQT(17/27) AAS
>>360に書いてあるから書いてある なんでもクソも無い
君のおつむはダチョウかね？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.473s*