- 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などは下付添え字
つづく
- 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
別にお前がそれを変数のつもりで使ってるなら勝手にやっててくれていいから
|
 |
