[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋17 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(23): 2024/03/05(火)08:04 ID:FscjMFDQ(1/9) AAS
前スレが1000近く又は1000超えになったので、新スレを立てる
2chｽﾚ:math
前スレ スレタイ 箱入り無数目を語る部屋16
(参考)時枝記事
外部ﾘﾝｸ:imgur.com
数学セミナー201511月号「箱入り無数目」
2chｽﾚ:math
省26
922(2): 2024/03/17(日)02:13 ID:VAa6dkvQ(31/75) AAS
>>918
おまえいっつも逃げるのな
逃げ口上考える頭を数学に使えば？
923(2): 2024/03/17(日)02:13 ID:VAa6dkvQ(32/75) AAS
>>920
何がどう違うと？
924: 2024/03/17(日)02:14 ID:VAa6dkvQ(33/75) AAS
>>921
だから逃げ口上はいいって
925(1): 2024/03/17(日)02:15 ID:egixwGA8(34/38) AAS
>>922
不便なものに不便だと言って何が悪い
確率論の標準的な手法に文句があるならコルモゴロフにでも言ってくれ
926(1): 2024/03/17(日)02:16 ID:egixwGA8(35/38) AAS
>>923
∃(x+1)くんが捏造してるのに合ってるわけないだろ
927(2): 2024/03/17(日)02:16 ID:VAa6dkvQ(34/75) AAS
>>921
ひとつに決めないのも定式化の一部ならひとつに決めるのも定式化の一部だろ
じゃ決めろよ
これ以上逃げ口上は勘弁な
928: 2024/03/17(日)02:17 ID:VAa6dkvQ(35/75) AAS
>>925
悪いなんて言ってないじゃんｗ 幻聴が聞こえるのか？
929(1): 2024/03/17(日)02:18 ID:VAa6dkvQ(36/75) AAS
>>926
何をどう捏造してると？
930(1): 2024/03/17(日)02:18 ID:egixwGA8(36/38) AAS
>>927
何言ってんの
定式化は各人好きなようにやっていいよ
君がやりたいならそうしろよ
こっちは確率論を具体的に書かない標準的なやり方でやるから
931(1): 2024/03/17(日)02:19 ID:VAa6dkvQ(37/75) AAS
>>930
おまえさっき勝手に決めるなって言ったのもう忘れたの？ｗ
ダメだこいつｗ 完全にイカレてやがるｗ
932(2): 2024/03/17(日)02:20 ID:egixwGA8(37/38) AAS
>>929
＞「先手の情報が全公開されてないなら ∀x.∃y.P(x,y) を ∃y.∀x.P(x,t) に書き換えられる」
このような主張はしてない
933(1): 2024/03/17(日)02:21 ID:egixwGA8(38/38) AAS
>>931
君の決めたやつで勝手にやってていいから
934: 2024/03/17(日)02:22 ID:VAa6dkvQ(38/75) AAS
0908１３２人目の素数さん
2024/03/17(日) 01:52:50.48ID:egixwGA8
>>907
お前が決めるんじゃねーよ
0930１３２人目の素数さん
2024/03/17(日) 02:18:16.92ID:egixwGA8
>>927
省4
935(1): 2024/03/17(日)02:23 ID:VAa6dkvQ(39/75) AAS
>>933
0908１３２人目の素数さん
2024/03/17(日) 01:52:50.48ID:egixwGA8
>>907
お前が決めるんじゃねーよ
936: 2024/03/17(日)02:24 ID:VAa6dkvQ(40/75) AAS
>>932
じゃあどう主張してんの？
937(1): 2024/03/17(日)02:28 ID:VAa6dkvQ(41/75) AAS
>>932
>∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、ex t (λx.f(x,t))は∃y.∀x.P(x,t)の証明である
証明である理由が何も書かれてなくて勝手に宣言してるだけじゃんｗ
宣言したもん勝ちかよｗ
938(1): 2024/03/17(日)02:28 ID:HNHCaIr5(1/29) AAS
>>935
こっちの定式化では任意にしてるところをお前が決めんなって言ってんの
お前が定式化してるところは固定で好きなようにやっていいから
939(3): 2024/03/17(日)02:29 ID:HNHCaIr5(2/29) AAS
>>937
何？証明であるのところが解らなかったの？
なんで今まで具体的に書かなかったの？
940(1): 2024/03/17(日)02:31 ID:VAa6dkvQ(42/75) AAS
>>938
なんでおまえが持ち出したPCR検査の確率空間をそんなに書きたくないの？
書けないなら持ち出さなきゃいいじゃん
持ち出したからには書けよ
不便とか言い訳してんなよカス
941(1): 2024/03/17(日)02:33 ID:VAa6dkvQ(43/75) AAS
>>939
うん分からなかった
証明になってないから分かり様が無い
942(1): 2024/03/17(日)02:33 ID:HNHCaIr5(3/29) AAS
>>940
なんで具体的に書けると思うの？
任意の確率空間って書いてんじゃん
943(2): 2024/03/17(日)02:34 ID:VAa6dkvQ(44/75) AAS
>>939
もう一回聞くけど
ex t (λx.f(x,t)) が ∃y.∀x.P(x,t) の証明である理由は何？
944: 2024/03/17(日)02:34 ID:HNHCaIr5(4/29) AAS
>>941
証明の定義に戻って確認するだけでしょ
945(1): 2024/03/17(日)02:35 ID:HNHCaIr5(5/29) AAS
>>943
ほとんど証明の定義そのままだろ
946: 2024/03/17(日)02:35 ID:VAa6dkvQ(45/75) AAS
>>942
任意ってことは{}でもいいんだろ？
じゃあ>>907に答えろや 何逃げてんだよ
947(1): 2024/03/17(日)02:36 ID:VAa6dkvQ(46/75) AAS
>>945
証明の定義を書いてみて
948: 2024/03/17(日)02:38 ID:VAa6dkvQ(47/75) AAS
こいつ書けって言うと全部逃げるのなｗ
口から出まかせだから書けないんだろう そりゃ逃げるしかないわな
949(2): 2024/03/17(日)02:40 ID:VAa6dkvQ(48/75) AAS
>>939
もうひとつ聞くけど
xがtに自由に現れるとき ex t (λx.f(x,t)) が ∃y.∀x.P(x,t) の証明でない理由は何？
950(1): 2024/03/17(日)02:41 ID:HNHCaIr5(6/29) AAS
>>947
それ知らないのになんでギャップがあるって主張すんの？
お前が知ってる定義を書いてみろよ
951: 2024/03/17(日)02:42 ID:VAa6dkvQ(49/75) AAS
>>950
自分が書けないからって何言いだすんだおまえｗ
952(1): 2024/03/17(日)02:43 ID:VAa6dkvQ(50/75) AAS
証明の定義の言い出しっぺはおまえだろ？
言い出しっぺが書けやクズ
953: 2024/03/17(日)02:47 ID:VAa6dkvQ(51/75) AAS
>>943と>>949は宿題な
忘れずやれよ
954(1): 2024/03/17(日)02:49 ID:HNHCaIr5(7/29) AAS
>>949
それなんか関係ある？
具体的にやってみりゃわかんじゃん
955: 2024/03/17(日)02:50 ID:HNHCaIr5(8/29) AAS
>>952
教科書に載ってるものをコピペする必要性がどこにあるの？
956(1): 2024/03/17(日)02:54 ID:VAa6dkvQ(52/75) AAS
>>954
結局理由をひとつも言えないのね？
だけど証明になってると思ってるのね？
ダメだこりゃ
957: 2024/03/17(日)02:57 ID:HNHCaIr5(9/29) AAS
>>956
理由もなにもほとんど証明の定義だろ
958(2): 2024/03/17(日)02:58 ID:VAa6dkvQ(53/75) AAS
聞いていいか？
箱入り無数目は∃y.∀x.P(x,t)とは書けない
一方、xを全公開してなくても∀x.∃y.P(x,y)であることが証明されている
それはおまえの持論に反してるんだろ？
てことは上記証明が間違ってるはずなんだろ？
どこが間違ってるの？
959: 2024/03/17(日)03:00 ID:VAa6dkvQ(54/75) AAS
>>958宿題な
忘れずやれよ
960(1): 2024/03/17(日)03:07 ID:HNHCaIr5(10/29) AAS
>>958
＞箱入り無数目は∃y.∀x.P(x,t)とは書けない
書ける
＞一方、xを全公開してなくても∀x.∃y.P(x,y)であることが証明されている
後者はPが具体的に書かれていないと証明されているのか不明。そもそも証明にはxが公開されているとかいう要素は関係ない
961(1): 2024/03/17(日)03:09 ID:VAa6dkvQ(55/75) AAS
時枝証明とおまえの持論は相容れない
おまえの持論の正しさを証明するには時枝証明の間違い箇所を具体的に指摘する必要がある
がんばれよｗ
962(1): 2024/03/17(日)03:13 ID:HNHCaIr5(11/29) AAS
>>961
記事の証明に間違いなんてねーぞ
そこは全員の共通認識だろ
今さら何言ってんの？
963(1): 2024/03/17(日)03:13 ID:VAa6dkvQ(56/75) AAS
>>960
>書ける
じゃyを書いてみて
>そもそも証明にはxが公開されているとかいう要素は関係ない
0260１３２人目の素数さん
2024/03/07(木) 16:55:42.19ID:C3Ro7iPT
>>259
省1
964(1): 2024/03/17(日)03:15 ID:VAa6dkvQ(57/75) AAS
>>962
>記事の証明に間違いなんてねーぞ
え？？？
じゃおまえは箱入り無数目成立派なの？
じゃ何に対し文句垂れてんの？
965(1): 2024/03/17(日)03:16 ID:HNHCaIr5(12/29) AAS
>>963
yは1でいいよ
＞>そもそも証明にはxが公開されているとかいう要素は関係ない
＞0260１３２人目の素数さん
＞2024/03/07(木) 16:55:42.19ID:C3Ro7iPT
＞>>259
＞∀が先頭についてるんだから相手側に全公開してるだろ
省1
966(1): 2024/03/17(日)03:17 ID:HNHCaIr5(13/29) AAS
>>964
お前らが適当に∀と∃を並べて曖昧なろんりを書いたり、確率変数を使った定式化を否定してるのに文句言ってんだよ
967(1): 2024/03/17(日)03:18 ID:HNHCaIr5(14/29) AAS
曖昧な論理式
968(1): 2024/03/17(日)03:19 ID:VAa6dkvQ(58/75) AAS
>>965
>yは1でいいよ
ダメだこいつｗ yがどんな空間に属すかすら分かってないｗ
>これの何が関係あるの？
そもそもおまえは何に対して文句垂れてんの？
969(1): 2024/03/17(日)03:21 ID:VAa6dkvQ(59/75) AAS
>>966
確率変数を使った定式化を否定してる訳ねーだろｗ 何をどう勘違いしたらそうなるんだ？ｗ
100列のいずれを選択するかが確率変数だと言ってんだよｗ 馬鹿かおまえは
970: 2024/03/17(日)03:24 ID:VAa6dkvQ(60/75) AAS
>>967
あいまいな論理式の前に
確率変数だから∀の位置がどうたらこうたらっておまえの持論の方がよっぽどデタラメだぞｗ
971(1): 2024/03/17(日)03:25 ID:HNHCaIr5(15/29) AAS
>>968
お前が∃y∀xの形で書けっていったんだろ、∃y∈{1}.∀x∈{1}.でいいじゃん残りは勝手に埋めるから
972(1): 2024/03/17(日)03:26 ID:VAa6dkvQ(61/75) AAS
もう一回聞くけどおまえは箱入り無数目記事は正しい、つまり、任意の出題列に対して回答者が確率99/100以上で勝てる戦略が存在すると思ってるのね？
973(1): 2024/03/17(日)03:26 ID:HNHCaIr5(16/29) AAS
>>969
箱の中身も確率変数にしてもいいだろって言ってんだよ
974(1): 2024/03/17(日)03:27 ID:VAa6dkvQ(62/75) AAS
>>971
>∃y∈{1}.∀x∈{1}.でいいじゃん
それ箱入り無数目じゃないからダメ
975(1): 2024/03/17(日)03:28 ID:VAa6dkvQ(63/75) AAS
>>973
いいとは？
976(1): 2024/03/17(日)03:28 ID:HNHCaIr5(17/29) AAS
>>972
その確率をどういう情報をもとに計算したかによるから定式化によって答が変わるって言ってるの
977: 2024/03/17(日)03:29 ID:HNHCaIr5(18/29) AAS
>>974
なんで？
∃y∈{1}.∀x∈{1}.の後ろにお前が思う
正しい論理式をxとyの名前だけ変えて書けばいいじゃん
978(1): 2024/03/17(日)03:30 ID:VAa6dkvQ(64/75) AAS
いいとはどういう意味のいいなの？
そういう問題を考えてもいいなのか箱入り無数目をそう定式化してもいいなのか
後者なら完全に間違い
979(1): 2024/03/17(日)03:30 ID:HNHCaIr5(19/29) AAS
>>975
箱の中身を確率変数にする定式化だってあるだろ
980(1): 2024/03/17(日)03:31 ID:HNHCaIr5(20/29) AAS
>>978
だから、そういう他の定式化を否定してるところに文句言ってんだよ
981(1): 2024/03/17(日)03:32 ID:VAa6dkvQ(65/75) AAS
>>976
大間違い
問題に曖昧さが無いから答えは唯一
定式化によって答えが変わるなら定式化の仕方が間違ってるだけ
982(1): 2024/03/17(日)03:33 ID:HNHCaIr5(21/29) AAS
何が完全に間違いだよ
記事の定式化の拡張になってるのに間違いになる要素なんてあるわけないだろ
983: 2024/03/17(日)03:34 ID:VAa6dkvQ(66/75) AAS
>>979
箱入り無数目にはそんな定式化は無い
問題自体が変わる
984: 2024/03/17(日)03:35 ID:VAa6dkvQ(67/75) AAS
>>982
>記事の定式化の拡張になってるのに間違いになる要素なんてあるわけないだろ
が
985: 2024/03/17(日)03:37 ID:VAa6dkvQ(68/75) AAS
>>980
それはおまえが箱入り無数目を理解していないだけのこと
986(2): 2024/03/17(日)03:38 ID:HNHCaIr5(22/29) AAS
>>981
問題文では確率なんて定めてないのに、なんでそう言い切れるの？
987: 2024/03/17(日)03:39 ID:HNHCaIr5(23/29) AAS
∃(x+1)とか書くやつに理解してないとか言われてもね
あと1⇒2
988(2): 2024/03/17(日)03:48 ID:VAa6dkvQ(69/75) AAS
箱入り無数目の前にまずおまえは「見えないもの＝確率変数」と言ったよな？
それ間違いな
壷の中でサイコロを振って１の目が出た
客は１に賭ける
客が勝つ確率は？
壷の中でサイコロを振って１の目が出た
客はランダムに賭ける
省5
989(1): 2024/03/17(日)03:51 ID:VAa6dkvQ(70/75) AAS
>>986
箱入り無数目では箱の中身を確率変数とする定式化は間違いだって言ってるの
990(1): 2024/03/17(日)03:53 ID:HNHCaIr5(24/29) AAS
>>988
何言ってんのかわからん
何を知ってるときの確率なのか正確に書いて
991(1): 2024/03/17(日)03:54 ID:HNHCaIr5(25/29) AAS
>>989
∃(x+1)の人の意見としてそれはもう承ったから何度も言わなくていいよ
992(1): 2024/03/17(日)03:57 ID:VAa6dkvQ(71/75) AAS
>>986
（選択公理を除けば）問題文に曖昧さが無いから
回答者が勝率99/100以上で勝つ戦略があるか？という問いにはあるという答えしかない
記事の戦略で勝つ確率は？という問いには1-1/n以上という答えしかない
そういうことを言ってるんだよ
で、それには箱の中身を確率変数とする定式化はダメだと言ってるんだよ
993(1): 2024/03/17(日)04:00 ID:VAa6dkvQ(72/75) AAS
>>990
客は壷の中でサイコロを振ったとかこれから振るとかしか知らんよ 壷の中身は知らんよ 当然ｗ
994(1): 2024/03/17(日)04:02 ID:VAa6dkvQ(73/75) AAS
>>991
そういう大口は>>988に正答してからたたこうな
995(1): 2024/03/17(日)04:03 ID:HNHCaIr5(26/29) AAS
>>992
中身を確率変数にしても記事と同じ結果になる確率空間は存在するだろ
ちゃんと拡張になってんだよ
996(1): 2024/03/17(日)04:05 ID:HNHCaIr5(27/29) AAS
>>993
だから計算したい確率は知らない人から見た確率なのかって言ってんだよ
997(1): 2024/03/17(日)04:06 ID:VAa6dkvQ(74/75) AAS
>>995
存在するなら書けやクズ
書きもせずに存在するする詐欺かおまえはｗ
998: 2024/03/17(日)04:06 ID:HNHCaIr5(28/29) AAS
>>994
お前確率論の本読み切れてないじゃん
正解かどうか以前に自分がどういう問題を出してるかすら分かってないだろ
999: 2024/03/17(日)04:06 ID:VAa6dkvQ(75/75) AAS
>>996
当たり前だろｗ
1000: 2024/03/17(日)04:07 ID:HNHCaIr5(29/29) AAS
>>997
そんなん箱の中身がデルタ分布になってる場合に決まってるだろ
いい加減頭使えよ
1001(1): 1001 ID:Thread(1/2) AAS
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 11日 20時間 3分 10秒
1002(1): 1002 ID:Thread(2/2) AAS
5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《UPLIFT会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
省7
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.333s*