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

[表示 : 全て最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2ch.scのread.cgiへ]
Update time : 04/11 12:40 / Filesize : 750 KB / Number-of Response : 1098
[このスレッドの書き込みを削除する]
[＋板最近立ったスレ＆熱いスレ一覧 : ＋板最近立ったスレ／記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

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

1 名前：１３２人目の素数さん [2022/08/13(土) 16:51:12.04 ID:d42KNd2H.net]: 前スレが1000近くなったので、新スレを立てる

前スレ箱入り無数目を語る部屋2
https://rio2016.5ch.net/test/read.cgi/math/1629325917/

（参考）
時枝問題（数学セミナー201511月号の記事）「箱入り無数目」抜粋
純粋・応用数学（含むガロア理論）8
https://rio2016.5ch.net/test/read.cgi/math/1620904362/401
時枝問題（数学セミナー201511月号の記事）
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」

https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
Probabilities in a riddle involving axiom of choice
asked Dec 9 '13 at 16:16 Denis
（Denis質問）
I think it is ok, because the only probability measure we need is uniform probability on {0,1,…,N?1}, but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up.
（Pruss氏）
The probabilistic reasoning depends on a conglomerability assumption, ・・・and we have no reason to think that the conglomerability assumption is appropriate.
（Huynh氏）
If it were somehow possible to put a 'uniform' measure on the space of all outcomes, then indeed one could guess correctly with arbitrarily high precision, but such a measure doesn't exist.

つづく
297 名前：１３２人目の素数さん [2022/09/18(日) 07:25:30.20 ID:3YOagFMY.net]: >>276
>上の例では (d1, d2, …, d100) ＝ (1,2,3,…,100) というケースを考えたが、
>(d1, d2, …, d100) ＝ (1,1,1,…,1, 2,2,2,…,2) (1が50個, 2が50個)
>のようなケースも論理的にはあり得る。

どうも、ありがとう

１）「論理的にはあり得る」よ。でも、それは確率的じゃないよね
２）d1＝1ってことは、二つの可算無限長数列が、全ての対の数で一致したってことでしょ？
　それが成立するは、確率 0（ゼロ）だよ
３）そこが、代数と確率的思考との違いだよ
298 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 10:46:52.63 ID:ldv25uGN.net]: >>279
＞１）「論理的にはあり得る」よ。でも、それは確率的じゃないよね
＞２）d1＝1ってことは、二つの可算無限長数列が、全ての対の数で一致したってことでしょ？
＞　それが成立するは、確率 0（ゼロ）だよ

意味不明。今の場合、出題は毎回固定なのだから、出力される (d1, d2, …, d100) も毎回固定。すなわち、

「ある固定された (a1, a2, …, a100) が毎回100％の確率で (d1, d2, …, d100)＝(a1, a2, …, a100) と出力される」

ということ。具体的にどんな (a1, a2, …, a100) が
(d1, d2, …, d100)＝(a1, a2, …, a100) と出力されるのかは、
出題した実数列と、一番最初の完全代表系の取り方によって変わる。

・もし (1,2,…,100) が出力されるのなら、毎回100％の確率で (d1, d2, …, d100)＝(1,2,…,100) と出力される。
・もし (1,1,…,1, 2,2,….2) が出力されるのなら、毎回100％の確率で (d1, d2, …, d100) ＝ (1,1,…,1, 2,2,….2) と出力される。

このように、何らかの固定された (a1, a2, …, a100) が
毎回100％の確率で (d1, d2, …, d100)＝(a1, a2, …, a100) と出力される。
従って、スレ主が言うところの「それが成立するのは確率ゼロ」は意味不明。
299 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 10:49:40.80 ID:ldv25uGN.net]: なぜ、何らかの固定された (a1, a2, …, a100) が毎回100％の確率で
(d1, d2, …, d100)＝(a1, a2, …, a100) と出力されるのかというと、
何度も言うが、主題する実数列が毎回固定だから。

そして、出題する実数列を毎回固定にしたのは、出題者である我々である。

スレ主はこの出題の仕方に文句があるかもしれないが、スレ主は回答者なのだから、この出題の仕方に文句は言えない。
スレ主がやることは、出題の仕方に文句を言うことではない。また、スレ主がやることは「勝つこと」でもない。
スレ主がやることは、時枝戦術の勝率がゼロであることを立証することである。
すなわち、スレ主は毎回必ず時枝戦術を使い、そして「ほらね、時枝戦術では勝てないじゃないか」と立証すること。
これがスレ主のやること。ところが、

・出題が固定なので、出力される (d1, d2, …, d100) も毎回同じで、
　ある固定された (a1, a2, …, a100) が毎回100％の確率で (d1, d2, …, d100)＝(a1, a2, …, a100) と出力される。

・そして、その固定された (a1, a2, …, a100) の中で、ハズレの ai は高々1つしかなく、このハズレの ai 自体も固定。
　よって、スレ主は 99/100 以上の確率で当たりの aj を引いてしまい、よって「箱の中身を当ててしまう」。

・スレ主はこの現象を「それが成立するのは確率ゼロ」とほざいているが、それは意味不明。
　ある固定された (a1, a2, …, a100) に対して (d1, d2, …, d100)＝(a1, a2, …, a100) と出力される確率は100％であり、
　その毎回出力される (a1, a2, …, a100) の中でハズレの ai は高々1つで、その ai 自体も固定。
　よって、スレ主は 99/100 以上の確率で当たりの ai を引いてしまい、よって「箱の中身を当ててしまう」。
　このような現象を「それが成立するのは確率ゼロ」とは言わない。
300 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 10:55:32.60 ID:ldv25uGN.net]: ちなみに、「それが成立するのは確率ゼロ」とかいう主張のおかしさを別の観点から説明すると、次のようになる。

閉区間[0,1]の中からランダムに1つ実数を選んで x とする。
x＞1/2 ならスレ主の勝ちで、x≦1/2 ならスレ主の負けとする。
このとき、スレ主が勝つ確率は明らかに 1/2 である。ところが、スレ主の詭弁によると、次のようになる。

・もし x＝0.51 ならスレ主の勝ちだが、そもそも x＝0.51 が起こる確率はゼロである。
・もし x＝0.9 ならスレ主の勝ちだが、そもそも x＝0.9 が起こる確率はゼロである。
・同じように、a∈(1/2, 1] のとき、もし x＝a ならスレ主の勝ちだが、x＝a が起こる確率は a ごとに確率ゼロである。

・このように、スレ主が勝つような「x＝a」は、確かにその「x＝a」が発生しさえすればスレ主の勝ちなのだが、
　そもそも「x＝a」が発生する確率自体が a ごとに常に確率ゼロになっている。

・ゆえに、スレ主が勝つ確率は実際にはゼロである。勝率 1/2 なんて大嘘である。
　ここがパラドックスのタネである。そこが、代数と確率的思考との違いである。

これがスレ主のやっていること。スレ主は明らかに何かを盛大に勘違いしている。
301 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 11:22:25.44 ID:ldv25uGN.net]: 今回は出題する実数列が固定なので、>>282の「固定バージョン」でもスレ主のおかしさを説明できる。

閉区間[0,1]の中から実数を1つ選んで x とする(ランダムに選ぶとは言ってない)。
どんな x∈[0,1] を選んでもスレ主の勝ちとする。
そして、今回は毎回必ず x＝0.9 を出題することにする。また、そのことはスレ主も知っているとする。
よって、スレ主は100％勝利する。ところが、スレ主の詭弁によると、次のようになる。

[1] 毎回必ず x＝0.9 を出題すればスレ主が100％勝利するとは言うが、
　　その出題の仕方をランダムに変更した場合には、x＝0.9 が起こる確率はゼロになる。

[2] すなわち、「毎回必ず x＝0.9 を出題すればスレ主が100％勝利する」という事象が起きる確率は実際にはゼロである。

[3] よって、スレ主の勝率は実際には勝率ゼロである。すなわち、出題をランダムに変更した場合には勝率ゼロだし、
　　今回の設定である「毎回必ず x＝0.9 を出題すればスレ主が100％勝利する」についても、
　　「毎回必ず x＝0.9 を出題すればスレ主が100％勝利する」という事象が起きる確率自体がゼロなので、勝率ゼロである。

これがスレ主のやっていること。まず[2]の解釈の仕方がおかしい。出題が x＝0.9 に固定なら、
「毎回必ず x＝0.9 を出題すればスレ主が100％勝利する」という事象が起きる確率は 1 である。
だって、毎回必ず x＝0.9 を出題すると明言しており、そのことはスレ主も知っているという設定だから。
それなのに、スレ主は「実際には確率ゼロだ」と解釈している。ここがスレ主の間違い。
次におかしいのは[3]の部分で、「出題をランダムに変更した場合には勝率ゼロ」の部分がおかしい。
今回は、どんな x∈[0,1] を選んでもスレ主の勝ちなのだから、出題をランダムに変更したって勝率は100％である。
それなのに、スレ主は>>282と同じく、

・スレ主が勝つような「x＝a」は、確かにその「x＝a」が発生しさえすればスレ主の勝ちなのだが、
　そもそも「x＝a」が発生する確率自体が a ごとに常に確率ゼロになっている。

という解釈によって、「出題をランダムに変更した場合には勝率ゼロ」と間違った解釈をしている。
全体的に、スレ主の確率の解釈の仕方は問題外。
302 名前：１３２人目の素数さん [2022/09/18(日) 11:37:37.07 ID:3YOagFMY.net]: >>280-281
ありがとう
だが

1）ある特定の状況の話をされてもね
　我々が知りたいのは、
　・箱の数の出題は、任意
　・回答者は、ある一つの箱で、箱を開けずに中の数を当てられるか？
　とういう一般的な問いに対する数学的な答だ
2）その特殊な状況が、
　一般的な答えに繋がるならそう言ってくれ
　あるいは、反例を構成するならばね

以上
303 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 11:49:54.20 ID:ldv25uGN.net]: >>284
既に説明されてるでしょ。

