スレタイ 箱入り無数目を語る部屋17

1 名前：１３２人目の素数さん [2024/03/05(火) 08:04:40.23 ID:FscjMFDQ.net] 前スレが1000近く又は1000超えになったので、新スレを立てる https://rio2016.5ch.net/test/read.cgi/math/1708680610/ 前スレ スレタイ 箱入り無数目を語る部屋16 (参考)時枝記事 https://imgur.com/a/8bqlb08 数学セミナー201511月号「箱入り無数目」 https://rio2016.5ch.net/test/read.cgi/math/1620904362/401-406 純粋・応用数学（含むガロア理論）8 より １．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。 「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい. もちろんでたらめだって構わない.そして箱をみな閉じる. 今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう. どの箱を閉じたまま残すかはあなたが決めうる. 勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?」 ２．続けて時枝はいう 　私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている. 但しもっときびしい同値関係を使う. 実数列の集合 R^Nを考える. s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版). 念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する. 〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく. 幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる. 任意の実数列s に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ. sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す. つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる. 更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・ が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり， 結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう. (補足) sD+1， sD+2，sD+3，・・・：ここでD+1などは下付添え字 つづく 554 名前：１３２人目の素数さん [2024/03/09(土) 19:17:57.20 ID:fy/7ggA0.net] >>521 あなたが威張ってよいのはギャップを見事言い当てた時です あなたがやったことは妄想を語っただけです　そんなの威張れませんよ？ 555 名前：１３２人目の素数さん mailto:sage [2024/03/09(土) 19:18:02.22 ID:KYqvXqU8.net] >>526 やっぱり聞いてないじゃん もういいよ 556 名前：１３２人目の素数さん [2024/03/09(土) 19:18:58.06 ID:RwepsQi7.net] >>521 ＞だから開けてない箱の∀だけ後ろに移動しろよ これ馬鹿発言 なぜなら100列全体に対して100箱が決まるから で、これを回答者が全て知る必要はない 選ばなかった列を選んだ場合にどの箱を選ぶかわかりようがないが もしその列を選んでいればその箱しか選びようがないから 候補の１００箱は決まっている 557 名前：１３２人目の素数さん mailto:sage [2024/03/09(土) 19:19:25.91 ID:KYqvXqU8.net] こんなホームラン級のバカにつきあってられん 558 名前：１３２人目の素数さん [2024/03/09(土) 19:20:47.99 ID:fy/7ggA0.net] >>525 ギャップは具体的に記事のどこかを答えて下さい 妄想で語られても困ります 559 名前：１３２人目の素数さん mailto:sage [2024/03/09(土) 19:20:52.17 ID:KYqvXqU8.net] >>530 日本語でおけ 560 名前：１３２人目の素数さん [2024/03/09(土) 19:21:55.26 ID:fy/7ggA0.net] >>527 ギャップを示す気あるの？無いの？　はっきりしてもらえません？ 無いならこれ以上相手しても無駄なので 561 名前：１３２人目の素数さん mailto:sage [2024/03/09(土) 19:23:02.09 ID:KYqvXqU8.net] >>532 それは先頭に∀がついてる論理式を証明して、見てない箱を見ずに攻略したって主張してる箇所だろ 562 名前：１３２人目の素数さん [2024/03/09(土) 19:23:20.60 ID:RwepsQi7.net] ーーーーーーーーーーーーーーーーーーーーーーーーー 片端から箱を開けてゆき中の実数を覗いてよいが， 一つの箱は開けずに閉じたまま残さねばならぬとしよう. どの箱を閉じたまま残すかはあなたが決めうる. ーーーーーーーーーーーーーーーーーーーーーーーーー もし、以下のような文章だったら「当たる戦略」はないだろう どれか一つを閉じるかはあなたが決めうる. ただし決める前に一切箱を開けてはならない． 決めた後なら片端から箱を開けてゆき中の実数を覗いてよい. 563 名前：１３２人目の素数さん [2024/03/09(土) 19:24:44.79 ID:fy/7ggA0.net] >>529 はい、逃げたｗ 妄想語られても不成立の証拠になりませんよ？ ギャップを言い当ててこそ証拠になります　あなたはそこから逃げました　さよなら 564 名前：１３２人目の素数さん [2024/03/09(土) 19:26:00.20 ID:fy/7ggA0.net] >>531 己の独善持論に賛同しない者は馬鹿ですか 妄想激しいですね 565 名前：１３２人目の素数さん [2024/03/09(土) 19:27:24.19 ID:fy/7ggA0.net] >>535 記事を引用して具体的に言わないとダメ あなたの妄想は聞いてない 566 名前：１３２人目の素数さん mailto:sage [2024/03/09(土) 19:30:16.49 ID:KYqvXqU8.net] >>539 都合が悪くなると何か引用して示せといつものことだね 前に示した確率論の本を読んでからにしてよ 567 名前：１３２人目の素数さん [2024/03/09(土) 19:34:13.55 ID:fy/7ggA0.net] >>540 記事にギャップが存在するなら引用して具体的に示せるはずですけど？ 妄想で語っても無駄です 568 名前：１３２人目の素数さん mailto:sage [2024/03/09(土) 19:36:26.16 ID:KYqvXqU8.net] >>541 証明してるのは先頭に∀がついてる論理式であって、それは箱を見ずに答える問題の定式化になってないって何回も言ってるだろ 569 名前：１３２人目の素数さん [2024/03/09(土) 19:38:51.49 ID:fy/7ggA0.net] 自分が持ち出した例ではちゃんとギャップを示してますよね？ 　命題「∀y. ∃x. x≦y」　と　定理「箱の中に正の整数が入ってます。あなたはそれを見ずに何か正の整数を宣言します。あなたの答が箱の中の数以下なら勝利です。必勝法はあります。」の間にギャップがある。 なんで箱入り無数目のギャップは示さないのでしょう？ 570 名前：１３２人目の素数さん [2024/03/09(土) 19:40:34.97 ID:fy/7ggA0.net] >>542 あんた日本語読めないの？　記事のどこかって聞いてるんだけど あんたの独自語で語られてもこちらは理解できません 571 名前：１３２人目の素数さん [2024/03/09(土) 19:43:53.79 ID:fy/7ggA0.net] >>542 あんたそもそも記事読んでないんでしょ？白状しなさい だから記事のどこか？って聞かれても何も言えないんでしょ？ 572 名前：１３２人目の素数さん mailto:sage [2024/03/09(土) 19:45:23.91 ID:KYqvXqU8.net] >>544 そもそも記事では触れられてない情報漏洩の仕組みを考えてるのに、なんでそんなことする必要があるんだよ 573 名前：１３２人目の素数さん [2024/03/09(土) 19:46:19.25 ID:fy/7ggA0.net] >>507の例を持ってきたのが記事読んでない証拠ｗ 白状しなさい 574 名前：１３２人目の素数さん mailto:sage [2024/03/09(土) 19:46:23.29 ID:KYqvXqU8.net] >>543 論理的に同じ形式の推論をしてるだろ 575 名前：１３２人目の素数さん [2024/03/09(土) 19:47:56.37 ID:fy/7ggA0.net] >>546 「ギャップがあるというのはあんたの妄想以外のなにものでもない」が結論でよいのね？ｗ 576 名前：１３２人目の素数さん [2024/03/09(土) 19:48:36.76 ID:fy/7ggA0.net] >>548 それが妄想だと言ってるんだけど あんたも分からん人やねえ 577 名前：１３２人目の素数さん [2024/03/09(土) 19:49:38.34 ID:fy/7ggA0.net] >>548 チラ見して同じだと妄想しました となぜ白状しないのか？ 578 名前：１３２人目の素数さん mailto:sage [2024/03/09(土) 19:51:24.62 ID:KYqvXqU8.net] >>549 ギャップがどうとか言い出したのはお前だろ 勝手にこっちにおしつけるな 579 名前：１３２人目の素数さん [2024/03/09(土) 19:53:05.35 ID:fy/7ggA0.net] >>552 つまりおまえは箱入り無数目のギャップを見つけられてないってことね？ はい、白状しましたね 580 名前：１３２人目の素数さん mailto:sage [2024/03/09(土) 19:54:43.14 ID:KYqvXqU8.net] >>553 誰がギャップがあるって言ったの？ 引用してよ 581 名前：１３２人目の素数さん [2024/03/09(土) 20:59:11.20 ID:fy/7ggA0.net] >>554 つまりギャップは無いと？ 582 名前：１３２人目の素数さん [2024/03/09(土) 20:59:36.58 ID:RwepsQi7.net] >>546 >そもそも記事では触れられてない情報漏洩の仕組み はい、大嘘 合法的な情報漏洩術は、記事にて記載されてると>>471で示してます あなたが理解できないだけです　 ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー 更に，何らかの事情によりdが知らされていなくても， あるD>=d についてsD+1， sD+2，sD+3，・・・が知らされたとするならば， それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり， 結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう. ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー 南無阿弥陀仏 583 名前：１３２人目の素数さん [2024/03/09(土) 21:03:36.95 ID:3L5u7doY.net] >>494 >>出題者：箱の中身、iidである確率事象に従って実数が入れられているとする >試行の概念があって初めて確率事象になります。 >1回の出題において何が試行ですか？ １）広義の試行は、下記の「箱入り無数目」の通りです 　「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. 　どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい. 　もちろんでたらめだって構わない.」 ２）そして、>>487より「出題者：箱の中身、iidである確率事象に従って実数が入れられているとする」 　これは、下記重川の確率論基礎の射程内ですので、確率事象！ ３）時枝「箱入り無数目」記事の試行で、確率事象にならないことは 　”しっぽの同値類から代表→決定番号→決定番号の大小確率99/100” 　これは、確率事象にならない！（測度の裏付けない。だから、確率空間が書けない！ｗ） まあ、「箱入り無数目」のギャップは 584 名前：、上記の３）項です (参考)時枝記事>>1より https://imgur.com/a/8bqlb08 数学セミナー201511月号「箱入り無数目」 https://rio2016.5ch.net/test/read.cgi/math/1620904362/401-406 純粋・応用数学（含むガロア理論）8 より １．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。 「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい. もちろんでたらめだって構わない. (引用終り) (参考)前スレ>>119より再録 https://www.math.kyoto-u.ac.jp/~ichiro/lectures/2013bpr.pdf スレ15>>397より再録 確率論基礎 重川一郎 平成26年8月11日 京大 P47 第4章ランダム・ウォーク この章では，最も簡単な確率過程としてランダム・ウォークを扱う． 定義1.1 確率変数の族(Xt) TとしてZ+={0,1,2・・} 定義1.2 X1,X2,・・をi.i.d. (引用終り) [] [ここ壊れてます] 585 名前：１３２人目の素数さん mailto:sage [2024/03/09(土) 21:03:38.26 ID:KYqvXqU8.net] >>555 お前の幻想だろ 586 名前：１３２人目の素数さん mailto:sage [2024/03/09(土) 21:04:40.05 ID:KYqvXqU8.net] >>556 ∀を先頭に置いてる時点でおかしいでしょ 587 名前：１３２人目の素数さん [2024/03/09(土) 21:05:49.93 ID:3L5u7doY.net] >>555 >>>554 >つまりギャップは無いと？ ほいよ >>557 つまりギャップはあるよ！ ｗ 588 名前：１３２人目の素数さん [2024/03/09(土) 21:40:18.96 ID:3L5u7doY.net] >>560 >ほいよ >>557 >つまりギャップはあるよ！ ｗ 　(補足)まず>>465より 具体例で説明しよう １）ある大学において 学生の奨励として、学長賞で賞金を出すことにした 　１年に10回（夏休み8月とクリスマス休暇の12月を除く）、学年のトップ（1番の人）に 　封筒は二つ使う。そして組合わせが二つ、{5千円、1万円}と{1万円、2万円}と 　どの組合わせを使うかは、ランダムで等確率として、学長のみが知る 　授賞式の事務員は知らない ２）事務員がルールを説明する 「封筒二つで、片方の倍か半分かで。一つの封筒を開けて見て良い。別の封筒に取り替える権利がある。 　もちろん、取り替えないのも可」と 　但し、具体的金額は教えない（説明する事務員も知らない） ３）この場合 　開けた封筒が、1万円ならば 　{5千円、1万円}と{1万円、2万円}が等確率で考えられる 　従って、取り替えると 5千円と2万円が等確率で出現するので 　期待値は、1万2千500円です ４）この確率は、賞金をもらう学生は知らないが 多数例を統計処理すれば 　各金額と期待値は計算できて、期待値1万2千500円は出せる この例の教訓 １）封筒の金額の分布が重要（よって、「分布は使ってない｝という言い訳は通用しない！） ２）開けた封筒は確率ではない。開けていない封筒は確率。両者は峻別されるべき！ (引用終り) ・さて”分布”について １）簡単に下記「箱入り無数目」で、２列X,Yの並び替えで考える 　X,Yの決定番号をdx,dyとする。dx,dy∈N（自然数)で全体を渡る ２）N（自然数)は減衰しないので、確率分布たりえない！ （”非正則分布”(参考)>>7より） ・開けたものと 開けていないもので 両者は峻別されるべきこと １）列Xを開けて dx＝mを得たとする ２）開けていない dyとmとの比較になる ３）dyは N（自然数)で全体を渡るので、dy<mは有限だが m<dyは無限 ４）強いて形式的に書けばP(m<dy)＝1 （∵m<dyの領域は無限） ５）つまり、P(m<dy)≠1/2。「箱入り無数目」不成立！ (参考)時枝記事>>1より https://imgur.com/a/8bqlb08 数学セミナー201511月号「箱入り無数目」 (参考)>>7より https://ai-trend.jp/basic-study/bayes/improper_prior/ AVILEN Inc. 2020 2020/04/14 非正則事前分布とは？〜完全なる無情報事前分布〜 ライター：古澤嘉啓 589 名前：１３２人目の素数さん [2024/03/10(日) 06:14:25.21 ID:ll3Pb1E3.net] >>557 １） >広義の試行は、下記の「箱入り無数目」の通りです >ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー >箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. >どんな実数を入れるかはまったく自由， >例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい. >もちろんでたらめだって構わない. >ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー 出題は、狭義も広義も、試行ではない ２） >そして、 >「出題者：箱の中身、iidである確率事象に従って実数が入れられているとする」 >これは、重川の確率論基礎の射程内ですので、確率事象！ 重川は「箱入り無数目」について全く言及してないので、 「箱の中身がiidである確率事象」というのは、勝手な妄想 ３） >時枝「箱入り無数目」記事の試行で、確率事象にならない >”しっぽの同値類から代表→決定番号→決定番号の大小確率99/100” >これは、確率事象にならない！ >（測度の裏付けない。だから、確率空間が書けない！） 無限列100列に対して、 第1列~第100列のそれぞれの決定番号が単独最大になるもの の確率測度を求める必要がある、と勝手に決めつけてるが そんな必要はない 出題によって具体的に100列が決まる そして、単独最大列が存在する場合、どの列がそうなるかも決まる あとは、その列を回答者がランダムに選ぶ場合に避けられるか これこそ確率事象 （{1,…,100}の各要素の単集合の測度が1/100とするだけ 　これが確率空間、完全に測度で裏付けられてる） >まあ、「箱入り無数目」のギャップは、３）です まあ、君の誤りは２）の以下の文章に尽きる 「出題者：箱の中身、iidである確率事象に従って実数が入れられているとする」 590 名前：１３２人目の素数さん [2024/03/10(日) 06:17:41.10 ID:ll3Pb1E3.net] >>559 ＞∀を先頭に置いてる時点でおかしいでしょ 箱入り無数目の問題文に以下のように書かれてるので 君のトンチンカンな言いがかりは却下される 何も見ずして、閉じたままの箱を決めるのではない ーーーーーーーーーーーーーーーーーーーーーーーーーー 今度はあなたの番である. 片端から箱を開けてゆき中の実数を覗いてよいが， 一つの箱は開けずに閉じたまま残さねばならぬとしよう. ーーーーーーーーーーーーーーーーーーーーーーーーーー 591 名前：１３２人目の素数さん [2024/03/10(日) 06:21:26.92 ID:ll3Pb1E3.net] １は、 「箱の中身は未知だから確率変数だ」 という誤った考えにとらわれ ターンエーは 「他の箱の中身を見てから当てる箱を選ぶのはおかしい（∀が先、はNG） 　当てる箱は他の箱を見ずに最初に決めろ（∃が先、のみOK）」 とか問題文に反する条件を喚き散らす どっちも妄想性人格障害といわざるを得ない 592 名前：１３２人目の素数さん [2024/03/10(日) 06:33:17.28 ID:ll3Pb1E3.net] >>561 全体では交換しようがしまいが期待値は 5000✕1/4＋10000✕1/2＋20000✕1/4 =1250+5000+5000 =11250 5000円の場合交換で10000円　(+5000) 20000円の場合交換で10000円　(ｰ10000) 10000円の場合交換で 5000✕1/2+20000✕1/2=2500+10000=12500　(+2500) 交換時の増減の期待値を改めて計算すると 5000✕1/4+2500✕1/2+(-10000)✕1/4 =1250+1250-2500 =0 この例の真の教訓 １）最低額では交換で得し、最高額では交換で損する ２）得より損のほうが大きいので、中間では交換で得する形になる 593 名前：１３２人目の素数さん [2024/03/10(日) 07:24:16.39 ID:ll3Pb1E3.net] >>565　追記 仮に、最低額での損と最高額の得を相殺しようとするなら 金額と確率が反比例する分布とせざるを得ず その場合には、中間では交換によって全く得しない 594 名前：１３２人目の素数さん [2024/03/10(日) 08:23:34.92 ID:UDtm9Rl+.net] >>562 あなたのおっしゃる通りだと思いますが、 「箱の中身がiid」を招くのが「出題が試行」でしょうな。「出題が試行」でなければ「箱の中身がiid」が意味を持たないので。 そして箱入り無数目ではひとつの出題が定められた後の回答者の戦略を問われているのだから「出題が試行」は誤り。よって「箱の中身がiid」も誤り。 595 名前：１３２人目の素数さん [2024/03/10(日) 08:27:00.94 ID:UDtm9Rl+.net] >>558 つまりギャップはあると？ 596 名前：１３２人目の素数さん [2024/03/10(日) 08:27:38.05 ID:UDtm9Rl+.net] >>559 お前の幻想だろ 597 名前：１３２人目の素数さん [2024/03/10(日) 08:27:56.30 ID:RM//RX8S.net] >>565 >この例の真の教訓 >１）最低額では交換で得し、最高額では交換で損する >２）得より損のほうが大きいので、中間では交換で得する形になる 最低額、最高額、中間値は教えられていない さて、毎月1番の ”できすぎ君”がいました ・彼は考えた。最初は、常に封筒を交換しよう 　そうすると、封筒二つ分の情報が得られる ・彼は、１年の前半で情報を集めて 　最低額、最高額、中間値を把握した ・その後は、最低額では交換し、最高額では交換せず 　中間値では交換する という戦略を実行した この例の真の教訓 「確率分布を把握せよ！」 598 名前：１３２人目の素数さん [2024/03/10(日) 08:46:57.69 ID:RM//RX8S.net] >>562 >>「出題者：箱の中身、iidである確率事象に従って実数が入れられているとする」 >>これは、の確率論基礎の射程内ですので、確率事象！ > >重川は「箱入り無数目」について全く言及してないので、 >「箱の中身がiidである確率事象」というのは、勝手な妄想 面白いやつだな ・中学生が連立方程式で、つるかめ算を解いた 　それを見た小学生が、「 599 名前：その連立方程式の教科書には つるかめ算の例題がない」と言った 　（小学生は、連立方程式の なんたるかが 分かっていなかったのです。あんた重川「確率論基礎」分かってないぞｗ） ・重川の確率論基礎は、可算無限個の箱の中の数を 　確率過程論で扱う方法を提示する ・逆に、「箱入り無数目」(下記)の後半では、時枝氏が重川と同様の可算無限個の 　独立な確率変数の無限族 X1，X2，X3，… に言及しているよｗ>>3　；ｐ） つづく [] [ここ壊れてます] 600 名前：１３２人目の素数さん [2024/03/10(日) 08:47:14.65 ID:RM//RX8S.net] つづき (参考)前スレ>>119より再録 https://www.math.kyoto-u.ac.jp/~ichiro/lectures/2013bpr.pdf 確率論基礎 重川一郎 平成26年8月11日 京大 P47 第4章ランダム・ウォーク この章では，最も簡単な確率過程としてランダム・ウォークを扱う． 定義1.1 確率変数の族(Xt) TとしてZ+={0,1,2・・} 定義1.2 X1,X2,・・をi.i.d. (引用終り) (参考)時枝記事>>1より https://imgur.com/a/8bqlb08 数学セミナー201511月号「箱入り無数目」 https://rio2016.5ch.net/test/read.cgi/math/1620904362/401-406 純粋・応用数学（含むガロア理論）8 より １．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。 「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい. もちろんでたらめだって構わない. (引用終り) 以上 601 名前：１３２人目の素数さん [2024/03/10(日) 09:02:52.58 ID:UDtm9Rl+.net] >>571 >・重川の確率論基礎は、可算無限個の箱の中の数を >　確率過程論で扱う方法を提示する だから箱入り無数目でもその方法を適用できると妄想してるの？ 箱入り無数目では出題は試行でないので適用できません >・逆に、「箱入り無数目」(下記)の後半では、時枝氏が重川と同様の可算無限個の >　独立な確率変数の無限族 X1，X2，X3，… に言及しているよｗ>>3　；ｐ） だからなに？ 後半で何を言おうと前半に微塵も影響しないけど 602 名前：１３２人目の素数さん [2024/03/10(日) 09:15:32.77 ID:ll3Pb1E3.net] >>571 >重川の確率論基礎は、 >可算無限個の箱の中の数を確率過程論で扱う方法を >提示する >逆に、「箱入り無数目」の後半では、時枝氏が >可算無限個の独立な確率変数の無限族 X1，X2，X3，… に >言及している だから何？ 「箱入り無数目」の前半では 箱の中身を確率変数として扱っていない 「箱入り無数目」唯一の確率変数は 回答者が100列からどの１列を選ぶか それはどの列も確率1/100 問題が決まれば、100列それぞれの決定番号も決まるので 100列それぞれに対して、 他の99列の決定番号の最大値番目を選ぶことは 決定事項（つまり確率変数ではない） 603 名前：１３２人目の素数さん [2024/03/10(日) 09:22:08.11 ID:RM//RX8S.net] >>574 再録しますｗ ；ｐ） ほいよ >>557 つまりギャップはあるよ！ ｗ 　(補足)まず>>465より 具体例で説明しよう １）ある大学において 学生の奨励として、学長賞で賞金を出すことにした 　１年に10回（夏休み8月とクリスマス休暇の12月を除く）、学年のトップ（1番の人）に 　封筒は二つ使う。そして組合わせが二つ、{5千円、1万円}と{1万円、2万円}と 　どの組合わせを使うかは、ランダムで等確率として、学長のみが知る 　授賞式の事務員は知らない ２）事務員がルールを説明する 「封筒二つで、片方の倍か半分かで。一つの封筒を開けて見て良い。別の封筒に取り替える権利がある。 　もちろん、取り替えないのも可」と 　但し、具体的金額は教えない（説明する事務員も知らない） ３）この場合 　開けた封筒が、1万円ならば 　{5千円、1万円}と{1万円、2万円}が等確率で考えられる 　従って、取り替えると 5千円と2万円が等確率で出現するので 　期待値は、1万2千500円です ４）この確率は、賞金をもらう学生は知らないが 多数例を統計処理すれば 　各金額と期待値は計算できて、期待値1万2千500円は出せる この例の教訓 １）封筒の金額の分布が重要（よって、「分布は使ってない｝という言い訳は通用しない！） ２）開けた封筒は確率ではない。開けていない封筒は確率。両者は峻別されるべき！ (引用終り) ・さて”分布”について １）簡単に下記「箱入り無数目」で、２列X,Yの並び替えで考える 　X,Yの決定番号をdx,dyとする。dx,dy∈N（自然数)で全体を渡る ２）N（自然数)は減衰しないので、確率分布たりえない！ （”非正則分布”(参考)>>7より） ・開けたものと 開けていないもので 両者は峻別されるべきこと １）列Xを開けて dx＝mを得たとする ２）開けていない dyとmとの比較になる ３）dyは N（自然数)で全体を渡るので、dy<mは有限だが m<dyは無限 ４）強いて形式的に書けばP(m<dy)＝1 （∵m<dyの領域は無限） ５）つまり、P(m<dy)≠1/2。「箱入り無数目」不成立！ (参考)時枝記事>>1より https://imgur.com/a/8bqlb08 数学セミナー201511月号「箱入り無数目」 (参考)>>7より https://ai-trend.jp/basic-study/bayes/improper_prior/ AVILEN Inc. 2020 2020/04/14 非正則事前分布とは？〜完全なる無情報事前分布〜 ライター：古澤嘉啓 604 名前：１３２人目の素数さん [2024/03/10(日) 09:24:37.90 ID:ll3Pb1E3.net] 失敗確率1/100を求めるのに 「選んだｋ番目の列の決定番号が単独最大である確率」 を求める必要はない 『100列のうちから決定番号が単独最大の列を選ぶ確率」 を求めればいい 「」と『』は全く異なる問題 「」は選ぶ列の番号kを定数として、問題100列の全体(R^N)^100を確率変数とするが 『』は問題100列を定数として、選ぶ列の番号の全体{1,…,100}を確率変数とする なお、当てるべき１箱を決めるにあたって、 事前に他の（無限個の）箱の中身をみてよい これがもし、決して他の箱を見てはならないならそれは無理ゲー また、選んだ箱の中身を当てるにあたって 開けられる箱の数がたかだか有限個と限定されても無理ゲー 605 名前：１３２人目の素数さん [2024/03/10(日) 09:35:36.29 ID:ll3Pb1E3.net] >>575 >さて”分布”について >簡単に下記「箱入り無数目」で、２列X,Yの並び替えで考える >X,Yの決定番号をdx,dyとする。dx,dy∈N（自然数)で全体を渡る >N（自然数)は減衰しないので、確率分布たりえない！ そもそも決定番号の分布が事前に決められると思うのがおかしい （２つの封筒でも箱入り無数目でも 　封筒やら箱やらの中身について 　「ぼくの考えた無条件事前分布」 　とかいうものがあると妄想するのが誤り） >開けたものと 開けていないもので 両者は峻別されるべきこと 「ベイジアン教」に洗脳されてますな >列Xを開けて dx＝mを得たとする >開けていない dyとmとの比較になる dxはmという定数で、dyは確率変数のままだといいたいらしい しかし、おかしな事前分布の上では、条件付き確率による計算が失敗する だから「ベイジアン教」の教えは（箱入り無数目については）間違ってる おそらく誤りの根源は、おかしな無情報事前分布だろう P.S >dyは N（自然数)で全体を渡るので、dy<mは有限だが m<dyは無限 >強いて形式的に書けばP(m<dy)＝1 （∵m<dyの領域は無限） 強いて形式的に書いたのが誤り 「dy<mは有限だが m<dyは無限」から「P(m<dy)＝1」は導けない 測度の可算加法性を知らないド素人が必ず犯す誤り >つまり、P(m<dy)≠1/2。「箱入り無数目」不成立！ そもそも、君のやり方ではP(m<dy)が計算できない、というのが正解 したがって、P(dx<dy)≠1/2ともいえない 606 名前：１３２人目の素数さん [2024/03/10(日) 09:40:33.58 ID:RM//RX8S.net] >>573 >箱入り無数目では出題は試行でないので適用できません わっはっは ；ｐ） https://ja.wikipedia.org/wiki/%E8%A9%A6%E8%A1%8C_(%E7%A2%BA%E7%8E%87%E8%AB%96) 試行 (確率論) 確率論において、試行（しこう、英: trial, experiment）とは、起こりうる結果がいくつかあり、そのどれか1つだけが偶 607 名前：然で起こる流れのことである[1]。試行の結果全体の集合は標本空間（全事象）と呼ばれる。 特に起こりうる結果が2つしかない試行はベルヌーイ試行と呼ばれる[2]。 試行の結果のいくつかからなる集合で、起こる割合が決まっていると考えられるものを事象という。事象に対してそれの起こる割合を確率という。 1つの試行を繰り返すことにより、事象の確率を評価することができる（統計的確率）。根元事象に確率変数（一般には確率要素）を割り当てることにより確率質量関数か確率密度関数が決まり、試行は確率分布として定量化できる https://en.wikipedia.org/wiki/Experiment_(probability_theory) Experiment (probability theory) In probability theory, an experiment or trial (see below) is any procedure that can be infinitely repeated and has a well-defined set of possible outcomes, known as the sample space.[1] An experiment is said to be random if it has more than one possible outcome, and deterministic if it has only one. A random experiment that has exactly two (mutually exclusive) possible outcomes is known as a Bernoulli trial.[2] When an experiment is conducted, one (and only one) outcome results— although this outcome may be included in any number of events, all of which would be said to have occurred on that trial. After conducting many trials of the same experiment and pooling the results, an experimenter can begin to assess the empirical probabilities of the various outcomes and events that can occur in the experiment and apply the methods of statistical analysis. Experiments and trials Random experiments are often conducted repeatedly, so that the collective results may be subjected to statistical analysis. A fixed number of repetitions of the same experiment can be thought of as a composed experiment, in which case the individual repetitions are called trials. For example, if one were to toss the same coin one hundred times and record each result, each toss would be considered a trial within the experiment composed of all hundred tosses.[3] Mathematical description Main article: Probability space [] [ここ壊れてます] 608 名前：１３２人目の素数さん [2024/03/10(日) 09:48:12.44 ID:ll3Pb1E3.net] >>578 ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー https://ja.wikipedia.org/wiki/%E8%A9%A6%E8%A1%8C_(%E7%A2%BA%E7%8E%87%E8%AB%96) 試行 (確率論) 確率論において、試行（しこう、英: trial, experiment）とは、 起こりうる結果がいくつかあり、そのどれか1つだけが偶然で起こる流れのことである。 試行の結果全体の集合は標本空間（全事象）と呼ばれる。 ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー だろ？ 問題は１度出題したらそれで終わり　２つも３つもないんだよ だから出題は試行ではない 609 名前：１３２人目の素数さん [2024/03/10(日) 09:48:59.72 ID:RM//RX8S.net] >>573 >>・逆に、「箱入り無数目」(下記)の後半では、時枝氏が重川と同様の可算無限個の >>　独立な確率変数の無限族 X1，X2，X3，… に言及しているよｗ>>3　；ｐ） >だからなに？ >後半で何を言おうと前半に微塵も影響しないけど ・あらら、時枝さんは後半で、「反省しています」！ｗ ；ｐ） ・時枝さん後半の反省が正しければ、前半は否定されますよ！ｗ ；ｐ） 　>>3より 「もうちょっと面白いのは，独立性に関する反省だと思う. 確率の中心的対象は，独立な確率変数の無限族 X1，X2，X3，…である. いったい無限を扱うには， (1)無限を直接扱う， (2)有限の極限として間接に扱う， 二つの方針が可能である. 確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ. (独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.) しかし，素朴に，無限族を直接扱えないのか? 扱えるとすると私たちの戦略は頓挫してしまう. n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって， その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら， 当てられっこないではないか−−他の箱から情報は一切もらえないのだから. 勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる. ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい.」 (参考)時枝記事>>1 https://imgur.com/a/8bqlb08 数学セミナー201511月号「箱入り無数目」 610 名前：１３２人目の素数さん [2024/03/10(日) 09:52:42.14 ID:RM//RX8S.net] >>579 (引用開始) ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー https://ja.wikipedia.org/wiki/%E8%A9%A6%E8%A1%8C_(%E7%A2%BA%E7%8E%87%E8%AB%96) 試行 (確率論) 確率論において、試行（しこう、英: trial, experiment）とは、 起こりうる結果がいくつかあり、そのどれか1つだけが偶然で起こる流れのことである。 試行の結果全体の集合は標本空間（全事象）と呼ばれる。 ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー だろ？ 問題は１度出題したらそれで終わり　２つも３つもないんだよ だから出題は試行ではない (引用終り) ・ぼく、小学生？ ・ぼく、サイコロで１度 ”3”とか出たら、もうそれ以上はサイコロの試行はできないの？ ・ぼく、もっと勉強しようねｗｗｗ ｗｗｗ 611 名前：１３２人目の素数さん [2024/03/10(日) 09:56:58.34 ID:ll3Pb1E3.net] >>580 時枝氏は「箱入り無数目」が成り立たないとはいってない 成り立たたないとわめく連中に対して 何が成り立つための障害となってるのか考察している 非可測もそう、確率変数の無限族の独立もそう 「まるごと独立ならあたりっこない」というのは 箱入り無数目に反対する側が抱く妄想を指している 実際は「任意の有限個に関する独立性」でしかないから 無限個の箱の情報を見た場合には通用しない、という指摘 612 名前：１３２人目の素数さん [2024/03/10(日) 09:57:46.74 ID:UDtm9Rl+.net] >>575 >１）簡単に下記「箱入り無数目」で、２列X,Yの並び替えで考える >　X,Yの決定番号をdx,dyとする。dx,dy∈N（自然数)で全体を渡る 渡るのは出題前ですよね？ 一旦出題を固定したらdx,dyも固定されるので渡りませんよ？理解できないんですか？ そして箱入り無数目で問われてる回答者の戦略は、出題が固定された状況での戦略ですよ？理解できないんですか？ さて固定されたdx,dyがどんな自然数なら的中確率が1/2に満たないか答えて下さい 613 名前：１３２人目の素数さん [2024/03/10(日) 09:59:46.76 ID:ll3Pb1E3.net] >>581 >ぼく、サイコロで１度 ”3”とか出たら、もうそれ以上はサイコロの試行はできないの？ はい 壺振りは、壺を振ってから、丁半どっちに賭けるか尋ねます　逆ではないですよ >ぼく、もっと勉強しようね キミも、日本語、勉強しようね 614 名前：１３２人目の素数さん [2024/03/10(日) 10:02:02.30 ID:ll3Pb1E3.net] ＞X,Yの決定番号をdx,dyとする。dx,dy∈N（自然数)で全体を渡る ただ、どう渡ってるかはわかりませんね １はそこで「無条件事前分布」とかいうベイジアン教にたよる　だから間違う 615 名前：１３２人目の素数さん [2024/03/10(日) 10:02:58.88 ID:UDtm9Rl+.net] >>578 >わっはっは ；ｐ） どうした？ｗ 自分の間違いに気づいて発狂した？ 616 名前：１３２人目の素数さん [2024/03/10(日) 10:07:21.97 ID:ll3Pb1E3.net] １にしてもターンエーにしても 自分の思い込み（無情報事前分布とか、∀で束縛すると全情報公開とか）の根拠問われると 何も答えられずにおかしな行動とるよね やっぱ病気か 617 名前：１３２人目の素数さん [2024/03/10(日) 10:09:16.40 ID:ll3Pb1E3.net] こっちは 「選択公理を採用したら「箱入り無数目」の戦略は成立するよね」 といってるだけで 「選択公理は絶対の真理」 なんてことはいってない 「あたりっこないから、選択公理はおかしい」 というんなら、ふーん左様ですか、というまで 618 名前：１３２人目の素数さん [2024/03/10(日) 10:12:39.53 ID:UDtm9Rl+.net] >>579 >問題は１度出題したらそれで終わり　２つも３つもないんだよ >だから出題は試行ではない その通りですね 記事にもちゃんと書かれてます 「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. ・・・そして箱をみな閉じる. 」 ↑ 箱を閉じた後に箱の中身は変化しない 「今度はあなたの番である.・・・」 ↑ 箱が閉じられた後に後手のターンとなる つまり出題は1度だけ、つまり出題は試行足り得ない 619 名前：１３２人目の素数さん [2024/03/10(日) 10:18:13.28 ID:UDtm9Rl+.net] >>580 >・時枝さん後半の反省が正しければ、前半は否定されますよ！ｗ ；ｐ） 反省が正しい証拠が無い 仮に正しくても前半には影響しない　なぜなら前半の論証の中で後半を参照していないから、つまり前半は後半と独立 口から出まかせに適当なこと言うのやめませんか？ 620 名前：１３２人目の素数さん [2024/03/10(日) 10:21:12.55 ID:UDtm9Rl+.net] >>580 肝心な部分が抜けてますよ？ ばかばかしい，当てられる筈があるものか，と感じ� 621 名前：轤黷驍ｾろう. 何か条件が抜け落ちているのではないか，と疑う読者もあろう.問題を読み直していただきたい. 条件はほんとうに上記のとおり.無限個の実数が与えられ，一個を除いてそれらを見た上で，除いた一個を当てよ，というのだ. ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある. [] [ここ壊れてます] 622 名前：１３２人目の素数さん [2024/03/10(日) 10:24:31.88 ID:UDtm9Rl+.net] >>581 >・ぼく、小学生？ >・ぼく、サイコロで１度 ”3”とか出たら、もうそれ以上はサイコロの試行はできないの？ >・ぼく、もっと勉強しようねｗｗｗ ・ぼく、小学生？ ・ぼく、サイコロに相当するのは出題者の出題ではなく回答者の列選択であることが理解できないの？ ・ぼく、もっと勉強しようねｗｗｗ 623 名前：１３２人目の素数さん [2024/03/10(日) 11:05:13.81 ID:UDtm9Rl+.net] >>581 「さて， 1〜100 のいずれかをランダムに選ぶ. 例えばkが選ばれたとせよ. s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.」 ほら、サイコロのランダム性に相当する部分がちゃんと書かれてますよ？ ぼく、日本語が読めないようなのでもっと国語を勉強しようね 624 名前：１３２人目の素数さん [2024/03/10(日) 12:53:49.81 ID:UDtm9Rl+.net] 今日もフルボッコされる不成立派の図 625 名前：１３２人目の素数さん [2024/03/10(日) 14:42:25.58 ID:RM//RX8S.net] これくらい確率論に無知な二人も珍しいな いまさら、「箱入り無数目 不成立」は 認めたくないと 必死の強弁 笑える　；ｐ） 626 名前：１３２人目の素数さん [2024/03/10(日) 14:55:04.14 ID:RM//RX8S.net] あまりにも アホなことが大杉 メシウマさんも どれをメシのネタにするか 困るくらいだろうさ ；ｐ） 627 名前：１３２人目の素数さん [2024/03/10(日) 15:16:06.30 ID:UDtm9Rl+.net] >>595 >これくらい確率論に無知な二人も珍しいな はい、確率論に無知なので確率を一切使わない100人の数学者バージョンでお願いします 100人の数学者バージョンは成立だと思いますか？不成立だと思いますか？ 628 名前：１３２人目の素数さん [2024/03/10(日) 15:26:28.40 ID:ll3Pb1E3.net] >>595 １、いまさら、「箱入り無数目 成立」は 認めたくないと、必死の強弁 いえばいうほど恥晒す >>596 １、ア●中に頼りまくり キミも、喫ったら？　ア●ン 629 名前：１３２人目の素数さん [2024/03/10(日) 16:02:25.00 ID:ll3Pb1E3.net] 今日のまとめ >>564 １は、 「箱の中身は未知だから確率変数だ」 という誤った考えにとらわれ ターンエーは 「他の箱の中身を見てから当てる箱を選ぶのはおかしい（∀が先、はNG） 　当てる箱は他の箱を見ずに最初に決めろ（∃が先、のみOK）」 とか問題文に反する条件を喚き散らす >>576 失敗確率1/100を求めるのに 「選んだｋ番目の列の決定番号が単独最大である確率」 を求める必要はない 『100列のうちから決定番号が単独最大の列を選ぶ確率」 を求めればいい 「」と『』は全く異なる問題 「」は選ぶ列の番号kを定数として、問題100列の全体(R^N)^100を確率変数とするが 『』は問題100列を定数として、選ぶ列の番号の全体{1,…,100}を確率変数とする 630 名前：１３２人目の素数さん mailto:sage [2024/03/10(日) 17:51:03.11 ID:mo+X3rAk.net] >>563 その日本語をそのまま定式化したら、∀が内側に入った論理式になるだろ 631 名前：１３２人目の素数さん [2024/03/10(日) 18:29:49.50 ID:UDtm9Rl+.net] >>600 先手の任意の手に対して後手の有効手が存在するという形の定理なんだから∀は先頭だろ 先頭だから箱の中身を見ているというおまえの妄想が間違いだと何度言わせるのか 632 名前：１３２人目の素数さん mailto:sage [2024/03/10(日) 18:40:11.19 ID:mo+X3rAk.net] >>601 これまた書かないとだめなの？何回目？ めんどくさいんだけど 370 １３２人目の素数さん sage 2024/02/15(木) 21:51:55.09 ID:Yql9K+Mt 例えばさ、箱の中に正の整数が入ってます。あなたはそれを見ずに何か正の整数を宣言します。あなたの答が箱の中の数以下なら勝利です。必勝法はありますか？ という問題なら、∃x.∀y. x≦y が成立するから必勝ですって誰でも答えられるでしょ これを、∀y. ∃x. x≦yが成立するから必勝ですって言ったらおかしいでしょ 後者の命題は正の整数の代わりに整数にしても成り立つけど、明らかに整数では必勝法はない。 だから、箱の中を見てないと主張するには∀をなるべく内側に入れた命題を証明しないとだめなんじゃよ 633 名前：１３２人目の素数さん [2024/03/10(日) 18:47:39.98 ID:ll3Pb1E3.net] >>600　ならないよ >>601　その通り >>602　何度書いても間違ってるから無意味 先手の出題１００列に対して １列を選択し、９９列を見てどの番目の箱か決める つまり、選べる候補となる１００箱は、出題に依存するし 実際９９列の決定番号の最大値をとっている だからいきなり∃ｎ（番目）ではなく ∀ｘ（１００列）∃ｎ（それぞれの 634 名前：番目） [] [ここ壊れてます] 635 名前：１３２人目の素数さん [2024/03/10(日) 18:59:58.90 ID:ll3Pb1E3.net] >>602 例えば、こんな問題を出したとしよう。 １００箱の中に正の整数が入っている。 キミは、その中の１箱を選び、他の９９箱を見た上で、何か自然数を宣言する。 キミの宣言した自然数が、キミの選んだ箱の中の数以下ならキミの勝利。 勝つ方法はありますか？ さて、実は ∀x_1,…,x_100∈N　∃y_1,…,y_100　(x_i＜y_iとならないiはたかだか1個） が成り立つ yi＝max(x_1,…,x_(i-1),x_(i+1),…,x_100)+1　とすればいい y_iを決めるのにx_1,…x_(iｰ1),x_(i+1),…,x_100は使ってるから、見る必要がある 一方x_iは使ってないから、見ていない、と言える 全然おかしくない だから、当てる箱の中を見てないと主張するのに ∀を内側に入れた命題を証明する必要はない 636 名前：１３２人目の素数さん [2024/03/10(日) 19:01:35.21 ID:ll3Pb1E3.net] >>602 例えば、こんな問題を出したとしよう。 １００箱の中に自然数が入っている。 キミは、その中の１箱を選び、他の９９箱を見た上で、何か自然数を宣言する。 キミの宣言した自然数が、キミの選んだ箱の中の数以下ならキミの勝利。 勝つ方法はありますか？ さて、実は ∀x_1,…,x_100∈N　∃y_1,…,y_100∈N　(x_i＜y_iとならないiはたかだか1個） が成り立つ yi＝max(x_1,…,x_(i-1),x_(i+1),…,x_100)+1　とすればいい y_iを決めるのにx_1,…x_(iｰ1),x_(i+1),…,x_100は使ってるから、見る必要がある 一方x_iは使ってないから、見ていない、と言える 全然おかしくない だから、当てる箱の中を見てないと主張するのに ∀を内側に入れた命題を証明する必要はない 637 名前：１３２人目の素数さん mailto:sage [2024/03/10(日) 19:04:43.79 ID:mo+X3rAk.net] >>605 ほらこいつ全然問題を理解してないだろ 638 名前：１３２人目の素数さん [2024/03/10(日) 19:06:04.94 ID:ll3Pb1E3.net] >>606 ほらターンエーは全然問題を理解できないア●中だろ 639 名前：１３２人目の素数さん mailto:sage [2024/03/10(日) 19:15:44.83 ID:mo+X3rAk.net] こいつ関数が一様連続とは ∀x∀ε∃δなんちゃら であって、xに依存しないδを取って証明できたことをいうとか言い出すタイプだろ 640 名前：１３２人目の素数さん [2024/03/10(日) 19:32:10.89 ID:ll3Pb1E3.net] >>608 ターンエー君、一様連続知ってるんだ、エラいね−　ボク 一様連続、全然関係ないけどな（ボソッ） 641 名前：１３２人目の素数さん mailto:sage [2024/03/10(日) 19:38:08.64 ID:mo+X3rAk.net] あー一様連続も通じないやつだったか もっと基礎解析やって∀と∃を理解してから来てね 642 名前：１３２人目の素数さん [2024/03/10(日) 19:56:21.88 ID:UDtm9Rl+.net] >>606 それがおまえ 643 名前：１３２人目の素数さん [2024/03/10(日) 19:57:33.36 ID:UDtm9Rl+.net] >>610 箱入り無数目と一様連続がどう関係するのか述べよ 644 名前：１３２人目の素数さん mailto:sage [2024/03/10(日) 20:01:20.96 ID:mo+X3rAk.net] >>612 お前が上で書いたことは、∀が外側にあっても一様連続だって主張してるのと同じじゃねーか 645 名前：１３２人目の素数さん mailto:sage [2024/03/10(日) 20:02:40.55 ID:mo+X3rAk.net] >>612 お前じゃなくてもう一人のほうだった まぎらわしい 646 名前：１３２人目の素数さん [2024/03/10(日) 20:03:14.93 ID:RM//RX8S.net] スレ主です 私と、メシウマさん、弥勒菩薩さん、某プロ数学者 みんな時枝さんの「箱入り無数目」前半には、納得していない お二人は、その場の取り繕いに終始している それって数学かい？（＾＾ 647 名前：１３２人目の素数さん [2024/03/10(日) 20:03:19.30 ID:ll3Pb1E3.net] ターンエー君は例えば ∀x_1,…,x_99　∃y_100　∀x_100　P(x_100<y_100)＝99/100 を証明しろ、といってるみたいだけど、 それ、確率空間を取り違えてるトンチンカンな要求なんだよな 確率事象は (x_1,y_1),…,(x_100,y_100) の百個なんだよな そこ、取り違えると、トンチンカン 648 名前：１３２人目の素数さん [2024/03/10(日) 20:06:39.37 ID:ll3Pb1E3.net] ア●中と弥勒って別人だっけ？ ターンエーはア●中だよな？ 某氏はもう懲りたと思う 649 名前：１３２人目の素数さん mailto:sage [2024/03/10(日) 20:07:29.88 ID:mo+X3rAk.net] >>616 そう思うなら、Pの定義もステートメントに入れろよ 650 名前：１３２人目の素数さん [2024/03/10(日) 20:15:48.61 ID:ll3Pb1E3.net] >>618 ベイジアン狂徒はアタマが悪い 651 名前：１３２人目の素数さん mailto:sage [2024/03/10(日) 20:20:03.81 ID:mo+X3rAk.net] >>619 Pが未定義なのに一体何を証明したといいはるわけ？ 652 名前：１３２人目の素数さん [2024/03/10(日) 20:22:54.71 ID:UDtm9Rl+.net] >>613 妄想は聞き飽きた 653 名前：１３２人目の素数さん [2024/03/10(日) 20:24:45.05 ID:UDtm9Rl+.net] >>615 >>583を黙殺するおまえがどの口で言うのか 654 名前：１３２人目の素数さん [2024/03/10(日) 20:30:37.93 ID:UDtm9Rl+.net] >>597も黙殺しとる その場の取り繕いに終始しているのはおまえ 655 名前：１３２人目の素数さん mailto:sage [2024/03/10(日) 20:37:55.43 ID:mo+X3rAk.net] Pの定義は何ですか？ってセミナーで聞かれるに決まってるんだから準備して臨めよ 656 名前：１３２人目の素数さん [2024/03/10(日) 23:21:29.81 ID:RM//RX8S.net] >>617 某氏（プロ数学者）は、賢明だよ ”あぶない数学者”の二の舞を演じる愚はおかさない 時枝を厳しく糾したところで、一文の いや”一目の得にならない”ことを知っているｗ かつ、「箱入り無数目」のようなアホ記事に乗せられるアホなプロ数学者がいないことも分かっている もし居たら、個別にアホ数学者をたしなめればいいだけ だから、5ｃｈ数学板では軽くサバキで打っているんだ 一方、こっちはアマだし 「箱入り無数目」は、もとは欧米でmathoverflow>>4など 2013年あたりで話題になっているが 二つの封筒>>487 や モンティ・ホール問題>>415 ほど解明されていない それが数学パラドックスとして、「箱入り無数目」を叩く面白さなのです　；ｐ） 657 名前：１３２人目の素数さん [2024/03/10(日) 23:25:21.49 ID:UDtm9Rl+.net] >>625 >583 >597を黙殺するのは何故ですか？ 658 名前：１３２人目の素数さん mailto:sage [2024/03/11(月) 03:22:12.76 ID:8cdYhrps.net] 結局、未定義のPを使ってなんか証明したつもりになって満足してたわけか… 659 名前：１３２人目の素数さん [2024/03/11(月) 05:38:34.01 ID:kEMMPsib.net] >>627 >未定義のP いや、定義されてるよ i=1~100について P(i番目の列を選ぶ)=1/100 こんな自明なことセミナーで尋ねないよ 薄知じゃないんだから 660 名前：１３２人目の素数さん [2024/03/11(月) 05:41:32.75 ID:kEMMPsib.net] >>625 >サバキ 数学知らん囲碁馬鹿は数学板から失せて囲碁板で書こうね https://medaka.5ch.net/gamestones/?v=pc 661 名前：１３２人目の素数さん [2024/03/11(月) 05:45:31.08 ID:kEMMPsib.net] >>625 >こっちはアマだし アマじゃなくてド素人 で、>>605の以下の言明は理解したかい？大学数学全滅の落ちこぼれド素人君 ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー ∀x_1,…,x_100∈N　∃y_1,…,y_100∈N　(x_i＜y_iとならないiはたかだか1個） が成り立つ yi＝max(x_1,…,x_(i-1),x_(i+1),…,x_100)+1　とすればいい ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー 662 名前：１３２人目の素数さん mailto:sage [2024/03/11(月) 06:07:30.59 ID:8cdYhrps.net] >>628 そのPを使って、定義どおりに P(x_100<y_100) を計算してみろよ 663 名前：１３２人目の素数さん mailto:sage [2024/03/11(月) 06:19:21.84 ID:kEMMPsib.net] >>631 ああ、やっぱりキミ、全然分かってなかったね P(x_100<y_100)は99/100じゃないよ、0か1かのいずれかだから 求めるべき確率は以下 (i=1~100) P(i番目の列を選ぶ)*P(x_i<y_i) =99((1/100)*1)+1((1/100)*0) =99/100 な、全然想定外だったろ？　キミ、全然わかってなかったんだよ 664 名前：１３２人目の素数さん mailto:sage [2024/03/11(月) 06:26:23.22 ID:8cdYhrps.net] >>632 これはなにを計算したんだよ 計算すべきはP(なんか)だろ これだと計算結果が確率じゃねーじゃん 665 名前：１３２人目の素数さん mailto:sage [2024/03/11(月) 06:35:45.75 ID:8cdYhrps.net] >>632 とりあえずP(正解する)から式変形して計算しろよ 666 名前：１３２人目の素数さん [2024/03/11(月) 08:52:30.60 ID:d0ha74te.net] >>634 なにからなにまで教えてもらおうとせず少しは自分の頭で考えたら？ 君の頭は何のために付いてんだ？ 667 名前：１３２人目の素数さん [2024/03/11(月) 10:13:01.68 ID:oo9XsptK.net] >>633 P(選んだ列xiについてx_i<y_i)じゃね？ だから Σ (i=1~100) P(i番目の列を選ぶ)*P(x_i<y_i) 668 名前：１３２人目の素数さん [2024/03/11(月) 10:21:04.91 ID:8zwIdoY6.net] 例えばツボの中のサイコロの目が４だったとしよう しかし、かける方はそんなの知らないから １から６まで当確率でかけるよな だから当たる確率が Σ (i=1〜6) P(iにかける)*P(壺の中の目がi) ₌1/6*0+1/6*0+1/6*0+1/6*1+1/6*0+1/6*0 ₌0+0+0+1/6+0+0 ₌1/6 この場合、サイコロの目は実は確率変数ではない かける人がどの目を選択するかが確率変数 669 名前：１３２人目の素数さん [2024/03/11(月) 11:12:25.15 ID:SfpYq/3Q.net] >>637 スレ主です ちがうんじゃない？ ・一般の確率論は、ツボの中の数を問題としてい� 670 名前：ﾄ （なにか当てられる方法があれば、それを使うが） 　当てられる方法がない状態を前提として、当たる確率を計算する ・例えば、ある人はナンバー３がラッキーナンバーと思っていて 　常に”３”を唱えるとする 　繰り返すと、普通のサイコロの確率1/6になるだろう ・逆に、二つのサイコロの目の和を当てることにしょう 　そのとき、サイコロの目の和は分布を持つ 　2〜12　で、2や12は頻度が少ない、平均値の7が頻度最大だろう 　この場合、2〜12を等確率で唱えるのは不利で 　常に７を唱えるべきだ [] [ここ壊れてます] 671 名前：１３２人目の素数さん [2024/03/11(月) 11:26:23.96 ID:YoCGShW/.net] >>638 ＞ちがうんじゃない？ ちがわないんじゃない？ ＞例えば、ある人はナンバー３がラッキーナンバーと思っていて常に”３”を唱えるとする 別のある人はナンバー４がラッキーナンバーだよ それぞれの番号をラッキーナンバーと思ってる人が同じくらいいる勘定 箱入り無数目の確率計算はそういうもの いいがかりつけるのは勝手だが そういう君は記事誤読してるってこと 672 名前：１３２人目の素数さん [2024/03/11(月) 12:12:03.61 ID:SfpYq/3Q.net] >>639 スレ主です ちがうんじゃない？ 　>>637より 「例えばツボの中のサイコロの目が４だったとしよう 　この場合、サイコロの目は実は確率変数ではない 　かける人がどの目を選択するかが確率変数」 面白いけど、面白すぎ ・普通の確率論は、ツボの中のサイコロの目がどういう確率分布になっているかを問題にしている ・もちろん、変則の賭け事で ある人Aさんが 超能力者でサイコロ１つの目の当てゲームをしていて、他の人より当てる確率が高いとする 　そのAさんの”当たり or 外れ”に対する賭けを考えることができる 　そのとき、掛け金は100円で、Aさんが目を当てれば600円貰えるとして、外れは０円 　これで、６回に１回当たれば掛け金は回収できる。1/6以上の確率で当たれば、プラスになる ・しかし、それはあまりに変則の議論だろう 　大学入試で、それ書いたらアウトでしょうね (参考) https://study-club.jp/news/matha-prob/ スタクラ情報局確率の計算ができないキミへ（数学A） 確率の計算の基礎 確率の計算ができない。 そう悩む人は多いのではないでしょうか？ 数学A の「確率」の分野は、基本さえ理解すれば簡単ですが、それまでが大変。 確率がきっかけで数学が嫌いになってしまう人もいるはずです。 そこでこの記事では、数学A の山場の一つ「確率」の基本をお伝えしていきます。 以下の内容をゆっくり読めば、確率の計算ができるようになるでしょう。 「同様に確からしい」ということ まずは、確率の重要概念である「同様に確からしい」ということについてお話しします。 略す 673 名前：１３２人目の素数さん [2024/03/11(月) 12:29:38.85 ID:CHDVCn9p.net] >>638 >一般の確率論は、ツボの中の数を問題としていて・・・ >>640 >普通の確率論は、ツボの中のサイコロの目がどういう確率分布になっているかを問題にしている 君のいう「一般の」とか「普通の」というのは、 君の中だけのことだと気づこう もちろん 壺振り「あたしゃ４を出し続けるよ」 客　　「おれは３にかけ続ける、長嶋ファンだから」 という場合、そりゃ永遠に当たらんわな そんなこともある 674 名前：１３２人目の素数さん [2024/03/11(月) 13:48:04.07 ID:SfpYq/3Q.net] >>641 >君のいう「一般の」とか「普通の」というのは、 >君の中だけのことだと気づこう ・”石が流れて木の葉が沈む”か 　倒錯の強弁も、ここまでいけば狂気だろう ・私の「一般の」とか「普通の」とは、下記の九大 原「確率論I」通りです 　下記のサイコロの例”根元事象はE1,E2,E3,...,E6のどれか（ここでEjはサイコロのjの目が出ると言うこと）であり，標本空間は{E1,E2,...,E6}である” 　これを、百回”オンドク”してね ・逆に >>637より「サイコロの目は実は確率変数ではない かける人がどの目を選択するかが確率変数」 　を裏付ける 大学レベルの確率論のテキストがあれば示せ！ｗ (参考) https://www2.math.kyushu-u.ac.jp/~hara/ 675 名前：lectures/02/pr-grad-all.pdf 確率論I（原）九大 1.1確率論の舞台—事象と標本空間 「確率論」とはその名の通り，「確率」を扱う学問である．世の中には不確かなことが色々ある（例：天気予報）．確率論の究極の目的はこの世の中の色々な現象を解き明かす（手助けになる）ことにあると僕は考えるが，初めから世の中の現象を扱うのはなかなか大変である．そのような場合には，まず，目的の現象を数学的に扱いやすい形に変形し（モデル化），そのモデルを考えるのが良い．モデルが理解できた後で，このモデルと現実の現象がどう対応しているのか（またはモデル化に失敗したために対応していないのか）などについて考えるのである．（ただし，数学としての確率論で扱うのは上で述べたプロセスの前半，数学的なモデルの解析が主である．）さて，確率論をやるには，まずその舞台を設定する必要がある．例として１個のサイコロを一回振る実験を考えよう．サイコロが端や角で立たないものとすると，サイコロの６つの面のどれかが出るであろう．そこで以下の定義を行う． 定義1.1.1(標本点と標本空間，有限バージョン)一回の実験の結果として起こりうるものを根元事象または標本点と呼ぶ．標本点の全体からなる集合を標本空間（samplespace）Ωと言う． このサイコロの例では，根元事象はE1,E2,E3,...,E6のどれか（ここでEjはサイコロのjの目が出ると言うこと）であり，標本空間は{E1,E2,...,E6}である． 標本空間が有限でない場合はいろいろとややこしいことが起こるので，上の定義は根元事象が有限個しかない（つまり，標本空間が有限集合）の場合のものと理解されたい．（無限の場合は後述）． この講義では標本空間が有限の場合（および有限からのアナロジーで理解できる場合）から出発し，段々と深いところに入っていくつもりである．話が分かりにくくなったらいつでも有限の場合のアナロジーに戻って考えるのが良かろう． さて，我々は根元事象のみに興味があるわけではない．そのために根元事象の集まりとして，「事象」を考える． 定義1.1.2(事象，有限バージョン)標本空間が有限集合の時，数学的には事象とは単に標本空間の部分集合，つまり「根元事象の集まり」のことである． サイコロの例で言えば，事象の例としては「２と３の目がでること」「偶数の目が出ること」「６の目が出ないこと」などがある． https://imidas.jp/proverb/detail/X-02-C-02-3-0003.html imidas 日本語辞典 > 会話で使えることわざ辞典 > 石が流れて木の葉が沈む [] [ここ壊れてます] 676 名前：１３２人目の素数さん mailto:sage [2024/03/11(月) 14:45:22.05 ID:8cdYhrps.net] >>636 なんで後半で突然掛け算になってるん？ 677 名前：１３２人目の素数さん [2024/03/11(月) 14:50:30.88 ID:OUf/Z21V.net] >>642 >私の「一般の」とか「普通の」とは、・・・通りです >サイコロの例 >”根元事象はE1,E2,E3,...,E6のどれかであり, >（ここでEjはサイコロのjの目が出ると言うこと） >標本空間は{E1,E2,...,E6}である” これを、百回”オンドク”してね 違う問題をいくら読んでも意味がない >逆に「サイコロの目は実は確率変数ではない かける人がどの目を選択するかが確率変数」 >を裏付ける 大学レベルの確率論のテキストがあれば示せ！ なに怒り狂ってんだこの●違い そもそも君のテキストも、「箱入り無数目」の箱の中身が確率変数だと云ってるわけではない 「箱入り無数目」の箱の中身が確率変数だといいきる大学の確率論のテキストは存在しない そもそも「箱入り無数目」の話なんかしてないのだから当然である 678 名前：１３２人目の素数さん [2024/03/11(月) 14:53:57.58 ID:Wi4x1z+m.net] >>643 >なんで後半で突然掛け算になってるん？ 定数のところ（P(x_i<y_i)）を、列の選択とは独立の”確率事象”としてあえて書いてるんでしょ 実際は99個が1で、1個が0であるので、”定数” この程度のことも読み取れないって確率論分かってない証拠だな 679 名前：１３２人目の素数さん mailto:sage [2024/03/11(月) 15:00:03.10 ID:8cdYhrps.net] >>635 まとめると、君が書いた計算は適当に数式を並べただけで、勝率とは全く関係ないわけね 680 名前：１３２人目の素数さん [2024/03/11(月) 15:15:55.82 ID:CHDVCn9p.net] >>646 まとめると、ID:8cdYhrps はあの数式が読み取れないほど、確率論が分かってないわけね < 681 名前：br> そりゃ、数学の全分野、理解できんわ [] [ここ壊れてます] 682 名前：１３２人目の素数さん mailto:sage [2024/03/11(月) 15:57:14.89 ID:8cdYhrps.net] >>647 あのさあ、人に読ませる気がない式を書いておいてそれを言う？ 683 名前：１３２人目の素数さん [2024/03/11(月) 16:12:12.84 ID:d0ha74te.net] >>642 >　下記のサイコロの例”根元事象はE1,E2,E3,...,E6のどれか（ここでEjはサイコロのjの目が出ると言うこと）であり，標本空間は{E1,E2,...,E6}である” 「Ejはサイコロのjの目が出ると言うこと」って書かれてるじゃんｗ サイコロを振るという試行の結果としてサイコロの目が出るんだよ。 丁半博打の場合、既に振られて確定している目に対して客が張るので、試行はサイコロを振ることではなく客が張ること。 仮に客が張ってからサイコロを振るというルールに改変した場合はサイコロを振ることが試行となる。 >　これを、百回”オンドク”してね 100万回オンドクしても君の一般・普通が世間の一般・普通になることはありません。 684 名前：１３２人目の素数さん [2024/03/11(月) 16:16:23.48 ID:Wi4x1z+m.net] >>648　あれ、完全に「答え」だけど、見てもなお意味分からない正真正銘の薄知がいるんだ・・・ 685 名前：１３２人目の素数さん [2024/03/11(月) 16:18:51.14 ID:d0ha74te.net] >>648 あのさあ、自分で考える気が無く人になにからなにまでやらせておいてそれを言う？ 686 名前：１３２人目の素数さん mailto:sage [2024/03/11(月) 17:54:01.31 ID:8cdYhrps.net] >>650 言ってることがわからんが、こういうことを言いたいわけ？ (Ω,P)を1/100 の一様な確率空間としたとき、 ∀x∈ℝ^ℕ.∃y∈ようわからん. P(xとyは正解の組み合わである)=99/100 687 名前：１３２人目の素数さん [2024/03/11(月) 20:00:35.22 ID:d0ha74te.net] >>652 それ聞くってことは記事よんでねーだろおまえ 白状せい 688 名前：１３２人目の素数さん [2024/03/11(月) 20:02:20.93 ID:d0ha74te.net] 自分で記事も読まずになにからなにまで教えてもらおうって魂胆が気に食わねー そんあ教えて乞食に数学は無理なので諦めろ 689 名前：１３２人目の素数さん mailto:sage [2024/03/11(月) 20:11:30.15 ID:h46pBGwW.net] >>653 ようわからんのところをどうしたらいいの？ ちゃんとしたのいれたら攻略法があるって定理になると思ってるのこれ？ わしゃなにをどう入れても攻略法があるって定理にはならんと思うぞ 690 名前：１３２人目の素数さん [2024/03/11(月) 20:46:08.64 ID:dHWKTr/8.net] >>655 >ちゃんとしたのいれたら攻略法があるって定理になると思ってるのこれ？ >わしゃなにをどう入れても攻略法があるって定理にはならんと思うぞ スレ主です あなたが正しい ・いま 箱一つ、そこに「箱入り無数目」のように 実数を入れる 　完全任意実数r∈R でも良いが 　区間[0,1]で、r∈[0,1]としよう ・区間[0,1]にルベーグ測度が入る。Ω＝[0,1]として 　1点 r∈[0,1]の測度は0 　よって、区間[0,1]の1点的中は、確率0です (参考)時枝記事>>1 https://imgur.com/a/8bqlb08 数学セミナー201511月号「箱入り無数目」 691 名前：１３２人目の素数さん [2024/03/11(月) 20:53:43.71 ID:d0ha74te.net] >>656 それ箱入り無数目とは何の関係も無いから。 馬鹿なこと言ってないで>583 >597に答えてもらえません？ 692 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 00:54:50.68 ID:G8Z10h33.net] 結局、このスレの連中はこれが証明できたから攻略法があるって結論なのか？ ようわからんところがようわからんが (Ω,P)を1/100 の一様な確率空間としたとき、 ∀x∈ℝ^ℕ.∃y∈ようわからん. P(xとyは正解の組み合わせである)=99/100 693 名前：１３２人目の素数さん [2024/03/12(火) 01:13:21.08 ID:pMrLmsKB.net] >>658 トンチンカンなこと言ってないで記事を読みなさい 読んでどこがどう理解できないか言ってみなさい　さすれば教えて進ぜよう　 読みもしない者に手取り足取り教えはせぬ 694 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 01:32:23.45 ID:G8Z10h33.net] >>659 じゃこれでいいってことね どう見てもおかしいけど 695 名前：１３２人目の素数さん [2024/03/12(火) 05:42:31.39 ID:MuuApGTu.net] >>652 >言ってることがわからんが、 それは考えてないから >こういうことを言いたいわけ？ 伺おうか >(Ω,P)を1/100 の一様な確率空間としたとき、 >∀x∈ℝ^ℕ.∃y∈ようわからん. P(xとyは正解の組み合わである)=99/100 なんでx１列？なんでｙが何か分からん？ ∀x_1,…,x_100∈R^N.∃y_1,…,y_100∈N.P(回答者が選んだ列xと対応するyに対してx[y]=r(x)[y])=99/100 以下を前提する ∀i∈{1,…,100}.P(回答者がiを選ぶ)=1/100 以下は証明できる ∀i∈{1,…,100}.　P(x_i[y_i]=r(x_i)[y_i])=1　は少なくとも99個で、P(x_i[y_i]=r(x_i)[y_i])=0　はたかだか1個 回答者の列選択は、出題と独立とする P(回答者が選んだiのx_i[y_i]=r(x_i)[y_i]) =P(回答者が1を選ぶ)*P(x_1[y_1]=r(x_1)[y_1]) + 696 名前：P(回答者が2を選ぶ)*P(x_2[y_2]=r(x_2)[y_2]) … +P(回答者が100を選ぶ)*P(x_100[y_100]=r(x_100)[y_100]) [] [ここ壊れてます] 697 名前：１３２人目の素数さん [2024/03/12(火) 05:48:07.48 ID:MuuApGTu.net] >>655 >ちゃんとしたのいれたら攻略法があるって定理になると思ってるのこれ？ >>652で確率99/100で勝てる定理になっている　「思っている」は要らない >わしゃなにをどう入れても攻略法があるって定理にはならんと思うぞ それはキミが箱入り無数目の記事を理解できないだけ 決定番号も理解できず、順序の初歩も理解できないだけ >>656 >あなた(ID:h46pBGwW)が正しい 大学１年の微分積分も線形代数も理解できずに挫折した人には 「正しい」と裁く資格がない　落ちこぼれは黙れ >いま 箱一つ、そこに「箱入り無数目」のように 実数を入れる >完全任意実数r∈R でも良いが >区間[0,1]で、r∈[0,1]としよう >区間[0,1]にルベーグ測度が入る。 >Ω＝[0,1]として1点 r∈[0,1]の測度は0 >よって、区間[0,1]の1点的中は、確率0です そもそも箱の中身は確率変数ではない したがって上記は全く無意味 下手な考え　休むに似たり 縁なき衆生は度し難し 698 名前：１３２人目の素数さん [2024/03/12(火) 05:50:59.00 ID:MuuApGTu.net] >>658 >ようわからんところがようわからんが >>661でようわかるようにかいてやったぞ　ホレ！ ∀x_1,…,x_100∈R^N.∃y_1,…,y_100∈N.P(回答者が選んだ列xと対応するyに対してx[y]=r(x)[y])=99/100 以下を前提する ∀i∈{1,…,100}.P(回答者がiを選ぶ)=1/100 以下は証明できる ∀i∈{1,…,100}.　P(x_i[y_i]=r(x_i)[y_i])=1　は少なくとも99個で、P(x_i[y_i]=r(x_i)[y_i])=0　はたかだか1個 回答者の列選択は、出題と独立とする P(回答者が選んだiのx_i[y_i]=r(x_i)[y_i]) =P(回答者が1を選ぶ)*P(x_1[y_1]=r(x_1)[y_1]) +P(回答者が2を選ぶ)*P(x_2[y_2]=r(x_2)[y_2]) … +P(回答者が100を選ぶ)*P(x_100[y_100]=r(x_100)[y_100]) 699 名前：１３２人目の素数さん [2024/03/12(火) 05:53:49.95 ID:MuuApGTu.net] >>661　>>663 「以下は証明できる」の式を修正した ∀x_1,…,x_100∈R^N.∃y_1,…,y_100∈N.P(回答者が選んだ列xと対応するyに対してx[y]=r(x)[y])=99/100 以下を前提する ∀i∈{1,…,100}.P(回答者がiを選ぶ)=1/100 以下は証明できる ∀x_1,…,x_100∈R^N.∃y_1,…,y_100∈N.P(x_i[y_i]=r(x_i)[y_i])=1　は少なくとも99個で、P(x_i[y_i]=r(x_i)[y_i])=0　はたかだか1個 回答者の列選択は、出題と独立とする P(回答者が選んだiのx_i[y_i]=r(x_i)[y_i]) =P(回答者が1を選ぶ)*P(x_1[y_1]=r(x_1)[y_1]) +P(回答者が2を選ぶ)*P(x_2[y_2]=r(x_2)[y_2]) … +P(回答者が100を選ぶ)*P(x_100[y_100]=r(x_100)[y_100]) 700 名前：１３２人目の素数さん [2024/03/12(火) 06:21:57.12 ID:MuuApGTu.net] 結局のところ、ID:G8Z10h33は以下の２点がわかってない １．いかなる無限列でも決定番号から先の尻尾から代表を得れば 決定番号~尻尾の先頭の１つ手前までの情報を”漏洩”させられる ２．自然数ｎ個に対して、他のｎ−１個よりも大きな自然数はたかだか１個である これを利用して、列ｎ個に対して、他のｎ−１個の決定番号の最大値を得れば それが自列の決定番号よりも大きいような列は、たかだか１個になる 上記２点から１００列中９９列について情報漏洩が可能と証明できる 逆に言えば情報漏洩の仕組みが理解できないのは上記２点が分かってないから 701 名前：１３２人目の素数さん [2024/03/12(火) 07:36:34.32 ID:PJm9SO46.net] >>665 >上記２点から１００列中９９列について情報漏洩が可能と証明できる >逆に言えば情報漏洩の仕組みが理解できないのは上記２点が分かってないから スレ主です 笑える ・独立同分布（iid）の箱の中の数 ・他の箱を開けて、残る一つの箱を見たところで、無関係 　残る一つの箱の数の情報が得られるはずない ・それを指して、ID:G8Z10h33氏は「情報漏洩」＝なんかズルしてる 　と表現したと思うんだよね それに乗せられて「情報漏洩」だってｗ 笑えるｗｗ それって数学か？ｗｗｗ 702 名前：１３２人目の素数さん [2024/03/12(火) 07:56:06.28 ID:pMrLmsKB.net] >>666 それ箱入り無数目とは何の関係も無いから。 馬鹿なこと言ってないで>583 >597に答えてもらえません？ 703 名前：１３２人目の素数さん [2024/03/12(火) 09:21:27.22 ID:mpcn3wKD.net] >>666 >笑える 獣の数字を踏んでその言い草が笑止 >・独立同分布（iid）の箱の中の数 >・他の箱を開けて、残る一つの箱を見たところで、無関係 >　残る一つの箱の数の情報が得られるはずない もし当てる箱が固定なら、ね しかし、当てる箱がそもそも一定してない 仮に選択した列だけ見たとしよう そのとき、君のやり方では １列の決定番号の分布と ９９列の決定番号の最大値の分布を 比較することになる なぜなら、当てる箱の場所は９９列の決定番号の最大値だから ２列の場合も１列の決定番号の分布同士 決して、１列の決定番号と固定した一か所の比較ではない 704 名前：１３２人目の素数さん [2024/03/12(火) 09:44:22.07 ID:wpIVsM5P.net] >>667-668 笑える ”独立同分布（iid）”が分かっていない妄言 アホか 705 名前：１３２人目の素数さん [2024/03/12(火) 09:47:15.38 ID:UzkxeLxM.net] >>669 君こそ、尻尾同値類とその代表が分かってない いかなる無限列もその尻尾同値類の代表と ほとんどすべての項で（つまり有限個の項を除き）一致する 706 名前：１３２人目の素数さん [2024/03/12(火) 09:52:39.86 ID:pMrLmsKB.net] >>669 >583 >597を黙殺するのはなぜですか？ 707 名前：１３２人目の素数さん [2024/03/12(火) 11:07:09.32 ID:pMrLmsKB.net] >>669 >”独立同分布（iid）”が分かっていない妄言 出題列=0,0,0,0,・・・でした。これはiidですか？ 出題列=0,1,2,3,・・・でした。これはiidですか？ 出題列=3,1,4,1,5,9,2,6,5,3,・・・でした。これはiidですか？ 出題列=π,π,π,π,・・・でした。これはiidですか？ どのような出題列ならiidですか？ どのような出題列なら非iidですか？ 708 名前：１３２人目の素数さん [2024/03/12(火) 12:12:28.01 ID:pMrLmsKB.net] 壷の中でサイコロを振って１の目が出ました 100人の客が全員１と賭けたとき何人が正解しますか？ 100人の客が全員２と賭けたとき何人が正解しますか？ 100人の客が全員ランダムに賭けたとき何人が正解しますか？ 100人の客が全員ランダムに賭けたとき確率変数は何ですか？ 709 名前： 「見えないものは確率変数でなければならない」は正しいですか？ 「箱入り無数目における出題列は確率変数でなければならない」は正しいですか？ [] [ここ壊れてます] 710 名前：１３２人目の素数さん [2024/03/12(火) 13:32:26.33 ID:wpIVsM5P.net] アホが何を書こうが ダメなものはダメ じゃないの？　；ｐ） 711 名前：１３２人目の素数さん [2024/03/12(火) 13:53:35.12 ID:pMrLmsKB.net] >>674 答えに窮して発狂しましたか？ 712 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 15:10:21.06 ID:ipHRQNQh.net] >>664 だからこれだとだめなんだって この命題は正しいけど、この命題が成り立つから攻略法があるって主張はできない ＞∀x_1,…,x_100∈R^N.∃y_1,…,y_100∈N.P(回答者が選んだ列xと対応するyに対してx[y]=r(x)[y])=99/100 そもそも ∀x_1,…,x_100∈R^N.∃y_1,…,y_100∈N.P(回答者が選んだ列xと対応するyに対してx[y]=r(x)[y])=1 だって証明できるんだから、上ので攻略法があるって主張できるんなら、こっちの命題からは必勝法があるって主張ができる 713 名前：１３２人目の素数さん [2024/03/12(火) 15:23:56.96 ID:pMrLmsKB.net] >>676 >この命題は正しいけど、この命題が成り立つから攻略法があるって主張はできない 君が主張できないとする理由はx_iが分からないとy_iも分からないからでは？ しかしそれは間違い x_iのある項以降が分かればx_iが属す同値類が分かり従って代表列が分かり従って決定番号y_iが分かる 箱入り無数目ではひとつの箱を除いて開封してよいルールだから上記は成立する 君の得意の問題における知見を無理やり箱入り無数目に適用しようとしても、問題が違うのだから適用できる保証が無いし、実際できない 未だ理解できないようだね 714 名前：１３２人目の素数さん [2024/03/12(火) 15:31:09.99 ID:pMrLmsKB.net] 君が理解できない最大の理由は記事を読んでないから だから言ってるよね？ 記事を読んで理解しなさいと 記事を読んだ上で理解できない部分があるならここへ書きなさい　教えてあげるから 715 名前：１３２人目の素数さん [2024/03/12(火) 15:34:26.25 ID:pMrLmsKB.net] ていうか君、同値関係、同値類、選択公理を理解してる？ まずそこだよｗ 716 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 15:36:50.48 ID:ipHRQNQh.net] >>677 違う ∃になってるyたちを具体的な式に展開して命題に書かないとだめって言ってるの ∀x_1,…,x_100∈R^N.P(回答者が選んだ列iに対してxi[f(x1,...,x100,i)]=r(xi)[f(x1,...,x100,i)])=99/100 みたいになってりゃ別に文句言わねーよ 717 名前：１３２人目の素数さん [2024/03/12(火) 16:09:03.30 ID:pMrLmsKB.net] >>680 >yたちを具体的な式に展開して命題に書かないとだめ 選択公理を仮定すれば 任意の類 ∀[s]∈R^N/〜 に対して代表列 r=f([s])∈[s] を与える選択関数 f:R^N/〜 → R^N の存在が保証される。 関数 g:R^N → R^N/〜 を g(s)=[s] で定義すれば、合成関数 f・g:R^N → R^N は、任意の実数列 ∀s∈R^N に対しその代表列 r=f・g(s) を与える。 ある実数列sの第D+1項から先すべてが分かっているなら、D+1より前の項を0で埋めた実数列s'はs〜s'を満たすから、f・g(s')=f・g(s)=r はsの代表rを与える。 y_iを次で定義する：∀n≧y_i ⇒ x_i[n]=f・g(x_i')[n] ここでx_i'はx_iのある項より前を0で置換した実数列 以上で、x_i→x_i'→f・g(x_i')→y_i　の対応関係が定義されるので、関数d:R^N→N が定義できて、y_i=d(x_i)=d(x_i')　と書ける。 ∀x_1,…,x_100∈R^N.∃d(x_1)=d(x_1'),…,d(x_100)=d(x_100')∈N.P(回答者が選んだ列xと対応するd(x)に対してx[d(x)]=r(x)[d(x)])=99/100 はい、yたちを具体的な式に展開して命題に書きました。 718 名前：１３２人目の素数さん [2024/03/12(火) 16:18:07.54 ID:wpIVsM5P.net] >>680 >∃になってるyたちを具体的な式に展開して命題に書かないとだめって言ってるの >∀x_1,…,x_100∈R^N.P(回答者が選んだ列iに対してxi[f(x1,...,x100,i)]=r(xi)[f(x1,...,x100,i)])=99/100 ありがとうございます スレ主です 当てられないに賛成なのです お気に召すかどうかは不明だが、ご一読ください ・例えば、「箱入り無数目」出題(下記)で 　列a=(a1,a2,・・・)なる実数の無限列を作った（a1,a2,・・・たちはすべて箱の中） ・その隣に、回答者が 　列b=(b1,b2,・・・)なる無限列を作った （当然列bは、列aとは何の関係もない） ・回答者は、列b=(b1,b2,・・・)を見て、決定番号dbを得る（決定番号は下記「箱入り無数目」に従う） 　回答者は、列aでdb+1番以降の箱を開けて、列aの代表raと決定番号daを得る （ra=(ra1,ra2,・・・)とする） 　回答者は、代表raのdb番目 すなわちradbが、出題列のdb番目 719 名前：adbと等しい すなわち ”adb＝radbだ！”と叫ぶ 　２列なので、da<dbの確率は1/2なので、確率1/2の的中が得られる さて、これでおかしなところは下記です ・列bは、回答者が出題と無関係に作った列なのに これはどうしたことか？ ・その列を使って、確率1/2の的中とはこれいかに？ ・同様に、99列作れば 確率99/100の的中ですし ・同様に、確率1-εの的中もあり やっぱり、デタラメさんでしょ 「箱入り無数目」 なので、”当てられない”！ですよね (参考)時枝記事>>1 https://imgur.com/a/8bqlb08 数学セミナー201511月号「箱入り無数目」 [] [ここ壊れてます] 720 名前：１３２人目の素数さん [2024/03/12(火) 16:18:14.56 ID:pMrLmsKB.net] まあこんな小難しい書き方しなくても 記事をちゃんと理解していれば、任意の実数列sに対してその決定番号を与える関数d(s)が存在することは理解できるはず 君が決定番号を式で書かないとダメと難癖つけたということは君は記事を理解していない証拠 721 名前：１３２人目の素数さん [2024/03/12(火) 16:36:43.29 ID:pMrLmsKB.net] >>682 >２列なので、da<dbの確率は1/2 はい、大間違い 正しくは　確率1でda≦db　または　確率1でda≧db 一方 da,dbのいずれかをランダム選択した方をx、他方をyと書くと、x≦yの確率は1/2 は正しい。 君全然分かってないね　何度も教えたはずなのに >確率1/2の的中が得られる これも大間違い なぜなら、的中するためには、2列のいずれかのランダム選択で列aが選択され、且つ、da≦db　である必要があるが、 da≦dbの確率は上記の通り不明だから結局的中確率も不明。 君ズタボロなんだけど　頭悪いにも限度ってものがあるよ 722 名前：１３２人目の素数さん [2024/03/12(火) 16:51:35.36 ID:pMrLmsKB.net] >da,dbのいずれかをランダム選択した方をx、他方をyと書くと、x≦yの確率は1/2 正確には da,dbのいずれかをランダム選択した方をx、他方をyと書くと、x≦yの確率は1/2以上 （da=dbの場合確率1でx≦yだから） 723 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 17:16:04.05 ID:upjnOnB4.net] >>681 だーかーらー そこに∃をつけるな意味が変わるだろ 724 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 17:20:37.69 ID:upjnOnB4.net] ∀x.∃y.p(x,y)と ∀x.p(x,f(x))では違うからちゃんと後者で書いて 725 名前：１３２人目の素数さん [2024/03/12(火) 17:26:43.30 ID:pMrLmsKB.net] >>687 どう違うと？ 726 名前：１３２人目の素数さん [2024/03/12(火) 17:31:32.60 ID:pMrLmsKB.net] >>687 関数の定義から∀x∈(fの定義域)に対してf(x)は必ず存在するけどその時 ∀x.p(x,f(x)) と ∀x.∃f(x).p(x,f(x)) とでどう違うと？ 727 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 17:36:52.61 ID:upjnOnB4.net] >>689 まず∃の後ろに変数以外を書くなよ 728 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 17:44:07.57 ID:upjnOnB4.net] >>689 ∀x∈ℕ.∃y∈ℕ.x<y と ∀x∈ℕ.x<x+1 だと後者の方が強い主張をしてるでしょ 箱入り無数目の定式化では関数の形も主張に必要なんだから後者の形で命題を書かないと 729 名前：１３２人目の素数さん [2024/03/12(火) 18:14:42.16 ID:pMrLmsKB.net] >>691 そんなことは聞いてない ∀x∈ℕ.x<x+1 と ∀x∈ℕ.∃(x+1).x<x+1 の違いを聞いている おまえは∃の後ろに変数以外を書くなと言ったが、x+1は変数ではないと？じゃ何？ 730 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 19:37:50.92 ID:upjnOnB4.net] >>692 ∃の後ろに変数じゃないものを書いてるのは君だろ、∃(x+1)ってなんだよ ふざけて書いてるだろ 731 名前：１３２人目の素数さん [2024/03/12(火) 19:38:47.26 ID:MuuApGTu.net] >>676 >>∀x_1,…,x_100∈R^N.∃y_1,…,y_100∈N.P(回答者が選んだ列xと対応するyに対してx[y]=r(x)[y])=99/100 >だからこれだとだめなんだって >この命題は正しいけど、 >この命題が成り立つから攻略法があるって主張はできない >∀x_1,…,x_100∈R^N.∃y_1,…,y_100∈N.P(回答者が選んだ列xと対応するyに対してx[y]=r(x)[y])=1 >だって証明できるんだから、 >上ので攻略法があるって主張できるんなら、 >こっちの命題からは必勝法があるって主張ができる なるほど >>680 >∃になってるyたちを具体的な式に展開して命題に書かないとだめって言ってるの >∀x_1,…,x_100∈R^N.P(回答者が選んだ列iに対してxi[f(x1,...,x100,i)]=r(xi)[f(x1,...,x100,i)])=99/100 >みたいになってりゃ別に文句言わねーよ なんだ、それでいいんなら書けるよ ∀x_1,…,x_100∈R^N. P(回答者が選んだ列xiに対して 　x_i[max(d(x_1),…,d(x_(i-1)),d(x_(i+i)),…,d(x_100))] =r(x_i)[max(d(x_1),…,d(x_(i-1)),d(x_(i+i)),…,d(x_100))])=99/100 なぜなら ∀x_1,…,x_100∈R^N.(d(x_i)<=max(d(x_1),…,d(x_(i-1)),d(x_(i+i)),…,d(x_100))でないx_iはたかだか1つ) だから 732 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 19:45:36.33 ID:ipHRQNQh.net] >>694 そうそうそんな風に書けば記事の主張と一致するんだよ 733 名前：１３２人目の素数さん [2024/03/12(火) 19:54:36.74 ID:MuuApGTu.net] >>682 >・例えば、「箱入り無数目」出題で >列a=(a1,a2,・・・)なる実数の無限列を作った >（a1,a2,・・・たちはすべて箱の中） うむ >その隣に、回答者が >列b=(b1,b2,・・・)なる無限列を作った >（当然列bは、列aとは何の関係もない） ダウト１！ 出題者が列を二つ作る 回答者は二つの列から一つ選ぶだけ なんでそれがわからない？ 🐎🦌なのか？🌲違いなのか？ ということで、出題者がa,b二列を 734 名前：つくり 回答者はa,bの中からaを選んだ、と言い換える １もアタマ切り替えろ、🐎🦌 >回答者は、列b=(b1,b2,・・・)を見て、決定番号dbを得る >（決定番号は下記「箱入り無数目」に従う） うむ >回答者は、列aでdb+1番以降の箱を開けて、列aの代表raと決定番号daを得る >（ra=(ra1,ra2,・・・)とする） ダウト２! 回答者は代表raは得られるが、 この段階では決定番号daは得られない （代表だけ分かればいいので決定番号は知る必要もないが） >回答者は、代表raのdb番目 すなわちradbが、出題列のdb番目adbと等しい すなわち ”adb＝radbだ！”と叫ぶ うむ >２列なので、da<dbの確率は1/2なので、確率1/2の的中が得られる 然り > さて、これでおかしなところは下記です > ・列bは、回答者が出題と無関係に作った列なのに これはどうしたことか？ はいダメこれダメ全然ダメ 出題者が２列つくる　回答者が別の列をつくるのではない なんでそんなことがわからない？　🌲違いなのか？ >その列を使って、確率1/2の的中とはこれいかに？ 出題者が２列つくり、回答者がどちらか選ぶ　 はずれはどちらか一方　だから確率1/2 >同様に、99列作れば 確率99/100の的中ですし >同様に、確率1-εの的中もあり 何度でも繰り返すが、回答者が99列作るのではない 出題者が100列作って、回答者が1列選ぶ はずれは1列のみ、だから当たる確率は1-1/100=99/100 出題者が何列作っても、はずれは1列しかない だから回答者が1列選んで当たる確率は1-1/n 1/nはいくらでも0に近づけられる [] [ここ壊れてます] 735 名前：１３２人目の素数さん [2024/03/12(火) 19:55:49.07 ID:MuuApGTu.net] >>695 >そうそうそんな風に書けば おまえが書けよ　この中卒ド素人 736 名前：１３２人目の素数さん [2024/03/12(火) 19:58:56.41 ID:MuuApGTu.net] １は「スマリヤンの錯覚」に陥ってますな the-apon.com/coffeedonuts/illusions-have-same-root.html 737 名前：１３２人目の素数さん [2024/03/12(火) 20:18:08.85 ID:MuuApGTu.net] ところで、100列の決定番号のうち最大の列は唯一、として モンティ・ホールもどきをやってみよう つまり、回答者が1列選んだ段階で司会者が残り99列のうち 決定番号が最大でない98列を箱も開けずに片付ける さて、回答者は残り1列と交換したほうが得か損か（ニヤニヤ） 738 名前：１３２人目の素数さん [2024/03/12(火) 20:28:34.77 ID:PJm9SO46.net] >>695 スレ主です 教育的ご指導 ご苦労さまです ようやくスタート地点ですか？ 論理式で書いて終わりならば 確率論不要です 例えば、リーマン予想を論理式で書いたとて それは、リーマン予想の証明ではありませんよね 739 名前：１３２人目の素数さん [2024/03/12(火) 20:32:55.96 ID:MuuApGTu.net] >>700 >ようやくスタート地点ですか？ １はスタートラインに立ててないけどね >論理式で書いて終わりならば確率論不要です 確率論学んでも、違う問題解いちゃ無意味 １は「スマリヤンの錯覚」に陥ってますな the-apon.com/coffeedonuts/illusions-have-same-root.html 740 名前：１３２人目の素数さん [2024/03/12(火) 20:33:10.80 ID:pMrLmsKB.net] >>700 馬鹿なこと言ってないで>583 >597に答えてもらえませんか？ なんで黙殺しようとするんですか？ 741 名前：１３２人目の素数さん [2024/03/12(火) 20:36:47.14 ID:MuuApGTu.net] 1は「回答者が100列から1列選ぶ」という問題文が理解できず 「出題者が99列作ってシミュレーションする」と誤読する 独善的な🌲違いですからね 742 名前：１３２人目の素数さん [2024/03/12(火) 20:39:35.94 ID:MuuApGTu.net] 「出題者が99列作ってシミュレーション」という誤読の背景には 「出題列は確率変数でなければならない！」という独善的な思いこみがある 完全に狂っている　正常でない　異常そのもの 743 名前：１３２人目の素数さん [2024/03/12(火) 20:40:33.37 ID:MuuApGTu.net] >>703-704 誤　「出題者が99列作ってシミュレーションする」 正　「回答者が99列作ってシミュレーションする」 744 名前：１３２人目の素数さん [2024/03/12(火) 21:12:44.94 ID:PJm9SO46.net] >>682 補足 さて １）前記の決定番号の大小比較について 　試験の点数の場合と比較してみよう 　多数の答案から 2枚選び その点数をTa,Tbとして比較する 　試験の成績は、正規分布で平均点50点、標準偏差10点とする 　試験結果の最低0点、最高100点 ２）2枚の答案は裏向けで、点数は不明とする 　Ta>Tbの確率1/2 　逆に Ta<Tbの確率1/2 (同じ値の場合は頻度が小さいとして無視するとする) つづく 745 名前：１３２人目の素数さん [2024/03/12(火) 21:19:27.55 ID:PJm9SO46.net] つづき ３）いま、試験の点数の場合には 点数分布で全体の位置が分かる（下記） ４）ところが、決定番号は >>575に書いたが 上限がなく発散しているので 非正則分布を成す（下記） 　このような場合、ある列の決定番号dx＝mを得て 開けていない dyとmとの比較をすると 　dyは N（自然数)で全体を渡るので、dy<mは有限だが m<dyは無限 　強いて形式的に書けばP(m<dy)＝1 （∵m<dyの領域は無限） 　つまり、P(m<dy)≠1/2。「箱入り無数目」不成立！ ５）さらに、全体が発散しているので、P(dx=dy)＝1/2 が疑問になる 　つまり、全体が∞に発散しているとき、∞/∞ の不定形になり 　”P(dx=dy)＝1/2”は 単純には言えない！ つづく 746 名前：１３２人目の素数さん [2024/03/12(火) 21:20:49.40 ID:PJm9SO46.net] つづき (参考) https://ja.wikipedia.org/wiki/%E5%81%8F%E5%B7%AE%E5%80%A4 偏差値 (参考)>>7より https://ai-trend.jp/basic-study/bayes/improper_prior/ AVILEN Inc. 2020 2020/04/14 非正則事前分布とは？〜完全なる無情報事前分布〜 ライター：古澤嘉啓 https://en.wikipedia.org/wiki/Indeterminate_form Indeterminate form（不定形） 例 ∞/∞ (参考)時枝記事>>1より https://imgur.com/a/8bqlb08 数学セミナー201511月号「箱入り無数目」 (引用終り) 以上 747 名前：１３２人目の素数さん [2024/03/12(火) 22:13:41.38 ID:pMrLmsKB.net] >>693 答えになってない なぜxは変数でx+1は変数でないのか、変数でないなら何なのか？ 748 名前：１３２人目の素数さん [2024/03/12(火) 22:15:56.18 ID:pMrLmsKB.net] >>706 馬鹿なこと言ってないで>583 >597に答えてもらえませんか？ なぜ黙殺しようとするのですか？ 749 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 23:19:43.91 ID:G8Z10h33.net] >>709 お前がどうしてもx+1を変数だと言うなら ＞そんなことは聞いてない ＞∀x∈ℕ.x<x+1 ＞と ＞∀x∈ℕ.∃(x+1).x<x+1 ＞の違いを聞いている ＞おまえは∃の後ろに変数以外を書くなと言ったが、x+1は変数ではないと？じゃ何？ これの後者はα変換したら ∀x∈ℕ.∃y.x<y と同じだろ ∀x∈ℕ.x<x+1 とは明らかに違うだろ あと、お前はd/d(x+1)みたいに(x+1)で微分とか普段からしてんのかよ 750 名前：１３２人目の素数さん mailto:sage [2024/03/12(火) 23:22:14.52 ID:G8Z10h33.net] ＞∀x∈ℕ.∃(x+1).x<x+1 ていうか、こいつ相手にする必要ある？ ふざけてやってるとしか思えない 751 名前：１３２人目の素数さん [2024/03/12(火) 23:46:29.35 ID:pMrLmsKB.net] >>711 答えになってない おまえはxが変数でなぜx+1が変数でないのか答えてない おまえはx+1が何か答えてない おまえは ∀x∈ℕ.x<x+1 と ∀x∈ℕ.∃(x+1).x<x+1 が明らかに違うとしか言っておらずどう違うか答えてない 答えないくせになぜかまったく関係無い微分の話を持ち出している ていうか、こいつ相手にする必要ある？ ふざけてやってるとしか思えない 752 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 00:00:41.45 ID:ascKCvNK.net] >>713 別にお前がそれを変数のつもりで使ってるなら勝手にやっててくれていいから 753 名前：１３２人目の素数さん [2024/03/13(水) 00:04:11.91 ID:5iS9phMp.net] >>714 また逃げたｗ おまえ答えられなくなるといつも逃げるね 754 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 00:16:26.77 ID:ascKCvNK.net] >>715 別に勝手に使うぶんには構わないよ 好きにして 755 名前：１３２人目の素数さん [2024/03/13(水) 00:25:17.61 ID:5iS9phMp.net] >>716 答えられないってことは君の独善持論ってことだよね？ そんなの聞いてもしかたないので無理に出てこなくていいよ 756 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 00:32:31.50 ID:ascKCvNK.net] >>717 x+1を変数だと言うやつとは話しないから 757 名前：１３２人目の素数さん [2024/03/13(水) 00:37:03.59 ID:5iS9phMp.net] >>718 なぜ変数でないのか 変数じゃなきゃ何なのか 答えられないってことは君の独善持論ってことじゃん 758 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 00:50:39.26 ID:ascKCvNK.net] >>719 君の中では変数なんでしょ それで首尾一貫してれば好きにすればいいじゃん 759 名前：１３２人目の素数さん [2024/03/13(水) 00:58:49.14 ID:5iS9phMp.net] ちなみに https://web.sfc.keio.ac.jp/~hagino/logic16/07.pdf のP4には • 「もの」の集まり 　• 整数 　• 人間 • 「もの」の集まりを動く変数 　• 対象変数（object variable） 　• 𝑥, 𝑦, 𝑧, . . . と書かれてる xが「もの」の集まりである自然数を動く変数であるなら xの後者であるx+1もやはり自然数を動くので変数の 760 名前：定義を満たす 頑なに変数でないと言い張る人もいるようだけどどうやら独善持論のようですね [] [ここ壊れてます] 761 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 01:13:49.25 ID:ascKCvNK.net] >>721 自分で調べて解決したならそれでいいじゃん 好きにして 762 名前：１３２人目の素数さん [2024/03/13(水) 01:21:16.03 ID:5iS9phMp.net] ものの集まりとはつまり集合のことだし ものの集まりを動く変数とはつまり集合の不定元のことだね ∀x∈N.(xは不定) ⇒ x+1∈N ∧ (x+1は不定) であるから変数の定義に従い xはNを動く変数 ⇒ x+1はNを動く変数 が成立 >>720 君の中では非変数なんでしょ それで首尾一貫してれば好きにすればいいじゃん 763 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 01:27:59.96 ID:ascKCvNK.net] >>723 そうだねx+1は変数だね すごいすごい 764 名前：１３２人目の素数さん [2024/03/13(水) 01:34:59.38 ID:5iS9phMp.net] >>724 あれ？認めちゃったんだｗ じゃあ ∀x∈ℕ.∃(x+1).x<x+1 はOKってことね？∃の後ろは変数なんでしょ？ すると ∀x∈ℕ.x<x+1 と ∀x∈ℕ.∃(x+1).x<x+1 の違いは何だと言ってるの？ 765 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 01:41:23.20 ID:ascKCvNK.net] >>725 変な論理式書くやつにはどうせわからん 766 名前：１３２人目の素数さん [2024/03/13(水) 01:43:02.61 ID:5iS9phMp.net] >>726 変とは？ また独善持論ですか？ 767 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 01:51:52.05 ID:ascKCvNK.net] >>727 xが変数だからx+1も変数とかいいだす人間に記号論理学ができるわけないだろ 家庭教師でも雇って教えてもらえ 768 名前：１３２人目の素数さん [2024/03/13(水) 02:07:50.38 ID:5iS9phMp.net] >>728 あれ？認めたんじゃなかったの？ｗ じゃあ>>723のどこに欠陥があるのか具体的にどうぞ 769 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 02:12:43.16 ID:ascKCvNK.net] >>729 君が問題ないと思ってるならそれでいいじゃん 全く住んでる星が違うんだから好きにやっていいよ 770 名前：１３２人目の素数さん [2024/03/13(水) 02:41:05.48 ID:5iS9phMp.net] >>730 はい、また逃げたｗ 771 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 03:28:16.22 ID:ascKCvNK.net] >>731 勝手に数学もどきでもやってろ 772 名前：１３２人目の素数さん [2024/03/13(水) 05:45:56.61 ID:in9dXeLi.net] >>707 >　dyは N（自然数)で全体を渡るので、dy<mは有限だが m<dyは無限 >　強いて形式的に書けばP(m<dy)＝1 （∵m<dyの領域は無限） はい、誤り P(m<dy)＝１　とはいえません >つまり、P(m<dy)≠1/2。「箱入り無数目」不成立！ dy∈[1,n]の場合も　一般にP(m<dy)は1/2ではない 問題はdx,dy∈[1,∞)に対して、P(dx<dy)=1/2か、ということ そして、キミのいう非正則分布では、それは導けない （注：そうならない、という意味ではない） １は「スマリヤンの錯覚」に陥ってますな the-apon.com/coffeedonuts/illusions-have-same-root.html 773 名前：１３２人目の素数さん [2024/03/13(水) 05:52:37.60 ID:in9dXeLi.net] >>733 一般に d_1 , … , d_n ∈ [1,∞) に対して P( max( d_1 , … , d_(n-1) ) < d_n )=1/n　か？ d_1 , … , d_n ∈ [1,m) で、みな一様分布かつ相互に独立ならそうなるが 774 名前：１３２人目の素数さん [2024/03/13(水) 06:48:56.74 ID:in9dXeLi.net] >∀x∈ℕ.∃(x+1).x<x+1 >はOKってことね？ わざわざ∃(x+1).とつける必要はないけどね 775 名前：１３２人目の素数さん [2024/03/13(水) 08:19:23.89 ID:5iS9phMp.net] >>735 はい、ペアノの公理を前提とするなら ∀x∈N ⇒ x+1:=s(x)∈N なので、∃(x+1).と付ける必要無しは同意です。 但し付けても間違いではなく、付けない式 ∀x∈ℕ.x<x+1 と比較して意味が変わる訳でもないと思ってますが如何でしょう。 776 名前：１３２人目の素数さん [2024/03/13(水) 12:23:46.26 ID:NwNjK2/r.net] >>736 >∃(x+1).と付ける必要無しは同意です。 >但し付けても間違いではなく、付けない式 ∀x∈ℕ.x<x+1 と比較して意味が変わる訳でもないと思ってますが如何でしょう。 ・論理式なんだから 　不要ならつけないのが本当と思うよ ・例えば、数式で x^2+1 と書くとき 　x^2 -x+x +1 と書いて、意味は x^2+1 というがごとし 　”-x+x”の部分は、簡約できるなら書かないのが普通だろう？（中学数学ならバツではないが、減点される。大人ならアホかと言われる） 777 名前：１３２人目の素数さん [2024/03/13(水) 14:12:36.74 ID:NwNjK2/r.net] >>733 >１は「スマリヤンの錯覚」に陥ってますな それ面白いね 「スマリヤンの錯覚」は、下記の”この二つを区別できない心理を私は スマリヤンの錯覚 と呼んでいます” で、下記著者の造語ですね the-apon.com/coffeedonuts/smulyan-two-envelope.html モンティ・ホール問題好きのホームページ2015/01/11 スマリヤンの二つの文のパラドックス スマリヤンのパズル本に出てくる二つの封筒問題を題材とした二つの文 (あるいは二つの命題) とその証明が新たなパラドックスを醸し出しています。 スマリヤンの二つの文 Smullyan, Raymond (1992). の翻訳本や Smullyan, R.: 1997, の翻訳本に書かれているスマリヤンの二つの文とは、次のようなものです。 文1と文2 ・文1 封筒を交換して増額する場合の増額は封筒を交換して半減する場合の減額を上回る。 ・文2 それらの金額（増額と減額）は等しい。 文1の証明 交換前の金額を x とすると、封筒を交換して増額する場合の増額は x で、 封筒を交換して半減する場合の減額は x/2 なので、文1 が成り立つ。 文2の証明 二つの封筒の金額の差を d とすると、封筒を交換して増額する場合の増額は d で、 封筒を交換して半減する場合の減額も d なので、文2 が成り立つ。 命題2の証明で封筒の金額の差に着目しているのは、うまいトリックです。差が決まれば金額の組み合わせも決まってしまうことをうまく隠しています。 スマリヤンの二つの文のパラドックス 次のような矛盾を感じる錯覚現象がスマリヤンの二つの文のパラドックスです。 ・スマリヤンの二つの文はどちらも正しい。 ・スマリヤンの二つの文は両立しない。 スマリヤンのパラドックスの解明 スマリヤンの二つの文が両立することがあることは具体例を考えると一発でわかります。 千円札1枚の封筒と千円札2枚の封筒の組み合わせと、 千円札2枚の封筒と千円札4枚の封筒の組み合わせがあるときに、 封筒を一つ選んだときのことを考える。 ← 2015/01/11 に訂正 選んだ封筒の金額を特定した場合 選んだ封筒が 2千円だったとする。 封筒を交換して半減したら千円の損で得したら 2千円の得で得の方が大きい。 二つの封筒の金額の組み合わせを特定した場合 選んだ封筒の一方は千円で他方が 2千円だったとする。 選んだ封筒が 2千円だったら交換して千円損し、選んだ封筒が千円だったら交換して千円得するので損と得は等しい。 次の点がポイントです。 ・文1 の場合、選んだ封筒の金額を特定して、その範囲に絞って場合分けを考えている。 ・文2 の場合、二つの封筒の金額の組み合わせを特定して、その範囲に絞って場合分けを考えている。 この二つを区別できない心理を私は スマリヤンの錯覚 と呼んでいます。 778 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 17:26:19.99 ID:ascKCvNK.net] ∃x+1.は普通は構文エラーだろ、なくてもいいとかそういう次元じゃない x+1が変数だというなら、他の人が読めるようにα変換して普通の変数で書き直せよ 779 名前：１３２人目の素数さん [2024/03/13(水) 17:36:44.52 ID:5iS9phMp.net] 君x+1が変数でないことを示せなかったじゃん 780 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 17:54:49.02 ID:ascKCvNK.net] お前が変数だと主張するなら勝手にすればいいよ x+1が変数ではないってのは一般常識の話なんだから 数学では普通は変数はアルファベット一文字が常識で、たまに長い単語を使うことがあるし、君はその延長でx+1も変数に入れたかったんだろ勝手にしろよ 781 名前：１３２人目の素数さん [2024/03/13(水) 18:10:43.89 ID:5iS9phMp.net] じゃ黙ってろよｗ 782 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 18:13:15.13 ID:ascKCvNK.net] x+1が仮に変数だとして ＞∀x∈ℕ.∃(x+1).x<x+1 これをα変換したら ∀x∈ℕ.∃y.x<x+1 なのか ∀x∈ℕ.∃y.x<y なのかすら不明瞭な状態で ＞すると ＞∀x∈ℕ.x<x+1 ＞と ＞∀x∈ℕ.∃(x+1).x<x+1 ＞の違いは何だと言ってるの？ こんなのに答えろっていうのが馬鹿げてる 783 名前：１３２人目の素数さん [2024/03/13(水) 18:50:41.96 ID:5iS9phMp.net] >x+1が仮に変数だとして 仮とは？　変数か変数でないかどちらか　君は変数であるとの主張に反論できなかった >＞∀x∈ℕ.∃(x+1).x<x+1 >これをα変換したら >∀x∈ℕ.∃y.x<x+1 >なのか >∀x∈ℕ.∃y.x<y >なのかすら不明瞭な状態で じゃα変換しなきゃいいじゃん 784 名前：１３２人目の素数さん mailto:sage [2024/03/13(水) 19:09:26.68 ID:ascKCvNK.net] >>744 α変換しないと最後のx+1が変数なのかxに1を足したのかどっちなのか曖昧だろ どっちとも取れる状態で質問しないでくれますか？ 785 名前：１３２人目の素数さん [2024/03/13(水) 19:22:12.59 ID:in9dXeLi.net] >>736 何か付けるなら ∃+:N✕N→N.∀x∈ℕ.x<x+1 だろうな 786 名前：１３２人目の素数さん [2024/03/13(水) 19:26:22.14 ID:in9dXeLi.net] >>738 >>　１は「スマリヤンの錯覚」に陥ってますな >それ面白いね わかりもせずに「面白いね」と脊髄反射で言う奴、いるよね >「スマリヤンの錯覚」は、下記著者の造語ですね だから？ なんかリコウぶってつまんないこという奴、いるよね 787 名前：１３２人目の素数さん [2024/03/14(木) 00:16:18.46 ID:Wqp8i7yx.net] >>747 アホがしゃしゃり出るねｗ １）「スマリヤンの錯覚」の定義は？ 　それを明確にしたのが>>738だぞ ２）もう一人のアホが『「スマリヤンの錯覚」に陥ってますな』 　� 788 名前：ﾆ宣うから、「スマリヤンの錯覚」が一般化されていると思ったのだが 　あに図らんや 単にブログの筆者の造語じゃないかよｗｗ リコウぶってるのは、おまえだ！ ・定義の確認しないで、議論するやつが数学科出身だって？　わらかすな ・用語を勝手に使って議論する？ どこかの大学の教授が造語するならともかく 　チンピラがうれしがってワケワカ用語で議論して何になるんだ？ｗ [] [ここ壊れてます] 789 名前：１３２人目の素数さん mailto:sage [2024/03/14(木) 03:06:10.51 ID:Wz/uoV5i.net] 結局これは書いてる本人でもどっちなのか分からない状態で書いてたってことと理解したんでいいんかね？ x+1が仮に変数だとして ＞∀x∈ℕ.∃(x+1).x<x+1 これをα変換したら ∀x∈ℕ.∃y.x<x+1 なのか ∀x∈ℕ.∃y.x<y なのかすら不明瞭 790 名前：１３２人目の素数さん [2024/03/14(木) 05:37:52.63 ID:bNpw3CSv.net] >>748 🐎🦌、怒り●う >・・・の定義は？ 🐎🦌は知らん言葉を聞くと脊髄反射で「定義は？」と絶叫 そもそもリンク貼ってあったんだから、そこに書いてあるって悟れよ >『・・・に陥ってますな』と宣うから、 >・・・が一般化されていると思ったのだが 🐎🦌はなんでも勝手に思い込む　完全な🌲違いですな >定義の確認しないで、議論するやつが数学科出身だって？　わらかすな >用語を勝手に使って議論する？ どこかの大学の教授が造語するならともかく >チンピラがうれしがってワケワカ用語で議論して何になるんだ？ 🐎🦌は中身がなにか分かってないものが確率変数、とか身勝手定義をでっち上げる ま、大学入試に四度落ちて諦めた数学ド素人じゃしゃあない 関数のリーマン積分可能条件も、線形写像の正則性の条件も知らん 数学界ではまったくの”土人”だな　ど・じ・ん 791 名前：１３２人目の素数さん [2024/03/14(木) 10:31:39.93 ID:IoTgOBI5.net] >>750 >>・・・の定義は？ >知らん言葉を聞くと脊髄反射で「定義は？」と絶叫 >そもそもリンク貼ってあったんだから、そこに書いてあるって悟れよ 影山 利郎氏の著書「素人と玄人」（下記）に ”プロ（玄人）は基本が身についている”みたいな教えが書いてあった 『知らん言葉を聞くと脊髄反射で「定義は？」と絶叫』は 数学やるなら普通だろ？ｗ >>『・・・に陥ってますな』と宣うから、 >>・・・が一般化されていると思ったのだが >なんでも勝手に思い込む　完全な🌲違いですな 定義なしで、「スマリヤンの錯覚」と出してきた 普通は一般化された学術用語（例えば「数学辞典」に載っているなど） と思うだろうよ なんのために学術用語が決められているのか、分かってないんか 数学の基本が身についていない ど素人だな (参考) https://ja.wikipedia.org/wiki/%E5%BD%B1%E5%B1%B1%E5%88%A9%E9%83%8E 影山 利郎（かじやま としろう、1926年6月21日 - 1990年7月31日）は、日本の囲碁棋士である。静岡県出身[1][2]。 師匠 安永一 概要 1926年（大正15年）6月21日、静岡県に生まれる。16歳になった1942年（昭和17年）から囲碁を習い始め、1948年（昭和23年）の全日本素人本因坊戦で優勝し、翌年の秋にプロ入り（初段）を果たした[1][2]。 執筆家としての側面も持ち、多数の著書がある[2]。 主な書籍 影山利郎 (2013年). 素人と玄人: 徹底分析、これだけ違う両者の視点. 日本棋院. ISBN 9784818206113 1971年初版の本の再刊 792 名前：１３２人目の素数さん [2024/03/14(木) 10:39:44.18 ID:mL8LcQVb.net] >>751 馬鹿なこと言ってないで>583 >597に答えてもらえませんか？ なぜ黙殺しようとするのですか？ 793 名前：１３２人目の素数さん [2024/03/14(木) 19:11:58.15 ID:bNpw3CSv.net] >>751 なんか🌲違いがぐだぐだ喚いてるが肝心のページの文章読んだか？ the-apon.com/coffeedonuts/illusions-have-same-root.html 金額だけ見た場合、それは少額のほうかもしれんし高額のほうかもしれん しかしそれぞれの確率が1/2ずつだと決めつける理由はなにもない 2つの封筒から1つを選んでそれが少額が高額か、の確率とは全く違う 違うものを同じと妄想するのが「スマリヤンの錯覚」 794 名前：１３２人目の素数さん mailto:sage [2024/03/14(木) 23:40:23.51 ID:mKpj542N.net] 結局これはどっちなんや？ x+1が仮に変数だとして ＞∀x∈ℕ.∃(x+1).x<x+1 これをα変換したら ∀x∈ℕ.∃y.x<x+1 なのか ∀x∈ℕ.∃y.x<y なのかすら不明瞭 795 名前：１３２人目の素数さん [2024/03/15 ] [ここ壊れてます] 796 名前：(金) 05:51:24.65 ID:ATM0vb6x.net mailto: >>754 自分でα変換いうてるやん 定義しってんなら ∀x∈ℕ.∃(x+1).x<x+1　が ∀x∈ℕ.∃y.x<y　になるしかないやん [] [ここ壊れてます] 797 名前：１３２人目の素数さん [2024/03/15(金) 05:55:10.72 ID:ATM0vb6x.net] >>753 （２つの封筒で） >金額だけ見た場合、それは少額のほうかもしれんし高額のほうかもしれん >しかしそれぞれの確率が1/2ずつだと決めつける理由はなにもない >2つの封筒から1つを選んでそれが少額が高額か、の確率とは全く違う モンティ・ホールも同じ ３つのドアのうち１つしかない賞品のドアを選ぶ確率と １つ１つのドアの後ろに賞品がある確率は同じではない 違うものを同じと妄想するのが「スマリヤンの錯覚」 798 名前：１３２人目の素数さん [2024/03/15(金) 07:42:24.54 ID:xEd6gXjp.net] 箱入り無数目も同じ 100個の箱のうち１つしかないハズレの箱を選ぶ確率と １つ１つの箱がハズレである確率は同じではない 違うものを同じと妄想するのが「スマリヤンの錯覚」 799 名前：１３２人目の素数さん [2024/03/15(金) 07:57:44.82 ID:sYXmV0f/.net] >>756 >違うものを同じと妄想するのが「スマリヤンの錯覚」 君のは、全然説明になってないと思うよ ；ｐ） 下記の 彼の”私の造語”「スマリヤンの錯覚」の説明 『封筒を交換したらどうなるかを考えるときに、選んだ封筒の金額を条件として考えるやり方と、二つの封筒の金額の組み合わせを条件として考えるやり方が、同じ問題を考えているという錯覚です』 を読んで意味分かるか？ 他人に分かる用語解説になってないと思うよ 錯覚だから、何かの”思い違い 勘違い”なのは当然だが（下記） たぶん、これは 人の推論の一般のやり方と、二つの封筒問題やモンティ・ホール問題での正解とが、ちょっと違うんだろう ”人の推論の一般のやり方”を、まず解説しないと、「錯覚」の説明にならないと思うよ (参考) the-apon.com/coffeedonuts/illusions-have-same-root.html モンティ・ホール問題好きのホームページ 二つの封筒問題の錯覚とスマリヤンの錯覚の源は一つか 2014/03/23 用語解説 スマリヤンの錯覚 私の造語です。 封筒を交換したらどうなるかを考えるときに、選んだ封筒の金額を条件として考えるやり方と、二つの封筒の金額の組み合わせを条件として考えるやり方が、同じ問題を考えているという錯覚です。 この錯覚に罹った人は、二封筒問題のおまじないの王様を唱えたり、スマリヤンの二つの文のパラドックスに罹ったりします。 https://ja.wiktionary.org/wiki/%E9%8C%AF%E8%A6%9A#:~:text=%E5%90%8D%E8%A9%9E&text=(%E5%BF%83%E7%90%86%E5%AD%A6)%20%E3%81%82%E3%82%8B%E7%89%A9%E3%81%AB%E5%AF%BE%E3%81%99%E3%82%8B,%E5%8B%98%E9%81%95%E3%81%84%E3%80%82 錯 覚（さっかく） 1.(心理学) ある物に対する知覚が実際の物と異なること。 2.思い違い。勘違い。 https://ja.wikipedia.org/wiki/%E9%8C%AF%E8%A6%9A 錯覚 心理学でいう錯覚とは、間違いや誤りの類いでは無い。注意深く観察しても、予備知識があっても生じてしまう、人間の感覚・知覚特性によって作り出される現象を指す[1]。 錯覚の種類 錯覚はその原因により大きく4つに分けることができる。 ・不注意性錯覚 　対象物への注意が不十分のために起こる錯覚。見間違い、聞き違い、人違いなど、われわれが日常経験する多くの間違いを含んでいる。 ・感動錯覚 　暗くて怖い場所を歩いていると、物の影が人影に見えたり、何でもない物音を人の気配に感じることがある。恐怖や期待などの心理状態が知覚に影響を与えるものである。 ・パレイドリア 　雲の形が顔に見えたり、しみの形が動物や虫に見えたりと、不定形の対象物が違ったものに見える現象に代表される。対象物が雲やしみであることは理解しており、顔や動物ではないという批判力も保っているが、一度そう感じるとなかなかその知覚から逃れられない。熱性疾患の時にも現れやすい。 ・生理的錯覚 　数多く知られている幾何学的錯視や、音階が無限に上昇・下降を続けるように聞こえるシェパード・トーンなどのように、対象がある一定の配置や状態にあると起こる錯覚。誰にでもほぼ等しく起こる。 800 名前：１３２人目の素数さん [2024/03/15(金) 08:10:17.15 ID:sYXmV0f/.net] 時枝の錯覚も、同様に説明� 801 名前：ﾅきる １）人は、二つの決定番号 daとdb で、確率 P（da>db）=1/2 と思ってしまう ２）ところが、決定番号 daとdbは、自然数N全体を渡り、自然数N全体は無限集合だから 　∞/∞ の不定形になり、確率計算 1/2 は正当化できない こういうことでしょうね ；ｐ） [] [ここ壊れてます] 802 名前：１３２人目の素数さん [2024/03/15(金) 08:55:09.63 ID:8QDMDRfQ.net] 日本棋院アーカイブの続刊が楽しみ 803 名前：１３２人目の素数さん [2024/03/15(金) 09:01:01.85 ID:xEd6gXjp.net] >>759 馬鹿なこと言ってないで>583 >597に答えてもらえませんか？ なぜ黙殺しようとするのですか？ 804 名前：１３２人目の素数さん [2024/03/15(金) 10:02:56.06 ID:tFlszaLY.net] >>755 >>>754 >自分でα変換いうてるやん >定義しってんなら >∀x∈ℕ.∃(x+1).x<x+1　が >∀x∈ℕ.∃y.x<y　になるしかないやん またまた ずさんなことを言うｗ ∀x∈ℕ.∃(x+1).x<x+1 　↓ ∀x∈ℕ.∃y.x<y にするためには、y=x+1と定義しないと。その定義が必要でしょ？ 一般に ・∀x∈ℕ.∃(x+1).x<x+1 ・∀x∈ℕ.∃y.x<y この二つの式は意味違うし、そもそも”∃y∈ℕ”とかも要りそうに思うけど まあ、ともかくあんたの思考は、ずさんそのものだね　；ｐ） (参考)（α-変換） https://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97 ラムダ計算 ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。 歴史 元々チャーチは、数学の基礎となり得るような完全な形式体系を構築しようとしていた。彼の体系がラッセルのパラドックスの類型に影響を受けやすい（例えば論理記号として含意 → を含むなら、λx.(x→α) にYコンビネータを適用してカリーのパラドックスを再現できる）ということが判明した際に、彼はそこからラムダ計算を分離し、計算可能性理論の研究のために用い始めた。この研究からチャーチは一階述語論理の決定可能性問題を否定的に解くことに成功した。 α-変換 アルファ変換の基本的なアイデアは、束縛変数の名前は重要ではない、ということにある。例えば、 λx. x と λy. y は同じ関数を表している。 しかし、ことはそう単純ではない。 ある束縛変数の名前を置換してもよいかどうかには、いくつかの規則が絡んでくる。例えば、ラムダ式 λx. λy. x 中の変数 x を y に置き換えると、 λy. λy. y となるが、これは最初の式とはまったく異なるものを表すことになる。 805 名前：１３２人目の素数さん [2024/03/15(金) 10:40:46.74 ID:tFlszaLY.net] ご参考 α-変換 ラムダ計算 https://scrapbox.io/mrsekut-p/%CE%B1%E5%A4%89%E6%8F%9B α変換 scrapbox mrsekut-p [/ alpha-conversion] [$ \lambda x.x]と[$ \lambda z.z]は同じだよね、 このような変換のことを[$ \alpha]変換という つまり、[束縛変数]を別のものに入れ替えて全く同じ意味のラムダ抽象を作成する操作 名前の衝突を回避するときに使う [$ \lambda x.(y\lambda y.yx)]のように、同じ`y`でも、[自由変数]と[束縛変数]が混在していて読みづらい α変換を施し、別の文字を使った同値の式にする 例えば[$ \lambda x.(y\lambda z.zx)] このとき[$ \lambda x.(z\lambda y.yx)]のように自由変数の方を置き換えない。 α変換では[* 束縛変数の方を置き換える] この状態のことを「[変数条件]を満たす」と呼ぶ 定義 略す https://web.sfc.keio.ac.jp/~hagino/mi 806 名前：15/07-ppt.pdf 情報数学第7回ラムダ計算 萩野達也 慶應義塾大学環境情報学部2015/11/10 Ｐ７ α変換と代入 略す [] [ここ壊れてます] 807 名前：１３２人目の素数さん [2024/03/15(金) 18:13:58.84 ID:ATM0vb6x.net] >>762 >・∀x∈ℕ.∃(x+1).x<x+1 >・∀x∈ℕ.∃y.x<y >この二つの式は意味違うし 意味違うとわめく根拠は、後者のｙは例えばx+2でもいいとか、そういうことかい？ じゃ、以下は同じ意味かい ∀x ∈ ℕ. x<x+1∧∀z ∈ ℕ. x<z ⇒ x+1<=z ∀x ∈ ℕ. ∃y ∈ ℕ. x<y∧∀z ∈ ℕ. x<z ⇒ y<=z 808 名前：１３２人目の素数さん mailto:sage [2024/03/15(金) 18:23:14.68 ID:Elhq9FcO.net] >>755 x+1が変数だと主張する異常な論理式相手してるんだから、どっちともとれるやろ 完全に常識の範囲外のことやってるんだから 809 名前：１３２人目の素数さん [2024/03/15(金) 19:52:49.15 ID:ATM0vb6x.net] α変換と言い切った瞬間に∀x∈ℕ.∃y.x<yにきまる それ以外はα変換でない 810 名前：１３２人目の素数さん mailto:sage [2024/03/15(金) 19:59:53.62 ID:Elhq9FcO.net] >>766 なんでだよ 後ろのx+1が変数なのかxに1を足した式なのか書いた本人にしか分からんだろうが 811 名前：１３２人目の素数さん mailto:sage [2024/03/15(金) 20:18:42.34 ID:Elhq9FcO.net] 変数記号 := { x, y, x+1 } 定数記号 := { 1 } 関数記号 := { + } の設定で、x+1って書いてあったら変数なのか関数を適用した項なのか、誰にもわからんやろ 812 名前：１３２人目の素数さん [2024/03/15(金) 22:56:36.63 ID:sYXmV0f/.net] >>764 >>>762 >>・∀x∈ℕ.∃(x+1).x<x+1 >>・∀x∈ℕ.∃y.x<y >>この二つの式は意味違うし >意味違うとわめく根拠は、後者のｙは例えばx+2でもいいとか、そういうことかい？ ・例えば、yを有理数にとって 　∀x∈ℕ.∃y∈Q.x<y とか ・例えば、yを実数にとって 　∀x∈ℕ.∃y∈R.x<y とか ・だから、∃yで放り出すと、yは自然数に限らないから 二つの式の意味は違う 　yを自然数に限っても、冒頭の二つの式の意味は違う 813 名前：１３２人目の素数さん [2024/03/15(金) 23:09:49.73 ID:xEd6gXjp.net] >>769 馬鹿なこと言ってないで>583 >597に答えてもらえませんか？ なぜ黙殺しようとするのですか？ 814 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 02:16:26.20 ID:mUoFzVnS.net] ＞∀x∈ℕ.∃(x+1).x<x+1 はそもそも論理式としてぶっ壊れてるんだからハナから無視しとけよ やるなら ∀x∈ℕ.x<x+1 ∀x∈ℕ.∃y.x<y の2つを比較しろよ 815 名前：１３２人目の素数さん [2024/03/16(土) 08:15:19.83 ID:/v13gW+O.net] >>771 比較しろよってｗ やりたきゃ自分でやりな そうでなきゃ黙ってな で、>>260が間違いであることは理解したの？ 816 名前：１３２人目の素数さん [2024/03/16(土) 10:56:50.80 ID:vIT5CHVL.net] >>769 >例えば、yを有理数にとって　∀x∈ℕ.∃y∈Q.x<y とか >例えば、yを実数にとって　　∀x∈ℕ.∃y∈R.x<y とか >∃yで放り出すと、yは自然数に限らないから 二つの式の意味は違う ∀x∈ℕ.∃y∈ℕ.x<y　でないと考えねばならない理由があるか？全くない したがって上記は却下 >yを自然数に限っても、冒頭の二つの式の意味は違う だから何がどう違うのか？ 以下の>>764に全く答えられないのは 君が大学に入れなかった高卒素人だからか？ 後者のｙは例えばx+2でもいいとか、そういうことかい？ じゃ、以下は同じ意味かい ∀x ∈ ℕ. x<x+1∧∀z ∈ ℕ. x<z ⇒ x+1<=z ∀x ∈ ℕ. ∃y ∈ ℕ. x<y∧∀z ∈ ℕ. x<z ⇒ y<=z 817 名前：１３２人目の素数さん [2024/03/16(土) 11:03:56.20 ID:vIT5CHVL.net] >>758 >『封筒を交換したらどうなるかを考えるときに、 >選んだ封筒の金額を条件として考えるやり方と、 >二つの封筒の金額の組み合わせを条件として考えるやり方が、 >同じ問題を考えているという錯覚です』 >を読んで意味分かるか？ 日本人だからわかるよ　日本語わかるから 上は「もう一方の封筒が自分の封筒の金額の2倍か2分の一か」 下は「二つの封筒のうち低い方を選んだか高い方を選んだか」 下の確率はどちらも1/2だが このことから 上の確率もどちらも1/2だ といえるというのは 数学でもなんでもない >他人に分かる用語解説になってないと思うよ いや、君は日本語分からんニホンザルだから 君はヒトではないよ　「思う」も要らない 君はヒトではなくサル　サルは数学板に書いちゃダメ サルは数学に興味もつな　無意味だから 818 名前：１３２人目の素数さん [2024/03/16(土) 11:07:38.18 ID:vIT5CHVL.net] >>758 ニホンザル語 >たぶん、・・・んだろう >と思うよ ヒトの言葉が理解できないので 「たぶん」「だろう」「と思うよ」 ということばで誤魔化す 当然ながら国立大学どころか私立のFランク大学も受からん 819 名前：１３２人目の素数さん [2024/03/16(土) 11:15:44.88 ID:vIT5CHVL.net] >>758 >これは >人の推論の一般のやり方と、 >二つの封筒問題やモンティ・ホール問題での正解 >とが、ちょっと違う >”人の推論の一般のやり方” >を、まず解説しないと、 >「錯覚」の説明にならない 誤　人の推論 正　サルの脊髄反射 「サルの脊髄反射」とは、ズバリ 「分からんものは、脊髄反射で確率変数と考える」 ということ 「二つの封筒」の封筒中身、然り 「モンティ・ホール問題」のドアの後ろ側、然り 脊髄反射でそう考えるサルは必ず間違えるｗ たしかに自分の封筒の中身が10000円だったとき 相手の封筒は20000円かもしれんし、5000円かもしれん しかし、それは確率変数ではない　つまり 20000円の確率P、5000円の確率1-P と考えるのは人間失格のサルってこと モンティ・ホール問題もそう ３つのドアA、B、Cについて Aのドアの後ろに賞品がある確率　P Bのドアの後ろに賞品がある確率　Q Cのドアの後ろに賞品がある確率　1-P-Q と考えるのは人間失格のサルってこと 820 名前：１３２人目の素数さん [2024/03/16(土) 11:20:00.21 ID:vIT5CHVL.net] モンティ・ホール問題のシミュレーションで ３つのドアの後ろの賞品の配置を等確率1/3で変え 回答者のドアの選択は（例えばAに）固定する というのは最大の誤りである そうではなく ３つのドアの後ろの賞品の配置は（例えばAに）固定する 回答者のドアの選択はA,B,Cそれぞれ確率1/3ずつに割り振る という形でのみシミュレーションすべきである 問題は固定である 回答者は３つのドアのどれでも選択できる 確率1/3ずつなのは、ドアの選択であって ドアの後ろに賞品がある確率ではない！ 821 名前：１３２人目の素数さん [2024/03/16(土) 11:26:45.61 ID:+LjGwmYz.net] >>773 >>>769 >>例えば、yを有理数にとって　∀x∈ℕ.∃y∈Q.x<y とか >>例えば、yを実数にとって　　∀x∈ℕ.∃y∈R.x<y とか >>∃yで放り出すと、yは自然数に限らないから 二つの式の意味は違う >∀x∈ℕ.∃y∈ℕ.x<y　でないと考えねばならない理由があるか？全くない >したがって上記は却下 ・そうかな？ 　例えば、∃y∈C（複素数）としよう 　そうすれば、∀x∈ℕ.∃y∈C.x<y となるけど 　そもそも、∃y∈C（複素数）は 一般には 不等号 < は適用できないぞ（下記） ・だから、∃yがどの範囲の数なのかを、論理式を書いた人が明示しないと 　意味ある論理式にならないと思うけどね　；ｐ） (参考) https://math-fun.net/20210522/14166/ 趣味の大学数学 複素数で普通の順序・不等号・大小関係を考えないのはなぜか 2021年5月22日 木村 高校数学以降では、複素数の扱いを学びます。 実数では 0<1といったように大小比較ができますが、複素数ではそのような比較を考えません。それはなぜでしょうか。 簡単に言えば、仮に 0<iというような順序関係があったとすると、両辺に iをかけると 0<−1となってしまうからです。 今回は、複素数では「普通の」順序・不等号を定義できないことを紹介します。 目次 順序とは何か 順序関係とは 複素数に「普通の」順序が定まらないこと 複素数でも順序を考えること自体はできる 複素数でも、全順序という順序を考えること自体はできるのです。しかし、普通の順序＝和と積と両立するような順序を考えることはできない、そういうものがあったとすると矛盾するというのが今回の話でした。 ちなみに、ベクトルに対しても辞書式順序を考えることはできます。しかし、演算と両立するような順序……と議論しようとすると、ベクトルではそもそも良い「積」を考えられません。ベクトルの内積は実数を返し、ベクトルを返さないです。外積はベクトルを返しますが、交換法則や結合法則を満たしません。 以上、複素数では普通の順序・不等号・大小関係を考えないのはなぜか、紹介してきました。 整数や実数で考えていたような、和と積と両立させる性質を持った順序を考えることはできない、というのが理由です。 822 名前：１３２人目の素数さん [2024/03/16(土) 11:34:27.13 ID:vIT5CHVL.net] >>778 どうでもいいことばかりだらだか書いて 肝心なことは一字も書かない さすがニホンザル 823 名前：１３２人目の素数さん [2024/03/16(土) 11:58:34.85 ID:/v13gW+O.net] >>778 馬鹿なこと言ってないで>583 >597に答えてもらえませんか？ なぜ黙殺しようとするのですか？ 824 名前：１３２人目の素数さん [2024/03/16(土) 12:42:52.79 ID:+LjGwmYz.net] >>777 >確率1/3ずつなのは、ドアの選択であって >ドアの後ろに賞品がある確率ではない！ 違うよ ・下記の”素事象を格子状に配置すれば標本空間がよくわかる”の通り 　事象を2次元の格子図（デカルト積）に書けば良いんだよ ・簡単に説明すると、”挑戦者が選ぶ扉を扉1に限定して” 　扉1が外れの場合のみ説明する ・司会者は残る二つで当りが分かっていて、外れの扉を開ける 　だから、開けない扉が当りだ ・もし、司会者が当りが分かっていなくて当りの扉を開けたら、ノーカウントでやり直し 　しかし この場合にモンティ・ホール問題の� 825 名前：求[ルが理解できれば、正解の選択ができて当てられるので当りの確率アップになるってこと 残念だった ；ｐ） (参考) http://the-apon.com/coffeedonuts/matrix.html モンティ・ホール問題好きのホームページ 素事象を格子状に配置すれば標本空間がよくわかる 2013/05/28 数学では確率を次のように定義している。 何かの集合を標本空間として、そのべき集合の一部で加算加法族になっているものを事象の集合とし、事象の集合に確率測度を与え、・・・・・・、（難しいので以下省略） もっと直感的な定義もある。 確率変数の値域のデカルト積のべき集合の・・・・・、（難しいので以下省略） 2次元の格子図を使えば、このような数学の確率の定義に添いながら、条件付確率もしくは事後確率の説明ができるかも知れないという期待がある。格子図の交点が最も細かい事象、すなわち素事象 (prime events) に対応するので、仮説事象と証拠事象の関係がよくわかるのではないか、という期待もある。 モンティ・ホール問題に応用してみる 例によって、挑戦者が選ぶ扉を扉1に限定して考える。 ステップ2　確率変数の値域の直積として2次元のテーブルを書く 　　　　当扉1　　　　　　当扉2　　　　　当扉3 開扉1　当扉1, 開扉1　当扉2, 開扉1　当扉3, 開扉1 開扉2　当扉1, 開扉2　当扉2, 開扉2　当扉3, 開扉2 開扉3　当扉1, 開扉3　当扉2, 開扉3　当扉3, 開扉3 結論 上記のように素事象を2次元に配列した図表を使う方法には、次のような利点がある。 ・同一の図を使って、証拠事象が特定的な場合と、不特定な場合の両方の確率が計算できる。 ・決定木などの階層的標本空間分析手法や、ベイズ推定などの条件付確率の公式を使わなくても確率を計算できるので、 より基本的な理解が可能になる つづく [] [ここ壊れてます] 826 名前：１３２人目の素数さん [2024/03/16(土) 12:43:09.20 ID:+LjGwmYz.net] つづき https://ja.wikipedia.org/wiki/%E3%83%A2%E3%83%B3%E3%83%86%E3%82%A3%E3%83%BB%E3%83%9B%E3%83%BC%E3%83%AB%E5%95%8F%E9%A1%8C モンティ・ホール問題 一種の心理トリックになっており、確率論から導かれる結果を説明されても、なお納得しない者が少なくないことから、モンティ・ホール・ジレンマ、モンティ・ホール・パラドックスとも称される。「直感で正しいと思える解答と、論理的に正しい解答が異なる問題」の適例とされる。 概要 「＜投稿された相談＞ プレーヤーの前に閉じた3つのドアがあって、1つのドアの後ろには景品の新車が、2つのドアの後ろには、はずれを意味するヤギがいる。プレーヤーは新車のドアを当てると新車がもらえる。プレーヤーが1つのドアを選択した後、司会のモンティが残りのドアのうちヤギがいるドアを開けてヤギを見せる。 ここでプレーヤーは、最初に選んだドアを、残っている開けられていないドアに変更してもよいと言われる。 ここでプレーヤーはドアを変更すべきだろうか？」 1990年9月9日発行、ニュース雑誌「Parade」にてマリリン・ヴォス・サヴァントが連載するコラム「マリリンにおまかせ」で、上記の読者投稿による質問に「正解は『ドアを変更する』である。なぜなら、ドアを変更した場合には景品を当てる確率が2倍になるからだ」と回答。すると直後から、読者からの「彼女の解答は間違っている」との約1万通の投書が殺到し、本問題は大議論に発展した (引用終り) 以上 827 名前：１３２人目の素数さん [2024/03/16(土) 13:11:37.58 ID:+LjGwmYz.net] >>781 >>>777 >>確率1/3ずつなのは、ドアの選択であって >>ドアの後ろに賞品がある確率ではない！ >・下記の”素事象を格子状に配置すれば標本空間がよくわかる”の通り >　事象を2次元の格子図（デカルト積）に書けば良いんだよ >・もし、司会者が当りが分かっていなくて当りの扉を開けたら、ノーカウントでやり直し >　しかし この場合にモンティ・ホール問題のルールが理解できれば、正解の選択ができて当てられるので当りの確率アップになるってこと ・この教訓は、"事象を2次元の格子図（デカルト積）に書けば良い"！ってことだ ・「ドアの後ろに賞品がある」場合を、キチンと数え上げれば良い！ なお、「直感で正しいと思える解答と、論理的に正しい解答が異なる」のは ルールの「司会のモンティが残りのドアのうちヤギがいるドアを開けてヤギを見せる」 の意味が直感では、把握が難しい だから、ルールを正しく生かした選択に至らない人が 少なくないってことだね 時枝の二つの決定番号 da,db ∈N(可算無限集合)で 確率P(da>db)=1/2 と錯覚するが如し （∵ N(可算無限集合)だから、� 828 名前：�/∞ で不定形で、1/2はいえない） けれども、人はついつい 確率P(da>db)=1/2 と錯覚するのです [] [ここ壊れてます] 829 名前：１３２人目の素数さん [2024/03/16(土) 14:25:12.12 ID:/v13gW+O.net] モンティホール問題、二つの封筒問題、箱入り無数目 いずれも1回の出題でも確率が定義できなければならないので出題は試行にできない。 例えば二つの封筒問題で最初に開封した封筒の中身が1万円だった場合、他方は5千円か2万円であるが、1回の出題では必ずどちらかであって、確率P（0<P<1）で5千円・確率1-Pで2万円なんてことにはならない。 従って期待値計算：5千円×(1/2)+2万円×(1/2)は誤り。 このように錯覚してしまうのは、無意識に出題を試行としている為であろう。 しかし繰り返すが、出題を試行としてしまうと1回の出題での確率は定義できない。 確率を考えるときは試行が何かを明確にする必要がある。 830 名前：１３２人目の素数さん [2024/03/16(土) 14:33:59.63 ID:/v13gW+O.net] >>783 >時枝の二つの決定番号 da,db ∈N(可算無限集合)で >確率P(da>db)=1/2 と錯覚するが如し >（∵ N(可算無限集合)だから、∞/∞ で不定形で、1/2はいえない） 1/2は言えないは正しいが、その理由は大間違い そして時枝証明はそもそも1/2を論拠にしていないからまったくナンセンス 馬鹿なこと言ってないで>583 >597に答えてもらえませんか？ なぜ黙殺しようとするのですか？ 831 名前：１３２人目の素数さん [2024/03/16(土) 15:05:34.46 ID:+LjGwmYz.net] >>784 >例えば二つの封筒問題で最初に開封した封筒の中身が1万円だった場合、他方は5千円か2万円であるが、1回の出>題では必ずどちらかであって、確率P（0<P<1）で5千円・確率1-Pで2万円なんてことにはならない。 >従って期待値計算：5千円×(1/2)+2万円×(1/2)は誤り。 違うよ ・下記の>>575より 再録の通りです 　期待値計算 1万2千500円が正しい場合があるよ ・設定を変えよう 　下記 組合わせ 二つ、{5千円、1万円}と{1万円、2万円}は同じだが 　予算がないので、{1万円、2万円}は5回に1回に減らし、{5千円、1万円}を5回に4回とする ・この場合、封筒を開けて1万円として もし封筒を取り替えたときの期待値は 　2万円x（1/5）＋5千円x（4/5）=8千円 となる ・つまりは、組合わせ{5千円、1万円}と{1万円、2万円}で 　組合わせの出現頻度が変わると 　当然、期待値は変わる 　>>575より 再録 (引用開始) １）ある大学において 学生の奨励として、学長賞で賞金を出すことにした 　１年に10回（夏休み8月とクリスマス休暇の12月を除く）、学年のトップ（1番の人）に 　封筒は二つ使う。そして組合わせが二つ、{5千円、1万円}と{1万円、2万円}と 　どの組合わせを使うかは、ランダムで等確率として、学長のみが知る 　授賞式の事務員は知らない ２）事務員がルールを説明する 「封筒二つで、片方の倍か半分かで。一つの封筒を開けて見て良い。別の封筒に取り替える権利がある。 　もちろん、取り替えないのも可」と 　但し、具体的金額は教えない（説明する事務員も知らない） ３）この場合 　開けた封筒が、1万円ならば 　{5千円、1万円}と{1万円、2万円}が等確率で考えられる 　従って、取り替えると 5千円と2万円が等確率で出現するので 　期待値は、1万2千500円です (引用終り) 832 名前：１３２人目の素数さん [2024/03/16(土) 15:16:48.03 ID:/v13gW+O.net] >>786 何の反論にもなってない 馬鹿なこと言ってないで>583 >597に答えてもらえませんか？ なぜ黙殺しようとするのですか？ 833 名前：１３２人目の素数さん [2024/03/16(土) 15:23:41.98 ID:vIT5CHVL.net] >>781 >>確率1/3ずつなのは、ドアの選択であって >>ドアの後ろに賞品がある確率ではない！ >違うよ いちいち口答えすんな、ニホンザル >”素事象を格子状に配置すれば標本空間がよくわかる”の通り >事象を2次元の格子図（デカルト積）に書けば良いんだよ それ、当選扉を扉１に限定して 回答者が選ぶ扉とホストが開ける扉を事象として 2次元の格子図（デカルト積）に書かなくちゃウソだけどｗ 　　　　選扉１　　　　　選扉２　　　　　選扉3 開扉１　選扉１、開扉１　選扉２、開扉１　選扉３、開扉１ 開扉２　選扉１、開扉２　選扉２、開扉２　選扉３、開扉２ 開扉３　選扉１、開扉３　選扉２、開扉３　選扉３、開扉３ 回答者が選ぶ扉こそ等確率であるので、 p(選扉1, 開扉1) + p(選扉1, 開扉2) + p(選扉1, 開扉3) = 1/3 p(選扉2, 開扉1) + p(選扉2, 開扉2) + p(選扉2, 開扉3) = 1/3 p(選扉3, 開扉1) + p(選扉3, 開扉2) + p(選扉3, 開扉3) = 1/3 ホストは挑戦者が選んだ扉を開けないので、 p(選扉1, 開扉1) = 0 p(選扉2, 開扉2) = 0 p(選扉3, 開扉3) = 0 ホストは当たり扉を開けないので p(選扉1, 開扉1) = 0 p(選扉2, 開扉1) = 0 p(選扉3, 開扉1) = 0 ホストが開ける扉に偏りがないので、 p(選扉1, 開扉2) = p(選扉1, 開扉3) 確率の総和は1なので、 p(選扉1, 開扉1) + p(選扉1, 開扉2) + p(選扉1, 開扉3) + p(選扉2, 開扉1) + p(選扉2, 開扉2) + p(選扉2, 開扉3) + p(選扉3, 開扉1) + p(選扉3, 開扉2) + p(選扉3, 開扉3) = 1 上記の手がかりからテーブルの各マス（素事象）の確率が求まる 0　　0　　0 1/6　0　　1/3 1/6　1/3　0 ホストが例えば扉3を開いたという証拠事象の範囲だけ 834 名前：切り出せば 1/6　1/3　0 2倍すれば総和は1になる 1/3　2/3　０ したがって 選んだ扉が当たりの確率1/3 残った扉が当たりの確率2/3 まったく同じ形で説明できる だからニホンザルの主張をまったく補強しない 残念だったな　ギャハハハハハハ！！！ [] [ここ壊れてます] 835 名前：１３２人目の素数さん [2024/03/16(土) 15:30:43.42 ID:vIT5CHVL.net] >>783 >・この教訓は、"事象を2次元の格子図（デカルト積）に書けば良い"！ってことだ 「格子図に書けば良い」のは確かだが 当たりの配置は事象ではないｗ >・「ドアの後ろに賞品がある」場合を、キチンと数え上げれば良い！ キチンと数えるのは「どのドアを選ぶか」 >「直感で正しいと思える解答と、論理的に正しい解答が異なる」のは >ルールの「司会のモンティが残りのドアのうちヤギがいるドアを開けてヤギを見せる」 >の意味が直感では、把握が難しいから 思考力ゼロのサルには理解できんかｗ >ルールを正しく生かした選択に至らない人が 少なくないってことだね ヒトはわかる　サルにはわからん この世のホモ・サピエンスの９割はヒトではなくサルってこった まあ、サルのほうが自然に適応できてるかもな 野生動物は字が読めんでも数が数えられんでも生きてるからな どうだ、嬉しいか？考える能力がないサル　ギャハハハハハハ！！！ 836 名前：１３２人目の素数さん [2024/03/16(土) 15:34:42.46 ID:vIT5CHVL.net] >>786 >>例えば二つの封筒問題で最初に開封した封筒の中身が1万円だった場合、 >>他方は5千円か2万円であるが、1回の出題では必ずどちらかであって、 >>確率P（0<P<1）で5千円・確率1-Pで2万円なんてことにはならない。 >>従って期待値計算：5千円×(1/2)+2万円×(1/2)は誤り。 >違うよ いちいち口答えすんな、ニホンザル >期待値計算 1万2千500円が正しい場合があるよ >設定を変えよう 設定を変えるのはNG だから正しい「場合がある」はNG 迷わず地獄に堕ちるが良い　ニホンザル ギャハハハハハハ！！！ 837 名前：１３２人目の素数さん [2024/03/16(土) 15:42:51.64 ID:vIT5CHVL.net] >>783 >時枝の二つの決定番号 da,db ∈N(可算無限集合)で >確率P(da>db)=1/2 と錯覚するが如し >（∵ N(可算無限集合)だから、∞/∞ で不定形で、1/2はいえない） >けれども、人はついつい 確率P(da>db)=1/2 と錯覚するのです そもそも確率P(da>db)を考えるのがニホンザルｗ da>db　かつ　da<db　ということはない つまり、成り立つのは2つの式たかだか1つである ここでda>dbとする（固定！） daを選ぶかdbを選ぶかは1/2ずつ これが真の確率事象である 決して無作為にda,dbを選んで da>dbとなる確率を求めるのではない！ 何が確率事象かを間違えるのはニホンザル 正しく理解するのが日本人！ 悔しいか？大学入れん数学ド素人ニホンザル ギャハハハハハハ！！！ 838 名前：１３２人目の素数さん [2024/03/16(土) 15:44:52.64 ID:/v13gW+O.net] >>783 >・「ドアの後ろに賞品がある」場合を、キチンと数え上げれば良い！ 1回の出題では１通りしかないから数え上げようが無い 君が言ってるのは出題が試行の場合　君は無意識に出題を試行としている だが出題を試行としてしまうと1回の出題における確率は定義されない 分かる？ wikipediaより引用 「確率論において、試行（しこう、英: trial, experiment）とは、起こりうる結果がいくつかあり、そのどれか1つだけが偶然で起こる流れのことである」 839 名前：１３２人目の素数さん [2024/03/16(土) 15:47:59.31 ID:vIT5CHVL.net] 【結論】 サルは脊髄反射で「問題が確率変数だ！」と考えるがそれが間違い 840 名前：１３２人目の素数さん [2024/03/16(土) 15:50:14.96 ID:vIT5CHVL.net] 【結論】 サルは無意識に「俺の選択は決定事項！確率変数じゃない」と考えるがそれも間違い 841 名前：１３２人目の素数さん [2024/03/16(土) 15:51:21.32 ID:vIT5CHVL.net] 【結論】 サルは回答者の視点でしか考えられない　出題者の視点で考えることができないから間違う 842 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 17:23:42.18 ID:mUoFzVnS.net] >>772 どこが？ 843 名前：１３２人目の素数さん [2024/03/16(土) 17:29:45.75 ID:vIT5CHVL.net] >>778 >>>∃yで放り出すと、yは自然数に限らないから 二つの式の意味は違う >>∀x∈ℕ.∃y∈ℕ.x<y　でないと考えねばならない理由があるか？全くない >>したがって却下 >そうかな？ そうだな （完） ところで、サルは全順序と整列順序の違いが 未だに分かってないと思われる 整列順序は全順序だが、 全順序なら整列順序、とはいえない 整列順序は以下が成立する順序 ∀ｘ．（（∃ｙ．ｘ＜ｙ）⇒（∃ｚ．ｘ＜ｚ∧∀ｗ．ｘ＜ｗ⇒ｚ＜＝ｗ）） 日本語で書けば 任意のｘについて、 ｘより大きい元ｙが存在するなら その中でもっとも小さい元ｚが存在する これｘの後者という 844 名前：１３２人目の素数さん [2024/03/16(土) 17:35:52.89 ID:vIT5CHVL.net] さて有限整列順序の場合、最大元が存在する　すなわち ∃ｘ∀ｙ．ｘ＞＝ｙ しかし、無限整列順序の場合、最大元が存在しない場合がある　すなわち ∀ｘ．（∃ｚ．ｘ＜ｚ∧∀ｗ．ｘ＜ｗ⇒ｚ＜＝ｗ） 845 名前：１３２人目の素数さん [2024/03/16(土) 19:03:19.17 ID:+LjGwmYz.net] >>792 >>・「ドアの後ろに賞品がある」場合を、キチンと数え上げれば良い！ >1回の出題では１通りしかないから数え上げようが無い >君が言ってるのは出題が試行の場合　君は無意識に出題を試行としている >だが出題を試行としてしまうと1回の出題における確率は定義されない ・”1回の出題では１通りしかないから数え上げようが無い”？ 　か、なんか笑えるな ｗｗｗ ・下記の”【中学数学】さいころ2個の確率問題をパターン別に解説！”を 　”百回”繰返し見てね ・全部 試行は 1回前提で、確率計算するよｗ 　まあ、君には理解が難しいんだな？ なんか笑えるな ｗｗｗ やれやれだな　；ｐ） https://study-line.com/kakuritsu-saikoro/ 数スタ 【中学数学】さいころ2個の確率問題をパターン別に解説！ 846 名前：１３２人目の素数さん [2024/03/16(土) 20:01:11.64 ID:/v13gW+O.net] >>796 >∀が先頭についてるんだから相手側に全公開してるだろ が 847 名前：１３２人目の素数さん [2024/03/16(土) 20:07:05.86 ID:/v13gW+O.net] >>799 ”1回の出題”の意味を誤解したんだね？ 未来に定まる予定の出題ではなく過去に定まった出題のことだよ 文脈で読み取ろうよ　小学生じゃないんだから 848 名前：１３２人目の素数さん [2024/03/16(土) 20:08:59.89 ID:+LjGwmYz.net] >>797-798 整列順序ねｗ ・院試で、あたま良すぎて落ちるやつ 　自分で定義を作るやつ ・整列順序についてなら、決まった定義があるのだから 　それをきっちり覚えておかないとね（下記） 　”S 上の全順序関係 "≤" であって、S の空でない任意の部分集合が必ず ≤ に関する最小元をもつものをいう” おっと、あたま悪すぎで 自分で定義を作ったのかな？ｗ (参考) https://ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88 整列集合 整列集合（せいれつしゅうごう、英: well­ordered set）、または整列順序付けられた集合（せいれつじゅんじょづけられたしゅうごう）とは、数学における概念の1つで、整列順序を備えた集合のことをいう。ここで、集合 S 上の整列順序関係 (well­order) とは、S 上の全順序関係 "≤" であって、S の空でない任意の部分集合が必ず ≤ に関する最小元をもつものをいう。あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 (S, ≤) を慣例に従ってしばしば単純に S で表す。 導入 整列集合 X の任意の元 s は、それが X の最大元でない限り、ただ一つの後者（successor; 後継、次の元、直後の元）を持つ。これはつまり、s よりも大きな X の元全体の成す部分集合における最小元として s の後者が決まるということである。また、整列集合 X の中で上に有界な任意の部分集合は（その上界全体の成す X の部分集合に最小元がとれるから）必ず上限を持つ。あるいは整列集合 X には、前者（predecessor; 直前の元）を持たない元が必ず存在する（それはもちろん、X 全体における最小元である）。 集合に整列順序が与えられれば、そこでは集合の全ての元に対する命題の超限帰納法を用いた証明を考えることができる。 自然数全体の成す集合 N が通常の大小関係 "<" に関して整列集合となるという事実は、一般に整列原理と呼ばれる。 （選択公理に同値な）整列可能定理は、任意の集合が整列順序付け可能であることを主張するものである。整列可能定理はまたツォルンの補題とも同値である。 https://www.math.is.tohoku.ac.jp/~obata/student/subject/file/2018-13_WellOrdered.pdf GAIRON-book : 2018/6/21(19:23) 第13章 整列集合 東北大 尾畑研 849 名前：１３２人目の素数さん [2024/03/16(土) 20:15:49.64 ID:/v13gW+O.net] >>799 >・全部 試行は 1回前提で、確率計算するよｗ 「サイコロを一回投げる試行」は１回の試行ではない。 試行毎に結果は変化し、その集合が標本空間。そのひとつの元が1回の試行の結果。 君、根本的に分かってないようだね 850 名前：１３２人目の素数さん [2024/03/16(土) 20:21:58.49 ID:+LjGwmYz.net] >>801 >”1回の出題”の意味を誤解したんだね？ >未来に定まる予定の出題ではなく過去に定まった出題のことだよ >文脈で読み取ろうよ　小学生じゃないんだから 中学 確率 ・ 851 名前：サイコロ二つを振って、箱の中 　目は決まっている ・二つの和が12になる確率は？ 　二つとも6の場合で、1/36 さて、まだサイコロは振っていない ・サイコロ二つを振るが 　目はまだ決まっていない ・二つの和が12になる確率は？ 　二つとも6の場合で、1/36 幼稚園レベルだな [] [ここ壊れてます] 852 名前：１３２人目の素数さん [2024/03/16(土) 20:22:24.29 ID:/v13gW+O.net] >>799 ひとつのサイコロを一回投げる試行の結果は１〜６の６通り 1回の試行の結果はそのいずれかひとつの１通り 小学生かい？君は 853 名前：１３２人目の素数さん [2024/03/16(土) 20:26:56.64 ID:/v13gW+O.net] >>804 >中学 確率 >・サイコロ二つを振って、箱の中 >　目は決まっている >・二つの和が12になる確率は？ >　二つとも6の場合で、1/36 それは箱の中の目を決めることを試行とした場合の確率ね 君、試行が全然分かってないね　定義を読み直してごらん 854 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 20:27:24.80 ID:OP6n3otv.net] >>800 それ君の感想でしょ 855 名前：１３２人目の素数さん [2024/03/16(土) 20:34:01.42 ID:/v13gW+O.net] >>804 なんかおかしいと思って https://study-line.com/kakuritsu-saikoro/ を見てみたが、 >中学 確率 >・サイコロ二つを振って、箱の中 >　目は決まっている >・二つの和が12になる確率は？ >　二つとも6の場合で、1/36 なんて書かれてないじゃんｗ 捏造すんなよサル 856 名前：１３２人目の素数さん [2024/03/16(土) 20:34:53.30 ID:/v13gW+O.net] >>807 それが君の感想 857 名前：１３２人目の素数さん [2024/03/16(土) 20:39:32.28 ID:/v13gW+O.net] サルはサイコパスか？ 平気で捏造するのはサイコパスだからなんだろうな 違うというならどこに >・サイコロ二つを振って、箱の中 >　目は決まっている >・二つの和が12になる確率は？ >　二つとも6の場合で、1/36 と書かれてるか示してごらん 858 名前：１３２人目の素数さん [2024/03/16(土) 20:43:19.00 ID:/v13gW+O.net] 馬鹿は仕方ないが捏造は人間として終わってるだろ まあサルは最初から人間じゃないがｗ 859 名前：１３２人目の素数さん [2024/03/16(土) 20:45:08.05 ID:+LjGwmYz.net] >>783 補足 >時枝の二つの決定番号 da,db ∈N(可算無限集合)で >確率P(da>db)=1/2 と錯覚するが如し >（∵ N(可算無限集合)だから、∞/∞ で不定形で、1/2はいえない） >けれども、人はついつい 確率P(da>db)=1/2 と錯覚するのです 二つ例を挙げよう ・ケースA 　n∈N(可算無限集合) で、nは奇数か偶数だ 　奇数か偶数かは、半々だが 　確率P（nは奇数）＝1/2 ？ 　しかし、Ω＝Nだと 全体が発散しているので、確率計算1/2は正当化できない ・ケースB 　冒頭の場合だが、補足しよう 　Ω＝{1,2,・・n}の有限集合で、一様分布とする 　この場合、nが十分大きいと、上記 確率P(da>db)=1/2は正しい 　補足すると 　daを横軸（x軸）、dbを縦軸（y軸）にとると、 　一辺nの正方形の格子が描ける 　da＝db は 対角線（直線y＝x）上にある 　da>db の領域は、対角線 より下側の直角三角形を成す 　だから、全体の正方形に対し 下側の直角三角形の部分は1/2だ 　ところが、これは有限の場合だ 　Ω＝Nで 全体が発散していると 有限の場合の全体の正方形が無限大に発散し 　下側の直角三角形の部分も無限大に発散する 　よって、∞/∞ で不定形で、1/2はいえない 860 名前：１３２人目の素数さん [2024/03/16(土) 20:50:36.40 ID:/v13gW+O.net] >>812 >確率P(da>db)=1/2 と錯覚 それ君だけね 時枝先生はそんな阿呆な錯覚していない 861 名前：１３２人目の素数さん [2024/03/16(土) 20:55:28.45 ID:+LjGwmYz.net] >>808 >>810 >https://study-line.com/kakuritsu-saikoro/ >を見てみたが、 >>・サイコロ二つを振って、箱の中 >>　目は決まっている >>・二つの和が12になる確率は？ >>　二つとも6の場合で、1/36 >と書かれてるか示してごらん 本気で聞いているのかな？ｗ 上記のサイト中で 冒頭に ”今回の内容をサクッと理解したい方はこちらの動画がおススメです” とあって、動画のリンク貼ってあるよ。そこにあるよ 本気で聞いていたのか！ｗ やれやれ　；ｐ） 862 名前：１３２人目の素数さん [2024/03/16(土) 21:01:11.07 ID:/v13gW+O.net] >>814 動画の何分何秒から？ 863 名前：１３２人目の素数さん [2024/03/16(土) 21:04:19.38 ID:/v13gW+O.net] >>814 >そこにあるよ 嘘でないなら答えられるよな？　何分何秒から？ 864 名前：１３２人目の素数さん [2024/03/16(土) 21:05:05.53 ID:/v13gW+O.net] 嘘に嘘を重ねて破綻する 完全にサイコパスだわこいつ 865 名前：１３２人目の素数さん [2024/03/16(土) 21:16:45.98 ID:/v13gW+O.net] >>814 おかしいなあ、俺が見た限り 「〇〇のサイコロを投げる。〇〇になる確率を求めなさい。」 という出題パターンしか無いんだが どこにも >・サイコロ二つを振って、箱の中 >　目は決まっている なんて無いんだが もしかして君の捏造？　いったいどういう了見なんだ？　何のために捏造するんだ？ 数学どうこう以前の人間性がぶっ壊れてるよ君 866 名前：１３２人目の素数さん [2024/03/16(土) 21:28:21.91 ID:/v13gW+O.net] 他人にマウント取るためなら捏造なんて屁とも思わない 動画を特定したらすぐバレることは火を見るより明らかなのにそれでもやらずにいられない 狂ってる　完全に狂ってる　ここまでの異常人格者見たこと無い 867 名前：１３２人目の素数さん [2024/03/16(土) 21:38:04.47 ID:/v13gW+O.net] サイコパスの特徴 ・窃盗などの違法行為を繰り返すことがある ・自信にあふれ、魅力的に見える ・他人に対して共感する気持ちが持てない ・人を支配する ・平然とうそをつく ・衝動的に行動する ・他人を責める ・無責任である 魅力的に見える以外全部当てはまってて草 868 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 21:42:01.00 ID:REZvRVWI.net] >>809 開けてない箱の∀を後ろに持っていけないのが非公開の情報を使ってるなによりの証拠じゃん 869 名前：１３２人目の素数さん [2024/03/16(土) 21:59:09.03 ID:/v13gW+O.net] >>821 非公開の情報とは？ 870 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 22:01:57.69 ID:REZvRVWI.net] >>822 開けてない箱の中身以外にあるかよ 871 名前：１３２人目の素数さん [2024/03/16(土) 22:04:02.72 ID:/v13gW+O.net] >>823 証拠になる理由は？ 872 名前：１３２人目の素数さん [2024/03/16(土) 22:05:26.27 ID:/v13gW+O.net] 言っておくが、君の好きな問題において証拠になるは理由にならないぞ？ 問題が違えば証拠になるならないも違ってくる 873 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 22:07:54.16 ID:REZvRVWI.net] >>824 使ってなければ後ろに持ってけるだろ 874 名前：１３２人目の素数さん [2024/03/16(土) 22:13:42.24 ID:/v13gW+O.net] >>824 それ待遇を言ってるに過ぎないじゃんｗ 君の持論の正しさを示せと言ってるのに待遇を持ち出すって、君、もしかして馬鹿？ 875 名前：１３２人目の素数さん [2024/03/16(土) 22:14:22.55 ID:/v13gW+O.net] アンカミス　>>826な 876 名前：１３２人目の素数さん [2024/03/16(土) 22:17:14.66 ID:/v13gW+O.net] 命題Aが真であることとその対偶が真であることは同値 よって対偶を持ち出してもAが真である理由には１�_もならない 高校で習わんかった？ 877 名前：１３２人目の素数さん [2024/03/16(土) 22:26:15.94 ID:/v13gW+O.net] 正しい理由を聞かれてつい対偶を持ち出してしまったってことは、正しいと妄想してるだけってことさ 違うと言うなら箱入り無数目においても正しいことを示してみて 878 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 22:35:00.88 ID:REZvRVWI.net] >>827 使ってなければ後ろに持っていけるは定理として簡単に証明できるだろ 879 名前：１３２人目の素数さん [2024/03/16(土) 22:46:13.79 ID:/v13gW+O.net] >>831 じゃ証明して 880 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 22:51:40.95 ID:REZvRVWI.net] >>832 ∃(x+1)とか言ってるやつにこんなメタな定理が理解できるわけないだろ 881 名前：１３２人目の素数さん [2024/03/16(土) 22:55:50.48 ID:/v13gW+O.net] >>833 はい、また逃げました〜 その逃亡芸もう秋田 882 名前：１３２人目の素数さん [2024/03/16(土) 22:58:16.85 ID:/v13gW+O.net] できもしないことを簡単にできるとか言っちゃう君もサイコパスザルと同類やね 不成立派はこんなんばっかやなｗ 883 名前：１３２人目の素数さん [2024/03/16(土) 22:59:48.78 ID:/v13gW+O.net] 動画に出てる←嘘 簡単にできる←嘘 サイコパスしかおらんのかい、不成立派はｗ 884 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:02:13.92 ID:REZvRVWI.net] >>834 やっぱり∃(x+1).と同一人物だったのか こんな頭のおかしい論理式書くやつの相手なんて誰がするかよ 885 名前：１３２人目の素数さん [2024/03/16(土) 23:03:57.43 ID:+LjGwmYz.net] >>818 サイコパスのおサル>>8 詭弁のデパートだな 次のスレでテンプレに入れておくぜ！ｗ （>>814より再録） >>808 >>810 >https://study-line.com/kakuritsu-saikoro/ >を見てみたが、 >>・サイコロ二つを振って、箱の中 >>　目は決まっている >>・二つの和が12になる確率は？ >>　二つとも6の場合で、1/36 >と書かれてるか示してごらん 本気で聞いているのかな？ｗ 上記のサイト中で 冒頭に ”今回の内容をサクッと理解したい方はこちらの動画がおススメです” とあって、動画のリンク貼ってあるよ。そこにあるよ (引用終り) （>>818より再録） >>814 おかしいなあ、俺が見た限り 「〇〇のサイコロを投げる。〇〇になる確率を求めなさい。」 という出題パターンしか無いんだが どこにも >・サイコロ二つを振って、箱の中 >　目は決まっている なんて無いんだが (引用終り) １）サイコロ二つを振って 二つの和が12になる確率は？ 二つとも6の場合で、1/36 　これが分からないと聞いてきた ２）動画にあると示したら、「サイコロ二つを振って、箱の中 目は決まっている なんて無いんだが」 　ときたもんだ。笑える 886 名前：１３２人目の素数さん [2024/03/16(土) 23:06:45.95 ID:+LjGwmYz.net] 中学レベルの確率論でつまずいているんだ アホのきわみだね 887 名前：１３２人目の素数さん [2024/03/16(土) 23:07:39.62 ID:/v13gW+O.net] >>837 言い訳になってないよｗ 888 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:12:43.81 ID:REZvRVWI.net] ∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、これこれが証明可能であるなんて、∃(x ÷1)野� 889 名前：Yに分かるわけないじゃん [] [ここ壊れてます] 890 名前：１３２人目の素数さん [2024/03/16(土) 23:18:18.29 ID:/v13gW+O.net] >>838 >１）サイコロ二つを振って 二つの和が12になる確率は？ 二つとも6の場合で、1/36 どこにも >・サイコロ二つを振って、箱の中 >　目は決まっている なんて書かれてないじゃんｗ >２）動画にあると示したら、「サイコロ二つを振って、箱の中 目は決まっている なんて無いんだが」 >　ときたもんだ。笑える いや、動画のどこにも >・サイコロ二つを振って、箱の中 >　目は決まっている なんて無いよね 君、嘘ついてるよね 笑える？　君、病院行った方がいいよ 891 名前：１３２人目の素数さん [2024/03/16(土) 23:23:34.82 ID:/v13gW+O.net] >>841 >これこれが証明可能である ってなに？ｗ >∃(x÷1)野郎に分かるわけないじゃん じゃあ数学者に分かる証明を書いて 知り合いの数学者に見てもらうから 892 名前：１３２人目の素数さん [2024/03/16(土) 23:32:51.63 ID:/v13gW+O.net] >>838 君さあ これからサイコロを振ることと、サイコロを振った結果は違うことは理解できる？ 前者の標本空間={1,2,3,4,5,6} 後者の標本空間={出た目}　←１元しかないので確率を考えてもナンセンス 893 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:33:50.33 ID:REZvRVWI.net] >>843 ∃y.∀x.P(x,y)に決まってるだろ お前はどうせわかんないんだろ、伝言ゲームするぐらいのらそいつここによんでくれぱいいじゃん 894 名前：１３２人目の素数さん [2024/03/16(土) 23:34:44.04 ID:/v13gW+O.net] 動画に出てる←嘘 簡単にできる←嘘 サイコパスしかおらんのかい、不成立派はｗ 895 名前：１３２人目の素数さん [2024/03/16(土) 23:39:17.12 ID:/v13gW+O.net] >>845 書かれてないのに呼ぶ意味は？ 君、乱心してんの？落ち着けよ 896 名前：１３２人目の素数さん [2024/03/16(土) 23:42:00.72 ID:/v13gW+O.net] >>845 簡単なんでしょ？ じゃさっさと書いてよ 書かれてもないのに呼ばないよｗ　なんで呼んだ？ってなっちゃうだろーがｗ 897 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:43:34.20 ID:REZvRVWI.net] >>847 呼んでくれぱ書くよ どうせ君には読めないじゃん 898 名前：１３２人目の素数さん [2024/03/16(土) 23:45:16.11 ID:/v13gW+O.net] >>849 だーかーらー 呼ばれた人はどうすんだよｗ　なんで呼ばれたんだ？ってなるだろ？　分からんのか？　阿呆なの？馬鹿なの？ 899 名前：１３２人目の素数さん [2024/03/16(土) 23:46:57.63 ID:/v13gW+O.net] てかつべこべ言わずさっさと書けや またいつものハッタリか？ 900 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:48:56.82 ID:REZvRVWI.net] ∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、ex t (λx.f(x,t))は∃y.∀x.P(x,t)の証明である。終わり 901 名前：１３２人目の素数さん [2024/03/16(土) 23:49:46.07 ID:/v13gW+O.net] 君さ、会社でもそんななん？ レビューアを呼び出してから資料書くん？ 資料書くのが先じゃないん？ だいじょうぶか？君 902 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:50:39.70 ID:REZvRVWI.net] で、これは結局放置するわけ？ x+1が仮に変数だとして ＞∀x∈ℕ.∃(x+1).x<x+1 これをα変換したら ∀x∈ℕ.∃y.x<x+1 なのか ∀x∈ℕ.∃y.x<y なのかすら不明瞭 903 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:51:13.39 ID:REZvRVWI.net] >>853 ほら書いてやったぞさっさと呼んで来いよ 904 名前：１３２人目の素数さん mailto:sage [2024/03/16(土) 23:53:18.84 ID:REZvRVWI.net] >>853 呼んで来たらついでに、>>854がどっちなのかも聞いていて 905 名前：１３２人目の素数さん [2024/03/16(土) 23:55:14.40 ID:/v13gW+O.net] >>852 箱入り無数目におけるx、y、P(x,y)がそれぞれ何か述べよ 906 名前：１３２人目の素数さん [2024/03/16(土) 23:58:01.45 ID:/v13gW+O.net] >>852 ∀x.∃y.P(x,y)なる命題が箱入り無数目のそれと一致してなければ>>852は完全にナンセンスなので心して答えるように 907 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 00:03:41.90 ID:egixwGA8.net] >>858 >>370,395,396 これお前が書いたんじゃないの？ 908 名前：１３２人目の素数さん [2024/03/17(日) 00:16:23.47 ID:VAa6dkvQ.net] >>859 違うけど、 x=先手の手、y=後手の手、P(x,y)=後手の勝率は99/100以上 という理解で合ってる？ まずはここまで 909 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 00:27:17.53 ID:egixwGA8.net] >>860 じゃあこっちは上のアンカーみたいな定式化に対して∀∃の形にすんなって言ってるんだから、関係ないなら来ないでくれる 910 名前：１３２人目の素数さん [2024/03/17(日) 00:40:01.46 ID:VAa6dkvQ.net] >>859 >∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、ex t (λx.f(x,t))は∃y.∀x.P(x,t)の証明である。 ex t (λx.f(x,t))　が　∃y.∀x.P(x,t)　の証明であるとなぜ君の主張「∀が先頭についてるんだから相手側に全公開してるだろ」が正当化されるの？ 911 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 00:49:14.99 ID:egixwGA8.net] >>862 なんでそれが関係あるの？ 912 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 00:53:55.64 ID:egixwGA8.net] そもそも、ゲームの攻略法を∀と∃の組み合わせで定式化したら前についてる量化子はすべて公開されてる状態で次の量化子の手番に進むに決まってんじゃん これになんの 913 名前：疑問の余地があるのかさっぱりわからんのだが [] [ここ壊れてます] 914 名前：１３２人目の素数さん [2024/03/17(日) 00:54:26.72 ID:VAa6dkvQ.net] >>863 >∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、ex t (λx.f(x,t))は∃y.∀x.P(x,t)の証明である。 は >∀が先頭についてるんだから相手側に全公開してるだろ の証明になってないって言ってるんだけど 的確に反論しないとｗ 915 名前：１３２人目の素数さん [2024/03/17(日) 00:55:56.21 ID:VAa6dkvQ.net] >>864 >決まってんじゃん はい、決まってないです あなたの妄想です 916 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 00:56:10.12 ID:egixwGA8.net] >>865 なんでそれが相手側に全公開してることの証明だと思ったの？関係ないよね？ 917 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 00:57:24.92 ID:egixwGA8.net] >>866 そう思うなら無視すりゃいいじゃん こっちは∃(x+1)とか書き始める人間に何言われても気にしないから 918 名前：１３２人目の素数さん [2024/03/17(日) 00:58:15.47 ID:VAa6dkvQ.net] >>867 じゃ何の証明だよｗ こっちは最初から>>260が間違いであることは理解したの？って言ってるんだけどｗ それに対する反論じゃなかったんか？　馬鹿かよｗ 919 名前：１３２人目の素数さん [2024/03/17(日) 00:59:52.45 ID:VAa6dkvQ.net] >>867 おまえ頭オカシイのか？ さっさと>>260の正当性を示せよｗ 920 名前：１３２人目の素数さん [2024/03/17(日) 01:02:08.61 ID:VAa6dkvQ.net] >>868 おまえ都合悪くなるといつも逃げるのな 921 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:02:45.83 ID:egixwGA8.net] >>869 ∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、∃y.∀x.P(x,t)が証明できることの証明だろ お前が>>832でこれを証明しろっていったんじゃねーかよ 記憶力ダチョウ並かよ 922 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:05:59.86 ID:egixwGA8.net] >>870 ゲームの定式化をそうやるって話だよ これが嫌いなら勝手にすればいいじゃん 定式化が変われば結果が変わるのは当たり前なんだからさ 923 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:08:42.91 ID:egixwGA8.net] そもそも箱の中身を確率変数にして定式化すれば、∀の順序とか悩まずに定式化できるのに、こんな入口で躓いててこの先どーすんの 924 名前：１３２人目の素数さん [2024/03/17(日) 01:09:04.96 ID:VAa6dkvQ.net] >>872 >∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、∃y.∀x.P(x,t)が証明できることの証明だろ え？？？ λx.ex t f(x,t)　⇒　ex t (λx.f(x,t))　の証明は？ それ無いと∃y.∀x.P(x,t)が証明できることの証明になってないぞ 925 名前：１３２人目の素数さん [2024/03/17(日) 01:10:22.07 ID:VAa6dkvQ.net] >>874 そもそも箱の中身を確率変数にできないのにこんな入口で躓いててこの先どーすんの 926 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:14:33.92 ID:egixwGA8.net] >>875 ＞λx.ex t f(x,t)　⇒　ex t (λx.f(x,t)) ⇒ってなに？ならば？ 927 名前：１３２人目の素数さん [2024/03/17(日) 01:16:14.72 ID:VAa6dkvQ.net] >>877 そうだよ P⇒Q　は　Pが真ならQが真という命題 928 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:16:22.80 ID:egixwGA8.net] >>876 できないってなんだよ 定式化なんだから好きにやりゃいいんだよ そもそも記事でやってる説明だって確率変数で書いたときの特別な場合だろ 929 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:17:37.88 ID:egixwGA8.net] >>878 なんでそこにならばをつけたの？ お前はπ⇒eとかみたいな感じでならばを使うんか？ 930 名前：１３２人目の素数さん [2024/03/17(日) 01:22:54.32 ID:VAa6dkvQ.net] >>880 「∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れない」から「ex t (λx.f(x,t))は∃y.∀x.P(x,t)の証明である」へギャップがある ギャップを埋めよ 931 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:23:20.56 ID:egixwGA8.net] 1ならば2とか sin 60°ならばtan 30°とか お前はそういう風にならばを使うの？ 932 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:24:11.41 ID:egixwGA8.net] >>881 ならばは？ 933 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:29:32.73 ID:egixwGA8.net] >>881 ねえ、ならばはどこに行ったの！ 934 名前：１３２人目の素数さん [2024/03/17(日) 01:30:15.41 ID:VAa6dkvQ.net] >>879 >定式化なんだから好きにやりゃいいんだよ 大間違い 問題設定に沿ってなければダメ ある一つの固定された出題に対し回答者の勝率が定義できるためには出題が試行であってはダメ 箱の中身を確率変数にするということは出題が試行ということ なぜなら箱の中身が変化するのは出題毎だから >そもそも記事でやってる説明だって確率変数で書いたときの特別な場合だろ 意味不明 935 名前：１３２人目の素数さん [2024/03/17(日) 01:31:06.42 ID:VAa6dkvQ.net] >>884 ねえ、ギャップは？ いつ埋まるの？ 936 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:32:59.45 ID:egixwGA8.net] >>885 じゃあ君がコロナに感染してるかどうかも確率変数にしちゃだめだね 医者どもはそれを確率変数だと思って診断してるから、お前はもうPCR検査行くなよ 937 名前：１３２人目の素数さん [2024/03/17(日) 01:33:33.37 ID:VAa6dkvQ.net] >>882 おまえ馬鹿？　そういう風にも使えるよ 命題「x=π ⇒ x=e」は偽 はい、使った 938 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:33:52.61 ID:egixwGA8.net] >>886 ならばの意味が分からないから説明してよ 1⇒2って何？ 939 名前：１３２人目の素数さん mailto: [] [ここ壊れてます] 940 名前：sage mailto:2024/03/17(日) 01:34:30.07 ID:egixwGA8.net [ >>888 π⇒eはどこに行ったの？ ] [ここ壊れてます] 941 名前：１３２人目の素数さん [2024/03/17(日) 01:37:08.43 ID:VAa6dkvQ.net] >>887 意味不明 確率空間を書いてみて 942 名前：１３２人目の素数さん [2024/03/17(日) 01:38:04.38 ID:VAa6dkvQ.net] >>890 いいから早くギャップを埋めてよ また逃げる気？ 943 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:38:43.64 ID:egixwGA8.net] 1 ≦ y ⇒ 0 ≦ yも x = 1 ≦ y ⇒ x = 0 ≦ y だから偽だね 944 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:39:14.78 ID:egixwGA8.net] >>892 だからならばってなんだよ 945 名前：１３２人目の素数さん [2024/03/17(日) 01:39:57.90 ID:VAa6dkvQ.net] こいつまた逃げる気か 都合が悪くなるといつも>>889 >>890みたいにごまかして逃げるな 946 名前：１３２人目の素数さん [2024/03/17(日) 01:40:31.93 ID:VAa6dkvQ.net] >>894 ごまかすな ギャップを示せ 947 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:40:35.03 ID:egixwGA8.net] >>891 なんの確率空間を書くの？ 前から何度も言ってるように、普通は確率空間は任意だよ 948 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:41:53.07 ID:egixwGA8.net] >>896 ならばのところにギャップがあるんでしょ？ だから1⇒2ってなんなんだよって聞いてんだよ 949 名前：１３２人目の素数さん [2024/03/17(日) 01:43:11.58 ID:VAa6dkvQ.net] >>898 >>881読めないの？なら小学校の国語からやり直し 950 名前：１３２人目の素数さん [2024/03/17(日) 01:43:41.06 ID:VAa6dkvQ.net] >>897 >>887 951 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:45:02.55 ID:egixwGA8.net] >>900 それは任意の確率空間にしないと不便だろ 952 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:46:12.09 ID:egixwGA8.net] >>899 どこにギャップがあるの？ ⇒はどこに行ったの？ まず⇒の話を解決しないと意味不明なんですけど 953 名前：１３２人目の素数さん [2024/03/17(日) 01:47:08.12 ID:VAa6dkvQ.net] >>897 >前から何度も言ってるように、普通は確率空間は任意だよ 事象空間が任意てｗ　じゃ何の確率だよｗ　完全に狂ってるｗ 954 名前：１３２人目の素数さん [2024/03/17(日) 01:48:24.79 ID:VAa6dkvQ.net] >>902 >どこにギャップがあるの？ 「∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れない」から「ex t (λx.f(x,t))は∃y.∀x.P(x,t)の証明である」へギャップがある って日本語が読めないようだね。小学校の国語からやり直し 955 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:49:50.09 ID:egixwGA8.net] >>904 具体的に指摘してよ 956 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:50:53.62 ID:egixwGA8.net] >>903 だからお前は素人なんだよ 確率論の本を数冊読んでから出直せ 957 名前：１３２人目の素数さん [2024/03/17(日) 01:51:55.31 ID:VAa6dkvQ.net] >>897 >前から何度も言ってるように、普通は確率空間は任意だよ サイコロひとつを一回振る試行の標本空間は任意なので{}としました この標本空間{}を用いて1の目がでる確率を計算してください 958 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:52:50.48 ID:egixwGA8.net] >>907 お前が決めるんじゃねーよ 959 名前：１３２人目の素数さん [2024/03/17(日) 01:53:10.53 ID:VAa6dkvQ.net] >>905 >>904が具体的なギャップの指摘 ギャップを埋めるのは君 960 名前：１３２人目の素数さん [2024/03/17(日) 01:53:50.14 ID:VAa6dkvQ.net] >>906 屁理屈はよいので>>907に答えて 961 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:54:04.17 ID:egixwGA8.net] >>909 そんなものはない終わり 962 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:54:35.17 ID:egixwGA8.net] >>910 だからお前が決めるんじゃねーよ 963 名前：１３２人目の素数さん [2024/03/17(日) 01:55:41.74 ID:VAa6dkvQ.net] >>908 あれ？任意でいいって言ってなかったっけ？ 任意でいいってことは俺が決めてもいいんだろ？ダメなの？じゃ誰が決めんの？それ任意って言うの？馬鹿？ 964 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 01:58:53.06 ID:egixwGA8.net] >>913 任意の確率空間(Ω,F,P)について何々から書き始めるから任意なんだよ、お前がひとつに決めるなよ 965 名前：１３２人目の素数さん [2024/03/17(日) 02:05:48.90 ID:VAa6dkvQ.net] >>911 >>852って単に 「先手の情報が全公開されてないなら　∀x.∃y.P(x,y)　を　∃y.∀x.P(x,t)　に書き換えられる」 と言ってるに過ぎず、それって君の持論を言い直しただけじゃんｗ 何の証明にもなってないｗ　馬鹿過ぎｗ 966 名前：１３２人目の素数さん [2024/03/17(日) 02:07:55.95 ID:VAa6dkvQ.net] >>914 >任意の確率空間(Ω,F,P)について何々から書き始めるから任意なんだよ 日本語でお願いします >お前がひとつに決めるなよ じゃあおまえがひとつに決めろよ 967 名前：１３２人目の素数さん [2024/03/17(日) 02:09:56.03 ID:VAa6dkvQ.net] >>911 なぜ書き換えられるかの理由が無いと証明にならんぞｗ てかおまえ証明って何か分かってる？ｗ 968 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:10:02.38 ID:egixwGA8.net] >>916 ひとつに決めたら不便だろ 頭沸いてるのかよ 969 名前：１３２人目の素数さん [2024/03/17(日) 02:12:00.92 ID:VAa6dkvQ.net] >>918 不便でいいから決めろ 970 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:12:31.38 ID:egixwGA8.net] >>915 全然違う ＞「先手の情報が全公開されてないなら　∀x.∃y.P(x,y)　を　∃y.∀x.P(x,t)　に書き換えられる」 勝手に捏造しないでくれます？ 971 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:13:09.56 ID:egixwGA8.net] >>919 だからひとつに決めないのも定式化の一部なんだよ 972 名前：１３２人目の素数さん [2024/03/17(日) 02:13:11.84 ID:VAa6dkvQ.net] >>918 おまえいっつも逃げるのな 逃げ口上考える頭を数学に使えば？ 973 名前：１３２人目の素数さん [2024/03/17(日) 02:13:49.01 ID:VAa6dkvQ.net] >>920 何がどう違うと？ 974 名前：１３２人目の素数さん [2024/03/17(日) 02:14:15.95 ID:VAa6dkvQ.net] >>921 だから逃げ口上はいいって 975 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:15:00.99 ID:egixwGA8.net] >>922 不便なものに不便だと言って何が悪い 確率論の標準的な手法に文句があるならコルモゴロフにでも言ってくれ 976 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:16:01.56 ID:egixwGA8.net] >>923 ∃(x+1)くんが捏造してるのに合ってるわけないだろ 977 名前：１３２人目の素数さん [2024/03/17(日) 02:16:11.43 ID:VAa6dkvQ.net] >>921 ひとつに決めないのも定式化の一部ならひとつに決めるのも定式化の一部だろ じゃ決めろよ これ以上逃げ口上は勘弁な 978 名前：１３２人目の素数さん [2024/03/17(日) 02:17:35.09 ID:VAa6dkvQ.net] >>925 悪いなんて言ってないじゃんｗ　幻聴が聞こえるのか？ 979 名前：１３２人目の素数さん [2024/03/17(日) 02:18:02.57 ID:VAa6dkvQ.net] >>926 何をどう捏造してると？ 980 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:18:16.92 ID:egixwGA8.net] >>927 何言ってんの 定式化は各人好きなようにやっていいよ 君がやりたいならそうしろよ こっちは確率論を具体的に書かない標準的なやり方でやるから 981 名前：１３２人目の素数さん [2024/03/17(日) 02:19:43.84 ID:VAa6dkvQ.net] >>930 おまえさっき勝手に決めるなって言ったのもう忘れたの？ｗ ダメだこいつｗ　完全にイカレてやがるｗ 982 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:20:11.32 ID:egixwGA8.net] >>929 ＞「先手の情報が全公開されてないなら　∀x.∃y.P(x,y)　を　∃y.∀x.P(x,t)　に書き換えられる」 このような主張はしてない 983 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:21:16.80 ID:egixwGA8.net] >>931 君の決めたやつで勝手にやってていいから 984 名前：１３２人目の素数さん [2024/03/17(日) 02:22:58.10 ID:VAa6dkvQ.net] 0908１３２人目の素数さん 2024/03/17(日) 01:52:50.48ID:egixwGA8 >>907 お前が決めるんじゃねーよ 0930１３２人目の素数さん 2024/03/17(日) 02:18:16.92ID:egixwGA8 >>927 定式化は各人好きなようにやっていいよ 君がやりたいならそうしろよ ↑ 錯乱してるｗ 985 名前：１３２人目の素数さん [2024/03/17(日) 02:23:33.91 ID:VAa6dkvQ.net] >>933 0908１３２人目の素数さん 2024/03/17(日) 01:52:50.48ID:egixwGA8 >>907 お前が決めるんじゃねーよ 986 名前：１３２人目の素数さん [2024/03/17(日) 02:24:43.95 ID:VAa6dkvQ.net] >>932 じゃあどう主張してんの？ 987 名前：１３２人目の素数さん [2024/03/17(日) 02:28:27.68 ID:VAa6dkvQ.net] >>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)の証明である 証明である理由が何も書かれてなくて勝手に宣言してるだけじゃんｗ 宣言したもん勝ちかよｗ 988 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:28:43.68 ID:HNHCaIr5.net] >>935 こっちの定式化では任意にしてるところをお前が決めんなって言ってんの お前が定式化してるところは固定で好きなようにやっていいから 989 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:29:49.82 ID:HNHCaIr5.net] >>937 何？証明であるのところが解らなかったの？ なんで今まで具体的に書かなかったの？ 990 名前：１３２人目の素数さん [2024/03/17(日) 02:31:41.64 ID:VAa6dkvQ.net] >>938 なんでおまえが持ち出したPCR検査の確率空間をそんなに書きたくないの？ 書けないなら持ち出さなきゃいいじゃん 持ち出したからには書けよ 不便とか言い訳してんなよカス 991 名前：１３２人目の素数さん [2024/03/17(日) 02:33:16.72 ID:VAa6dkvQ.net] >>939 うん分からなかった 証明になってないから分かり様が無い 992 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:33:42.97 ID:HNHCaIr5.net] >>940 なんで具体的に書けると思うの？ 任意の確率空間って書いてんじゃん 993 名前：１３２人目の素数さん [2024/03/17(日) 02:34:26.62 ID:VAa6dkvQ.net] >>939 もう一回聞くけど ex t (λx.f(x,t))　が　∃y.∀x.P(x,t)　の証明である理由は何？ 994 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:34:51.34 ID:HNHCaIr5.net] >>941 証明の定義に戻って確認するだけでしょ 995 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:35:36.17 ID:HNHCaIr5.net] >>943 ほとんど証明の定義そのままだろ 996 名前：１３２人目の素数さん [2024/03/17(日) 02:35:52.22 ID:VAa6dkvQ.net] >>942 任意ってことは{}でもいいんだろ？ じゃあ>>907に答えろや　何逃げてんだよ 997 名前：１３２人目の素数さん [2024/03/17(日) 02:36:44.79 ID:VAa6dkvQ.net] >>945 証明の定義を書いてみて 998 名前：１３２人目の素数さん [2024/03/17(日) 02:38:38.65 ID:VAa6dkvQ.net] こいつ書けって言うと全部逃げるのなｗ 口から出まかせだから書けないんだろう　そりゃ逃げるしかないわな 999 名前：１３２人目の素数さん [2024/03/17(日) 02:40:40.00 ID:VAa6dkvQ.net] >>939 もうひとつ聞くけど xがtに自由に現れるとき　ex t (λx.f(x,t))　が　∃y.∀x.P(x,t)　の証明でない理由は何？ 1000 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:41:38.99 ID:HNHCaIr5.net] >>947 それ知らないのになんでギャップがあるって主張すんの？ お前が知ってる定義を書いてみろよ 1001 名前：１３２人目の素数さん [2024/03/17(日) 02:42:44.70 ID:VAa6dkvQ.net] >>950 自分が書けないからって何言いだすんだおまえｗ 1002 名前：１３２人目の素数さん [2024/03/17(日) 02:43:37.40 ID:VAa6dkvQ.net] 証明の定義の言い出しっぺはおまえだろ？ 言い出しっぺが書けやクズ 1003 名前：１３２人目の素数さん [2024/03/17(日) 02:47:50.71 ID:VAa6dkvQ.net] >>943と>>949は宿題な 忘れずやれよ 1004 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:49:41.10 ID:HNHCaIr5.net] >>949 それなんか関係ある？ 具体的にやってみりゃわかんじゃん 1005 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:50:34.18 ID:HNHCaIr5.net] >>952 教科書に載ってるものをコピペする必要性がどこにあるの？ 1006 名前：１３２人目の素数さん [2024/03/17(日) 02:54:07.97 ID:VAa6dkvQ.net] >>954 結局理由をひとつも言えないのね？ だけど証明になってる 1007 名前：と思ってるのね？ ダメだこりゃ [] [ここ壊れてます] 1008 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 02:57:34.61 ID:HNHCaIr5.net] >>956 理由もなにもほとんど証明の定義だろ 1009 名前：１３２人目の素数さん [2024/03/17(日) 02:58:01.19 ID:VAa6dkvQ.net] 聞いていいか？ 箱入り無数目は∃y.∀x.P(x,t)とは書けない 一方、xを全公開してなくても∀x.∃y.P(x,y)であることが証明されている それはおまえの持論に反してるんだろ？ てことは上記証明が間違ってるはずなんだろ？ どこが間違ってるの？ 1010 名前：１３２人目の素数さん [2024/03/17(日) 03:00:50.13 ID:VAa6dkvQ.net] >>958宿題な 忘れずやれよ 1011 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:07:31.30 ID:HNHCaIr5.net] >>958 ＞箱入り無数目は∃y.∀x.P(x,t)とは書けない 書ける ＞一方、xを全公開してなくても∀x.∃y.P(x,y)であることが証明されている 後者はPが具体的に書かれていないと証明されているのか不明。そもそも証明にはxが公開されているとかいう要素は関係ない 1012 名前：１３２人目の素数さん [2024/03/17(日) 03:09:28.49 ID:VAa6dkvQ.net] 時枝証明とおまえの持論は相容れない おまえの持論の正しさを証明するには時枝証明の間違い箇所を具体的に指摘する必要がある がんばれよｗ 1013 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:13:14.35 ID:HNHCaIr5.net] >>961 記事の証明に間違いなんてねーぞ そこは全員の共通認識だろ 今さら何言ってんの？ 1014 名前：１３２人目の素数さん [2024/03/17(日) 03:13:50.93 ID:VAa6dkvQ.net] >>960 >書ける じゃyを書いてみて >そもそも証明にはxが公開されているとかいう要素は関係ない 0260１３２人目の素数さん 2024/03/07(木) 16:55:42.19ID:C3Ro7iPT >>259 ∀が先頭についてるんだから相手側に全公開してるだろ 1015 名前：１３２人目の素数さん [2024/03/17(日) 03:15:50.26 ID:VAa6dkvQ.net] >>962 >記事の証明に間違いなんてねーぞ え？？？ じゃおまえは箱入り無数目成立派なの？ じゃ何に対し文句垂れてんの？ 1016 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:16:26.41 ID:HNHCaIr5.net] >>963 yは1でいいよ ＞>そもそも証明にはxが公開されているとかいう要素は関係ない ＞0260１３２人目の素数さん ＞2024/03/07(木) 16:55:42.19ID:C3Ro7iPT ＞>>259 ＞∀が先頭についてるんだから相手側に全公開してるだろ これの何が関係あるの？ 1017 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:17:53.85 ID:HNHCaIr5.net] >>964 お前らが適当に∀と∃を並べて曖昧なろんりを書いたり、確率変数を使った定式化を否定してるのに文句言ってんだよ 1018 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:18:26.23 ID:HNHCaIr5.net] 曖昧な論理式 1019 名前：１３２人目の素数さん [2024/03/17(日) 03:19:42.66 ID:VAa6dkvQ.net] >>965 >yは1でいいよ ダメだこいつｗ　yがどんな空間に属すかすら分かってないｗ >これの何が関係あるの？ そもそもおまえは何に対して文句垂れてんの？ 1020 名前：１３２人目の素数さん [2024/03/17(日) 03:21:48.03 ID:VAa6dkvQ.net] >>966 確率変数を使った定式化を否定してる訳ねーだろｗ　何をどう勘違いしたらそうなるんだ？ｗ 100列のいずれを選択するかが確率変数だと言ってんだよｗ　馬鹿かおまえは 1021 名前：１３２人目の素数さん [2024/03/17(日) 03:24:08.39 ID:VAa6dkvQ.net] >>967 あいまいな論理式の前に 確率変数だから∀の位置がどうたらこうたらっておまえの持論の方がよっぽどデタラメだぞｗ 1022 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:25:50.44 ID:HNHCaIr5.net] >>968 お前が∃y∀xの形で書けっていったんだろ、∃y∈{1}.∀x∈{1}.でいいじゃん残りは勝手に埋めるから 1023 名前：１３２人目の素数さん [2024/03/17(日) 03:26:17.62 ID:VAa6dkvQ.net] もう一回聞くけどおまえは箱入り無数目記事は正しい、つまり、任意の出題列に対して回答者が確率99/100以上で勝てる戦略が存在すると思ってるのね？ 1024 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:26:35.95 ID:HNHCaIr5.net] >>969 箱の中身も確率変数にしてもいいだろって言ってんだよ 1025 名前：１３２人目の素数さん [2024/03/17(日) 03:27:24.38 ID:VAa6dkvQ.net] >>971 >∃y∈{1}.∀x∈{1}.でいいじゃん それ箱入り無数目じゃないからダメ 1026 名前：１３２人目の素数さん [2024/03/17(日) 03:28:03.57 ID:VAa6dkvQ.net] >>973 いいとは？ 1027 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:28:05.55 ID:HNHCaIr5.net] >>972 その確率をどういう情報をもとに計算したかによるから定式化によって答が変わるって言ってるの 1028 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:29:55.37 ID:HNHCaIr5.net] >>974 なんで？ ∃y∈{1}.∀x∈{1}.の後ろにお前が思う 正しい論理式をxとyの名前だけ変えて書けばいいじゃん 1029 名前：１３２人目の素数さん [2024/03/17(日) 03:30:01.31 ID:VAa6dkvQ.net] いいとはどういう意味のいいなの？ そういう問題を考えてもいいなのか箱入り無数目をそう定式化してもいいなのか 後者なら完全に間違い 1030 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:30:39.60 ID:HNHCaIr5.net] >>975 箱の中身を確率変数にする定式化だってあるだろ 1031 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:31:31.57 ID:HNHCaIr5.net] >>978 だから、そういう他の定式化を否定してるところに文句言ってんだよ 1032 名前：１３２人目の素数さん [2024/03/17(日) 03:32:33.77 ID:VAa6dkvQ.net] >>976 大間違い 問題に曖昧さが無いから答えは唯一 定式化によって答えが変わるなら定式化の仕方が間違ってるだけ 1033 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:33:06.23 ID:HNHCaIr5.net] 何が完全に間違いだよ 記事の定式化の拡張になってるのに間違いになる要素なんてあるわけないだろ 1034 名前：１３２人目の素数さん [2024/03/17(日) 03:34:31 ] [ここ壊れてます] 1035 名前：.35 ID:VAa6dkvQ.net mailto: >>979 箱入り無数目にはそんな定式化は無い 問題自体が変わる [] [ここ壊れてます] 1036 名前：１３２人目の素数さん [2024/03/17(日) 03:35:46.11 ID:VAa6dkvQ.net] >>982 >記事の定式化の拡張になってるのに間違いになる要素なんてあるわけないだろ が 1037 名前：１３２人目の素数さん [2024/03/17(日) 03:37:11.72 ID:VAa6dkvQ.net] >>980 それはおまえが箱入り無数目を理解していないだけのこと 1038 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:38:08.49 ID:HNHCaIr5.net] >>981 問題文では確率なんて定めてないのに、なんでそう言い切れるの？ 1039 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:39:24.52 ID:HNHCaIr5.net] ∃(x+1)とか書くやつに理解してないとか言われてもね あと1⇒2 1040 名前：１３２人目の素数さん [2024/03/17(日) 03:48:31.14 ID:VAa6dkvQ.net] 箱入り無数目の前にまずおまえは「見えないもの＝確率変数」と言ったよな？ それ間違いな 壷の中でサイコロを振って１の目が出た 客は１に賭ける 客が勝つ確率は？ 壷の中でサイコロを振って１の目が出た 客はランダムに賭ける 客が勝つ確率は？ 客は１に賭けた 壷の中でサイコロを振る 客が勝つ確率は？ この問題に正答できるなら「見えないもの＝確率変数」が間違いであることも分かるだろう 1041 名前：１３２人目の素数さん [2024/03/17(日) 03:51:42.62 ID:VAa6dkvQ.net] >>986 箱入り無数目では箱の中身を確率変数とする定式化は間違いだって言ってるの 1042 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:53:43.68 ID:HNHCaIr5.net] >>988 何言ってんのかわからん 何を知ってるときの確率なのか正確に書いて 1043 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 03:54:37.15 ID:HNHCaIr5.net] >>989 ∃(x+1)の人の意見としてそれはもう承ったから何度も言わなくていいよ 1044 名前：１３２人目の素数さん [2024/03/17(日) 03:57:36.02 ID:VAa6dkvQ.net] >>986 （選択公理を除けば）問題文に曖昧さが無いから 回答者が勝率99/100以上で勝つ戦略があるか？という問いにはあるという答えしかない 記事の戦略で勝つ確率は？という問いには1-1/n以上という答えしかない そういうことを言ってるんだよ で、それには箱の中身を確率変数とする定式化はダメだと言ってるんだよ 1045 名前：１３２人目の素数さん [2024/03/17(日) 04:00:16.54 ID:VAa6dkvQ.net] >>990 客は壷の中でサイコロを振ったとかこれから振るとかしか知らんよ　壷の中身は知らんよ　当然ｗ 1046 名前：１３２人目の素数さん [2024/03/17(日) 04:02:29.63 ID:VAa6dkvQ.net] >>991 そういう大口は>>988に正答してからたたこうな 1047 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 04:03:45.41 ID:HNHCaIr5.net] >>992 中身を確率変数にしても記事と同じ結果になる確率空間は存在するだろ ちゃんと拡張になってんだよ 1048 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 04:05:08.20 ID:HNHCaIr5.net] >>993 だから計算したい確率は知らない人から見た確率なのかって言ってんだよ 1049 名前：１３２人目の素数さん [2024/03/17(日) 04:06:26.02 ID:VAa6dkvQ.net] >>995 存在するなら書けやクズ 書きもせずに存在するする詐欺かおまえはｗ 1050 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 04:06:50.48 ID:HNHCaIr5.net] >>994 お前確率論の本読み切れてないじゃん 正解かどうか以前に自分がどういう問題を出してるかすら分かってないだろ 1051 名前：１３２人目の素数さん [2024/03/17(日) 04:06:57.20 ID:VAa6dkvQ.net] >>996 当たり前だろｗ 1052 名前：１３２人目の素数さん mailto:sage [2024/03/17(日) 04:07:49.86 ID:HNHCaIr5.net] >>997 そんなん箱の中身がデルタ分布になってる場合に決まってるだろ いい加減頭使えよ 1053 名前：1001 [Over 1000 Thread.net] このスレッドは１０００を超えました。 新しいスレッドを立ててください。 life time: 11日 20時間 3分 10秒 1054 名前：過去ログ ★ [[過去ログ]] ■ このスレッドは過去ログ倉庫に格納されています

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef