[過去ﾛｸﾞ]
スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
スレタイ 箱入り無数目を語る部屋19 http://rio2016.5ch.net/test/read.cgi/math/1717503315/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
176: １３２人目の素数さん [] 2024/06/12(水) 07:57:29.53 ID:K+PhOrBu >>2 >いよいよ第k列 の(D+1) 番目から先の箱だけを開ける：s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・. >いま > D >= d(s^k) >を仮定しよう.この仮定が正しい確率は99/100， （中略） >仮定のもと， s^k(D+1)，s^k(D+2)，s^k(D+3)，・・・を見て代表r＝r(s^k) が取り出せるので >(代表)列r のD番目の実数rDを見て， >「第k列のD番目の箱に入った実数はs^k(D)＝rD」 >と賭ければ，めでたく確率99/100で勝てる. 日本語が読める人ならわかるが 当
てる箱はD番目 開けてる箱はD+1番目以降 なので、カンニング（つまりD番目の箱の開封）は発生しようがない http://rio2016.5ch.net/test/read.cgi/math/1717503315/176
177: １３２人目の素数さん [] 2024/06/12(水) 08:00:47.73 ID:H2WjMFc4 >>169 結局それを説明できる頭がないか、よほど都合が悪いのか… http://rio2016.5ch.net/test/read.cgi/math/1717503315/177
178: １３２人目の素数さん [] 2024/06/12(水) 08:01:25.76 ID:K+PhOrBu >>176 もし、D+1番目以降のnでrn₌s^k(n)である場合 D+1>=d(s^k)だろうとわかるが D>=d(s^k)かどうかはわからない という点に注意せよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/178
179: １３２人目の素数さん [] 2024/06/12(水) 08:03:48.63 ID:H2WjMFc4 >>174 ∀を先頭に置きっぱだとなぜカンニングとなるのか説明しろって言ってんだよ 記憶力ダチョウかよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/179
180: １３２人目の素数さん [] 2024/06/12(水) 08:08:38.19 ID:H2WjMFc4 >>175 先頭に∀を置く←カンニングを容認した論理 先頭の∀を後ろに移動できない←カンニングしている証拠 後ろに∀を置く←カンニングを禁止する論理 などとほざくアホには無理です http://rio2016.5ch.net/test/read.cgi/math/1717503315/180
181: １３２人目の素数さん [] 2024/06/12(水) 08:10:00.45 ID:K+PhOrBu ∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn₌rn というのは、決定番号の定義から言えることなので、カンニングもクソもない そして同値類の代表をとる定義を満たす関数rが存在する、というのも 選択公理からいえることなので、これまたカンニングもクソもない 100個の無限列の100個の決定番号それぞれに対して 自分の決定番号dと自分以外の決定番号Dの最大値の間の不等式 d＞D を満たす列はたかだか1つしかない これまたカンニングもクソもない http://rio2016.5ch.ne
t/test/read.cgi/math/1717503315/181
182: １３２人目の素数さん [] 2024/06/12(水) 08:15:18.94 ID:H2WjMFc4 Q. ∀を先頭に置きっぱだとカンニングとなる理由を説明せよ A. 先頭に∀を置く←カンニングを容認した論理 これで答えた気になってるって頭ダチョウかよｗ http://rio2016.5ch.net/test/read.cgi/math/1717503315/182
183: １３２人目の素数さん [sage] 2024/06/12(水) 16:23:10.36 ID:M1GZfUZp >>181 見ての通り∀と∃の順序に無頓着だろ εδからやり直せよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/183
184: １３２人目の素数さん [sage] 2024/06/12(水) 16:32:43.68 ID:M1GZfUZp ∀s∈ℝ^ℕ.∃r∈ℝ^ℕ.s=r わいはもっと強い主張を証明できたし、選択公理なんてでてこねーぞ http://rio2016.5ch.net/test/read.cgi/math/1717503315/184
185: １３２人目の素数さん [sage] 2024/06/12(水) 16:36:14.19 ID:G1xaRby0 基本的にはs(無限列)からr(同値類の代表である無限列)への関数だから∀∃の順でよい ただsから頭を落として別の頭に挿げ替えても同じrが得られるのが重要 だから当てるべき箱を開ける必要がない 尻尾の同値関係からやり直せよ🐎🦌 http://rio2016.5ch.net/test/read.cgi/math/1717503315/185
186: １３２人目の素数さん [sage] 2024/06/12(水) 16:37:15.69 ID:G1xaRby0 >>184 >∀s∈ℝ^ℕ.∃r∈ℝ^ℕ.s=r 君、全然分かってないね 中卒？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/186
187: １３２人目の素数さん [sage] 2024/06/12(水) 16:49:33.47 ID:M1GZfUZp ∀s∈ℝ^ℕ.∃r∈ℝ^ℕ.s=r から ∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn が証明できることすら分かってないのかよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/187
188: １３２人目の素数さん [] 2024/06/12(水) 17:28:19.26 ID:H2WjMFc4 >>184 それ、君のおつむと同じでぜんぜん強くないんだが http://rio2016.5ch.net/test/read.cgi/math/1717503315/188
189: １３２人目の素数さん [] 2024/06/12(水) 17:29:58.25 ID:H2WjMFc4 >>187 ぜんぜん分かってなくて草 http://rio2016.5ch.net/test/read.cgi/math/1717503315/189
190: １３２人目の素数さん [] 2024/06/12(水) 17:31:18.65 ID:H2WjMFc4 ∀を先頭に置きっぱだとなぜカンニングとなるのか説明まだですか？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/190
191: １３２人目の素数さん [sage] 2024/06/12(水) 17:34:08.29 ID:M1GZfUZp 論理式がまともに書けないやつに分かるわけないだろ 口からクソ垂れる前にεδからやり直して来いよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/191
192: １３２人目の素数さん [sage] 2024/06/12(水) 17:35:53.69 ID:M1GZfUZp お前らこれ見てみろよ 噴飯ものだろ ＞∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn₌rn http://rio2016.5ch.net/test/read.cgi/math/1717503315/192
193: １３２人目の素数さん [] 2024/06/12(水) 17:42:28.71 ID:H2WjMFc4 >>192 もっと強烈なのあるよ 先頭に∀を置く←カンニングを容認した論理 先頭の∀を後ろに移動できない←カンニングしている証拠 後ろに∀を置く←カンニングを禁止する論理 http://rio2016.5ch.net/test/read.cgi/math/1717503315/193
194: １３２人目の素数さん [] 2024/06/12(水) 18:34:27.23 ID:HnQbEE+9 >>192 全然おかしくないけど 「任意の無限列sと、自然数nに対して ある無限列rが存在して nがd(s)以上なら sのn番目の項とrのs番目の項が一致する」 rはsの尻尾同値類の代表列 d(s)はsの決定番号（sとrの尻尾の一致箇所の先頭） それより噴飯なのはこれ >∀s∈ℝ^ℕ.∃r∈ℝ^ℕ.s=r http://rio2016.5ch.net/test/read.cgi/math/1717503315/194
195: １３２人目の素数さん [] 2024/06/12(水) 18:36:23.14 ID:HnQbEE+9 >∀s∈ℝ^ℕ.∃r∈ℝ^ℕ.s=r から >∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn が証明できる その通りだが、∀s∈ℝ^ℕ.∃r∈ℝ^ℕ.s=r なんて使ってないし それだと同じ同値類に属していても異なるrになってしまうから代表にならない そんな初歩もわからん🐎🦌なのか？中卒？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/195
196: １３２人目の素数さん [] 2024/06/12(水) 18:37:52.61 ID:HnQbEE+9 「同値類の代表」が理解できない🐎🦌に大学の数学は決して理解できない http://rio2016.5ch.net/test/read.cgi/math/1717503315/196
197: １３２人目の素数さん [sage] 2024/06/12(水) 19:02:35.26 ID:M1GZfUZp >>194 r=sでいいだろ バカなの？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/197
198: １３２人目の素数さん [sage] 2024/06/12(水) 19:27:17.76 ID:M1GZfUZp 彼がやってるのは、ようするにr=sにすれば一発で証明できる命題を選択公理をこねくり回して意味不明なやり方で証明してるだけ http://rio2016.5ch.net/test/read.cgi/math/1717503315/198
199: １３２人目の素数さん [] 2024/06/12(水) 19:35:00.72 ID:HnQbEE+9 君がやってるのは、選択公理の代わりに馬鹿命題を前提して 「ほら解けた！ これがエスパー！」と吠え散らかしてるだけｗ 公立中学卒なら最初からそういえよ このIQ70代野郎が http://rio2016.5ch.net/test/read.cgi/math/1717503315/199
200: １３２人目の素数さん [sage] 2024/06/12(水) 19:36:54.97 ID:HnQbEE+9 “普通”でも“知的障害”でもない… 日本人の7人に1人、クラスに5人はいる 「IQ70以上85未満」の子どものリアル 《境界知能の生きづらさ》 bunshun.jp/articles/-/65981 http://rio2016.5ch.net/test/read.cgi/math/1717503315/200
201: １３２人目の素数さん [] 2024/06/12(水) 19:47:26.10 ID:H2WjMFc4 >>197 よくねーよ バカなの？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/201
202: １３２人目の素数さん [] 2024/06/12(水) 19:48:07.06 ID:H2WjMFc4 >>198 バカ丸出し http://rio2016.5ch.net/test/read.cgi/math/1717503315/202
203: １３２人目の素数さん [sage] 2024/06/12(水) 19:49:06.39 ID:M1GZfUZp >>199 馬鹿命題を書いた本人が自己紹介してて笑える http://rio2016.5ch.net/test/read.cgi/math/1717503315/203
204: １３２人目の素数さん [sage] 2024/06/12(水) 19:49:24.86 ID:M1GZfUZp >>201 なんで？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/204
205: １３２人目の素数さん [] 2024/06/12(水) 19:50:04.78 ID:H2WjMFc4 >>199 馬鹿命題とは？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/205
206: １３２人目の素数さん [] 2024/06/12(水) 19:50:08.17 ID:HnQbEE+9 マジで ID:M1GZfUZp は境界知能かと思えてきた あんまりいじっちゃかわいそうかな http://rio2016.5ch.net/test/read.cgi/math/1717503315/206
207: １３２人目の素数さん [] 2024/06/12(水) 19:51:13.89 ID:HnQbEE+9 ∀s∈ℝ^ℕ.∃r∈ℝ^ℕ.s=r とかいいだしたあたりから 「この人、もしかして、正真正銘の・・・」 という感じがしてきて、ざわざわしていた http://rio2016.5ch.net/test/read.cgi/math/1717503315/207
208: １３２人目の素数さん [] 2024/06/12(水) 19:51:16.86 ID:H2WjMFc4 >>204 おまえ同値類の代表元知らんのか？ ならROMってろよ 馬鹿自慢して楽しいか？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/208
209: １３２人目の素数さん [sage] 2024/06/12(水) 19:54:41.21 ID:M1GZfUZp >>208 君の命題の証明には必要ないよ r=sのときに自明に成り立つ http://rio2016.5ch.net/test/read.cgi/math/1717503315/209
210: １３２人目の素数さん [] 2024/06/12(水) 19:55:42.04 ID:H2WjMFc4 >>209 やはり知らないのか 馬鹿丸出し http://rio2016.5ch.net/test/read.cgi/math/1717503315/210
211: １３２人目の素数さん [sage] 2024/06/12(水) 19:57:06.84 ID:M1GZfUZp 彼の主張によると ∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn これを証明するのにr=sで自明に成り立つことを使ってはいけないそうだぞ 証明の概念がぶっ壊れてやがる http://rio2016.5ch.net/test/read.cgi/math/1717503315/211
212: １３２人目の素数さん [sage] 2024/06/12(水) 19:58:18.47 ID:M1GZfUZp 証明がわからない子は小学校からやり直すべきだと思う http://rio2016.5ch.net/test/read.cgi/math/1717503315/212
213: １３２人目の素数さん [] 2024/06/12(水) 20:03:10.74 ID:H2WjMFc4 >>211 いいから同値類を勉強しなさい 同値類が分からなくて箱入り無数目が分かるはずがない http://rio2016.5ch.net/test/read.cgi/math/1717503315/213
214: １３２人目の素数さん [sage] 2024/06/12(水) 20:05:45.26 ID:M1GZfUZp >>213 さっきの命題と何の関係があるの？ r=sとすればよい かく示された http://rio2016.5ch.net/test/read.cgi/math/1717503315/214
215: １３２人目の素数さん [] 2024/06/12(水) 20:11:43.07 ID:HnQbEE+9 境界知能君 がんばってー（憐れみ） http://rio2016.5ch.net/test/read.cgi/math/1717503315/215
216: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2024/06/12(水) 20:17:35.20 ID:rDcpWiYY ＜繰り返す＞ https://rio2016.5ch.net/test/read.cgi/math/1710632805/887 (スレ18) ・箱が一つ、サイコロの出目の数字を入れる。これを、確率変数Xとして扱う ・箱が二つ、サイコロの出目の数字を入れる。これを、確率変数X1,X2として扱う ・箱がn個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xnとして扱う ・箱が可算個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xn・・として扱う 大学学部確率論の範囲だろう。ちゃ
んと勉強して単位を取った者なら分かる iid(独立同分布)として扱える。どの箱の的中確率も1/6 ちゃんと勉強して単位を取った者なら分かる このスタートラインに立てない 数学科オチコボレさんを相手にしても、しかたないｗ ；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1717503315/216
217: １３２人目の素数さん [] 2024/06/12(水) 20:22:11.87 ID:H2WjMFc4 >>214 縁なき衆生は度し難し http://rio2016.5ch.net/test/read.cgi/math/1717503315/217
218: １３２人目の素数さん [] 2024/06/12(水) 20:23:22.01 ID:rDcpWiYY >>214 ID:M1GZfUZpさん、ご苦労さまです スレ主です ・ここに、数学科で落ちこぼれた人が二人いる ・一人は、サイコパスのおサル>>9-12 ・もう一人が、数学板に「箱入り無数目」を最初に持ち込んだ人だが ”「箱入り無数目」成立する”のマインドコントロールが入っている ・どうしようもない二人だから 適当にあしらってください http://rio2016.5ch.net/test/read.cgi/math/1717503315/218
219: １３２人目の素数さん [] 2024/06/12(水) 20:37:07.59 ID:HnQbEE+9 >>218 元祖境界知能君 囲碁板に行って~（生暖かい助言） http://rio2016.5ch.net/test/read.cgi/math/1717503315/219
220: １３２人目の素数さん [] 2024/06/12(水) 20:38:15.34 ID:HnQbEE+9 ＞ちゃんと勉強して単位を取った者なら分かる ああ、じゃ線形代数サボって単位落として退学した君にはわかんないな（バッサリ） http://rio2016.5ch.net/test/read.cgi/math/1717503315/220
221: １３２人目の素数さん [sage] 2024/06/12(水) 21:16:47.77 ID:M1GZfUZp ∀と∃の順序がわからないのに線形代数の単位取れたの？？？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/221
222: １３２人目の素数さん [] 2024/06/12(水) 21:50:42.03 ID:H2WjMFc4 箱入り無数目が全く分かってないのに順序もクソも無い http://rio2016.5ch.net/test/read.cgi/math/1717503315/222
223: １３２人目の素数さん [sage] 2024/06/12(水) 21:59:59.30 ID:M1GZfUZp r=sにするだけで箱入り無数目は解決したじゃん 馬鹿なのか？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/223
224: １３２人目の素数さん [] 2024/06/12(水) 22:06:47.68 ID:HnQbEE+9 f(s)＝sじゃ、１つの同値類に対して１つの代表を選ぶ関数じゃなくなってアウト http://rio2016.5ch.net/test/read.cgi/math/1717503315/224
225: １３２人目の素数さん [sage] 2024/06/12(水) 22:11:35.40 ID:M1GZfUZp >>224 なんでアウトなの？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/225
226: １３２人目の素数さん [sage] 2024/06/12(水) 22:29:02.53 ID:M1GZfUZp ∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn の証明でr=sとすればいいというのはアウトらしいぞ どこの電波数学だよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/226
227: １３２人目の素数さん [] 2024/06/12(水) 23:11:35.14 ID:H2WjMFc4 >>225 おまえは分からなくてよい http://rio2016.5ch.net/test/read.cgi/math/1717503315/227
228: １３２人目の素数さん [sage] 2024/06/12(水) 23:13:49.84 ID:M1GZfUZp ∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn の証明でr=sとすればいいというのはアウト 電波数学ここに極まれり http://rio2016.5ch.net/test/read.cgi/math/1717503315/228
229: １３２人目の素数さん [] 2024/06/12(水) 23:16:54.19 ID:H2WjMFc4 >>228 よかったね http://rio2016.5ch.net/test/read.cgi/math/1717503315/229
230: １３２人目の素数さん [] 2024/06/13(木) 08:53:57.24 ID:9Ef1shUv f(s)=sという関数では何も情報が得られない 箱入り無数目では、無限列のある箇所から先の尻尾の情報から、無限列全体の情報を得ようとする このときf(s)=sという関数だと、尻尾に適当な頭をつけた偽無限列そのものの情報しか得られない 無限列から尻尾同値類の代表を返す関数の場合、 仮に尻尾が決定番号（無限列と代表が一致する尻尾の先頭）よりも後ろだったら 関数の適用により、決定番号〜尻尾の先頭の直前の情報が得られる そこがポイント そして一般に「無限列
の尻尾同値類の代表を返す関数」は選択公理の下でしか存在が示せない （無限列の範囲を限定した場合には、代表を具体的に構成できる場合もあるが） http://rio2016.5ch.net/test/read.cgi/math/1717503315/230
231: １３２人目の素数さん [sage] 2024/06/13(木) 16:49:34.93 ID:0N/Uftjc r=sで証明できてるのに何言ってんだこいつ http://rio2016.5ch.net/test/read.cgi/math/1717503315/231
232: １３２人目の素数さん [] 2024/06/13(木) 17:10:33.48 ID:32iuQTgG >>231 君は分からなくていいよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/232
233: １３２人目の素数さん [sage] 2024/06/13(木) 17:11:04.93 ID:9Ef1shUv >>231 できてないよ 君が選択公理による無限列の尻尾同値類の代表を返す関数を理解できないのをごまかしてるだけ http://rio2016.5ch.net/test/read.cgi/math/1717503315/233
234: １３２人目の素数さん [sage] 2024/06/13(木) 17:30:33.23 ID:0N/Uftjc >>233 ∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn の証明の話してるんだよ？頭悪いからもう忘れたの？ 選択公理なんて全く必要ない。ただrとしてsを選べばいいだけ 君は証明が正しいかどうかも自分で判断できないの？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/234
235: １３２人目の素数さん [] 2024/06/13(木) 17:53:58.00 ID:32iuQTgG >>234 一生言ってなさい 縁なき衆生は度し難し http://rio2016.5ch.net/test/read.cgi/math/1717503315/235
236: １３２人目の素数さん [sage] 2024/06/13(木) 18:27:21.88 ID:0N/Uftjc >>235 ∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn の証明の話してるんだよ？頭悪いからもう忘れたの？ 選択公理なんて全く必要ない。ただrとしてsを選べばいいだけ 君は証明が正しいかどうかも自分で判断できないの？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/236
237: １３２人目の素数さん [] 2024/06/13(木) 18:59:08.17 ID:32iuQTgG >>236 一生言ってなさい 縁なき衆生は度し難し http://rio2016.5ch.net/test/read.cgi/math/1717503315/237
238: １３２人目の素数さん [sage] 2024/06/13(木) 19:09:50.59 ID:0N/Uftjc >>237 ∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn の証明の話してるんだよ？頭悪いからもう忘れたの？ 選択公理なんて全く必要ない。ただrとしてsを選べばいいだけ 君は証明が正しいかどうかも自分で判断できないの？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/238
239: １３２人目の素数さん [] 2024/06/13(木) 19:35:05.07 ID:32iuQTgG >>238 一生言ってなさい 縁なき衆生は度し難し http://rio2016.5ch.net/test/read.cgi/math/1717503315/239
240: １３２人目の素数さん [sage] 2024/06/13(木) 19:44:32.56 ID:0N/Uftjc >>239 ∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn の証明の話してるんだよ？頭悪いからもう忘れたの？ 選択公理なんて全く必要ない。ただrとしてsを選べばいいだけ 君は証明が正しいかどうかも自分で判断できないの？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/240
241: １３２人目の素数さん [] 2024/06/14(金) 05:56:15.68 ID:7r1vwZVg >∀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) http://rio2016.5ch.net/test/read.cgi/math/1717503315/241
242: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2024/06/14(金) 07:28:48.30 ID:6A8p+Dyj ＜繰り返す＞ https://rio2016.5ch.net/test/read.cgi/math/1710632805/887 (スレ18) ・箱が一つ、サイコロの出目の数字を入れる。これを、確率変数Xとして扱う ・箱が二つ、サイコロの出目の数字を入れる。これを、確率変数X1,X2として扱う ・箱がn個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xnとして扱う ・箱が可算個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xn・・として扱う 大学学部確率論の範囲だろう。ちゃ
んと勉強して単位を取った者なら分かる iid(独立同分布)として扱える。どの箱の的中確率も1/6 ちゃんと勉強して単位を取った者なら分かる このスタートラインに立てない 数学科オチコボレさんを相手にしても、しかたないｗ ；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1717503315/242
243: １３２人目の素数さん [] 2024/06/14(金) 07:41:25.18 ID:CGMOaeKS >>242 >・箱が可算個、サイコロの出目の数字を入れる。これを、確率変数X1,X2,・・,Xn・・として扱う >大学学部確率論の範囲だろう。ちゃんと勉強して単位を取った者なら分かる 確率論は「箱入り無数目の箱は確率変数として扱わなければならない」なんてことを強制しない ちゃんと勉強して理解した者なら誰でもわかる わからないのは大学の確率論を ・履修しなかったか ・履修したけど落としたか ・わけもわからず単位とれちゃったか のいずれか （最後が一番性質
が悪い） >iid(独立同分布)として扱える。どの箱の的中確率も1/6 そもそも確率変数でなければiidとかいう以前 箱の中の確率分布を考える必要が全くない （実際「箱入り無数目」の確率計算では箱の中身の確率分布など一切用いていない 唯一用いているのは、１００列から任意に１列選ぶ確率が一様で等しいということのみ） つまり「箱入り無数目」は確率計算に関しては小学生レベルのことしかやってない 算数だね （もちろん、集合論としては選択公理を用いているので大学生レベル そして◆yH25M02vWFhPはそこが理解できなくてドボン 集合論
からやりなおせ） http://rio2016.5ch.net/test/read.cgi/math/1717503315/243
244: １３２人目の素数さん [] 2024/06/14(金) 07:48:39.86 ID:aKckKf/J ∃f∈(R^N→R^N)∀s1,s2∈R^N.s1~s2⇒s1~f(s1)＆s2~f(s2)＆f(s1)＝f(s2) つまり 「実数の無限列から実数の無限列へのある写像fが存在して 任意の実数の無限列s1,s2が尻尾同値であるならば そのfの像はそれぞれ元のs1,s2と尻尾同値であり さらに実は同じ無限列である」 （つまりfは実数の無限列の尻尾同値類から実数の無限列への単射である） このようなfの存在が選択公理から導ける これ豆な http://rio2016.5ch.net/test/read.cgi/math/1717503315/244
245: １３２人目の素数さん [sage] 2024/06/14(金) 16:13:19.34 ID:J56Y0HCG >>241 結局、攻略法があるっていうのを論理式で書いたら何になると思って証明やってるの？ それはこれでほんとにあってるの？ > 満たすべきは、正しくはこれだから > ∃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) http://rio2016.5ch.net/test/read.cgi/math/1717503315/245
246: １３２人目の素数さん [] 2024/06/14(金) 16:43:02.80 ID:7r1vwZVg 以前書いてあった筈だけどな 日本語で書くから論理式になおしてごらん １．尻尾同値類から無限列への単射となる写像がある ２．無限列から自然数への関数で、その自然数から先の位置で代表と尻尾が一致するものがある ３．２の関数によって１００個の無限列に対して１００個の決定番号が存在する ４．１００列から１列選び、他の９９列を全部開けて決定番号を求め、その最大値をDとして 選んだ１列のD番目の箱は開けずに、D+1番目以降の箱を開けて代表列をもとめ その代表列の
D番目が選んだ無限列のD番目と一致する、すなわち、選んだ列の決定番号が D以下となる列は、１００列中２列以上存在し得ない（つまりたかだか１列しか存在しない） 選んだ列のD番目の箱は開けてないからカンニングはしていない また、選んだ列の決定番号が分かる必要もない http://rio2016.5ch.net/test/read.cgi/math/1717503315/246
247: １３２人目の素数さん [] 2024/06/14(金) 16:46:29.92 ID:kwvQBQfb >>245 1から10まで教えてもらおうとするんだな君は 少しは自分で考えたら？君の脳みそは何のためにある？ http://rio2016.5ch.net/test/read.cgi/math/1717503315/247
248: １３２人目の素数さん [sage] 2024/06/14(金) 16:54:29.33 ID:J56Y0HCG >>247 お前が定理のステートメントを書かずに証明を書いてるから文句言ってるんだよ エスパーじゃねーんだからお前の脳内にあるステートメントが分かるわけないだろ http://rio2016.5ch.net/test/read.cgi/math/1717503315/248
249: １３２人目の素数さん [] 2024/06/14(金) 17:23:07.74 ID:7r1vwZVg >>246の１~４がステートメント ４の証明 D<＝dとなる列が２列以上あるとすると ｄ１＜ｄ２ かつ ｄ２＜ｄ１ となる自然数ｄ１，ｄ２が存在することが示せる しかしながらこれは自然数の全順序に反するので そのような２数は存在しない http://rio2016.5ch.net/test/read.cgi/math/1717503315/249
250: １３２人目の素数さん [] 2024/06/14(金) 17:24:14.60 ID:7r1vwZVg １は選択公理から存在が示せる ２は１から示せる ３は２から示せる だから全部証明できてる 境界知能君が論理分かってないから証明が理解できないだけ http://rio2016.5ch.net/test/read.cgi/math/1717503315/250
251: １３２人目の素数さん [sage] 2024/06/14(金) 17:28:46.88 ID:7k+tHALa >>248 カンニングという発想がどこから出たのか知らないが、 箱入り無数目のすべての登場人物は 1)：出題者、2)：箱の中の実数を当てる解答者、 3)：箱入り無数目の記事を読む人達(いわゆる第三者) であり、この1)、2)、3)に限られる この状況下で、君が分類される3)の第三者は 2)の箱入り無数目の解答者ではなく3)の第三者だから、 カンニングはしようがない http://rio2016.5ch.net/test/read.cgi/math/1717503315/251
252: １３２人目の素数さん [] 2024/06/14(金) 17:37:18.86 ID:7r1vwZVg 100列siについて(di,Di)という自然数の組が対応する diはsiの決定番号で、Diはsi以外の決定番号の最大値 そしてdi>Diとなるsiは2列以上存在しない 注 >>249の正誤表 誤 D<＝dとなる列が２列以上あるとすると 正 D<dとなる列が２列以上あるとすると http://rio2016.5ch.net/test/read.cgi/math/1717503315/252
253: １３２人目の素数さん [] 2024/06/14(金) 17:43:43.38 ID:kwvQBQfb >>248 エスパー？脳内？なにを言ってるんだ君は 必要なことはすべて記事に書かれてるぞ なぜ読もうとしない？ スプーンで口に運んでくれないとミルクも飲まない赤ん坊かね？君は http://rio2016.5ch.net/test/read.cgi/math/1717503315/253
254: １３２人目の素数さん [sage] 2024/06/14(金) 17:46:25.63 ID:J56Y0HCG >>249 これのどこが箱入り無数目に攻略法があるってステートメントなんだよ 例えば後出しジャンケンに必勝法がある を示したかったら対応する論理式は 「∀先手の手x. ∃後手の手y. yはxに勝つ」 にするだろ お前の脳内にある、これの箱入り無数目バージョンをちゃんと見せろって言ってんだよ http://rio2016.5ch.net/test/read.cgi/math/1717503315/254
255: １３２人目の素数さん [sage] 2024/06/14(金) 17:49:47.90 ID:J56Y0HCG >>253 記事では∀r∈ℝ^ℕから始まる論理式を示してるだろ それはカンニングを容認してるってことじゃねーか http://rio2016.5ch.net/test/read.cgi/math/1717503315/255
256: １３２人目の素数さん [] 2024/06/14(金) 17:55:51.04 ID:7r1vwZVg ＞必勝法 確率99/100で勝てる、が なぜ、必勝（＝確率1で勝てる）に化けるんだ 境界知能君は文章も正しく読めないのか それじゃ数学は無理だぞ http://rio2016.5ch.net/test/read.cgi/math/1717503315/256
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 746 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.018s