スレ主は「時枝戦術の勝率はゼロだ」とほざいているが、実際の勝率がどうなっているのかは、
出題者が出題する実数列 (x1,x2,x3,…) のそれぞれに対して、今までと同様にして反復試行を行い、
時枝戦術によって統計を取ればよい。たとえば、出題者が (√2, √2, √2, …) を出題するのなら、

・毎回必ず (√2, √2, √2, …) を出題し、そのたびにスレ主は時枝戦術を使って統計を取る

という反復試行によってテストすればよい。既に説明したとおり、この場合は
「少なくとも 99/100 以上の確率で何らかの箱の中身を当てられる」ことになる。
趣向を変えて、出題者が (√3, √4, √5, √6, …) を出題するのなら、

・毎回必ず (√3, √4, √5, √6, …) を出題し、そのたびにスレ主は時枝戦術を使って統計を取る

という反復試行によってテストすればよい。すると、全く同じく
「少なくとも 99/100 以上の確率で何らかの箱の中身を当てられる」ことになる。
このように、出題者がどんな実数列 (x1,x2,x3,…) を出題しても、

・毎回必ず (x1,x2,x3,…) を出題し、そのたびにスレ主は時枝戦術を使って統計を取る

という反復試行によってテストすれば、全く同様に「少なくとも 99/100 以上の確率で箱の中身を当てられる」ことになる。

従って、時枝戦術を使い続けたスレ主は、「ほらね、時枝戦術では勝てないじゃん」とは宣言できず、
逆に「少なくとも 99/100 以上の確率で何らかの箱の中身を当てられる」ことを立証してしまう。
304 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 12:11:20.94 ID:ldv25uGN.net]: >>285のような反復試行を否定するのは、確率の概念を何も理解してないのと同じ。

・ここに100枚のコインC1, C2,…, C100 がある。どのコインも表と裏が1/2の確率で出ることになっている。
　本当にそうなのかを調べるために、
　「それぞれのコインに対して、コインを固定するごとに
305 名前：、何度もそのコインを投げてテストする」という反復試行によって統計を取る。 ・コインC1について調べるなら、毎回必ずコインC1を手に取り、そのたびにそのコインを投げてテストするという反復試行で統計を取る。 ・コインC20について調べるなら、毎回必ずコインC20を手に取り、そのたびにそのコインを投げてテストするという反復試行で統計を取る。 ・その結果、コインを固定するごとに、「そのコインだと表・裏が1/2ずつの確率で出る」ということが判明した。 確率とはこういうものだろう？では、時枝戦術の場合はどうか？ ・時枝戦術は高い勝率を誇る戦術であるらしい。出題者は、何を出題しても時枝戦術の前には無力であるらしい。 本当にそうなのかを調べるために、 「それぞれの出題に対して、出題を固定するごとに、何度もその出題に対して時枝戦術をテストする」という反復試行によって統計を取る。 ・ (√2, √2, √2, …) という出題について調べるのなら、毎回必ず (√2, √2, √2, …) を出題し、 そのたびにスレ主は時枝戦術をテストするという反復試行によって統計を取る。 ・ (√3, √4, √5, √6, …) という出題について調べるのなら、毎回必ず (√3, √4, √5, √6, …) を出題し、 そのたびにスレ主は時枝戦術をテストするという反復試行によって統計を取る。 ・その結果、出題を固定するごとに、「その出題だと時枝戦術で 99/100 以上の確率で何らかの箱の中身を当てられる」 ということが判明した。 コインの場合と文体まで揃えてやったので、これならスレ主でも理解できるだろ。 以上のことから、時枝戦術は勝てる戦術である。 []: [ここ壊れてます]
306 名前：１３２人目の素数さん [2022/09/18(日) 12:57:10.52 ID:/maedeNP.net]: >>278
>iid＝独立同分布は、確率論では普通に使う
時枝戦略で使っている根拠になってない。
実際下記引用から分かる通り時枝戦略の確率変数は列インデックスkである。
「さて， 1～100 のいずれかをランダムに選ぶ. 例えばkが選ばれたとせよ. s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない. 」

>例えば、時枝の箱の中に、サイコロの目を順番に入れる
>このとき、普通に、iid＝独立同分布として扱う
箱の中身を確率変数とする場合はな。
しかし時枝戦略はそうではない。

>これが、現代確率論のセンス
センスゼロのおまえが言ってもナンセンス。
307 名前：１３２人目の素数さん [2022/09/18(日) 13:11:01.17 ID:/maedeNP.net]: 世の中はおまえの願望通りにはなってない。
例えば時枝戦略はiidを使っていない。
おまえは6年間間違い続けたが、この事実を認めない限り一生間違い続ける。
一生馬鹿のままでいたいのか？
308 名前：１３２人目の素数さん [2022/09/18(日) 14:03:20.48 ID:3YOagFMY.net]: >>287-288
>>iid＝独立同分布は、確率論では普通に使う

発狂してんのか？ｗ

Sergiu Hart氏は、>>21で
(引用開始)
www.ma.huji.ac.il/hart/puzzle/choice.pdf?
Choice Games November 4, 2013
P2
Remark. When the number of boxes is finite Player 1 can guarantee a win
with probability 1 in game1, and with probability 9/10 in game2, by choosing
the xi independently and uniformly on [0, 1] and {0, 1,..., 9}, respectively.
Sergiu Hart氏は、ちゃんと”シャレ”が分かっている（関西人かもｗ）
Some nice puzzles Choice Games と、”おちゃらけ”であることを示している
かつ、”P2 Remark.”で当てられないと暗示している
また、”A similar result, but now without using the Axiom of Choice.GAME2”
で、選択公理なしで同じことが成り立つから、”選択公理”は、単なる目くらましってことも暗示している
(引用終り)
としている

iid＝独立同分布の
independentlyの方は良いよね
iid＝independent and identically distributed の identicallyの方は同一ってこと
それは、respectivelyと記されていることで、同じ意味になっているよ
309 名前：１３２人目の素数さん [2022/09/18(日) 14:10:09.47 ID:3YOagFMY.net]: >>285
ありがとう
でもな、時枝の手法は現実には実行できないよ
時枝は絵に描いた餅

>出題者が出題する実数列 (x1,x2,x3,…) のそれぞれに対して、今までと同様にして反復試行を行い、
>時枝戦術によって統計を取ればよい

繰り返すが、時枝の手法は絵に描いた餅で、実際には実行できない
やれるというならば、実際にやってみなよ

>・毎回必ず (√2, √2, √2, …) を出題し、そのたびにスレ主は時枝戦術を使って統計を取る

どんな統計なんだ？実行できないよね
特に、全ての実数の入る可算無限列を、そのしっぽの同値類で分類して、代表を決めるところ
やれるならば、その統計の最初の5回分を、ここに書いてみなよ
310 名前：１３２人目の素数さん [2022/09/18(日) 14:11:53.93 ID:/maedeNP.net]: >>289
When the number of boxes is finite
の時点で箱入り無数目ではないと分からんのか？発狂してんのか？
311 名前：１３２人目の素数さん [2022/09/18(日) 14:14:39.86 ID:/maedeNP.net]: >>290
>やれるというならば、実際にやってみなよ
おまえはπを無限桁書け�
312 名前：驍ﾌか？書けんやろ？ ではπは存在しないのか？ 馬鹿が []: [ここ壊れてます]
313 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 14:15:56.82 ID:ldv25uGN.net]: >>289
＞Sergiu Hart氏は、ちゃんと”シャレ”が分かっている（関西人かもｗ）

曲解である。

＞Some nice puzzles Choice Games と、”おちゃらけ”であることを示している

曲解である。

＞かつ、”P2 Remark.”で当てられないと暗示している

曲解である。

スレ主が引用したその記事は、時枝戦術が勝てる戦術であることを
定理として明確に述べている文書であって、時枝戦術について何ら反論していない。
もし反論したいなら、明確に「時枝戦術は間違っている」という文書を書く。
それをせずに、定理として「時枝戦術は勝てる」という趣旨の内容を述べている。
このことを曲解して

「この文書は時枝戦術を "皮肉っている" 文書であり、実は時枝戦術に反論しているのだ」

などと解釈するのは、学術記事の不適切な引用に当たる。
こんなことが許されるなら何でもアリになってしまう。

お前は学問を論じる資格がない。いい加減にしろ。
314 名前：１３２人目の素数さん [2022/09/18(日) 14:20:04.78 ID:/7z9fqVC.net]: >>290
＞時枝の手法は現実には実行できないよ
　列が有理数の桁数列なら現実に実行可能
　双曲平面の場合に、バナッハ・タルスキのパラドックスの具体的分割が可能なのと同じ
　選択公理を必要としないから

　馬鹿だねえｗｗｗ
315 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 14:21:28.96 ID:ldv25uGN.net]: >>290
ナンセンス。現実世界で実行しようとしても、まず可算無限個の箱を用意することが不可能。従って、

「現実世界で実行不可能」

という文言を反論として採用するのなら、スレ主は

「そもそも可算無限個の箱を用意するという設定の時点で現実世界では実行不可能なので、
　時枝記事はその内容の如何に関わらず、最初の1行目の時点で論じる価値がない」

と主張しなければならない。ちなみに、スレ主が大好きな「可算無限個の確率変数」は、
これもまた可算無限個の時点で、現実世界では実行できない。従って、スレ主は全く同様に

「通常の確率論であっても、それが可算無限個の確率変数を用いた確率論である場合には
　現実世界で実行不可能なので、もうその時点で論じる価値がない」

と主張しなければならない。時枝記事憎しで無理な反論を繰り返すから、こうやってスレ主は墓穴を掘るのである。
316 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 14:45:15.43 ID:ldv25uGN.net]: >>290
＞時枝は絵に描いた餅
＞繰り返すが、時枝の手法は絵に描いた餅で、実際には実行できない

同じことの繰り返しになるが、可算無限個の対象が必要な時点で、時枝の手法は現実世界では実行できない。
スレ主はこのことを「絵に描いた餅」と表現しているが、可算無限個の対象が出てくる数学的記述なんて
幾らでも存在する。スレ主によれば、そのような数学的対象は全て「絵に描いた餅」ということになってしまう。

