[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
361(2): 2024/06/17(月)06:21 ID:hrQkMfbM(5/26) AAS
>>359
結論が99/100になるところまで手を抜かすにやれよ
362(1): 2024/06/17(月)06:27 ID:wAydTPyr(3/23) AAS
>>361
99/100は、「100通りの選択のうち失敗は1通り」という形で示されるが
100通り示すには、当然全部の情報が明らかとなる必要がある
しかし、任意の選択に関して、当てるべき箱の情報は得ずとも答えとなる情報は得られる
つまり確率99/100となる命題に対して「∀を内側に移動できる」かと言えば、答えは否
連続と一様連続のようなわけにはいかない
残念だったね、境界知能２君
（完）
363: 2024/06/17(月)06:29 ID:wAydTPyr(4/23) AAS
一方、方法は端的に関数として示され、
それは無限列に依存しないから「∀を内側に移動できる」
またその適用法についても、箱の中身を見ない形で適用できると示せる
したがって、境界知能２君のいいがかりは完全に却下される
残念だったね、境界知能２君
（完）
364: 2024/06/17(月)07:06 ID:LpUcCjCV(6/23) AAS
>>357
説明になってないよ
365: 2024/06/17(月)07:12 ID:LpUcCjCV(7/23) AAS
>>361
やれよって君は何様だい？
366: 2024/06/17(月)08:07 ID:swHUx0I5(1) AAS
ID:hrQkMfbM
イミフな書きこみはよせ
367(1): 2024/06/17(月)12:35 ID:LpUcCjCV(8/23) AAS
[選択関数の存在]
選択公理を仮定したとき、任意の実数列に対してしっぽ同値類の代表列を与える選択関数 f:R^N→R^N が存在する。
[カンニング不要の原理]
任意の実数列sの任意有限個の項を0に置換した実数列をs'とすると、f(s)=f(s')。
つまり、f(s)を知るのにsの任意有限個の項は不明でよい。
[箱入り無数目の主張]
任意の100個の実数列それぞれに、当てる候補の箱が存在して、ハズレ箱（代表列の対応する箱と中身が一致しない箱）はたかだか1箱である
∃f.∀s1,s2,...,s100∈R^N.∃n1,n2,...,n100∈N.∃k∈{1,2,...,100}.∀i∈{1,2,...,100}.i≠k⇒si(ni)=f(si)(ni)
[証明]
決定番号の定義は既知とする。
省2
368(1): 2024/06/17(月)12:58 ID:LpUcCjCV(9/23) AAS
まあこれだけ読んでも何が何やらだろう
理解したければ記事を読みなさい
必要なことは記事にすべて書かれている
369: 2024/06/17(月)13:48 ID:31bEL2+Y(1) AAS
>>368
何度繰り返しても無駄
370(1): 2024/06/17(月)14:17 ID:hrQkMfbM(6/26) AAS
>>362
だから内側に入れられないのがカンニングの証拠だって言ってんだよ
何が残念なんだ
371(1): 2024/06/17(月)14:46 ID:lPbU4hsN(1) AAS
>>370
∃ｆの内側に入れられたのでカンニングでない証拠
残念でした ID:hrQkMfbM
372(1): 2024/06/17(月)15:05 ID:hrQkMfbM(7/26) AAS
>>371
99/100はどこに消えたの？
373(1): 2024/06/17(月)15:42 ID:LpUcCjCV(10/23) AAS
>>372
100個中99個だからランダム選択すれば確率99/100
バカなの？
374: 2024/06/17(月)15:55 ID:/cbEK16/(1/2) AAS
100個の列の決定番号diと、他の99列の決定番号の最大値Diの組(di,Di)を考える
100個の組(di,Di)のうち、di＞Diとなる列はたかだか１つしかない
そしてその列以外では、di<=Diなので、si(Di)₌f(si)(Di)である
したがって、si(Di)₌f(si)(Di)となる列を選ぶ確率は1-1/100₌99/100
（完）
375: 2024/06/17(月)15:57 ID:/cbEK16/(2/2) AAS
>>367の
∃f.∀s1,s2,...,s100∈R^N.∃D1,D2,...,D100∈N.∃k∈{1,2,...,100}.∀i∈{1,2,...,100}.i≠k⇒si(Di)=f(si)(Di)
のkが、dk＞Dkとなる列の番号だから、i≠k⇒si(Di)=f(si)(Di)
（完）
376(1): 2024/06/17(月)16:03 ID:LpUcCjCV(11/23) AAS
∀が先頭だとカンニングの証拠？
ばーーーーーーーーーーーーーーーーーーーーか
377: 2024/06/17(月)16:59 ID:frEjQhHI(1/3) AAS
>>376
100列のうちどれが外れの列かを知るにはもちろん全部の列を開けるしかないｗ
しかし、箱入り無数目で確率99/100で勝てればいいというだけならどれが外れの列かを知る必要はない
だから外れの列がたかだか１つしか存在しないという命題で∀（100列）となってるからといって
「それみたことか！100列全部見なければ確率99/100で勝てないではないか」
と吠えるのは🐎🦌
378(1): 2024/06/17(月)17:01 ID:hrQkMfbM(8/26) AAS
>>373
それを論理式に入れろよ
379(1): 2024/06/17(月)17:02 ID:frEjQhHI(2/3) AAS
＞∃f.∀s1,s2,...,s100∈R^N.∃D1,D2,...,D100∈N.∃k∈{1,2,...,100}.∀i∈{1,2,...,100}.i≠k⇒si(Di)=f(si)(Di)
実は上記の式には誤りがある。外れ列は1つも存在しなくてもよい。
2つ以上存在することはないが、必ず1つ存在するとはいってないし、
実際決定番号が最大値の列が2つ以上あったら決定番号が他より大きい列は1つも存在しない
380: 2024/06/17(月)17:04 ID:frEjQhHI(3/3) AAS
>>378 中身が全然分かってない君のツッコミは無意味
上下前次1-新書関写板覧索設栞歴
あと 622 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.010s