20/02/02 13:40:01 jmCiHx4z.net
>>125
＞Sの測度は１＋・・・＋１=100です
？ 測度から確率測度に直すとき、正規化しますよね
例えば、全事象 Ω が測度で有限ｍに、なったとする
そうすると、確率測度は、ｍで割って、m/m＝1と正規化します
それだけのことです
QED
151:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/02 13:43:38 jmCiHx4z.net
>>126
ここも、その挑発で、ジムの数学徒さん（>>6）が回答してくれると嬉しいのですが
あほらしいので、書くと
>「どんな実数を入れるかはまったく自由」
>をiidだと思う人は数学科卒でないですね
「どんな実数を入れるかはまったく自由」
↓
どんな数の入れ方をしても良い。それで確率99/100で当てるという
↓
で、数学では反例は1つで良い。iidにしたら、反例が構成できるなら、それで反証になる。それが数学
以上
DEQ
152:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/02 13:49:03 jmCiHx4z.net
>>127
＞つまり箱の中身に関する確率現象は一切ありません
現代数学の確率論の下記をお読みください
（参考）
スレ81 ｽﾚﾘﾝｸ(math板:858番)-859
（参考）
URLﾘﾝｸ(watanabe-www.math.dis.titech.ac.jp)
Sumio Watanabe, Ph.D.
Professor of
Department of Mathematical and Computing Science
Tokyo Institute of Technology,
URLﾘﾝｸ(watanabe-www.math.dis.titech.ac.jp)
確率変数
(抜粋)
大学院の講義で「確率変数」を説明したのですが、理解できた人が 少ないように思うので、もう一度、説明します。確率変数は、非常に重要な概念なので 社会に出るまでに、必ず、理解してください。
「確率変数」は、言葉としては 【ランダムなもの】を表しています。
であるのに、なぜ、確率変数は、関数であるとして定義するのでしょうか。
本当は、確率変数を「ランダムに値を取るもの」と定義したいのです。 しかしながら、【ランダムに値を取ること】を明示的に 定義することは困難です。
そこで、確率論�
153:ﾅは、【ランダムなもの】を、最初の段階の定義では 述べないことにしたというわけです。 その代わりに、 まず密度だけを表すもの q(w) を定義しておき、 「q(w) が定義された集合」から実数への関数として確率変数を定義 したのです。 この結果、関数 x=X(w) における出力である x だけを見て、入力である w について 見ないことにすると、x は【ランダムなもの】と 考えても悪くはないもの、になります。 もう少し、正確に 言うと、x は【ランダムなもの】としての十分性を満たしているかどうかは わからないが、【ランダムなもの】としての必要性を満たしていると 思われるものを定義することができました。 そこでこれを「確率変数」と呼ぶことに したのです。 (引用終り)
154:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/02 13:57:31 jmCiHx4z.net
>>128 >>132
ジムの数学徒さん（>>6）が回答してくれると嬉しいので
スルーします
>挑発ではないですね
>数学科卒ならみなそう思ってるでしょう
挑発ではないかもしれないが、ジムの数学徒さん（>>6）の下記スレ80 271を否定していますよね
そして、ジムの数学徒さんらしいので、”ジムの数学徒さん以外の数学科卒なら”というのが、正確な表現でしょうね
スレ80 ｽﾚﾘﾝｸ(math板:271番)
155:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/02 14:03:40 jmCiHx4z.net
>>133
(引用開始)
＞独立性は任意有限個の確率変数の間でのみ定義されますが、
＞意味は有限の場合と同じですよ
違いはありますよ
無限乗積は考えませんから
あなたが↓に書いてる通りです
＞無限積は＝0になりますから、無限積は意味を持たず
(引用終り)
（>>131より）
数学的な意味は、有限個と同じ
要するに、上記定義は無限個の確率変数の場合にも、ある1つの確率変数は、他の確率変数の値がどうあれ、変わらないという意味です
追伸
もし、可算無限個の確率変数の族で、時枝記事が正しくて、
あるXiが他の箱の可算無限個の値から、確率99/100になるなら
現代数学の確率論に大穴が開いていたってことですよね
どうぞ、大学教員とご相談してくださいね（>>43ね）
156:１３２人目の素数さん
20/02/02 14:17:39 EMAYtr7n.net
>>139
>もし、可算無限個の確率変数の族で、時枝記事が正しくて、
>あるXiが他の箱の可算無限個の値から、確率99/100になるなら
時枝戦略では可算無限個の確率変数の族など用いていませんので見当違いですね
時枝戦略を否定したいなら時枝戦略を正しく理解することから始めましょう
157:１３２人目の素数さん
20/02/02 14:36:43.12 EMAYtr7n.net
確率変数をどう取るかも戦略の一部です。
確率論は個々の問題に対して確率変数の取り方に何の制約も課してません。もちろん例として特定の取り方を示すことはありますけどね。取り方の例と取り方の制約はまったく違います。
「現代確率論はあ」という屁理屈には何の根拠もありません。
158:第三者
20/02/02 14:42:27 IcK/1M+m.net
>>134
＞[0,1]で連続でこの区間の一様分布の場合、
＞確率はある有限区間[a,b](ここに0<a<b<1)とするのが普通です
0=a＜b=1でもいいですよ なぜそうしないんですか？
>>135
＞＞Sの測度は１＋・・・＋１=100です
＞？ 測度から確率測度に直すとき、正規化しますよね
そもそも正規化した確率測度について述べてます
つまりS全体の確率測度が１だとして
S＝S1∪・・・∪S100、どのSi,SjもSi∩Sj＝{}で
S1～S100の確率測度は1とすると矛盾する
といってます
100で割ったら、S1～S100の確率測度が全部1/100になる
つまり、外す確率は1/100になる、と認めることになりますが
それでOKですか？
159:１３２人目の素数さん
20/02/02 14:48:23.33 IcK/1M+m.net
>>138
>>挑発ではないですね
>>数学科卒ならみなそう思ってるでしょう
>挑発ではないかもしれないが、ジムさんのスレ80 271を否定していますよね
「箱入り無数目」＝The Modification という読解は否定しました
一方、箱の中身が確率変数の場合、「箱入り無数目」記事の計算が
通用しない点は肯定しています
そして、ジム氏の指摘から、◆e.a0E5TtKE氏の計算も否定されます
それが>>125です
160:第三者
20/02/02 14:55:50.00 IcK/1M+m.net
>>139
＞あるXiが他の箱の可算無限個の値から、確率99/100になる
明確に誤ってます
「箱入り無数目」記事において
各箱が確率変数だと誤読したとしても
予測される箱は一定の箱Xiではありません
つまり、列によって箱は変わるので
添数iは定数ではありません
ついでにいうと、箱の中身の予測値も
他の箱の中身によって変わるので
一定値ではありません
したがって「箱入り無数目」記事の内容を
「ある一つの箱Xiの中身がある特定の値ｃになる確率
P(Xi=c)が99/100になる」
と思い込んでるなら全く初歩的な誤りです
この誤読は「箱の中身が確率変数」よりもはるかに酷いですね
161:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/02 15:04:52.75 jmCiHx4z.net
>>142
第三者さん、どうも。スレ主です。
＞0=a＜b=1でもいいですよ なぜそうしないんですか？
それでも良いですよ
上記は単なる例示であって、
[0,1]で連続とした場合、
ある有限区間[a,b]についてのみ、意味のある確率計算になるというだけのこと
”一点 aやb については、零集合ですから、普通のルベーグ測度では、その的中は確率は0以外を与えることはできません”を言いたいだけなので
時枝さんの一点的中確率 99/100不成立ということ
>＞＞Sの測度は１＋・・・＋１=100です
>そもそも正規化した確率測度について述べてます
>つまりS全体の確率測度が１だとして
>S＝S1∪・・・∪S100、どのSi,SjもSi∩Sj＝{}で
だったら、Ω：全事象 を定義しなおさないといけないと思いますけど？
例えば、100個の箱で、コイントス 0 or 1 が入る
各箱 0 or 1 が入る確率 P（Ω）＝1
ここに、Ωは箱1つについてです
ところが
各箱に、例えば全部0が入る確率は？ という問題では
Ω：全事象 を箱100個に、定義しなおさないといけない
そうして、
事象A：箱100個全部0が入る とすると
P（A）＝1/2^100 ですね
(Σ1/2 は、あり得ないですよね）
162:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/02 15:13:39.38 jmCiHx4z.net
>>144
>＞あるXiが他の箱の可算無限個の値から、確率99/100になる
>明確に誤ってます
>「箱入り無数目」記事において
>各箱が確率変数だと誤読したとしても
>予測される箱は一定の箱Xiではありません
意味分かりません
”あるXi”の意味は
単純に、∃Xi あるいは∃i(Xi) と書いても良いが
それだけです
”各箱が確率変数だと誤読”とか
”予測される箱は一定の箱Xi”とか
それ 一切ありません
ある箱の中の数値を、添え字i付きの文字式で表わしただけ
それは、時枝の初期の１列のある箱の数です
それ以上の意味は、持たせていませんよ
そのあとを、勝手に妄想されもねー
163:第三者
20/02/02 15:14:37.77 IcK/1M+m.net
>>145
そもそもΩ：全事象 を誤解してませんか？
私はΩとして(S^N)^100を考えてます
Sが箱の中身として入る要素全体の集合
（{0,1}でも{1,2,3,4,5,6}でも[0,1]でも結構）
164:第三者
20/02/02 15:19:28.18 IcK/1M+m.net
>”あるXi”の意味は
>単純に、∃Xi あるいは∃i(Xi) と書いても良いが
>それだけです
単純に誤りですね
Xiと書いた瞬間、iは定数だと認識されます
列によって選ばれる箱が異なるならXiとは書けません
iではなく引数を持つ関数を書いて下さいね
ついでにP(Xi=c)の＝の右辺にある予測値cも
cと書いたら列に依存しない定数だと認識されます
これも列によって異なるならcとは書けません
cではなく引数を持つ関数を書いて下さいね
165:１３２人目の素数さん
20/02/02 15:19:59.81 EMAYtr7n.net
>>146
>意味分かりません
>”あるXi”の意味は
>単純に、∃Xi あるいは∃i(Xi) と書いても良いが
>それだけです
分かってませんね。
時枝戦略の確率とは、ある箱の中身を当てる確率ではなく、アタリ箱を選ぶ確率です。
任意の箱がアタリ箱か否かは代表系と100列が定まった時点で定まっているのです。
時枝戦略を否定したいなら時枝戦略を正しく理解することから始めましょう
166:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/02 15:20:03.22 jmCiHx4z.net
>>143
＞「箱入り無数目」＝The Modification という読解は否定しました
ああ、そうなのですか？
まあ、ジムの数学徒氏（>>6）にお任せ
>一方、箱の中身が確率変数の場合、「箱入り無数目」記事の計算が
>通用しない点は肯定しています
ああ、そうなのですか？
>そして、ジム氏の指摘から、◆e.a0E5TtKE氏の計算も否定されます
>それが>>125です
ああ、そうなのですか？
>>125の奇妙な計算については、>>145をどうぞ
167:第三者
20/02/02 15:22:16.23 IcK/1M+m.net
>>145で、◆e.a0E5TtKE氏はΩについて根本的に誤解してると思われるので
>>147で、私が考えるΩを明示しました
168:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/02 15:24:23.90 jmCiHx4z.net
>>147
>私はΩとして(S^N)^100を考えてます
そうですよね。同じですよ
で、>>106で 桑原利通氏の修論にあるように
Ωの要素の個数 = ∞ の場合には
初等確率モデルでは扱えないですよ
それが、時枝の罠でしょ
169:第三者
20/02/02 15:27:30.60 IcK/1M+m.net
>>152
＞Ωの要素の個数 = ∞ の場合には
＞初等確率モデルでは扱えないですよ
ええ、だから◆e.a0E5TtKE氏の「当たる確率０」も完全に否定されます
>>125によって矛盾が導かれますから
170:第三者
20/02/02 15:29:28.97 IcK/1M+m.net
要するに
「箱入り無数目」記事の計算も
◆e.a0E5TtKE氏の計算も
箱の中身を確率変数とする場合
測度論では正当化できない
ということです
171:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/02 15:30:22.40 jmCiHx4z.net
>>148
(引用開始)
>”あるXi”の意味は
>単純に、∃Xi あるいは∃i(Xi) と書いても良いが
>それだけです
単純に誤りですね
Xiと書いた瞬間、iは定数だと認識されます
列によって選ばれる箱が異なるならXiとは書けません
(引用終り)
？
意味分かりません
記号 ∃は、存在記号ですよ（下記）
記号 ∃に、自分勝手に”定数だと認識されます”とか
独自解釈を持ち込むのは、どうぞご勝手にというしかない
それには、だれも同意しないでしょうね
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
存在記号
(抜粋)
存在記号（そんざいきごう、existential quantifier）とは、数理論理学（特に述語論理）において、少なくとも1つのメンバーが述語の特性や関係を満たすことを表す記号である。
通常「∃」と表記され、存在量化子（そんざいりょうかし）、存在限量子（そんざいげんりょうし）、存在限定子（そんざいげんていし）などとも呼ばれる。
これとは対照的に全称記号は、何かが常に真であることを示す。
172:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/02 15:31:20.56 jmCiHx4z.net
>>151
>>152をどうぞ
173:第三者
20/02/02 15:32:57.92 IcK/1M+m.net
◆e.a0E5TtKE氏の計算を実施するのに
無限個の確率変数を考える必要はありません
なぜなら開けていない箱は有限個しかないからです
その代わり、開けた箱の中身の情報は全部前提条件とし、
条件つき確率として考えます
こうすることで決定番号関数dが表に出なくなり
dの可測性を意識する必要が全くなくなります
174:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/02 15:34:06.23 jmCiHx4z.net
>>153
＞ええ、だから◆e.a0E5TtKE氏の「当たる確率０」も完全に否定されます
「当たる確率０」については、>>81にレスを書いていますよ
＞>>125によって矛盾が導かれますから
>>150より
>>125の奇妙な計算については、>>145をどうぞ
175:第三者
20/02/02 15:36:59.28 IcK/1M+m.net
>>155
＞記号 ∃は、存在記号ですよ
そもそもこんなところで∃を使うのがおかしいですね
だいたい論理式として正しく書くなら∀○∃●の形になる筈ですよ
つまり●は○に依存して決まる関数です
そういうことをはっきりかき分けないと
数学科卒は誰も認めないでしょう
176:１３２人目の素数さん
20/02/02 15:40:53.05 EMAYtr7n.net
>>136
>で、数学では反例は1つで良い。
然り
>iidにしたら、反例が構成できるなら、それで反証になる。それが数学
反例が構成できるなら反例を提示して下さい。できるできる詐欺は数学ではありませんよ？
177:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/02 15:41:58.74 jmCiHx4z.net
>>154
(引用開始)
要するに
「箱入り無数目」記事の計算も
◆e.a0E5TtKE氏の計算も
箱の中身を確率変数とする場合
測度論では正当化できない
ということです
(引用終り)
私は、特に計算していませんよ
単純に、現代数学の確率論通りの、確率変数の無限族の話です
つまり、時枝記事の初期の１列は、現代数学の確率論通りですという、確率変数の無限族の話です
下記、時枝記事の後半の通りです（確率変数の無限族の扱いは、下記中島 誠 名大 ご参照）
（参考）
スレ80 ｽﾚﾘﾝｸ(math板:54番)
数学セミナー201511月号P37 時枝記事より
(抜粋)
「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
（参考）
URLﾘﾝｸ(www.math.nagoya-u.ac.jp)
名古屋大
確率論講義ノート
中島 誠
2019 年度版
178:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/02 15:45:17.90 jmCiHx4z.net
>>157
＞条件つき確率として考えます
ｉｉｄ(独立同分布)で、独立ですから
条件つき確率としても、他の箱には影響されません
ＱＥＤ
179:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/02 15:48:55.46 jmCiHx4z.net
>>159
>そもそもこんなところで∃を使うのがおかしいですね
>だいたい論理式として正しく書くなら∀○∃●の形になる筈ですよ
>つまり●は○に依存して決まる関数です
は？ >>146に書いたように
元は>>139「あるXiが他の箱の可算無限個の値から、確率99/100になる」
が原文です
そして、訳の分からないことを>>144で書いたから
「”あるXi”の意味は
単純に、∃Xi あるいは∃i(Xi) と書いても良いが
それだけです」
と説明しました
以上
180:第三者
20/02/02 15:51:13.85 IcK/1M+m.net
>>156
153参照
>>158
147参照
181:第三者
20/02/02 15:55:19.71 IcK/1M+m.net
>>163
＞は？
間違ってます
＞「あるXiが他の箱の可算無限個の値から、確率99/100になる」が原文です
その原文が間違ってます
＞「”あるXi”の意味は単純に、∃Xi あるいは∃i(Xi) それだけです」
∃の前に∀がないなら、∃Xiは定数ですから誤りです
他の変数に依存する関数だから∀…∃…と書かれる筈
そう書かないことが間違いです
182:第三者
20/02/02 15:57:07.45 IcK/1M+m.net
>>162
＞ｉｉｄ(独立同分布)で、独立ですから
＞条件つき確率としても、他の箱には影響されません
そもそもどの箱を選ぶかが、他の箱に影響されます
183:１３２人目の素数さん
20/02/02 16:51:07.79 FB2ousMk.net
何年やっとんねんおまえら
グランドホテルのパラドックスぐらい理解しとけや
アフォ共
184:１３２人目の素数さん
20/02/02 17:02:36.25 EMAYtr7n.net
>そもそもどの箱を選ぶかが、他の箱に影響されます
彼がそこを間違ってしまうのは、時枝戦略の確率とは箱の中身を当てる確率ではなくアタリ箱を選ぶ確率だという基本中の基本が理解できてないからでしょうね。
時枝戦略を否定したいなら時枝戦略を正しく理解することから始めて欲しいです。
185:１３２人目の素数さん
20/02/02 17:04:00.21 EMAYtr7n.net
反例が構成できると豪語するなら反例を提示して下さい。
できるできる詐欺は数学ではありませんよ？
186:１３２人目の素数さん
20/02/02 17:09:07.45 FB2ousMk.net
問題文ぐらいテンプレにいれとけやぁーボケ！
しょーもない話してるのがバレるのが怖いんかい
187:１３２人目の素数さん
20/02/02 17:10:27.03 zZRt30YK.net
おっちゃんです。
それじゃ、おっちゃんもう寝る。
188:１３２人目の素数さん
20/02/02 17:22:38.38 EMAYtr7n.net
なんでそんなに頑ななんですか？
反例ひとつだせばすべて終わりですよ？ あなたの勝利で
189:１３２人目の素数さん
20/02/02 17:23:59.89 EMAYtr7n.net
千の屁理屈よりひとつの反例です
構成できるんですよね？ 反例が
190:１３２人目の素数さん
20/02/02 17:24:45.16 EMAYtr7n.net
それともできるできる詐欺なんですか？
詐欺はいけませんね
191:１３２人目の素数さん
20/02/02 17:26:45.30 EMAYtr7n.net
そんなことばっかりやってるとサイコパスと言われますからやめましょうね
192:１３２人目の素数さん
20/02/02 17:28:16.31 EMAYtr7n.net
詐欺はあなたの現実世界だけにして下さい
数学の世界にまで持ち込まないで下さいね
193:１３２人目の素数さん
20/02/02 17:41:41.39 IcK/1M+m.net
もうそろそろ「箱入り無数目」の話も終わりですかね
194:１３２人目の素数さん
20/02/02 17:49:40.08 IcK/1M+m.net
新しいネタが欲しい今日この頃
195:１３２人目の素数さん
20/02/02 17:50:44.78 EMAYtr7n.net
じゃあ反例の初項から10項ほどだけでも提示してみませんか？
サイコパスと言われたくないでしょ？
196:１３２人目の素数さん
20/02/02 17:52:43.23 EMAYtr7n.net
ええと
反例の意味、いいですよね？
まさかそこからじゃないですよね？
197:１３２人目の素数さん
20/02/02 18:19:34.66 EMAYtr7n.net
反例の意味も知らずに構成できるできると言ってたんですか？
さすがにそれは厳しいですね、人として、数学どうこう以前ですね
198:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/02 18:38:15 jmCiHx4z.net
>>171
おっちゃん、どうも、スレ主です。
お休みなさい（＾＾
199:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/02 19:19:44 jmCiHx4z.net
>>170
＞問題文ぐらいテンプレにいれとけやぁーボケ！
時枝記事の問題文は、基本的にいまは入れる気が無い
テンプレ>>7にあるように
”（数学セミナー時枝記事は、過去スレ39 で終わりました。
39は、別名「数学セミナー時枝記事の墓」と名付けます。”
ってことなので
ただし、ジムの数学徒氏（>>6）と”第三者”氏（>>75）とが、
時枝に参加してきたので、特に応答しているだけ
基本、おサルだけなら相手はしないのです
200:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/02 19:22:41 jmCiHx4z.net
>>177
>もうそろそろ「箱入り無数目」の話も終わりですかね
>>183より
テンプレ>>7にあるように
”（数学セミナー時枝記事は、過去スレ39 で終わりました。
39は、別名「数学セミナー時枝記事の墓」と名付けます。”
ってことね
ジムの数学徒氏（>>6）と、あなた”第三者”氏（>>75）とが、
時枝に参加してきたので、特に応答しているだけ
201:１３２人目の素数さん
20/02/02 19:23:30 EMAYtr7n.net
>基本、おサルだけなら相手はしないのです
と、反例を構成できると豪語しながら一つも提示しない詐欺師が申しております
202:１３２人目の素数さん
20/02/02 19:26:25 EMAYtr7n.net
相手をしないんじゃなく逃げてるんでしょ？
反例ひとつ提示できなくて
っぷ
203:１３２人目の素数さん
20/02/02 19:27:47 EMAYtr7n.net
逃げるんだったら反例を構成できるなんて豪語しなければいいのに
赤っ恥かくのが趣味なのかな？
204:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/02 19:47:42 jmCiHx4z.net
>>165
＞∃の前に∀がないなら、∃Xiは定数ですから誤りです
＞他の変数に依存する関数だから∀…∃…と書かれる筈
＞そう書かないことが間違いです
は？(゜ロ゜;
１．「∃Xiは定数」？ ∃は、単に存在量化子です（>>155ご参照）。かつ、∃は別に数に限らない。群でも体でも環でもイデアルでも、対象はなんでも可ですよ
２．時枝記事の主張は、ある手法で下記のように、「第k列のD番目の箱に入った実数」を的中できるという
この「第k列のD番目の箱に入った実数」は、元を辿れば、最初の一列の中のなにかXiになる。そういうXiが1つあるということ
だから>>139 "あるXiが他の箱の可算無限個の値から、確率99/100になるなら" と書きました
３．”∀がないなら”とか、無関係ですよ
お分かりでしょうか？
（参考：数学セミナー201511月号P37 時枝記事より）
ｽﾚﾘﾝｸ(math板:52番)
(引用開始)
いよいよ第k列 の(D+1) 番目から先の箱だけを開ける：s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・.いま
D >= d(s^k)
を仮定しよう.この仮定が正しい確率は99/100，そして仮定が正しいばあい，上の注意によってs^k(d)が決められるのであった.
おさらいすると，仮定のもと， s^k(D+1)，s^k(D+2)，s^k(D+3)，・・・を見て代表r＝r(s^k) が取り出せるので
列r のD番目の実数r(D)を見て， 「第k列のD番目の箱に入った実数はs^k(D)＝rDと賭ければ，めでたく確率99/100で勝てる.
(引用終り)
205:１３２人目の素数さん
20/02/02 19:51:13 EMAYtr7n.net
>>188
すみません、反例まだですかね？ 待ちくたびれました
206:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/02 19:55:51 jmCiHx4z.net
>>185-187
おサルちゃん、ご苦労さん
私は、エレガントな”回答”を募集中です
（ >>25-26についてでも良いし、ジムの数学徒さん（>>6）の罠（>>104）についてでも良い）
私が全部答えを書いたら、エレガントじゃないでしょｗ（＾＾；
なので、書きません(゜ロ゜;
207:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/02 19:56:48 jmCiHx4z.net
>>189
>>189
どうぞ、待ちくたびれてくださいねｗ(゜ロ゜;
208:１３２人目の素数さん
20/02/02 20:00:40 EMAYtr7n.net
>>190
意味不明ですね
反例にエレガントもクソも無いでしょうに
それにこちらはエレガントな反例なんて求めてませんよ？
あなたの口癖通り反例はひとつあれば反証になります
あなた、言い訳じゃないの？それ
209:１３２人目の素数さん
20/02/02 20:01:54 EMAYtr7n.net
>>191
反例を出せないならそう言ってくれませんか？
構成できると言っておいて出さないのは卑怯ですよ？
正々堂々といきましょうね？
210:１３２人目の素数さん
20/02/02 20:02:59 EMAYtr7n.net
リアルでもそんな詐欺まがいなことしてるんですか？
家族が泣きますよ
211:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/02 20:03:41 jmCiHx4z.net
>>188 補足
”第三者”さん、あなた、数学科生じゃないですね
212:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/02 20:05:09 jmCiHx4z.net
>>194
おサルちゃん、必死だね
>>190
どうぞ、待ちくたびれてくださいねｗ(゜ロ゜;
213:１３２人目の素数さん
20/02/02 20:06:58 FB2ousMk.net
何年やっとんねんおまえら
グランドホテルのパラドックスぐらい理解しとけや
アフォ共
214:１３２人目の素数さん
20/02/02 20:07:43 EMAYtr7n.net
>>196
そんな開き直らないで下さいよ
冷静に行きましょう 冷静に
反例を構成できるのに提示しない訳だけでも教えてくれませんか？
疑いたくはないんですが、このままだと疑わざるを得なくなるので
215:第三者
20/02/02 20:09:57 IcK/1M+m.net
>>188
◆e.a0E5TtKE氏は「箱入り無数目」記事が全然読解できてませんね
「箱入り無数目」記事の場合、Dは
∀s^1～s^(k-l),s^(k+l)～s^100∃D.D=max(d(s^1),…,d(s(k-l)),d(s^(k+l)),…,d(s^100))
という論理式を満たします
つまり、任意の無限列s^1～s^(k-l),s^(k+l)～s^100に対して、
関数としてある自然数Dが存在します
何の条件もなしにある自然数Dが定数として
存在するわけではありません
（証拠：数学セミナー201511月号P37 「箱入り無数目」記事より）
「第1列～第(k-1) 列，第(k+1)列～第100列の箱を全部開ける.
第k列の箱たちはまだ閉じたままにしておく.
開けた箱に入った実数を見て，代表の袋をさぐり，
s^1～s^(k-l),s^(k+l)～s^100の決定番号のうちの最大値Dを書き下す.」
216:第三者
20/02/02 20:12:58 IcK/1M+m.net
>>195
残念ながら間違ってます
217:１３２人目の素数さん
20/02/02 20:15:54 FB2ousMk.net
確率なんか関係ないんじゃい マヌケ！
時枝が確率の話してるからそれに引きずられてるだけやんけ
218:１３２人目の素数さん
20/02/02 20:17:29.69 EMAYtr7n.net
反例を構成できるのに提示しない訳すら言えないんですか？
とことん秘密主義ですね
反例があるなら大っぴらにした方があなたのためなんですよ？
あなたの口癖通り反例ひとつであなたの勝利が確定するんですから
これまで通りフルボッコされていたいんですか？ 奇特な方ですね
219:第三者
20/02/02 20:19:40.85 IcK/1M+m.net
>>198
「反例」って↓のことですか？
>>20
＞確率変数Xiを使えば
＞話は簡単で、各Xiは、コイントスなら確率1/2、サイコロなら確率1/6になり
＞この段階で、時枝記事の反例構成は終わっている
これ、反例じゃないですね
単に開けた箱の情報を前提とした条件付き確率の計算ですから
つまり、これでは「箱入り無数目」記事の反例になりません
「箱入り無数目」記事の計算が、
箱の中身を確率変数とした場合の
確率計算にならないのと全く同じ理由で
◆e.a0E5TtKE氏の>>20の計算は
箱の中身を確率変数とした場合の
確率計算になりません
恨むならあなたを背後から撃ち殺した
ジム氏を恨んでくださいね
220:第三者
20/02/02 20:22:09.63 IcK/1M+m.net
追伸
>>203
＞恨むならあなたを背後から撃ち殺した
＞ジム氏を恨んでくださいね
「あなた」＝◆e.a0E5TtKE氏です
221:１３２人目の素数さん
20/02/02 20:28:35.78 EMAYtr7n.net
>>203
お！
>>20
＞確率変数Xiを使えば
＞話は簡単で、各Xiは、コイントスなら確率1/2、サイコロなら確率1/6になり
＞この段階で、時枝記事の反例構成は終わっている
これは反例じゃないですね
時枝記事の反例はR^N内の一点である必要がありますから
どうも彼は反例の意味すら分かってなかった可能性が高いですね
そんなんで「反例は構成可能」と豪語していたとは、いやはや（苦笑）
222:１３２人目の素数さん
20/02/02 20:30:29.87 EMAYtr7n.net
反例が構成可能か否か論じる前に反例とは何かを勉�
223:ｭして欲しいですね 数学板に書きこむ最低限のマナーは守って頂きたいです
224:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/02 21:38:34 jmCiHx4z.net
>>204
>＞恨むならあなたを背後から撃ち殺した
>＞ジム氏を恨んでくださいね
>「あなた」＝◆e.a0E5TtKE氏です
ふふ
何を妄想しているの？
私は、ぴんぴんしていますよ
それに、あなた達を正面から撃った
ジム氏を、恨む筋合いは全くありませんｗ（＾＾；
ジム氏は、正しいからです
あなた方は間違っていると（というか「時枝不成立」だと）、ジム氏は書いています（＾＾
225:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/02 21:42:09 jmCiHx4z.net
>>200
>>195
> ”第三者”さん、あなた、数学科生じゃないですね
>残念ながら間違ってます
どっひゃーぁ～！ｗ(゜ロ゜;
おどろき、もものき です（＾＾；
226:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/02 21:49:25 jmCiHx4z.net
>>203
(引用開始)
これ、反例じゃないですね
単に開けた箱の情報を前提とした条件付き確率の計算ですから
つまり、これでは「箱入り無数目」記事の反例になりません
「箱入り無数目」記事の計算が、
箱の中身を確率変数とした場合の
確率計算にならないのと全く同じ理由で
◆e.a0E5TtKE氏の>>20の計算は
箱の中身を確率変数とした場合の
確率計算になりません
(引用終り)
あなたの言われている意味分かりません！（＾＾；
・良いですか？ いま箱が有限ｎ個ある
・ｎ個の箱の数当てです
・ｎ個の箱に、コイントスで 0 or 1 の数を入れます
・確率変数X1,X2,・・・,Xn で扱えます
・iid(同率同分布)で、 0 or 1 と唱えれば、確率 1/2で的中できます。
・が、「πだ」とか、アホなことをいうと、大外しです
・さて、n→∞でも、現代確率論は同じです。上記同様に可算無限の確率変数の族を扱えます
ＱＥＤ
（＾＾
227:１３２人目の素数さん
20/02/02 22:03:58 EMAYtr7n.net
>>207
>それに、あなた達を正面から撃った
いいえ、自爆ですよ？
だって反例を構成できると豪語しておきながら、実は反例の意味さえ分かってなかったんですからｗ
228:１３２人目の素数さん
20/02/02 22:06:29.74 EMAYtr7n.net
>>209
>・iid(同率同分布)で、 0 or 1 と唱えれば、確率 1/2で的中できます。
それは当てずっぽう戦略なので時枝戦略とは何の関係も無いですね。
時枝戦略を否定したいなら時枝戦略を正しく理解することから始めましょうね。
229:１３２人目の素数さん
20/02/02 22:10:29.25 EMAYtr7n.net
>>207
>私は、ぴんぴんしていますよ
それがあなたの類まれな無自覚力です
普通のバカ（自覚のあるバカ）なら精神ズタボロにされてますから
230:１３２人目の素数さん
20/02/02 22:45:02 bM1eiO1o.net
>>209
> コイントスで 0 or 1 の数を入れます
> 0 or 1 と唱えれば、確率 1/2で的中できます。
「箱の中身は 0 or 1」ならば確率1で的中できますよね
それで実数を選ぶとした場合でも回答者は時枝戦略を用いると
「コイントスで 0 or 1 の数を入れます」を知らなくても「箱の中身は 0 or 1」と答えることができます
この場合の「箱の中身は 0 or 1」はある箱から先は全て「箱の中身は 0 or 1」ということが
分かるからです
100列の数列があってそれぞれ違う位置から先は全て「箱の中身は 0 or 1」であれば
時枝戦略を用いると確率99/100で回答者は「箱の中身は 0 or 1」の箱を選ぶことになります
231:１３２人目の素数さん
20/02/02 22:54:05 EMAYtr7n.net
ボクシングで云うとパンチ力、スピード、テクニック、ディフェンス、フットワーク、スタミナ全てダメ
唯一の取り得が「打たれ強さ」ｗ
しかしそれゆえにパンチドランカー症状が進行し、今や廃人状態ｗ
232:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/02 23:06:16 jmCiHx4z.net
>>119
>> iid(独立同分布)の確率変数の無限族ができました
>それがR^Nの元をランダムに1つ選ぶことに等しいと言いたいのでしょ？
いいえ
時枝記事の後半に書いてある通りです（下記）
R^Nの列を構成でいるということ
もっと言えば、R^Nの元をランダムに1つ選ぶこととの違いは
R^Nに限らない
つまり、下記 X1，X2，X3，… は、複素数でも良いのです
現代数学の確率変数の可算無限族の方が、射程は広いのです
数の範囲を狭くした方に、コイントスの 0 or 1 による二進法類似の無限数列があるのです
（参考）
スレ80 ｽﾚﾘﾝｸ(math板:54番)
数学セミナー201511月号P37 時枝記事より
(抜粋)
「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
233:１３２人目の素数さん
20/02/02 23:10:59 EMAYtr7n.net
>>215
>もっと言えば、R^Nの元をランダムに1つ選ぶこととの違いは
R^Nの元をランダムに1つ選ぶことは不可能です
234:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/02 23:19:28 jmCiHx4z.net
>>213
ID:bM1eiO1oさん、どうも。スレ主です。
>> コイントスで 0 or 1 の数を入れます
>> 0 or 1 と唱えれば、確率 1/2で的中できます。
>「箱の中身は 0 or 1」ならば確率1で的中できますよね
「確率1で的中できる」？！(゜ロ゜;
なんですか、それは？
誤：この場合の「箱の中身は 0 or 1」はある箱から先は全て「箱の中身は 0 or 1」ということが分かる
↓
正：箱を開けると ある箱から先は全て「箱の中身は 0 or 1 であった」ということが分かる。しかし、未開封の箱の中は不明
誤：100列の数列があってそれぞれ違う位置から先は全て「箱の中身は 0 or 1」であれば
時枝戦略を用いると確率99/100で回答者は「箱の中身は 0 or 1」の箱を選ぶことになります
↓
正：100列の数列があって箱を開けた位置から先は全て「箱の中身は 0 or 1」であれば
時枝戦略を用いると回答者は「箱の中身は 0 or 1」の箱の代表を選ぶことになります。しかし、未開封の箱の数と代表の数が一致するかは別問題＊）
注＊）
・例えば、出題者は時枝記事を知っていたので、列の後ろの方の箱は、 0 or 1 を入れたが、先頭に近い部分には、 0 or 1 以外の数を混ぜましたとさ
・例えば、代表はR^Nで構成されているので、シッポが 0 or 1 であっても、先頭に近い部分には、 0 or 1 以外の数が混ざっている。それどうします？(゜ロ゜;
235:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/02 23:26:43 jmCiHx4z.net
>>216
(引用開始)
>もっと言えば、R^Nの元をランダムに1つ選ぶこととの違いは
R^Nの元をランダムに1つ選ぶことは不可能です
(引用終り)
あら、おサルちゃん、少し賢くなりましたね
その通りです。「R^Nの元をランダムに1つ選ぶ」と言ったとき、数学では”ランダム”の定義が問題になりますね
で、その発言元は、>>119 ID:bM1eiO1oさん、「それがR^Nの元をランダムに1つ選ぶことに等しいと言いたいのでしょ？」だったのですｗ
なお、「R^Nの元をランダムに1つ選ぶ」は、”ランダム”の定義が問題でダメでも
「R^Nの元を任意に1つ選ぶ」は、数学的には可です。この場合、確率論の外です
236:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/02 23:31:24 jmCiHx4z.net
>>214
いや、おサルちゃん、無理しなくて良いよ
”パンチドランカー症状が進行し、今や廃人状態ｗ”？？
おサルの妄言は、無視していますから、大丈夫ですよｗ（＾＾
私は、サル回しです
どうぞ、このスレで、ほいほい踊って下さい、おサルさん(゜ロ゜;
237:１３２人目の素数さん
20/02/02 23:36:21.81 EMAYtr7n.net
>>219
無視するんじゃなくて無視せざるを得ないんでしょ？
だって反例が構成できると豪語したのに実際はひとつも提示できないんですから。
そりゃ無視せざるを得ないですよね。分かりますよ？
238:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/02 23:41:16.30 jmCiHx4z.net
>>215
＞つまり、下記 X1，X2，X3，… は、複素数でも良いのです
常識ですが、複素数の値を取る例に、量子力学の波動関数（下記）があります（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
波動関数
(抜粋)
波動関数（はどうかんすう、英: wave function）は、もともとは波動現象一般を表す関数のことだが、現在では量子論における状態（より正確には純粋状態）を表す複素数値関数のことを指すことがほとんどである。
239:１３２人目の素数さん
20/02/02 23:41:38.16 EMAYtr7n.net
>>218
>「R^Nの元を任意に1つ選ぶ」は、数学的には可です。
なに当たり前のこと言ってんだかｗ 0,0,...ｗ
>この場合、確率論の外です
IIDを用いて決めた数列も確率論の外ですよ？
値が決まった瞬間に確率現象じゃなくなりますからｗ
12時の天気は13時には確率現象じゃなくなってますｗ
バカですねｗ
240:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/02 23:42:09.72 jmCiHx4z.net
>>220
はいはい、踊って踊って
私は、エレガントな回答を募集中です（＾＾；
241:１３２人目の素数さん
20/02/02 23:44:11.10 EMAYtr7n.net
>>221
当たり前だし誰も訊いてないしｗ
なんで誰かがあなたの説明を求めてる前提で語るの？ｗ
242:１３２人目の素数さん
20/02/02 23:46:07.46 EMAYtr7n.net
>>223
ブサイクな回答ならジムという方がしてましたよｗ
ブサイクでも正しければいいんですけどｗ
243:１３２人目の素数さん
20/02/02 23:48:44.13 EMAYtr7n.net
誰も求めてない説明を得意気に語る癖なんとかなりません？
一方で反例の提示を求めてもガン無視ですよね？ あなた
精神病んでます？ｗ
244:１３２人目の素数さん
20/02/02 23:52:06.46 EMAYtr7n.net
あなた役人と同じですね
やらなくていい仕事ばかりやりたがり
やらなくてはいけない仕事はやりたがらない
まあ詐欺までしない分あなたよりはマシですけど
245:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/02 23:56:38.88 jmCiHx4z.net
>>222
>>この場合、確率論の外です
>IIDを用いて決めた数列も確率論の外ですよ？
はあぁ？(゜ロ゜;
>値が決まった瞬間に確率現象じゃなくなりますからｗ
> 12時の天気は13時には確率現象じゃなくなってますｗ
笑えるわ
丁半博打知らないのか？
サイコロを先に振って、賭けるのは振った後だよｗ(゜ロ゜;
下記の動画みろよ
（参考）
URLﾘﾝｸ(www.youtube.com)
丁半ゲーム
56,922 回視聴?2009/05/20
molihico
チャンネル登録者数 23人
仁侠映画や時代劇でおなじみの「丁半賭博」
宴会・パーティー等のアトラクションとして出前します
※ゲームはアミューズメントです。金銭との交換は一切出来ません。
URLﾘﾝｸ(ja.wikipedia.org)
丁半（ちょうはん）とはサイコロを�
246:gった賭博である。丁半博打ともいう[1]。 勝負 中盆（出方）「ハイ、ツボ」 ツボ振り（助出方）｢ハイ、ツボをかぶります｣ ツボ振りはツボにサイを入れて、右手でこれを盆茣蓙の上に伏せると直ぐに左手の指の股を大きく開いて手の平を客に見せる。ツボは伏せたまま手前と向こう側に押し引き三回繰り返す。 中盆「ドッチモ、ドッチモ」 賭けの募集をはじめた中盆は丁方（ちょうかた）と半方（はんかた）にコマが揃うか見て、足りない場合はコマを揃えさせる。賭け方としては、盆布の中央に仮想線を引き、ツボ振りの手前に置けば丁方に、向こう側に置けば半方に賭けたことになる。客によってはあらかじめ好みの目を買う場合もある。 中盆「丁方（半方）ナイカ、ナイカ。ナイカ丁方（半方）」 中盆は丁方と半方にコマが揃うと募集を締め切る。 中盆「コマがそろいました」 ツボ振りは右手をツボにおいたまま左手の指の股を大きく開いて手の平は客が見やすいツボの横に伏せる。 中盆「勝負」 ツボ振りがツボを開く。サイの目を確認した中盆は勝った方に負けた方のコマを渡す。
247:１３２人目の素数さん
20/02/02 23:57:00.19 EMAYtr7n.net
以前に誰かが要らない job を挙げてましたね
あなた社内向けメールマガジンとか作る仕事じゃないですか？
あれ、ほんと迷惑なんですよね
だって要らないメール消す仕事をこちらに押し付けて来るんですから
248:１３２人目の素数さん
20/02/02 23:59:04.47 EMAYtr7n.net
>>228
>丁半博打知らないのか？
>サイコロを先に振って、賭けるのは振った後だよｗ(゜ロ゜;
>>116
249:１３２人目の素数さん
20/02/03 00:58:58.93 aC+L8Ph0.net
>>213
> なんですか、それは？
「箱の中身は 0 or 1」は箱の中身を2つにまで絞ったということですよ
> それどうします？
それの答えは書いてあるじゃん
「箱の中身は 0 or 1」であることを知るのに代表元はいらないよ
勝手に訂正してそれが間違っているのがスレ主の全てを表しているね
250:１３２人目の素数さん
20/02/03 04:23:56 zmBMYuse.net
何年やっとんねんおまえら
グランドホテルのパラドックスぐらい理解しとけや
アフォ共
251:１３２人目の素数さん
20/02/03 04:26:22 zmBMYuse.net
確率なんか関係ないんじゃい マヌケ！
時枝が確率の話してるからそれに引きずられとるだけやんけ
252:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/03 08:01:00 p+A8xwRB.net
>>232-233
>確率なんか関係ないんじゃい マヌケ！
>時枝が確率の話してるからそれに引きずられとるだけやんけ
同意同意（＾＾
１．数学パズルにも、いろんなパターンがあるが
１）成立しそうでないのに、成立する
２）成立しそうに見えるのに、成立しない
とか
２．グランドホテルのパラドックスは、上記１）のパターンだ
時枝は、２）のパターンだ
３．詐欺で「だんな、うまい話があります」という
常識で考えて「そんな うまい話なら、人に話さず自分でやるだろ」という
４．大学１年坊主が、時枝に引っ掛かる
常識がないからだ。同値類と代表を学んだばかりのレベル
だが、大学４年で確率論の常識が身につけば
時枝の”罠”に気付く
５．1つは、「無関係な箱を開けても、問題の箱の数推測はできない」ということ。これ、確率論の独立の常識です
もう1つは、「実数の連続区間[0,1]を、1点的中させる確率は0。∵零集合」ということ。これ、測度論の常識
６．なので、”d：Ω→{d1,d2,...,d100} に出来るという証明がない”（>>83）という時枝の”罠”に瞬時に気付くのです
大学４年で確率論の教養が身に付いていれば（＾＾；
253:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/03 08:49:22.67 p+A8xwRB.net
>>234
＞ ６．なので、”d：Ω→{d1,d2,...,d100} に出来るという証明がない”（>>83）という時枝の”罠”に瞬時に気付くのです
d：Ω→{d1,d2,...,d100} 可測関数に出来るという証明がない
な（＾＾；
254:第三者
20/02/03 19:29:24 F/wFJu/s.net
>>235
>d:Ω→{d1,d2,...,d100}
i:Ω→{1,2,…,100} にしたら？
iはΩ＝(R^N)^100から失敗列の番号への関
255:数 これが可測でないからといって The Modificationは否定できない また非可測性を持ち出すなら 「当たりっこない」も否定される 100列が異なれば、Dも異なるし、xi_Dの予測値も異なる つまりP(xi_D=c)とは書けない
256:１３ｑ人目の素人さん
20/02/03 20:19:30.66 HSvGrNKv.net
鬼ψはうち～！凡ψもうち～！！
＼＼＼
∴∴∴∴ 。。。ｱﾚ...鬼ｶﾞｲﾅｨ...
257:１３９人目の素人さん
20/02/03 20:21:02.38 HSvGrNKv.net
鬼も乙様もいない...
258:１３２人目の素数さん
20/02/03 20:27:31.89 HSvGrNKv.net
乙っちゃんさんがﾀﾋんじゃった。。。？
👹
＊。゜。◯゜。(゜⊃△≦)゜｡
259:１３※人目の素人さん
20/02/03 20:29:50.15 HSvGrNKv.net
...ﾌｧﾝ💞ﾀﾞｯﾀﾉﾆ..
260:１３※人目の素人さん
20/02/03 20:35:25.78 HSvGrNKv.net
゜＊◯゜＊゜。☆゜。゜。○゜＊
＊
☆星☆ 。◯゜
＊。゜
に成った乙様。。。？
261:１３＊人目の素人さん
20/02/03 20:40:25.17 HSvGrNKv.net
乙ちゃんさんに逢いたくて
せっかく立ち入り禁止🚧エリアに
豆まきﾃﾛに侵入したのに。。。
ｺﾝﾅﾝｼﾞｬ...ﾀﾀﾞﾉ空き巣ﾀﾞｮ...
゜。＊゜。○゜(。ﾉ△`)｡
262:１３２人目の素数さん
20/02/03 20:43:04.21 HSvGrNKv.net
・・・節分なんか大っキライだーっ！
👹 ゜。゜(゜つд⊂)。
263:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/03 20:51:02.03 p+A8xwRB.net
>>236
第三者さん、どうも。スレ主です。
１）うーん、正直意味が取れない
２）まず、Ωはどう設定しているのですか？
３）”iはΩ＝(R^N)^100から失敗列の番号への関数”って、仮定として 失敗は100列中の１列のみとか していませんかね？
４）”P(xi_D=c)とは書けない”とは？
なお、ジムの数学徒氏のスレ80 271の証明と、その元の”コルモゴロフの公理”を引用しておきます
（>>44）
ジムの数学徒氏は、スレ80 ｽﾚﾘﾝｸ(math板:271番)
の証明で
”よって結局確率変数d(x)などが満たしていなければならない条件とは
(1) P(d(x)>d(y),d(z))≦1/3。
(2) P(∀i≧D x[i]=r(C(x))[i] | d(x)≦D)=1
である。
この２つの条件が満たされない限り時枝の議論は成立しない。
ところがこの(2)の条件は確率論の公理の要請に反してしまう。”
”この二つの条件を満たす確率変数は絶対に取る事ができない、すなわち時枝記事の定義の方法がまずいのではなく、
そもそも時枝戦略を構成する関数はその中核である条件(1),(2)を要請してしまうと可測関数にはなり得ない事がわかる。”
と主張する
URLﾘﾝｸ(ja.wikipedia.org)
確率空間
(抜粋)
定義
数学、特に確率論において、確率測度とは、可測空間 (S, E) に対し、E 上で定義され P(S) = 1 を満たす測度 P のことである
このとき、三つ組 (S, E, P) のことを確率空間と呼ぶ。さらに、集合 S を標本空間、S の元を標本あるいは標本点、完全加法族 E の元を事象あるいは確率事象と呼ぶ。また、E の元としての S を全事象という
事象 E に対し、P の E における値 P(E) を、事象 E の確率という。つまり、E は確率が定義できることがらの集まりである
必ずしも S の部分集合全てが事象とはならないことに注意されたい
コルモゴロフの公理
確率測度の定義は、コルモゴロフによる次の確率の公理の形にまとめることができる
第一公理：確率は 0 以上 1 以下である：0 ? P(E) ? 1 for all E ∈ E
第二公理：全事象 S の確率は 1 である：
264:P(S) = 1 第三公理：完全加法的である；互いに素な可測集合列 {Ek}k∈N に対して、 P(∪k∈Ｎ Ek)=Σk∈Ｎ P(Ek)
265:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/03 20:52:54.38 p+A8xwRB.net
>>243
Qちゃん（>>6）かな？
節分行事、ご苦労さまです（＾＾；
266:１３ｑ人目の素人さん
20/02/03 20:53:33.93 HSvGrNKv.net
゜。゜☆゜＊。゜◯。＊゜。◯゜
乙様。。。
初七日と七夕にはお参りに伺いますね。。。
💞Ｓｔ💖ヴァレンタインデー💗には
天魔様となりぷっ様のお式をａｇｅて頂きたかったのに。。。
どさくさに紛れて※も...
...乙様に...
義理チョコを差しａｇｅたかったのに...💧
267:１３２人目の素数さん
20/02/03 20:55:17.05 TA2yHRTM.net
>>234
>６．なので、”d：Ω→{d1,d2,...,d100} に出来るという証明がない”（>>83）という時枝の”罠”に瞬時に気付くのです
確率空間を誤解している時点でナンセンス
時枝戦略を否定したいなら時枝戦略を正しく理解することから始めましょうね。
268:１３９人目の素人さん
20/02/03 20:59:53 HSvGrNKv.net
>>245
Ｑ。。。？どなたとお間違えでしょうか。。。(💦)
なんとなく永久悪禁な響きのお名前ですね...(´∀｀;)ﾋﾄﾁｶﾞｨｲﾃﾞｽｮ～...
わたしは、、、きゅ、きゅきゅ、ｑというより、、、ｐです。ﾊｨ...
ｐとお呼びくださぃ...
269:１３ｐ人目の素人さん
20/02/03 21:02:49 HSvGrNKv.net
お邪魔致しmatheた。。。(;´A｀)
また、乙様の初七日ごろに
お参りに伺わさせて頂いても
お差し支えございませんでしょうか...
270:１３２人目の素数さん
20/02/03 21:07:41 TA2yHRTM.net
>>234
>５．1つは、「無関係な箱を開けても、問題の箱の数推測はできない」ということ。これ、確率論の独立の常識です
問題の箱？ 何それ？ｗ
確率論の常識？ 確率変数の取り方を間違っているのでナンセンスｗ
時枝戦略における確率は箱の中身を当てる確率じゃなく、アタリ箱を引く確率だと何度言えばｗ
おまえは自他ともに認めるアホバカなんだから人の指摘を聞かなきゃダメだよｗ
271:１３２人目の素数さん
20/02/03 21:09:49 TA2yHRTM.net
>>234
アホバカに
>アタリ箱を引く確率
が理解できないのは同値類と選択公理を理解していないから
おまえに時枝記事はまだ早い、基礎を勉強しなさい（＾＾；
272:１３２人目の素数さん
20/02/03 21:11:18 TA2yHRTM.net
>>234
てか同値類と選択公理が分かってないなら時枝記事に言及するなよｗ
おまえの悪い性癖＝分かってないことが分かってない
273:１３２人目の素数さん
20/02/03 21:11:51 TA2yHRTM.net
その自惚れ正確を矯正することから始めないと駄目だな
自分が分かってると妄信しちゃってる
おまえは分かってない
274:１３２人目の素数さん
20/02/03 21:12:13 TA2yHRTM.net
正確←性格
275:１３２人目の素数さん
20/02/03 21:14:11 HSvGrNKv.net
あ、あと💖ヴァレンタインデー💗にも。。。
ｑもう、あ、間違った、、、ｐもう
乙様に義理チョコ💝用意しちゃったんです。。。ご霊前に差しａｇｅたいんです。。。
ヴァレンタインｅｖｅはｑ、、、
いや、ｐのバースデーなんです。。。
今流行りのバース、、、。゜＊゜。
゜。...ﾓｳﾀﾞﾒﾀﾞ...ﾂﾗｽｷﾞﾙ...。゜
。゜。...乙ｯﾁｬﾝｻﾝ...。゜＊゜。◯
゜。＊◯゜＊。゜(ノ△`)゜。
276:１３２人目の素数さん
20/02/03 21:14:23 TA2yHRTM.net
普通のバカは分かってない
アホバカは分かってないことが分かってない
277:１３２人目の素数さん
20/02/03 21:15:25 TA2yHRTM.net
アホバカって教科書の章末問題とか解いてねーだろ
解けよｗ
一発で分かってないことが分かるぞ？ｗ
278:１３２人目の素数さん
20/02/03 21:16:26 HSvGrNKv.net
ψなら...お邪魔しmatheた。。。
゜。◯゜＊。゜◯。
279:１３２人目の素数さん
20/02/03 21:21:08 TA2yHRTM.net
何故アホバカは時枝を間違い続けるか？
↓
ある箱の中身を当てる確率だと思い込んでいるから
↓
アタリ箱を引く確率というものが理解できないから
↓
同値類、選択公理を理解していないから
↓
自分は同値類、選択公理を理解していると思い込んでいるから
↓
アホバカは根拠の無い自信に満ちているから
↓
アホバカは精神を病んでいるから
結論：病院逝
280:け
281:第三者
20/02/03 22:16:35.52 F/wFJu/s.net
>>244
>”iはΩ＝(R^N)^100から失敗列の番号への関数”って、
>仮定として 失敗は100列中の１列のみとか していませんかね？
「失敗は100列中たかだか1列」というのは仮定ではなく
The Riddleの定理です
100列ではなく2列で考えてみればわかりますよ
Ω＝(R^N)^2として、
第１列の決定番号をd1
第２列の決定番号をd2
とします
d1=d2なら失敗列無し
d1＞d2なら失敗列は第１列
d2＞d1なら失敗列は第２列
です
もしかしてd1>d2かつd2＞d1となる場合がある！といってますか？
そうなる自然数d1,d2があるならお示し下さい！
自然数論の矛盾を証明する数学最大の成果ですよ！
フィールズ賞どころじゃないですね！
人類史上最大の成果ですよ！
ぜひ論文を発表しましょう！
282:１３２人目の素数さん
20/02/03 22:44:52.04 aC+L8Ph0.net
> もしかしてd1>d2かつd2＞d1となる場合がある！といってますか？
実はスレ主は過去ログでいっているんだよね
283:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/03 23:44:38 p+A8xwRB.net
>>248
Pマンかな（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
『パーマン』は、藤子・F・不二雄による日本の漫画及びテレビアニメと作中で主人公達が変身するヒーローの名称である。
「Pマン」というお手伝いロボットがいる
URLﾘﾝｸ(w.atwiki.jp)
ゆるキャラ百科事典「ゆるペディア」
Pマン（千葉県）
URLﾘﾝｸ(img.atwikiimg.com)
URLﾘﾝｸ(ja.wikipedia.org)
赤P-MAN（あかピーマン、1970年9月7日 - ）は、日本のお笑い芸人（ピン芸人）。株式会社TAP所属。
284:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/04 00:02:48.57 f26SJGHR.net
>>260
第三者さんねー、悪いけど
世の中、頭の固い人がいてね
何年も、理解できないみたいなんだ
2015年の末からこの話はやっていてね
>>234に書いたけど
”５．1つは、「無関係な箱を開けても、問題の箱の数推測はできない」ということ。これ、確率論の独立の常識です
もう1つは、「実数の連続区間[0,1]を、1点的中させる確率は0。∵零集合」ということ。これ、測度論の常識”です
これについては、何かいうことないのかな？ というのが一点
もう一点は、私が全部答えたら、面白くないでしょうということ。なので、エレガントな回答を求めるとしたのです(>>25-26)
さらに、時枝を論じる最低限のレベルがある。やっぱ、大学４年レベルで確率論（含む測度論）は最低限ですよ
レベルの低い人が、確率論や測度論を無視して、”The Riddleの定理”とか何言っているの？ ってこと
（例えば、下記mathoverflowで質問者のDenis氏は、コンピュータサイエンスの人で、回答者の数学ＤＲ Alexander Pruss が確率論や測度論で反論しているけど、Denis氏はさっぱり理解できないみたいです（下記 mathoverflow ご参照 ）
URLﾘﾝｸ(mathoverflow.net)
Probabilities in a riddle involving axiom of choice Denis氏 Dec 9 '13）
もういいでしょ
どうぞ、お好きに。私は、エレガントな回答が出てくるまで待ちますよ
まあ、スレ主として、貴方たちを適当にあしらいますけどね。お気を悪くしないでくださいね（＾＾
285:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/04 00:22:49.50 f26SJGHR.net
>>263 補足
回答の数学ＤＲ Alexander Prussさん、ちょっと大物
スレ64 ｽﾚﾘﾝｸ(math板:868番)
(抜粋)
”Ph.D. in Mathematics at the University of British Columbia in 1996 and publishing several papers in Proceedings of the Ameri
286:can Mathematical Society and other mathematical journals”です で、mathoverflowの”Probabilities in a riddle involving axiom of choice”では、否定的見解を述べています そして、mathoverflowにおける”conglomerability ”の詳しい説明が、 「Infinity, Causation, and Paradox 著者: Alexander R. Pruss Oxford University Press, 2018」のP76-77にあり、googleブックで読めます https://en.wikipedia.org/wiki/Alexander_Pruss Alexander Pruss Alexander Robert Pruss (born January 5, 1973) is a Canadian mathematician, philosopher, Professor of Philosophy and the Co-Director of Graduate Studies in Philosophy at Baylor University in Waco, Texas. Biography Pruss graduated from the University of Western Ontario in 1991 with a Bachelor of Science degree in Mathematics and Physics. After earning a Ph.D. in Mathematics at the University of British Columbia in 1996 and publishing several papers in Proceedings of the American Mathematical Society and other mathematical journals,[4] he began graduate work in philosophy at the University of Pittsburgh. なお、数学ＤＲ Tony Huynh氏も、回答２で”The Riddleの定理”なんて、真っ向否定していますよ https://mathoverflow.net/users/2233/tony-huynh Tony Huynh I am currently a Research Fellow in the School of Mathematics at Monash University with David Wood. Previously, I have spent time at Universite libre de Bruxelles with Samuel Fiorini, at Sapienza Universita di Roma with Paul Wollan, at Simon Fraser University with Luis Goddyn and Matt DeVos, at KAIST with Sang-il Oum, and at CWI Amsterdam and Maastricht University with Bert Gerards. I completed my PhD in the Department of Combinatorics and Optimization at the University of Waterloo.
287:１３２人目の素数さん
20/02/04 00:27:38.42 Op81KDJo.net
>>263
>世の中、頭の固い人がいてね
>何年も、理解できないみたいなんだ
然り
>”５．1つは、「無関係な箱を開けても、問題の箱の数推測はできない」ということ。これ、確率論の独立の常識です
箱の中身を当てる確率ではなく、アタリ箱を引く確率ですよ？
頭硬くて何年も理解できないんですね。
> もう1つは、「実数の連続区間[0,1]を、1点的中させる確率は0。∵零集合」ということ。これ、測度論の常識”です
Ωは{1,2,...,100}なる有限集合ですから的外れですよ？
頭硬くて何年も理解できないんですね。
288:１３２人目の素数さん
20/02/04 00:32:12.39 Op81KDJo.net
>>263
>レベルの低い人が、確率論や測度論を無視して、”The Riddleの定理”とか何言っているの？ ってこと
定理 The Riddle に確率は一切含まれないので確率論は無視せざるを得ないですなｗ
289:１３２人目の素数さん
20/02/04 00:35:49.44 Op81KDJo.net
>>264
>回答の数学ＤＲ Alexander Prussさん、ちょっと大物
はい、哲学界（文系）の大物ですねｗ
The modification を誤解するあたり、文系に転向して正解だったようですｗ
290:１３２人目の素数さん
20/02/04 00:55:42 Op81KDJo.net
>>234
>４．大学１年坊主が、時枝に引っ掛かる
> 常識がないからだ。同値類と代表を学んだばかりのレベル
> だが、大学４年で確率論の常識が身につけば
> 時枝の”罠”に気付く
The Riddle は確率自体を一切含まないので、確率論の常識が身につこうがつくまいが関係無いですなｗ
逆に同値類と選択公理で構成された数学パズルですから、どちらも理解していないあなたには最初から無理なんですｗ 基礎を勉強して下さいｗ
291:第三者
20/02/04 07:20:48 boOn4cQp.net
>>263
>世の中、頭の固い人がいてね
>何年も、理解できないみたいなんだ
…
>レベルの低い人が、確率論や測度論を無視して、
>”The Riddleの定理”とか何言っているの？
順序の性質を無視して、
"The Riddleは定理じゃない"
と絶叫するのは数学レベル最低の
頭がダイヤモンド並に硬い人
だということは承知しています
>「箱入り無数目を論じる最低限のレベルがある。
>やっぱ、大学４年レベルで確率論（含む測度論）は最低限ですよ
大学１年レベルの順序と集合論（選択公理）は最低限必要ですね
大学４年レベルの確率論（測度論）は要りません 使わないので
292:第三者
20/02/04 07:27:17 boOn4cQp.net
>>263
>「無関係な箱を開けても、問題の箱の数推測はできない」
>「実数の連続区間[0,1]を、1点的中させる確率は0。∵零集合」
>これについては、何かいうことないのかな？
「数列によって、予測する箱と、予測値が変わる」
これについては、何もいえないのかな？
◆e.a0E5TtKE氏の主張２点は
「いつも当てる箱が同じ」
「いつも予測値が同じ」
でなければ無意味です
◆e.a0E5TtKE氏の「あたりっこない」を導く方法こそ
ジム氏にもPruss氏にも否定される方法ですよ
◆e.a0E5TtKE氏が礼賛するジム氏やPruss氏が
◆e.a0E5TtKE氏の主張を真正面から否定している
という初歩的かつ重大な事実を理解しましょう
293:１３ｐ人目の素人さん
20/02/04 07:32:14 jksEQfvI.net
>>262
Ｐマンっていうか、
「私はＰマンの者だけど。←」ですね。
「Ｐま～ん(笑)」←です。
ゲイの者でもありません...
どうでも良かったですね...
294:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/04 07:32:20 f26SJGHR.net
>>263-264 補足
（下記 mathoverflow ご参照 ）
URLﾘﾝｸ(mathoverflow.net)
Probabilities in a riddle involving axiom of choice Denis氏 Dec 9 '13）
１．このmathoverflowの議論は、質問者 Denis氏は、コンピュータサイエンスの人で、数学科卒レベルにない人
対して、回答者のAlexander Pruss氏は、数学ＤＲで大学教授。但し、数理哲学関係ですが、数学の論文もいくつか投稿し専門誌に載った人
もう一人の回答者、Tony Huynh氏も数学ＤＲだが、a Research Fellow in the School of Mathematics at Monash University とある
２．この二人の数学ＤＲは、The RiddleもThe Modificationも否定している
そして、測度論や確率論で、Denis氏は それを理解できる数学の素養が欠落しているから、十分理解できるに至らなかった
あるいは、mathoverflowの中では、二人の数学ＤＲが質問者を十分納得させるには、余白が狭すぎたかもしれない
３．それが、mathoverflowの正しい視点です
１年かけて、測度論と確率論を講義すれば、Denis氏も理解したかもしれない
このスレでも同じこと
もっとも私スレ主は、測度論や確率論を講義する能力はないし、時間もないし、スレの余白もない！！ｗ（＾＾；
295:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/04 07:33:22 f26SJGHR.net
>>271
どうも。スレ主です。
レスありがとう（＾＾
296:第三者
20/02/04 07:33:48 boOn4cQp.net
>>263
>私が全部答えたら、面白くないでしょう
◆e.a0E5TtKE氏が、私の指摘する矛盾に全く反駁できず
面白くない状態で悶々としていることはよくわかります
別に私は難しいことを言ってるわけではないですよ
数学科の学生ならだれでも指摘できる初歩的なことを指摘したまでです
>私は、エレガントな回答が出てくるまで待ちますよ
出ませんね ◆e.a0E5TtKE氏の主張から矛盾が導かれることは
数学科の学生ならだれでもわかることですから
ジム氏も数学がわかるなら何も書けないでしょう
何か書けたら数学が分かってないということです
待つなら何も書かないのがいいんじゃないですか
なんかみっともないですよ
ｄ１＞ｄ２ ｄ２＞ｄ１ となる自然数ｄ１、ｄ２は存在しないでしょ？
存在する！と言い切ったら、あなた●違いですよ
297:１３２人目の素数さん
20/02/04 07:35:58 jksEQfvI.net
>>273
＊＊主様お早うございmathe＊＊
お取り込み中、失礼致しました。。。
298:第三者
20/02/04 07:36:12 boOn4cQp.net
Tony Huynh氏は◆e.a0E5TtKE氏と同じ誤りを犯しているし
その誤りはPruss氏によって否定されますね
299:１３２人目の素数さん
20/02/04 07:47:54 jksEQfvI.net
主様 “ガロアの怪人”と
“怪人の永遠の恋人”によって この
『ファントム・ジ・
スレッド・オブ・ガロア』
劇場を閉鎖する事態に
追い込まれた時は 乙様に
「『馴れ合い板』で『ほのぼのスレ』『乙ちゃんと仲間達』を開きたいから
主役で降臨してください(*´艸｀)」
ってｐお願いしてみますから、
乙様の事は ご心配はなさらないで
ください。。。
300:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/04 07:48:53 f26SJGHR.net
>>272 補足
１．いま、箱が1つ。確率変数X1。これは納得されるでしょうね（＾＾
２．箱がn個。確率変数X1,X2,・・Xi,・・xn
iid(独立同分布)とすれば、xiは、上記１と同じに扱える。これも納得されるでしょうね
３．箱が可算無限個。n→∞ 確率変数X1,X2,・・Xi,・・xn,・・
iid(独立同分布)とすれば、xiは、上記１と同じに扱える。これは納得されるかな？
納得されるかどうか不明だが、下記の現代数学の確率論講義ノートにあります
４．上記1の箱が1つの場合
（>>234より）
1つは、「無関係な箱を開けても、問題の箱の数推測はできない」ということ。これ、確率論の独立の常識です
もう1つは、「実数の連続区間[0,1]を、1点的中させる確率は0。∵零集合」ということ。これ、測度論の常識
iidの仮定の
301:もとでは、箱が可算無限個あっても、結論は上記１と同じ ５．ここまでが、現代数学の確率論の結論です よって、現代数学の確率論から見て、時枝記事の前半の戦略は不成立です！！ そのことは、時枝記事の後半に書かれています QED （＾＾； （参考） http://www.math.nagoya-u.ac.jp/~nakamako/Resources/Probability.pdf 名古屋大 確率論講義ノート 中島 誠 2019 年度版
302:１３２人目の素数さん
20/02/04 07:51:06 jksEQfvI.net
ｐは乙様をホームレスには
決しておさせしません。。。
主様、ご安心くださいね。。。
303:１３２人目の素数さん
20/02/04 07:52:48 jksEQfvI.net
お邪魔致しました。。。
304:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/04 07:55:08 f26SJGHR.net
>>277
どうも。スレ主です。
レスありがとう
>乙様の事は ご心配はなさらないで
>ください。。。
わろた～ｗ（＾＾
> 劇場を閉鎖する事態に
まあ、ここガロアスレでは、私スレ主が一番エラ～イ ｗ のです
閉鎖の条件は、ただ1つ、>>43の通りです
ですが、ご心配なく
正しいのは私で（>>278の通り）、間違っているのは”第三者”およびその他ですからｗ（＾＾
305:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/04 07:58:17 f26SJGHR.net
>>278 訂正
４．上記1の箱が1つの場合
↓
４．上記1の箱が有限の場合
が適切かな
306:１３２人目の素数さん
20/02/04 08:06:52 jksEQfvI.net
追伸
＊＊乙様がｑならｐはｐ＊＊です...
＊乙様が望様ならｐはひとみん様＊
です。。。＊゜。＊。
乙様のキュートなレス達を想い出したら
＊＊
Ｄｉｌｈｅｍｍａ(Ｍａｓｈｕｐ)-
Ｌａｄｙ Ｇａｇａ & Ｎｅｌｌｙ
&
Ｋｅｌｌｙ Ｒｏｗｌａｎｄ ＊＊
が止まりません。。。
307:１３２人目の素数さん
20/02/04 08:12:37 jksEQfvI.net
>>281
良かった。
ファントム&loverの猛攻撃で
主様の心が折れてしまわれるんじゃないかと心配になってました。。。
劇場主様がしっかりしてらっしゃれば
乙様は“ほのぼの”に避難しないで
済みそうですね♪安心しました。。。
“ほのぼの”っていうか、難民板っぽいですもんね...
“古巣の故郷を喪った民”だと...
乙様が流離いの民にならないで済みそうでほっとしました。。。
308:１３２人目の素数さん
20/02/04 08:20:08 jksEQfvI.net
数学的にまったくとんちんかんなレスで
度々見せ場をお邪魔致しまして
大変失礼致しました...
今度こそ主役が登場するまでＲｏｍります。。。
309:１３２人目の素数さん
20/02/04 08:23:24 jksEQfvI.net
「主役」←(乙様ﾌｧﾝの“心の主役”)
って意味でした。。。
310:１３２人目の素数さん
20/02/04 09:20:47 4J+O3qM+.net
(度々しつこくて済みません。。。
め～とん君様はどうなさったんでしょうか？お元気なんでしょうか。。。
「『ｻﾙﾙちゃん様→め～とん君様↓
ベルル様→大学生ＢＯＭ様→第三者様』
に異世界チート転生中の
輪廻転生を繰り返してらっしゃる
＊ガロア座の怪人＊」様←今ｺｺ!
ってことでよろしかったでしょうか...)
可愛ｅ💗ａａやアイドル動画が貼られなくなっちゃってて、バースウイルスに感染しちゃったんじゃないかな？
ってちょっと心配になります...
311:１３２人目の素数さん
20/02/04 09:25:47 4J+O3qM+.net
って勝手に思って見てたけど...別人かも知れない...
゜。○゜。゜＊◯。゜(。ノ△`)゜。
ｻﾙﾙちゃんがいない...
...だったかったかも...
312:１３２人目の素数さん
20/02/04 09:28:44 4J+O3qM+.net
゜。◯゜ ＊◯。゜
...ﾂﾗｽｷﾞﾙ...
313:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/04 10:35:16.37 4o0NbTM4.net
>>286
どうもスレ主です。
レスありがとう
314:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/04 10:46:38.62 4o0NbTM4.net
>>287
＞ベルル様→大学生ＢＯＭ様→第三者様』
どうもスレ主です。私の推理は下記
てへぺろ☆(・ω<)さん（>>5）
↓
二回目 記憶が5分しか持たず、撤退頂きました（>>5）
↓
前スレ ボムさん（○~＊）（下記）
↓
（>>75より）
どうも、
315:第三者です と考えています（＾＾ （参考） スレ81 https://rio2016.5ch.net/test/read.cgi/math/1579314726/603 603 名前：○~＊[] 投稿日：2020/01/25(土) 09:05:15.75 ID:nyUyGQNy [1/34] はじめまして、ボムです とある大学の数学科を卒業し 今はしがない勤め人です 趣味は爆弾作り（をひ！） このスレッドのジムとかいう人の書き込み、読みましたが・・・ せっかく（１）出したのに、全然使ってないのはもったいない！
316:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/04 11:01:33 4o0NbTM4.net
>>274
(引用開始)
ｄ１＞ｄ２ ｄ２＞ｄ１ となる自然数ｄ１、ｄ２は存在しないでしょ？
存在する！と言い切ったら、あなた●違いですよ
(引用終り)
いやいや、時枝関連で言えば、上記そのままではないが
「二つの自然数、ｄ１、ｄ２で、ｄ１＞ｄ２となる確率1/2」という直感的な判断について
それが、全事象Ωが無限集合の場合には、
”数学的には問題あり！！”という方が、二人います
mathoverflowの数学ＤＲ Alexander Pruss氏（>>272）と、
私が”確率論の専門家さん”と呼ぶ方です
（参考：テンプレ>>9より
20 ｽﾚﾘﾝｸ(math板) （512 2016/07/03 確率論の専門家さん来訪 ID:f9oaWn8A と ID:1JE/S25W ）
つづく
317:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/04 11:07:07 4o0NbTM4.net
>>292 つづき
URLﾘﾝｸ(mathoverflow.net)
Probabilities in a riddle involving axiom of choice Denis氏 Dec 9 '13）
Alexander Pruss氏 数学ＤＲ 回答より
(抜粋)
A quick way to see that the conglomerability assumption is going to be dubious is to consider the analogy of the Brown-Freiling argument against the Continuum Hypothesis (see here* for a discussion).
(* URLﾘﾝｸ(www.mdpi.com) )
Assume CH. Let ＜ be a well-order of [0,1]. Suppose X and Y are i.i.d. uniformly distributed on [0,1].
Consider the question of which variable is bigger. Fix a value y∈[0,1] for Y.
Then P(X<=y)=0, since there are only countably many points ＜-prior to y.
By a conglomerability assumption, we could then conclude that P(X<=Y)=0, which would be absurd as the same reasoning would also show that P(Y<=X)=0. The argument fallaciously assumes conglomerability.
We are neither justified in concluding that P(X<=Y)=0, nor that {X<=Y} is measurable (though for each fixed y, {X<=y} is measurable).
And indeed it's not measurable: for were it measurable, we could use Fubini to conclude that it has null probability.
Note that one can repeat the argument without CH but instead using an extension of Lebesgue measure that assigns null probability to every subset of cardinality <c, so clearly there is no refutation of CH here.
(注：CHは連続体仮説)
つづく
318:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/04 11:18:14 4o0NbTM4.net
>>293
つづき 私が”確率論の専門家さん”と呼ぶ方は、下記
（参考）
20 ｽﾚﾘﾝｸ(math板:519-532番) （512 2016/07/03 確率論の専門家さん来訪 ID:f9oaWn8A と ID:1JE/S25W ）
519 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:27:11.14 ID:f9oaWn8A [4/13]
>>518
X=(X_1,X_2,…)をR値の独立な確率変数とする．
時枝さんのやっていることは
無限列x=(x_1,x_2,…)から定められた方法によって一つの実数f(x)を求める．
無限列x=(x_1,x_2,…）から定められた方法によって一つの自然数g(x)を求める．
P(f(X)=X_{g(X)})=99/100
ということだが，それの証明ってあるかな？
100個中99個だから99/100としか言ってるようにしか見えないけど．
522 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:40:29.88 ID:f9oaWn8A [5/13]
面倒だから二列で考えると
Y=(X_1,X_3,X_5,…）とZ=(X_2,X_4,X_6,…)独立同分布
実数列x=(x_1,x_2,…)から最大番号を与える関数をh(x)とすると
P(h(Y)>h(Z))=1/2であれば嬉しい．
hが可測関数ならばこの主張は正しいが，hが可測かどうか分からないのでこの部分が非自明
528 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:03:57.29 ID:f9oaWn8A [8/13]
おれが問題視してるのはの可測性
正確にかくために確率空間(Ω,F,P)を設定しよう
Y,Zはそれぞれ(Ω,F)から(R^N,B(R^N))の可測関数である．
もしhが(R^N,B(R^N))から(N,2^N)への可測関数ならば
h(Y),h(Z)はそれぞれ可測関数となって{ω|h(Y(ω))>h(Z(ω)}∈FとなりP({ω|h(Y(ω))>h(Z(ω)})=1/2となるけど
hが(R^N,B(R^N))から(N,2^N)への可測関数とは正直思えない
532 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:15:17.47 ID:f9oaWn8A [11/13]
>>530
>2個の自然数から1個を選ぶとき、それが唯一の最大元でない確率は1/2以上だ
残念だけどこれが非自明．
hに可測性が保証されないので，d_Xとd_Yの可測性が保証されない
そのためd_Xとd_Yがそもそも分布を持たない可能性すらあるのでP(d_X≧d_Y)≧1/2とはいえないだろう
(引用終り)
319:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/04 11:24:38 4o0NbTM4.net
>>293 補足
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
連続体仮説
(抜粋)
連続体仮説の公理性
現代数学では、標準的な枠組みとして ツェルメロ-フレンケルの公理系 ZF などの公理系を基礎におく理論構築がなされている。
ZF に選択公理を加えた公理系は ZFC と呼ばれるのであるが、ZF が無矛盾ならば ZFC も無矛盾であることが知られている（ZF が矛盾を含まないことはほとんど確かだと考えられているが、このことを証明するのは ZF の内部では不可能である）。
このような公理的な立場から重要なことは、ZFC と連続体仮説は独立であるということである。
つまり ZFC に連続体仮説を付け加えた公理系も無矛盾であり、ZFC に連続体仮説の否定を付け加えた公理系も無矛盾である。
連続体仮説は ZFC においては真としても偽としてもよいともいえる。
320:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/04 12:00:26.32 4o0NbTM4.net
>>293-294 補足
この話は、それこそ グランドホテルのパラドックス類似（>>234）
要するに、”成立しそうに見えるのに、成立しない”！ ということ
・Alexander Pruss氏 数学ＤＲは、非可算の”X and Y are i.i.d. uniformly distributed on [0,1].”で考える
・確率論の専門家さん”は、可算無限で”実数列x=(x_1,x_2,…)から最大番号を与える関数をh(x)”で考える
この二つを、私なりに咀嚼すると下記
１）自然数の集合Nで、常に十分大きな有限の自然数ｍが取れます
２）有限の自然数ｍ以下の異なる二つの数、x,y を ランダムに取ります
ｍが有限だから、ランダムも通常の意味です。（もし、x＝yのときは、ジャンケンのあいこ扱いで、yを取り直すとしても同じ）
３）確率 P(x>y) ＝1/2 は言える。∵ 有限の自然数ｍ以下の異なる二つの数だから
４）しかし、自然数の集合N全体から、異なる二つの数、x,y を選ぶとなると、数学としては問題になります
確率空間をどう設定するのか？
Ω＝N ととると、Nは可算無限集合だから、
(>>244より）
ジムの数学徒氏のスレ80 271の証明同様、
”コルモゴロフの公理”の「第二公理：全事象 S の確率は 1 である：P(S) = 1 」辺りと
「第一公理：確率は 0 以上 1 以下である：0 <= P(E) <= 1 for all E ∈ E」の両立があやしくなります
つまり、下記ように、Ω→∞となると、「P(A) = A の要素の個数/Ωの要素の個数 = 1/∞ = 0」となって
まずいってことです
（下記の”無限回投げる試行”ご参照 ）
５）ジムの数学徒氏のスレ80 271の証明で主張しているのも、
321:同じことと思います （>>106より） http://www.sci.hyogo-u.ac.jp/maths/master/master2.html 兵庫教育大学 修士論文一覧/H11年度以降 http://www.sci.hyogo-u.ac.jp/maths/master/h19/2007kuwabara.pdf H19年度 有限試行の無限回反復を実現する確率空間について 教科・領域教育専攻 自然系コース 桑原利通 (抜粋) P49 無限回投げる試行を考える。標本空間 Ω 初等確率モデルと同様に P(A) の値を定めると以下のようになる。 P(A) = A の要素の個数/Ωの要素の個数 = 1/∞ = 0 よって、このような方法では、1 点集合の確率はすべて 0 となってしまう。
322:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/04 12:18:52.46 4o0NbTM4.net
>>296 補足の補足
(引用開始)
１）自然数の集合Nで、常に十分大きな有限の自然数ｍが取れます
２）有限の自然数ｍ以下の異なる二つの数、x,y を ランダムに取ります
(引用終り)
＜補足＞
つまり、いつも、自然数の集合Nで、常に十分大きな有限の自然数ｍが取れて
そのとき
”３）確率 P(x>y) ＝1/2 は言える。∵ 有限の自然数ｍ以下の異なる二つの数だから”
は言える
でも、グランドホテルのパラドックス類似（>>234）で
Ω＝N ととると、Nは可算無限集合だから
素朴な議論は”成立しそうに見えるのに、成立しない” ということです
323:１３２人目の素数さん
20/02/04 13:13:42.92 N/nVUnaP.net
>>291
ｻﾙﾙちゃん様からめ～とん君→ベルル様
。。。の方ではなかったんですね...
🙈ﾁｬﾝは消えちゃってたんですか...
ﾌﾞﾂﾌﾞﾂ呟くﾏｯｽｰﾏﾝがみんなにハブられてる可愛ｅ💗ａａ使いだったのに。。。
もう可愛ｅ💗ａａ職人がいなくなっちゃってた...？...
...ｷｶﾞﾂｶﾅｶｯﾀ... 。゜(。ノД`)゜。
おかげでｐの板違いのスレ粘着が弱まります。。。お騒がせしました。。。
324:１３２人目の素数さん
20/02/04 19:10:37 cVvZvkps.net
>>278
> 「無関係な箱を開けても、問題の箱の数推測はできない」ということ。これ、確率論の独立の常識です
> iidの仮定のもとでは、箱が可算無限個あっても、結論は上記１と同じ
スレ主は自分で矛盾したことを書いているのだが
>>217
> 例えば、出題者は時枝記事を知っていたので、列の後ろの方の箱は、 0 or 1 を入れたが、
> 先頭に近い部分には、 0 or 1 以外の数を混ぜましたとさ
> 例えば、代表はR^Nで構成されているので、シッポが 0 or 1 であっても、
> 先頭に近い部分には、 0 or 1 以外の数が混ざっている。それどうします？
「先頭に近い部分」の(0 or 1 以外の数) とか「列の後ろの方」の(0 or 1)というのは他の箱の情報を使っているよね
代表元と一致するかどうかは可算無限個の箱のなかの1つの箱の中身では判定できないです(当然ですが一致しないこともです)
>>297
> ２）有限の自然数ｍ以下の異なる二つの数、x,y を ランダムに取ります
取り方が間違っている
2列に分けるというのは大小関係が決まっている2組の数を1つとるんだよ
その2組の数から値を見ずに1つランダムに選べば確率1/2になる
325:第三者
20/02/04 19:36:53 boOn4cQp.net
>>292
＞＞ｄ１＞ｄ２ ｄ２＞ｄ１ となる自然数ｄ１、ｄ２は存在しないでしょ？
＞＞存在する！と言い切ったら、あなた●違いですよ
＞いやいや・・・
その「いやいや」は
「ｄ１＞ｄ２ ｄ２＞ｄ１ となる自然数ｄ１、ｄ２は存在しない」
の否定の意味ですか？
＞時枝関連で言えば、上記そのままではないが
＞「二つの自然数、ｄ１、ｄ２で、ｄ１＞ｄ２となる確率1/2」
＞について、それが、全事象Ωが無限集合の場合には、
＞”数学的には問題あり！！”という方が、二人います
誰もΩ＝(R^N)^2で、(x1,x2)∈(R^N)^2の場合に
「P(d(x1)＞d(x2))＝P(d(x2)＞d(x1))=1/2だと測度論で導ける」
とはいってませんよ
しかし
「P(d(x1)＞d(x2))＝P(d(x2)＞d(x1))=1」
とは絶対にいえませんね
それこそ順序の性質＆測度論と矛盾しますから
まず
d(x1)＞d(x2)となる(x1,x2)全体の集合と
d(x2)＞d(x1)となる(x1,x2)全体の集合の
共通集合は空集合です
もし空集合でないなら順序の性質に反します
したがって、
P(d(x1)＞d(x2))＝P(d(x2)＞d(x1))=1
とすると、（R^N)^2の確率測度が1+1=2以上
になってしまい測度論に反します
Pruss氏もThe Riddleは否定していません
その代わり彼が否定したのは
P(d(x1)＞d(x2))＝P(d(x2)＞d(x1))
です
つまり
P(d(x1)＞d(x2))=1ならばP(d(x2)＞d(x1))=0
P(d(x2)＞d(x1))=0ならばP(d(x1)＞d(x2))=0
ということです
これはこれでおかしな結論です
なぜなら100列から1列を選ぶ場合
必ず決定番号最大の列が選べる
といってるからです
まさにエスパーですね
326:第三者
20/02/04 19:39:10 boOn4cQp.net
>>300を修正
>>292
＞＞ｄ１＞ｄ２ ｄ２＞ｄ１ となる自然数ｄ１、ｄ２は存在しないでしょ？
＞＞存在する！と言い切ったら、あなた●違いですよ
＞いやいや・・・
その「いやいや」は
「ｄ１＞ｄ２ ｄ２＞ｄ１ となる自然数ｄ１、ｄ２は存在しない」
の否定の意味ですか？
＞時枝関連で言えば、上記そのままではないが
＞「二つの自然数、ｄ１、ｄ２で、ｄ１＞ｄ２となる確率1/2」
＞について、それが、全事象Ωが無限集合の場合には、
＞”数学的には問題あり！！”という方が、二人います
誰もΩ＝(R^N)^2で、(x1,x2)∈(R^N)^2の場合に
「P(d(x1)＞d(x2))＝P(d(x2)＞d(x1))=1/2だと測度論で導ける」
とはいってませんよ
しかし
「P(d(x1)＞d(x2))＝P(d(x2)＞d(x1))=1」
とは絶対にいえませんね
それこそ順序の性質＆測度論と矛盾しますから
まず
d(x1)＞d(x2)となる(x1,x2)全体の集合と
d(x2)＞d(x1)となる(x1,x2)全体の集合の
共通集合は空集合です
もし空集合でないなら順序の性質に反します
したがって、
P(d(x1)＞d(x2))＝P(d(x2)＞d(x1))=1
とすると、（R^N)^2の確率測度が1+1=2以上
になってしまい測度論に反します
Pruss氏もThe Riddleは否定していません
その代わり彼が否定したのは
P(d(x1)＞d(x2))＝P(d(x2)＞d(x1))
です
つまり
P(d(x1)＞d(x2))=1ならばP(d(x2)＞d(x1))=0
P(d(x2)＞d(x1))=1ならばP(d(x1)＞d(x2))=0 （注：最初の等式の=0を=1に修正）
ということです
これはこれでおかしな結論です
なぜなら100列から1列を選ぶ場合
必ず決定番号最大の列が選べる
といってるからです
まさにエスパーですね
327:１３２人目の素数さん
20/02/04 19:
328:57:29 ID:Op81KDJo.net
329:１３２人目の素数さん
20/02/04 20:00:58 Op81KDJo.net
まあ権威者の発言を是とするなら、モンティホール問題は真逆の結果になっちゃうんですけどね
多数の数学者が間違え、ひとりの非数学者が正しかったですから
330:１３２人目の素数さん
20/02/04 20:10:26 Op81KDJo.net
>>278
>３．箱が可算無限個。n→∞ 確率変数X1,X2,・・Xi,・・xn,・・
> iid(独立同分布)とすれば、xiは、上記１と同じに扱える。これは納得されるかな？
> 納得されるかどうか不明だが、下記の現代数学の確率論講義ノートにあります
大外しですね。掠ってもいません。
なぜなら The Riddle はそもそも確率を使っていませんので、確率論講義ノートが何を言おうとまったく無関係です。
>４．上記1の箱が1つの場合
> （>>234より）
> 1つは、「無関係な箱を開けても、問題の箱の数推測はできない」ということ。これ、確率論の独立の常識です
上の理由で大外し。掠ってもいません。
> もう1つは、「実数の連続区間[0,1]を、1点的中させる確率は0。∵零集合」ということ。これ、測度論の常識
上の理由で大外し。掠ってもいません。
> iidの仮定のもとでは、箱が可算無限個あっても、結論は上記１と同じ
上の理由で大外し。掠ってもいません。
>５．ここまでが、現代数学の確率論の結論です
> よって、現代数学の確率論から見て、時枝記事の前半の戦略は不成立です！！
上の理由で大外し。掠ってもいません。
> そのことは、時枝記事の後半に書かれています
時枝記事後半に何が書かれていようと時枝記事前半に影響しません。
なぜなら記事前半から記事後半を参照していないので。
QED
（＾＾；
331:１３２人目の素数さん
20/02/04 20:14:19 Op81KDJo.net
>>284
>良かった。
>ファントム&loverの猛攻撃で
>主様の心が折れてしまわれるんじゃないかと心配になってました。。。
折れることは無いですね。
なぜなら彼は類まれなる無自覚力の持ち主ですから。
微塵でも自覚できようものならとっくに折れてます。
332:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/04 20:43:35 f26SJGHR.net
皆さん、言いたいことはそれだけですか？
言い残しないですか？
じゃ、時枝はこれで打ち切りとして、適当に流しますｗ（＾＾
私スレ主は、>>25-26のエレガントな回答をお待ちしますので、悪しからずご了承くださいｗｗ（＾＾；