いや、実際、現実世界では実行できないという点においては、どれも絵に描いた餅である。
しかし、数学の素晴らしいところは、無限を対象にした、本来なら絵に描いた餅に過ぎない絵空事が、
厳密な論理だけを追求することで、意味のある記述として、意味のある定理として、きちんと記述できるところにある。

従って、数学的内容が正しいかどうかを判断するには、「それが現実世界で実行可能であるか？」
というナンセンスな視点で論じるのではなく、「それが厳密な論理だけを追求することで意味のある定理として記述できるか？」
を確かめればよい。それが数学的な態度というものである。そして、厳密な論理だけを追求すると、
時枝戦術は正しい戦術であると分かる。すなわち、時枝戦術は勝てる戦術である。

ところが、スレ主はこのような数学的態度を放棄した。この時点で、スレ主は数学からリタイアしたことになる。
317 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 15:03:49.24 ID:ldv25uGN.net]: 具体的に書こう。計算機科学には「信託機械」という概念がある。信託機械とは、
チューリングマシンに神託(オラクル)と呼ばれるブラックボックスを付与した機械のこと指す。

このオラクルは、特定の問題を1ステップで決定可能である。よくあるオラクルとしては、
チューリングマシンの停止問題といった、決定不能な問題に対するオラクルが挙げられる。
そのようなオラクルを付与したチューリングマシンでは、チューリングマシンの停止問題が1ステップで解けてしまう。

もちろん、具体的にどうやって解いているのかは我々には分からない。なんたって、
チューリングマシンの停止問題は決定不能問題なのだから、具体的に分かるわけがない。
それでも、そのようなオラクルを付加したチューリングマシンでは、チューリングマシンの停止問題が
1ステップで解けてしまう。これはちょうど、選択公理を公理として採用するのと同じノリである。
318 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 15:05:51.87 ID:ldv25uGN.net]: このように、「具体的に分からない」ことと「実行不可能である」ことは意味が全然違う。
スレ主は両者�
319 名前：ｬ同している。スレ主は「具体的には分からない」＝「実行不可能だ」と思っている。 もしそうなら、上記の信託機械で実行可能であるはずの「チューリングマシンの停止問題が1ステップで解ける」 という能力が、スレ主によれば「本当は実行不可能である」ということになってしまう。ここがスレ主の間違い。 正しくは、 「上記の信託機械なら "本当に実行可能である" (ただし、具体的な動作原理は知る術がない) 」 ということ。スレ主は両者の違いを理解していない。だからナンセンスな批判ばかりになる。 計算機科学なんて、具体的に記述できてナンボの世界なのに、そんな世界でも、 まるで選択公理のような、オラクルという概念を振り回すことがあるのである。 []: [ここ壊れてます]
320 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 15:12:48.08 ID:ldv25uGN.net]: では、信託機械と同じノリで、スレ主の>>290の質問に回答しよう。

・可算無限個の対象をそのまま出力できる機械を想定する。
・その機械はさらに、選択公理で記述される選択関数を実際に出力可能であるとする。

このような能力を持った機械を想定する。この機械を使役することで、
我々は時枝戦術の全てを「本当に実行可能」になる。特に、

・全ての実数の入る可算無限列を、そのしっぽの同値類で分類して、完全代表系を決めることもできる

ことになる。芋づる式に、スレ主の懸念であった

＞・毎回必ず (√2, √2, √2, …) を出題し、そのたびにスレ主は時枝戦術を使って統計を取る

このような統計までもが「本当に実行可能」になる。
しかし、どうやってそのような芸当をプログラミングしたのか、
そのソースコードに当たる「動作原理」の部分は、我々には分からない。
しかし、その部分は知る必要がない。ただ単に実行可能でありさえすればよい。
321 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 15:16:49.67 ID:ldv25uGN.net]: さて、今の場合、毎回必ず (√2, √2, √2, …) を出題するのだから、決定番号の方も、
ある固定された (a1, a2, …, a100) が毎回100％の確率で (d1, d2, …, d100)＝(a1, a2, …, a100) と出力される。

この (a1, a2, …, a100) が具体的に何なのかは、我々には知る術がない。しかし、知る必要はない。
なぜなら、何らかの (a1, a2, …, a100) が「実際に出力されている」ことに変わりはないからだ。
そして、一番大切なのは

「毎回100％の確率で同じ　(a1, a2, …, a100) が出力されている」

という論理的な性質である、この性質がありさえすればよい。
すると、a1,a2,…,a100 の中で、箱の中身の推測に失敗する ai は高々1個で、しかもその ai 自体が固定である。
すなわち、

・毎回毎回、固定された a1～a100 があって、その中で高々1個の固定された ai のみがハズレ

という状況になる。この状況下で統計を取れば、明らかに、99/100 以上の確率で当たりを引くことになる。
従って、件の反復試行によって統計を取ると、その統計は上記の機械のもとで「本当に実行可能」であり、
しかも、その統計結果は

「スレ主が 99/100 以上の確率で何らかの箱の中身を当ててしまう」

という結果になる。スレ主の反論は、これにて全て封じた。
322 名前：１３２人目の素数さん [2022/09/18(日) 16:50:04.07 ID:/7z9fqVC.net]: 中卒🐎🦌がいうように当たる確率０、つまり「必ず外す」のであれば、
100列のうち、かならず決定番号が最大値の列を選ぶ、ということになる
これは実にオカルトだｗ

そしてもし100人の予言者がみな違う列を選んだ場合
中卒🐎🦌の云う通りなら、皆確率０、つまり「必ず外す」筈だが、それはあり得ない
なぜなら、他より決定番号が大きい列はたかだか１つだからｗ

つまり、100人の予言者の的中確率が「皆同じ」とはいえないが、
1人の確率が０なら、他の99人の確率は１にならざるを得ない
323 名前：１３２人目の素数さん [2022/09/18(日) 16:57:07.05 ID:/7z9fqVC.net]: 箱の中身を確率変数として
100人予言者がそれぞれ必ず自分の番号の列しか選ばないとする。
その場合、非可測性により
100人の予言者の的中確率が「皆同じ99/100」
という結論を導く術がない

しかし、いっぽう外す人はたかだか１人なのだから
100人の予言者の的中確率の合計は少なくとも99である
このことは否定しようがない

つまり、100列目が必ず決定番号最大になる、というなら、
100番目の予言者の的中確率は０だが、
そのおかげで1番目から99番目の予言者の的中確率は１となる！
324 名前：１３２人目の素数さん [2022/09/18(日) 18:40:25.62 ID:3YOagFMY.net]: >>300
>さて、今の場合、毎回必ず (√2, √2, √2, …) を出題するのだから、決定番号の方も、
>ある固定された (a1, a2, …, a100) が毎回100％の確率で (d1, d2, …, d100)＝(a1, a2, …, a100) と出力される。

かならずしも、そうはならん
無限列 (√2, √2, √2, …) の成すしっぽの同値類は、無限にあるよ
無限にあるどの列を代表に選ぶかは、任意
そして、決定番号は、選んだ列に依存するから、一意には決まらない

例えば、代表を(a1,・・an.√2, √2, √2, …) とすると
但し、ai≠ √2 1<=i<=n とすると
n+1以降は、双方√2で一致するが

1～nまでは異なる
よって、決定番号はn+1だ
nは任意で、全ての自然数が可能
325 名前：１３２人目の素数さん [2022/09/18(日) 18:47:45.46 ID:3YOagFMY.net]: >>291
>When the number of boxes is finite
>の時点で箱入り無数目ではないと分からんのか？発狂してんのか？

Sergiu Hart氏のシャレが
分かってないなｗ

1個の箱で、成り立つ
n個の箱で、成り立つ
n+1個の箱で、成り立つ
数学的帰納法により、全ての自然数で成り立つ

時枝記事では
https://rio2016.5ch.net/test/read.cgi/math/1620904362/402
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^N
(引用終り)
となっている

数学的帰納法を考えれば、
Sergiu Hart氏の主張は
時枝記事を含む
326 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 19:00:57.98 ID:ldv25uGN.net]: >>303
＞かならずしも、そうはならん
＞無限列 (√2, √2, √2, …) の成すしっぽの同値類は、無限にあるよ
＞無限にあるどの列を代表に選ぶかは、任意
＞そして、決定番号は、選んだ列に依存するから、一意には決まらない

その解釈は間違っている。簡単に言えば、スレ主は結局、
完全代表系や決定番号のことを全く理解していないということ。お話にならない。
327 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 19:02:25.67 ID:ldv25uGN.net]: 一般に、2つの実数列 x＝(x_1,x_2,x_3,…)∈R^N と y＝(y_1,y_2,y_3,…)∈R^N に対して、

x ～ y ⇔ ∃n_0≧1, ∀n≧n_0 s.t. x_n＝y_n

として二項関係～を定義すると、この～は同値関係になるのだった。そこで、x∈R^N に対して、

C(x)：＝{ y∈R^N｜x～y }

と定義する。この集合 C(x) のことを、x に関する同値類と呼ぶのだった。
次に、～に関する完全代表系を1つ取って T と置く。T の存在性は選択公理のもとで正常に保障される。
ただし、そのような T は1つではなく、無数にある。そこで、時枝記事では、
「完全代表系 T を1つ固定する」と明言している。大事なのは、

「 "T" そのものが回答者によって毎回ランダムに確率的に選ばれるのではない」

ということ。T そのものは、確率的な操作とは全く関係なく、選択公理によって排出された1つの T に決め打ちして
完全に固定してしまうということ。そして、これ以降は、その固定された T のみを使用するということ。
328 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 19:06:09.06 ID:ldv25uGN.net]: さて、T が1つ固定されたならば、各 x∈ R^N に対して、x～t を満たす t∈T がただ1つ取れる。
「そのような t がただ1つ取れる」という性質こそが完全代表系たるゆえんなのだから、
そのような t がただ1つ取れる。そして、x～t により

∃n_0≧1, ∀n≧n_0 s.t. x_n＝t_n

が成り立つわけだが、そのような n_0≧1 には最小値が存在する。そこで、その最小値のことを d(x) と定義する。
こうして d：R^N → N が定義される(決定番号の定義)。このとき、次が成り立っている。

・各 x∈R^N ごとに、d(x) は正整数である。

・ d(x) は x と t に依存して決まるが、x ごとに t∈T は一意的に決まっており、
　しかも T そのものが固定されているのだから、結局、d(x) は x だけに依存し、
　 x ごとに一意的な d(x) の値が決まる。

・というより、ここが一意的に決まらないなら、写像 d：R^N → N は実際には写像ではなく「多価写像」
　のようになってしまい、決定番号という概念が well-defined でなくなってしまう。

ともかく、こうして d(x) は x ごとに一意的に決まる。
329 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 19:07:35.19 ID:ldv25uGN.net]: 以上の準備のもとで、スレ主の間違いを具体的に指摘する。

＞かならずしも、そうはならん
＞無限列 (√2, √2, √2, …) の成すしっぽの同値類は、無限にあるよ

まず、ここが間違っている。x＝(√2, √2, √2, …)∈R^N に対する同値類は C(x) という単一の集合なのであって、
この C(x) という単一の集合は「1つ」しかない。つまり、「同値類は無限にある」とかほざいているスレ主は、
この時点で既に間違っている。ただし、スレ主が何を勘違いしているのかは容易に分かる。
C(x) は集合としては「1つ」であるが、C(x) の元の個数は無限である。従って、

「 x～y を満たす y は無限に存在する」

とは表現できる。しかし、このことを「同値類は無限にある」とは言わない。

「 x と同値な実数列は無限にある」

と表現するなら正しいけどね。
330 名前：１３２人目の素数さん [2022/09/18(日) 19:14:08.90 ID:/maedeNP.net]: >>303
>よって、決定番号はn+1だ
>nは任意で、全ての自然数が可能
何の反論にもなってなくて草。
100列の決定番号はどれもn+1でどれも単独最大でないからどの列もアタリ。よって勝率1。
331 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 19:14:49.75 ID:ldv25uGN.net]: で、スレ主は

「 x と同値な実数列 y は無限にあるので、どのような y を採用するかによって、決定番号 d(x) の値も変わってしまう」

と勘違いしている。残念ながら、d(x) を定義するときに採すべき y は

「完全代表系の中から取り出した唯一の t を必ず採用しましょう」

と一意的に決められている(>>307)ので、y の取り方に自由度など存在し得ない。
明示的に書けば、x～t なる t∈T がただ1つ存在するわけで、その t に対して

y ＝ t

という唯一の y しか採用できないのである。スレ主はそこで y を動かしたがるが、y は動かせないのである(>>307)。
というわけで、

「毎回必ず (√2, √2, √2, …) を出題したとしても、出力される決定番号 (a1, a2, …, a100) は毎回同じとは限らない」

などとほざいているスレ主は間違っている。
毎回必ず (√2, √2, √2, …) を出題したならば、決定番号の方も、
ある固定された (a1, a2, …, a100) が毎回100％の確率で
(d1, d2, …, d100)＝(a1, a2, …, a100) と出力されるのである。
332 名前：１３２人目の素数さん [2022/09/18(日) 19:17:26.35 ID:/maedeNP.net]: >>304
>数学的帰納法により、全ての自然数で成り立つ
任意の自然数長の有限列で成り立つ
から
無限列で成り立つ
は言えないｗ

頭悪すぎて草
333 名前：１３２人目の素数さん [2022/09/18(日) 19:23:02.75 ID:/maedeNP.net]: 実際、任意長の有限列には最後の項が存在するが、無限列には存在しない
はい、反例ｗ
334 名前：１３２人目の素数さん [[ここ壊れてます] .net]: 反例が存在する以上
>数学的帰納法を考えれば、
>Sergiu Hart氏の主張は
>時枝記事を含む
は大間違い
数学的帰納法もまともに使えないとか高校生に負けるレベル
まあ中卒だから当然かｗ
335 名前：１３２人目の素数さん [[ここ壊れてます] .net]: 大卒　数学的帰納法を証明できる
高卒　数学的帰納法を正しく使える
中卒　馬鹿
336 名前：１３２人目の素数さん [[ここ壊れてます] .net]: >>311
>>数学的帰納法により、全ての自然数で成り立つ
>任意の自然数長の有限列で成り立つ
>から
>無限列で成り立つ
>は言えないｗ

1．数学的帰納法により、>>304（つまりは>>289のSergiu Hart氏主張が）全ての自然数n∈Nで成り立つ
2．時枝でも、数列 s = (s1，s2，s3 ，・・・)∈R^N >>304 と書かれている
3．よって、上記1項が成り立てば、s1，s2，s3 ，・・・ i∈Nの全ての自然数iについて、>>289のSergiu Hart氏主張が成り立つ
QEDｗｗｗ
337 名前：１３２人目の素数さん [2022/09/18(日) 20:36:57.21 ID:3YOagFMY.net]: やれやれ

>>306
>そこで、時枝記事では、
>「完全代表系 T を1つ固定する」と明言している。

時枝記事では、”明言している”に該当する記述ないよ
いま、手元に時枝記事のPDFがある
もし、明言しているというならば、何ページの何行目だ？
無いよ、それ

>選択公理によって排出された1つの T に決め打ちして
>完全に固定してしまうということ。

意味わからん
”あんた、選択公理を完全に誤解している”と思うよ

これを、読め
https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86 選択公理

>>307
>さて、T が1つ固定されたならば、各 x∈ R^N に対して、x～t を満たす t∈T がただ1つ取れる。

だから、その固定とかやって、なんで確率になるんだ？
例えば、その固定で決定番号3としよう。決定番号3以外だと、どうなるの？

>「そのような t がただ1つ取れる」という性質こそが完全代表系たるゆえんなのだから、

違うだろ
完全代表系の「1つ取れる」と、あんたの固定とは意味が違うよ

これを、読め
hooktail.sub.jp/algebra/FactorSet/ 完全代表系と商集合物理のかぎしっぽ
338 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 20:46:24.28 ID:ldv25uGN.net]: >>316
確認してみたが、確かに明言はしてないな。しかし、実際には固定してるね。だって、

＞幾何的には商射影 R^N→ R^N/～の切断を選んだことになる.

と書いてるからね。この場合の「商射影の切断」は無限に存在するわけで、
その中から「1つの切断を選んだ」ということ。そして、

「後から別の切断に取り換える場合もある」

なんてことはどこにも書かれてない。実際、別の切断に取り換えた場面は時枝記事の中に存在しない。

従って、完全代表系 T は、明言はされてないものの、実際には固定されている。
そもそも、T を後から変更してしまったら、d(x) は x に関して一価の関数ではなくなってしまうわけで、
そのことからも、T は固定しているとしか解釈のしようがない。
339 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 20:50:09.10 ID:ldv25uGN.net]: >>316
＞だから、その固定とかやって、なんで確率になるんだ？
＞例えば、その固定で決定番号3としよう。決定番号3以外だと、どうなるの？

質問が抽象的すぎて意味不明だが、こちらで勝手に質問内容を補完して回答すると、次のようになる。

毎回必ず (√2, √2, √2, …) を出題したとする。このとき、出力される決定番号
(d1, d2, …, d100)＝(a1, a2, …, a100) は毎回同じである。ここでスレ主は
「その固定で決定番号3としよう。決定番号3以外だと、どうなるの？」と質問している。
たとえば、(d1, d2, …, d100) の中で d1＝3 だったとしよう。すると、スレ主の質問とは
「この設定下での d1 が 3 以外だと、どうなるの？」という意味になる。しかし、この質問は意味を成さない。

なぜなら、毎回必ず (√2, √2, √2, …) を出題しているので、出力される決定番号 (d1, d2, …, d100) も
毎回固定であり、そこでスレ主は「d1＝3だったとしよう」と追加の仮定を置いているのだから、
その場合、毎回必ず d1＝3 が出力されるだけであって、　

「この設定下での d1 が 3 以外だと、どうなるの？」

という問いは意味を成さない。「その設定下だと、毎回必ず d1＝3 が出力されますね」としか言いようがない。
340 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 20:51:14.41 ID:ldv25uGN.net]: ちなみに、なぜこれで「確率」が出てくるのかというと、回答者であるスレ主が行う確率的操作は

・ d1,d2,…,d100 の中からランダムに1つ dk を選んで、この dk をもとにして何らかの箱の中身を推測すること

であるから。

d1,d2,…,d100 という100個セットが毎回固定であっても、
その100個セットの中から1つの dk を「毎回ランダムに選ぶ」のだから、
ちゃんと確率が出てくるでしょ。

結局、スレ主は時枝記事を1ミリも理解していないｗ
341 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 20:58:13.34 ID:ldv25uGN.net]: >>316
＞>「そのような t がただ1つ取れる」という性質こそが完全代表系たるゆえんなのだから、
＞
＞違うだろ
＞完全代表系の「1つ取れる」と、あんたの固定とは意味が違うよ

同じだよｗ意味が違うと思うのなら、それはスレ主が誤読しているだけ。

具体的に書こう。こちらが言うところの「完全代表系 T を1つ固定する」とは、次のような意味である。

・無数に存在する完全代表系のうち、1つの T を取り出して、これを特別に T_0 と名付けて、
　これ以降は、この T_0 のみを使用することにして、
　この T_0 を他の完全代表系 T に後から差し替えることは絶対にしない。

こういうことね。時枝記事では、実際に「T_0」を後から別の T に差し替えることをしていない。
342 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 21:04:41.12 ID:ldv25uGN.net]: 次に、「そのような t がただ1つ取れる」とは、次の2条件がともに成り立つことを指す。

(1) ∀x∈R^N, ∃t∈T_0 s.t. x～t.
(2) ∀x∈R^N, ∀t_1,t_2∈T_0 s.t. [ [ x～t_1 かつ x～t_2 ] ⇒ t_1＝t_2 ].

この(1),(2)は、T_0 が完全代表系であることの定義をそのまま書き下しただけ。そして、この(1),(2)により、

「 x と同値な実数列 y は無限にあるので、どのような y を採用するかによって、決定番号 d(x) の値も変わってしまう」

というスレ主の反論は却下される。なぜなら、d(x) の定義により、ここで採用すべき y は

{ t∈T｜x～t }

という集合の中から選ばなければならない。もしこの集合が2元以上含んでいたとすると、
その中から異なる2元 t_1, t_2 ∈{ t∈T｜x～t } を取り出せば、
y＝t_1 を採用してもいいし、y＝t_2 を採用してもいいことになる。
すると、確かにスレ主の言うとおり、d(x) の値は y ごとに変わってしまう。

ところが実際には、上記の(1),(2)によって、{ t∈T｜x～t } は「 1元集合」になるので、
この集合から異なる複数のtを取り出すことはできず、従って、y には自由度がない。
よって、d(x) は一価関数となる。すなわち、スレ主が危惧するような「d(x)の値も変わってしまう」
という事態は起こらない。
343 名前：１３２人目の素数さん [2022/09/18(日) 21:07:40.77 ID:/maedeNP.net]: >>315
反例まで教えてやったのにまだ言ってて草
こんな頭悪い奴も珍しいわｗ
数学？その頭の悪さでは到底無理ですｗ
344 名前：１３２人目の素数さん [2022/09/18(日) 21:13:38.18 ID:/maedeNP.net]: >>315
>1．数学的帰納法により、>>304（つまりは>>289のSergiu Hart氏主張が）全ての自然数n∈Nで成り立つ
>2．時枝でも、数列 s = (s1，s2，s3 ，・・・)∈R^N >>304 と書かれている
数列 s = (s1，s2，s3 ，・・・)の項数は？
345 名前：１３２人目の素数さん [2022/09/18(日) 21:18:58.51 ID:/maedeNP.net]: >>316
>>そこで、時枝記事では、
>>「完全代表系 T を1つ固定する」と明言している。
>時枝記事では、”明言している”に該当する記述ないよ
>いま、手元に時枝記事のPDFがある
>もし、明言しているというならば、何ページの何行目だ？
「幾何的には商射影 R^N→ R^N/～の切断を選んだことになる. 任意の実数列S に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ. 」

おまえガチで分からんの？
無理
おまえに数学は無理
346 名前：１３２人目の素数さん [2022/09/18(日) 21:24:25.04 ID:/maedeNP.net]: >>316
>”あんた、選択公理を完全に誤解している”と思うよ
何の誤解も無い。
選択公理は選択関数の存在を保証している。
箱入り無数目は選択公理を認める前提だから、回答者には選択関数を使う権利がある。
そして実際時枝戦略ではそうしている。
「幾何的には商射影 R^N→ R^N/～の切断を選んだことになる. 任意の実数列S に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ. 」

>意味わからん
おまえが馬鹿なだけ
347 名前：１３２人目の素数さん [2022/09/18(日) 21:29:55.97 ID:/maedeNP.net]: >>316
>だから、その固定とかやって、なんで確率になるんだ？
100列のいずれかをランダムに選ぶから。
「さて， 1～100 のいずれかをランダムに選ぶ. 例えばkが選ばれたとせよ. s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない. 」

おまえ何一つ分かってないな。マジ諦めろ。
348 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 21:40:30.84 ID:ldv25uGN.net]: >>326
個人的には、その部分が一番、スレ主の勘違いを端的に表現していると思う。

「毎回同じ100個の決定番号のセットが出力されるのであれば、もはや確率的な事象なんて登場しないじゃないか」

・・・と、スレ主はそのように勘違いしている。
実際には、>>319
349 名前：でも>>326でも指摘されているように、 「その100個セットの中からランダムに1つ選ぶ」 という操作こそが、回答者であるスレ主が行う確率的操作になっている。 そして、100個の中でハズレは高々1つで、どれがハズレなのかも毎回同じ。 そこまで毎回同じであっても、スレ主はその中からランダムに1つ選ぶのだから、 きちんと確率的事象が出てくる。 なぜここまでスレ主が時枝記事のことを全く理解してないのかが意味不明。 「馬鹿だから」の一言で片づけるのさえも憚られるくらいに意味不明。 []: [ここ壊れてます]
350 名前：１３２人目の素数さん [2022/09/18(日) 21:40:35.56 ID:/maedeNP.net]: >>316
>完全代表系の「1つ取れる」と、あんたの固定とは意味が違うよ
完全代表系を一つ固定できて、それにより任意の実数列に対し代表列が一つ定まる。

おまえは一体何に言いがかりつけているのか？
351 名前：１３２人目の素数さん [2022/09/18(日) 21:49:47.30 ID:/maedeNP.net]: >>317
>そのことからも、T は固定しているとしか解釈のしようがない。
問い「勝つ戦略はあるでしょうか?」は、勝つ戦略を一つでも示せれば肯定的に解決する。
Tを固定すれば勝つ戦略になるからそれで十分。
352 名前：１３２人目の素数さん [2022/09/18(日) 22:01:47.85 ID:/maedeNP.net]: >>327
>なぜここまでスレ主が時枝記事のことを全く理解してないのかが意味不明。
記事に対して中卒馬鹿は
「当たりっこないという直感をぶちまける」という行為に終始し
「記事を読んで理解する」という行為を一切行っていないから
353 名前：１３２人目の素数さん [2022/09/18(日) 22:11:01.98 ID:/maedeNP.net]: この6年間で中卒馬鹿は
当たりっこないという直感を抱く理由の説明しかしてこなかった。
記事のどの部分がどう間違っているか示したことは一度も無い。
記事を読んでいない証拠。まあ読もうにも理解できず読めないというのが実態だろう。
354 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 23:52:53.68 ID:ldv25uGN.net]: スレ主の指摘のうち、いくつかは「意味が分かった」ので、一応ここに書いておく。まず、

＞選択公理によって排出された1つの T に決め打ちして

という表現については、

「選択公理を上手く応用することで、完全代表系 T を1つ得ることが出来るので、そのような T を1つ決め打ちして」

という意味である。より誤解のない表現にすれば、

「とにかく完全代表系 T が取れることは確実なので、そのような T を1つ取って T_0 と名づけて、
　これ以降はこの T_0 のみを使用することにして、この T_0 を他の完全代表系 T に後から差し替えることはしない」

ということ。ところがスレ主は、

「選択公理によって1つの "選択関数" T が得られるので、この T に決め打ちして」

という意味(あるいはそれに類する意味不明な文章)だと読んでしまったらしい。
確かに、そのような意味不明な文章に読めなくもない。だが、無粋である。なぜそんな意味だと解釈してしまったのか。

まあ、こちらの表現の仕方も良くなかったので反省。
355 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 23:57:10.73 ID:ldv25uGN.net]: 次に、

＞さて、T が1つ固定ｂｳれたならば、滑e x∈ R^N に対して、x～t を満たす t∈T がただ1つ取れる。

という表現について。まず、T 自体が

(1) ∀x∈R^N, ∃t∈T s.t. x～t.
(2) ∀x∈R^N, ∀t_1,t_2∈T s.t. [ [ x～t_1 かつ x～t_2 ] ⇒ t_1＝t_2 ].

という性質を満たすので、この意味において、各 x∈ R^N に対して、x～t を満たす t∈T がただ1つ取れる。
しかし、T そのものを別の T' に差し替えてしまえば、一般には t とは別の t'∈T' であって、
しかし T' に関してはただ1つの t' に対して、x～t' が成り立つことになる。
従って、t は x だけで1つに決まるわけではなく、x と T ごとに1つに決まる。
この状況下で「 x だけで t が決まる」と主張するためには、T の方も固定している必要がある。
ここでの「Tの方も固定」とは、

「最後までずっと同じ T を使い続けることにする。この T を後から別の T' に差し替えることはしない」

という意味である。このような前提を踏まえて

＞さて、T が1つ固定されたならば、各 x∈ R^N に対して、x～t を満たす t∈T がただ1つ取れる。

という表現になっている。まあ、これも表現が良くなかった気はする。
356 名前：１３２人目の素数さん [[ここ壊れてます] .net]: >>326-327
なんだ、落ちこぼれ同士でつるんだか？ｗ

>>326
>100列のいずれかをランダムに選ぶから。

　>>326氏は、Sergiu Hart氏のシャレが分かってないなｗ>>304
　Sergiu Hart氏は種明かししているよ>>289
　iid＝独立同分布を仮定したら
　ちゃんと、普通の確率論通りの結論だってねｗ
　”finite”と書いてあるのは、単なる”ぼかし”（要するに、ほのめかしとも言い換えられる）
　任意の有限で成り立てば、可算無限でも成立だ
　”同分布”は良いだろう、有限も無限も同じだ

(参考)
www.math.kobe-u.ac.jp/HOME/higuchi/h18kogi/h18prob1.html
確率論I 対象学部・学年：理学部数学科 3年　神戸大樋口 �
357 名前：ﾛ成 http://www.math.kobe-u.ac.jp/HOME/higuchi/h18kogi/prob1-9.pdf 確率論　I 第９回講義ノート 2006.12.08 P2 無限個の事象族 Aλ ∈ F, λ ∈ Λ が独立であるとは， この任意の有限部分族 Aλ1, . . . , Aλn が独立なときに言う． >>327 >「毎回同じ100個の決定番号のセットが出力されるのであれば、もはや確率的な事象なんて登場しないじゃないか」 まあ、例えて言えば、 マージャンで積み込みして、毎回役満で上がるみたいな 配牌を固定してさｗ そりゃ、役満で上がれるさ でも、それはもう確率じゃないよねｗ []: [ここ壊れてます]
358 名前：１３２人目の素数さん mailto:sage [2022/09/19(月) 13:46:00.79 ID:k+EEBfQ5.net]: >>334
＞まあ、例えて言えば、
＞マージャンで積み込みして、毎回役満で上がるみたいな
＞配牌を固定してさｗ
＞そりゃ、役満で上がれるさ
＞でも、それはもう確率じゃないよねｗ

そうでしょ？ほぼ確実に役満で上がれるでしょ？
そのような芸当が可能になっているのが時枝戦術なんだよ。
スレ主はついに、時枝戦術が勝てる戦術であることを認めてしまったわけだ。
これだと都合が悪いスレ主は、見苦しい言い訳として「それはもう確率ではない」と皮肉めいた発言をしている。

しかし、これはれっきとした確率である。なぜかって？配牌が固定であっても、
回答者であるスレ主は、その配牌の中からランダムに1つ選ぶからだよ。

「ランダムに1つ選ぶ」

という行為が確率的行為だと見なされないなんて、そんなのおかしいよね。
だから、これはれっきとした確率だよ。
359 名前：１３２人目の素数さん mailto:sage [2022/09/19(月) 13:48:03.25 ID:k+EEBfQ5.net]: ちなみに、スレ主が本当は何について皮肉を言いたいのかは、何となく察しがつく。
「ランダムに1つ選ぶ」という行為はれっきとした確率的行為なのであるが、
まずその前に、スレ主は「配牌が固定」という前提が許せないのだろう。

・配牌が固定なら、「その中からランダムに1つ選ぶ」という確率的行為をしてみたって、
　確かにその行為自体は確率的行為になっているが、
　まずその前に「配牌が固定」という前提自体が確率じゃないだろ

…と、スレ主はこのような不満を本当は言いたいのであろう。
360 名前：１３２人目の素数さん mailto:sage [2022/09/19(月) 13:52:50.26 ID:k+EEBfQ5.net]: しかし、スレ主のこのような不満はナンセンスである。
配牌が固定されている理由は、>>286で既に説明しているからだ。
我々は時枝戦術について統計を取っているのである。統計を取るとは、

・全く同じ初期設定のもとで何度も確率的試行を繰り返すという反復試行

のことを意味する。だから配牌が固定されるのである。>>286のコイントスの場合だと、

「コインCkについて調べるなら、毎回必ずコインCkを手に取り、そのたびにそのコインを投げてテストするという反復試行で統計を取る」

のであるから、毎回必ず「コインCk」という配牌に固定されて、その上で反復試行が行われる。
361 名前：１３２人目の素数さん mailto:sage [2022/09/19(月) 13:53:52.99 ID:k+EEBfQ5.net]: そして、本題の時枝戦術の場合だと、これも>>286の繰り返しだが、

・時枝戦術は高い勝率を誇る戦術であるらしい。出題者は、何を出題しても時枝戦術の前には無力であるらしい。
　本当にそうなのかを調べるために、
　「それぞれの出題に対して、出題を固定するごとに、何度もその出題に対して時枝戦術をテストする」という反復試行によって統計を取る。

ということになる。そして、出題が固定なら、出力される100個の決定番号も固定である。
この「100個の決定番号」が「配牌」に相当するので、以上により、配牌が固定されるのである。
362 名前：１３２人目の素数さん mailto:sage [2022/09/19(月) 13:57:37.10 ID:k+EEBfQ5.net]: そして、スレ主はこの「配牌が固定」が許せないわけである。

・配牌が固定なら、「その中からランダムに1つ選ぶ」という確率的行為をしてみたって、
　確かにその行為自体は確率的行為だが、まずその前に「配牌が固定」という前提が確率じゃないだろ

と、スレ主はこのように言いたいわけである。ところが、配牌が固定なのは
反復試行による統計が理由なのであるから、スレ主は結局のところ、

・全く同じ初期設定のもとで何度も確率的試行を繰り返すという反復試行

が許せないということになる。より詳しく書けば、

・全く同じ初期設定(＝配牌が固定)のもとで何度も確率的試行(＝ランダムに1つ牌を選ぶ)を繰り返すという反復試行

が許せないということ。ご覧のとおり、これでは
「反復試行による統計」という行為を完全否定していることになる。

そう、スレ主は「反復試行による統計」について「そんなの確率ではない」と言っているのである。めちゃくちゃだね。
363 名前：１３２人目の素数さん mailto:sage [2022/09/19(月) 14:32:02.21 ID:k+EEBfQ5.net]: ついでに指摘しておくけど、もし時枝戦術の勝率がゼロなのであれば、
配牌が固定であるか可変であるかに関わらず、

「その配牌の中に、当たりの牌は1つもない」

はずなんだよ。なぜなら、当たりの牌が1つあっただけでも、
回答者であるスレ主の勝率は 1/100 以上になってしまい、「勝率ゼロ」に矛盾するからだ
364 名前：１３２人目の素数さん mailto:sage [2022/09/19(月) 14:35:19.59 ID:k+EEBfQ5.net]: で、もし当たりの牌が1つも無いならば、

「どのみち当たりの牌が1つもないのだから、配牌を固定してみたところで無意味であり、
　その固定された配牌の中からランダムに1つ選ぶという確率的行為をしてみても、毎回ハズレである」

と反論できる。従って、スレ主が本当に
365 名前：不満に思うべきなのは、 「100個の牌(＝100個の決定番号)の中で、ハズレの牌が高々1つしかないのはなぜなのか？ むしろ、全部ハズレなのが正しい姿なのでは？」 ということ。少なくとも、「配牌が固定」を不満に思うのはナンセンス(>>336-339)。 []: [ここ壊れてます]
366 名前：１３２人目の素数さん mailto:sage [2022/09/19(月) 14:38:58.36 ID:k+EEBfQ5.net]: そして、100個の牌の中でハズレの牌が高々1つしかない理由は、時枝戦術の中で明確に説明されている。
スレ主もこの部分は納得せざるを得ないので、スレ主はこの部分については反論できない。
そして、この部分に反論できないなら、時枝戦術が勝てる戦術であることを認めてしまったことになる。

つまり、スレ主は時枝戦術に絶対に反論できない。

これは当たり前の話で、時枝戦術は最初からずっと正しい戦術なのであって、
ずっと間違い続けているのはスレ主の方なんだから。
367 名前：１３２人目の素数さん [2022/09/19(月) 14:49:31.09 ID:aLiBZfCJ.net]: >>335
>＞マージャンで積み込みして、毎回役満で上がるみたいな
>＞配牌を固定してさｗ
>＞そりゃ、役満で上がれるさ
>
>そうでしょ？ほぼ確実に役満で上がれるでしょ？
>そのような芸当が可能になっているのが時枝戦術なんだよ。

そう
だから、時枝戦術はイカサマ戦術

つまり、「役満で上がる配牌」を前提にして、例えば確率99/100で勝てると主張する
でも、これって、条件つき確率みたいなものでしょ？

「確実に役満で上がれる配牌」になる確率が、εとすれば
全体の確率P＝ε・(99/100)となる
εが小さくて、ε＝0.03なら
全体としては、P＝0.03だろｗ

ところが、イカサマで配牌いじって ε＝1にしたら
そりゃ、大三元で上がれるよｗｗｗ

(参考)
https://mjclv.com/yaku/syutugenn.html
麻雀％
麻雀役の確率(出現率の一覧)

役満(13飜)　出現率[%]
大三元　0.03
国士無双　0.03
368 名前：１３２人目の素数さん mailto:sage [2022/09/19(月) 15:05:04.04 ID:k+EEBfQ5.net]: >>343
＞つまり、「役満で上がる配牌」を前提にして、例えば確率99/100で勝てると主張する
＞でも、これって、条件つき確率みたいなものでしょ？

分かってないね。

・「役満で上がる配牌」が "なぜか必ず生成されてしまう"

ことが時枝戦術の肝の部分でしょｗ

・役満で上がる配牌を人工的に無理やり仮定した上で、高い勝率が得られると吹聴している

わけではないでしょ。スレ主はこの2つを混同しているね。
369 名前：１３２人目の素数さん mailto:sage [2022/09/19(月) 15:09:39.92 ID:k+EEBfQ5.net]: 今までのプロセスをよく見直してごらん。
イカサマ師が勝手に配牌の中身に介入できるような場面は存在してないよ。

・我々は統計を取りたいので、まず出題者の出題を固定した。

・すると、出力される配牌(＝100個の決定番号)も固定される。

・ここで出力された配牌は、イカサマ師が人工的に「高確率で勝てる配牌にすり替えた」わけではない。

・ここで出力された配牌は、時枝戦術に沿って "自動的に生成された配牌" である。

・すなわち、イカサマ師が勝手に配牌をすり替えるようなプロセスは存在していない。

・それにも関わらず、この "自動的に生成された配牌" は、最初から「高確率で勝てる配牌」になっている。

・すなわち、イカサマ師が介入するまでもなく、この "自動的に生成された配牌" は、
　どういうわけか最初から「高確率で勝てる配牌」になっている。

ここが時枝戦術の不思議さでしょ。イカサマ師が何の介入もしてないのに、
そこで自動的に生成された配牌は「高確率で勝てる配牌になっている」わけよ。

これはつまり、「時枝戦術は勝てる戦術である」ということでしょ。
370 名前：１３２人目の素数さん [2022/09/19(月) 15:15:48.01 ID:J1DiIgEy.net]: >>334
>任意の有限で成り立てば、可算無限でも成立だ
「数列に最後の項がある」という命題は任意の有限列で成立するが無限列では不成立。
はい、反例。
反例が存在する以上、有限列と無限列は明確に区別しなければならない。

>”finite”と書いてあるのは、単なる”ぼかし”
ぼかしとは？
お薬飲み忘れちゃダメですよ
371 名前：１３２人目の素数さん mailto:sage [2022/09/19(月) 15:24:11.93 ID:k+EEBfQ5.net]: 結局、>>340-342に帰着されるよね。

・配牌は時枝戦術に沿って自動的に生成される。

・この自動生成された配牌に、後から介入できる人間は存在しない。イカサマ師でも不可能。

・もし時枝戦術が勝率ゼロならば、この自動生成された配牌は「100個の牌の全てがハズレ」であるはず。
・もしそうなっていたら、その中からランダムに1つ選んだところで、どのみち毎回ハズレになる。

・実際には、この自動生成された配牌は、なぜか「100個の牌の中にハズレが高々1つしかない」
　という状態になっている。

・この状態を作り出したのはイカサマ師ではない。イカサマ師は何の介入もしていない。

・時枝戦術に沿って自動生成された配牌が、なぜか必ず「100個の牌の中にハズレが高々1つしかない」
　という都合の良すぎる配牌になっている。
372 名前：１３２人目の素数さん mailto:sage [2022/09/19(月) 15:28:10.04 ID:k+EEBfQ5.net]: ここが時枝戦術の不思議さでしょ。

イカサマ師が人工的に配牌の中身に介入しなければ実現できないはずの「都合の良すぎる配牌」を、
なぜか自動生成できてしまうのが時枝戦術。そして、時枝戦術に限らず、「勝てる戦術」とは、
その定義の時点で最初からこういうものである。すなわち、

・自分にとってなるべく都合の良い配牌が、イカサマ師の介入なしに自動生成されるような戦術

こそが、「勝てる戦術」の定義だということ。そして、時枝戦術はこの条件をクリアしている。
なんたって、イカサマ師が人工的に介入しなければ実現できないはずの「都合の良すぎる配牌」を、
なぜか自動生成できてしまうのが時枝戦術なのだから。

ゆえに、時枝戦術は勝てる戦術になっている。

スレ主はそれを「イカサマだ」と言っているが、違うよね。
だって、時枝戦術ではイカサマ師は介入してないんだから。
ただ単に、「イカサマを疑いたくなるレベルで高確率で勝ててしまう戦術だ」というだけの話だよね。
373 名前：１３２人目の素数さん [2022/09/19(月) 15:47:16.36 ID:pcesVYMA.net]: ついでにいうと、箱の中身を確率変数とした場合に証明できないのは
「列の決定番号が他の列よりも大きくなる確率かは、どの列でも同じ」
という点だけ
「どの列も決定番号が他の列よりも大きくなる確率は１」
なんて馬鹿なことはいえないｗ
列それぞれについての決定番号が他の列よりも大きくなる確率の合計値は高々１
これが箱入り無数目の真の仕掛け

中卒はこの仕掛けがどうしても理解できない正真正銘の🐎🦌ｗｗｗ
374 名前：１３２人目の素数さん [2022/09/19(月) 15:51:17.47 ID:pcesVYMA.net]: 列の項が確率変数の場合について考える
簡単のため2列とする
列1の決定番号が単独最大になる確率をp1
列2の決定番号が単独最大になる確率をp2
とする
p1=p2=1/2　とはいえない
しかし
p1+p2<=1　はいえる
したがって
p1=p2=1　とはいえないｗ
p1=1ならp2＝0だし、
p2=0ならp1＝0である
375 名前：１３２人目の素数さん [2022/09/19(月) 15:56:21.13 ID:J1DiIgEy.net]: >>334
>”finite”と書いてあるのは、単なる”ぼかし”
この発言こそ無限を理解していない何よりの証拠。
「箱がたくさん，可算無限個ある.」の時点で諦めるべきだったな。
376 名前：１３２人目の素数さん [2022/09/19(月) 16:21:05.27 ID:aLiBZfCJ.net]: >>345
>・我々は統計を取りたいので、まず出題者の出題を固定した。

だから、>>290に書いたろ？「時枝の手法は現実には実行できない」って
　>>285の「時枝戦術を使って統計を取る」に対して、書いた
統計なんて取れるわけないぞｗ
377 名前：１３２人目の素数さん mailto:sage [2022/09/19(月) 16:27:45.90 ID:k+EEBfQ5.net]: >>352
その点については>>297-300で反論済み。信託機械と同じノリで、

・可算無限個の対象をそのまま出力できる機械を想定する。
・その機械はさらに、選択公理で記述される選択関数を実際に出力可能であるとする。

このような能力を持った機械を想定すればよい。
この機械を使役することで、我々は時枝戦術の全てを「本当に実行可能」になる。
特に、時枝戦術を使って統計を取ることが可能になる。

しかし、どうやってその機械にそのような芸当をプログラミングしたのか、
そのソースコードは我々には分からない。しかし、その部分は知る必要がない。
ただ単に実行可能でありさえすればよい。
378 名前：１３２人目の素数さん [2022/09/19(月) 16:30:31.64 ID:aLiBZfCJ.net]: >>351
>>”finite”と書いてあるのは、単なる”ぼかし”
>この発言こそ無限を理解していない何よりの証拠。
>「箱がたくさん，可算無限個ある.」の時点で諦めるべきだったな。

確率論分かってないね

(参考)>>334より
www.math.kobe-u.ac.jp/HOME/higuchi/h18kogi/h18prob1.html
確率論I 対象学部・学年：理学部数学科 3年　神戸大樋口保成
www.math.kobe-u.ac.jp/HOME/higuchi/h18kogi/prob1-9.pdf
確率論　I 第９回講義ノート 2006.12.08
P2
無限個の事象族 Aλ ∈ F, λ ∈ Λ が独立であるとは，
この任意の有限部分族 Aλ1, . . . , Aλn が独立なときに言う．
(引用終り)

だから、Sergiu Hart氏の”finite”で、上記の無限個の事象族について独立を主張するには、これで足りているよ
（同一性は、自明だな）
なお、この「任意の有限部分が・・」という表現は、コンパクト性定理でも使われている表現ですよ（下記）

(参考)
https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E6%80%A7%E5%AE%9A%E7%90%86
コンパクト性定理
一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。
つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理であり、モデル理論における最も基本的かつ重要な成果のひとつである。
379 名前：１３２人目の素数さん mailto:sage [2022/09/19(月) 16:31:20.34 ID:k+EEBfQ5.net]: これは>>298の繰り返しになるが、再掲しておく。

「具体的に分からない」ことと「実行不可能である」ことは意味が全然違う。スレ主は両者を混同している。
スレ主は「具体的には分からない」＝「実行不可能だ」と思っているが、ここがスレ主の間違い。

たとえば、>>297で書いた神託機械だと、チューリングマシンの停止問題が1ステップで解ける。
もちろん、具体的にどうやって解いているのかは我々には分からない。なんたって、
チューリングマシンの停止問題は決定不能問題なのだから、具体的に分かるわけがない。
それでも、そのような神託機械では、チューリングマシンの停止問題が1ステップで解けてしまう。

もしここで、「具体的には分からない」＝「実行不可能だ」が成り立つのであれば、
この神託機械で実行可能であるはずの「チューリングマシンの停止問題が1ステップで解ける」
という能力が、「本当は実行不可能である」という意味不明な状況になってしまう。正しくは、

「上記の信託機械なら本当に実行可能である (ただし、具体的な動作原理は知る術がない) 」

ということ。スレ主は両者の違いを理解していない。だからナンセンスな批判ばかりになる。
380 名前：１３２人目の素数さん [2022/09/19(月) 16:31:34.02 ID:aLiBZfCJ.net]: >>353
じゃあ、その信託機械で、統計とって示せ
できるものならばねｗｗ
381 名前：１３２人目の素数さん mailto:sage [2022/09/19(月) 16:37:02.98 ID:k+EEBfQ5.net]: >>356
それも>>299-300で既に示してあるでしょ。

今の場合、毎回必ず (√2, √2, √2, …) を出題するのだから、決定番号の方も、
ある固定された (a1, a2, …, a100) が毎回100％の確率で (d1, d2, …, d100)＝(a1, a2, …, a100) と出力される。

この (a1, a2, …, a100) が具体的に何なのかは、我々には知る術がない。しかし、知る必要はない。
なぜなら、何らかの (a1, a2, …, a100) が「実際に出力されている」ことに変わりはないからだ。
そして、一番大切なのは

「毎回100％の確率で同じ　(a1, a2, …, a100) が出力されている」

という論理的な性質である、この性質がありさえすればよい。
すると、a1,a2,…,a100 の中で、箱の中身の推測に失敗する ai は高々1個で、しかもその ai 自体が固定である。
すなわち、

・毎回毎回、固定された a1～a100 があって、その中で高々1個の固定された ai のみがハズレ

という状況になる。この状況下で統計を取れば、明らかに、99/100 以上の確率で当たりを引くことになる。
従って、件の反復試行によって統計を取ると、その統計は上記の機械のもとで「本当に実行可能」であり、
しかも、その統計結果は

「スレ主が 99/100 以上の確率で何らかの箱の中身を当ててしまう」

という結果になる。
382 名前：１３２人目の素数さん mailto:sage [2022/09/19(月) 16:42:47.86 ID:k+EEBfQ5.net]: >>357では具体的に (√2, √2, √2, …) を用いて記述したが、より一般的に

・我々は統計を取りたいので、まず出題者の出題を固定した。

という条件下でも、全く同じ理屈が通用する。すなわち、出題が固定なので、
決定番号の方も、ある固定された (a1, a2, …, a100) が毎回100％の確率で
(d1, d2, …, d100)＝(a1, a2, …, a100) と出力される。
そして、その100個の中でハズレは高々1つで、どの ai がハズレなのかも毎回固定。従って、

・神配牌が固定された状態で、その配牌の中から毎回ランダムに1つ選んで統計を取る

という反復試行を実行することになる。すると、その統計結果は、明らかに

「回答者であるスレ主が 99/100 以上の確率で何らかの箱の中身を当ててしまう」

という結果になる。補足しておくと、ここで神配牌が固定されたのは、
イカサマ師が人工的に神配牌にすり替えたからそうなっているのではなくて、
時枝戦術が自動生成した配牌が「最初から神配牌になっていた」からこそ、
神配牌に固定されているのである。

というわけで、時枝戦術は高確率で勝てる戦術である。
このことの何が不満なんだ？正しい論理だろ？
383 名前：１３２人目の素数さん [2022/09/19(月) 17:04:40.10 ID:J1DiIgEy.net]: >>354
何の話してんの？

>Sergiu Hart氏の”finite”
で数当てできないのは、列が有限列だからであって、無限列の箱入り無数目には当てはまらない
って言ってるんだけど、日本語分かりませんか？では小学校の国語からやり直して下さい。
384 名前：１３２人目の素数さん [2022/09/19(月) 17:08:24.85 ID:J1DiIgEy.net]: >>354
まずこれだけ答えて
>「数列に最後の項がある」という命題は任意の有限列で成立するが無限列では不成立。
を認める？Y/N
385 名前：１３２人目の素数さん [2022/09/19(月) 17:18:20.74 ID:aLiBZfCJ.net]: >>344
>分かってないね。
>・「役満で上がる配牌」が "なぜか必ず生成されてしまう"
>ことが時枝戦術の肝の部分でしょｗ

完全に数学を外れて、
それってポエムだねｗ

いいかな
1）ある人が問題の数列を作った
　調べると、箱の数は(a0,a1,・・an・・)で、調べると
　ある超越関数τ(x)の原点0での級数展開の係数と一致した
　即ち τ(x)＝a0+a1x+・・anx^n・・と書ける
2）形式的べき級数>>168のしっぽの同値類分類で、
　τ(x)と同じ同値類に属する関数をτ’(x)とする
　差を作ると τ(x)-τ’(x)＝f(x) と書ける
　τ’(x)＝τ(x)-f(x) となる
3）しっぽの部分の各項が一致しているからf(x)は多項式だ
　この多項式をｎ次式とする。このとき、決定番号はn+1
386 名前：となる（これは、作為（詳細は後述）） 4）ところで、同値類はこのような多項式を全て集めたものだから、多項式環>>189を成す 多項式環を線形空間と考えると、無限次元になる>>189 5）普通、代数では無限次元を特に意識する必要もないが 確率に対して使うとなると、無作為抽出（ランダム）性が問題となる 6）無限次元の空間から無作為抽出で一つ選べば、 それは無限次元の点になるべき 7）一方、時枝は、100選んで全てが有限になるという 勿論、それは作為で100選んで全てを有限にすることは可能だ 8）しかし、それはあたかもマージャンで、 配牌に作為（積み込み）をしているのと同じ 9）結局、多項式環の無限次元線形空間上で、安易に確率計算をしようとしたところに大問題あり！！ それは、あたかも非正則分布で確率計算をしようとすることに類似しているってことです！（>>51,>>91） []: [ここ壊れてます]
387 名前：１３２人目の素数さん mailto:sage [2022/09/19(月) 17:32:23.05 ID:k+EEBfQ5.net]: >>361
ナンセンス。以下で具体的に反論しよう。

閉区間[0,1]の中からランダムに1つ実数を選んで x とする。
x＞1/2 ならスレ主の勝ちで、x≦1/2 ならスレ主の負けとする。

このとき、「x」という一点を基準にする視点からは離れて、

「スレ主が勝つような x 全体の集合」
「スレ主が負けるような x 全体の集合」

という作為的な分類を基準にしてみると、スレ主が勝つような x の集合は (1/2,1] であり、
スレ主が負けるような x の集合は [0,1/2] である。よって、スレ主の勝ち負けに関係のある集合は
[0,1/2], (1/2,1] という2つの対象のみである。つまりは、

「有限個の対象による作為的な分類」

だけで、スレ主の勝ち負けが記述できてしまう。そして、スレ主が勝つ方の集合は (1/2,1] なのだから、
結局、スレ主が勝つ確率は 1/2 である。
388 名前：１３２人目の素数さん mailto:sage [2022/09/19(月) 17:34:49.08 ID:k+EEBfQ5.net]: ところが、スレ主が>>361で主張するところの

＞6）無限次元の空間から無作為抽出で一つ選べば、
＞　それは無限次元の点になるべき

と同じ思想を適用すると、次のようになる。

・あくまでも x をランダムに選ぶのだから、x という一点を基準にして考えるべきである。
・すなわち、[0,1/2] や (1/2,1] などといった、作為的な有限個の分類は基準とすべきではない。

・さて、閉区間 [0,1] の中からどんな x を選んでも、その x という一点は閉区間 [0,1] の中で確率ゼロである。

・となれば、例えばの話として、もし x＝0.51 ならスレ主の勝ちだが、そもそも x＝0.51 が起こる確率はゼロである。
・他の例としては、もし x＝0.9 ならスレ主の勝ちだが、そもそも x＝0.9 が起こる確率はゼロである。
・同じように、a∈(1/2, 1] のとき、もし x＝a ならスレ主の勝ちだが、x＝a が起こる確率は a ごとに確率ゼロである。

・このように、スレ主が勝つような「x＝a」は、確かにその「x＝a」が発生しさえすればスレ主の勝ちなのだが、
　そもそも「x＝a」が発生する確率自体が a ごとに常に確率ゼロになっている。

・ゆえに、スレ主が勝つ確率は実際にはゼロである。勝率 1/2 なんて大嘘である。

これがスレ主の言っていること。これこそが、数学を外れてポエムである。
389 名前：１３２人目の素数さん [2022/09/19(月) 17:40:37.93 ID:J1DiIgEy.net]: >>361
>6）無限次元の空間から無作為抽出で一つ選べば、
だから何の話してるんだよｗ
出題者が出題列sを固定するんだよ
この時点でP(出題列=s)=1、つまり確率事象じゃねーんだよ馬鹿ｗ
390 名前：１３２人目の素数さん [2022/09/19(月) 17:42:32.60 ID:J1DiIgEy.net]: で、>>360は早速スルーですか
無限を理解できないサルに数学は無理ｗ
391 名前：１３２人目の素数さん mailto:sage [2022/09/19(月) 17:50:32.65 ID:k+EEBfQ5.net]: では、スレ主が言うところの「作為」の種明かしに移ろう。要するにスレ主は、

「毎回固定されている100個の配牌の中からランダムに1つの牌を選ぶ」

という、有限個の対象に帰着される状況が憎くて憎くてしょうがないのである。
特に、配牌自体が固定されてしまっては、もうスレ主には反論の余地がなくて、
回答者であるスレ主の勝率は本当に 99/100 以上になってしまう。従って、スレ主は

「そのような状況に帰着されること自体が作為であり、この作為こそがインチキの源流だ」

と主張するしか反論の術がないのである。
392 名前：１３２人目の素数さん mailto:sage [2022/09/19(月) 17:55:43.03 ID:k+EEBfQ5.net]: では、どうして「固定された100個の配牌」に帰着されてしまうのか？
それは、出発点が以下のようになっているからだ↓

・時枝戦術は高い勝率を誇る戦術であるらしい。出題者は、何を出題しても時枝戦術の前には無力であるらしい。
　本当にそうなのかを調べるために、
　「それぞれの出題に対して、出題を固定するごとに、何度もその出題に対して時枝戦術をテストする」という反復試行によって統計を取る。

従って、スレ主は実際には

「いくら統計を取りたいからといって、出題者の出題を固定する行為は作為的であり、それこそが
393 名前：インチキの源流である」 と言っていることになる。 []: [ここ壊れてます]
394 名前：１３２人目の素数さん mailto:sage [2022/09/19(月) 18:03:56.36 ID:k+EEBfQ5.net]: しかし、反復試行とは

・全く同じ初期設定(＝配牌が固定)のもとで何度も確率的試行(＝ランダムに1つ牌を選ぶ)を繰り返すという反復試行

を意味するのであって、これが「作為的でインチキ」のわけがない。というより、
もしこれが作為的でインチキなら、スレ主は結局、「反復試行による統計」という行為を
完全否定していることになる。

そもそも、確率の計算経路は一種類ではない。複数の異なる視点から、異なる計算経路によって、
しかし最終的には同一の確率が算出されるものである。

すると、上記のような反復試行による統計は、これ自体が時枝戦術の勝率を計算するための
「1つの計算経路」なのであって、その計算経路に「作為」も「インチキ」も存在し得ない。
ただ単に、純粋に数学的な確率計算が実行されているだけである。
395 名前：１３２人目の素数さん [2022/09/19(月) 18:11:14.88 ID:pcesVYMA.net]: >>361
>完全に数学を外れて、それってポエムだねｗ
それ中卒の君のほう

今から君の発言のどこがポエムか示すよ

>多項式環を線形空間と考えると、無限次元になる
>無限次元の空間から無作為抽出で一つ選べば、それは無限次元の点になるべき
はい、ここ！w
中卒君は何も考えずに「無限次元の点」って云ってるけど
それって点を多項式と考えたとき、最高次の項が存在しない、って云ってる？
でも、それ多項式じゃないよね？ｗ

多項式全体の空間は確かに可算無限次元の線型空間だよ
でも多項式は有限個の項の和だから最高次の項は必ず存在する

もし、無限大次の最高次数の項が存在する、っていってるなら
それこそ、数学の外に出たポエムだねｗｗｗｗｗｗｗ
396 名前：１３２人目の素数さん [2022/09/19(月) 18:14:14.50 ID:pcesVYMA.net]: >>361
>時枝は、100選んで全てが有限になるという
　なるよ
　多項式全体の空間なんだから、どれを選んでも多項式
　だから必ず最高次数の項が存在し、その次数は自然数で表せる。つまり有限
　これはポエムでもなんでもない数学の現実
　無限大次の多項式が存在するとかいう中卒馬鹿の君の戯言こそポエムｗ
397 名前：１３２人目の素数さん [2022/09/19(月) 18:19:48.60 ID:pcesVYMA.net]: 箱入り無数目の箱が確率変数だとしても
毎回１００列のうちたかだか１列しか外れがないのだから
１００列それぞれの外れ確率の和はたかだか１である
もし、どの列もほとんどすべて外れるのなら確率の和は１００の筈
ということで中卒君の「当たる確率０」は矛盾するｗ

[ 続きを読む ] / [ 携帯版 ]

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