23/07/31 10:47:17.06 c+iab60M.net
つづき
＜数学隣接分野について＞
URLﾘﾝｸ(planck.exblog.jp)
大栗博司のブログ
2010年 08月 21日
フィールズ賞
今週はインドのハイデラバードで国際数学者会議 (ICM) が開かれ、フィールズ賞受賞者が発表されました。１９９０年以来の過去５回のICMでは、フィールズ賞受賞者のおよそ４割が場の量子論や超弦理論に関係する分野で研究をされていたので、今回はどうなるのだろうかと思っていました。
今回の受賞者のひとりはスタニスラフ・スミルノフさんで、ある種の２次元の統計模型がスケール極限で共形対称性を持つことを示し、物理学者のジョン・カーディさんの予想していた公式に数学的証明を与えました。場の量子論に数学的基礎を与えることは数理物理学の長年の課題ですが、２次元の共形場の理論では確実な進歩が起きています。前回の２００６年のICMでフィールズ賞を受賞されたウェンデリン・ウェルナーさんの業績も２次元の共形場の理論に関係するものでした。
スミルノフさんはCaltechの大学院の卒業生なので、今回の受賞はCaltechにとってもうれしいニュースでした。
もうひとりの受賞者のセドリック・ビラニさんへの授賞対象は気体分子の運動論で、非平衡の状態からどのように平衡状態への移行が起きるのかの理解を進められたのだそうです。
物理学の提起する問題は、依然として数学の新しい発展を触発し続けているようです。
(引用終り)
下記フィールズ賞 2022年のコパン氏は、statistical physics関連
マリナ・ヴィヤゾフスカ氏も、E_{8} latticeは、超弦理論と関連があります。また、24次元はLeech lattice関連で下記”conformal field theory describing bosonic string theory”と関連しています
なので、フィールズ賞 2022年も、物理学との関連ありです
つづく
3:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/07/31 10:47:45.21 c+iab60M.net
つづき
また、IMUの新総裁 中島啓氏は、”紹介：理論物理学に起源を持つゲージ理論を数学的に研究することを中心テーマと している。また、この研究がカッツ・ムーディー・リー環や、その変形と関係 することから、これらの対象の表現論も同時に研究している。 主要な成果として、次のようなものを得た。(略) 箙多様体と名づけた・・”URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
と記されています
なので、数学隣接分野も取り上げます！
（平たく言えば「なんでもあり」ですｗ）
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
フィールズ賞
2022年（オンライン開催[注釈 3]）[21]
ユーゴー・デュミニル＝コパン（Hugo Duminil-Copin, 1985年 - ）フランスの旗 フランス
For solving longstanding problems in the probabilistic theory of phase transitions in statistical physics, especially in dimensions three and four.
マリナ・ヴィヤゾフスカ（Maryna Viazovska, 1984年 - ） ウクライナ
For the proof that the E_{8} lattice provides the densest packing of identical spheres in 8 dimensions, and further contributions to related extremal problems and interpolation problems in Fourier analysis.
球充填問題を８次元と24次元で解決したことや，フーリエ解析における極値および補間問題への更なる貢献が評価[22]。
つづく
4:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/07/31 10:48:09.65 c+iab60M.net
つづき
URLﾘﾝｸ(ja.wikipedia.org)
超弦理論
基本的な説明
超弦理論には5つのバリエーションがあり、それぞれタイプI、IIA、IIB、ヘテロSO(32)、ヘテロE8×E8と呼ばれる。この5つの超弦理論はいずれも理論の整合性のために10次元時空を必要とする。
URLﾘﾝｸ(en.wikipedia.org)
Leech lattice
Applications
The vertex algebra of the two-dimensional conformal field theory describing bosonic string theory, compactified on the 24-dimensional quotient torus R24/Λ24 and orbifolded by a two-element reflection group, provides an explicit construction of the Griess algebra that has the monster group as its automorphism group. This monster vertex algebra was also used to prove the monstrous moonshine conjectures.
(引用終り)
つづく
5:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/07/31 10:48:39.84 c+iab60M.net
つづき
なお、
おサル＝サイコパス＊のピエロ（不遇な「一石」URLﾘﾝｸ(textream.yahoo.co.jp) 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）
＜＊）サイコパスの特徴＞
（参考）URLﾘﾝｸ(blog.goo.ne.jp) サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
（＊＊）注；URLﾘﾝｸ(en.wikipedia.org) Hyperboloid
Hyperboloid of two sheets ：URLﾘﾝｸ(upload.wikimedia.org)
URLﾘﾝｸ(ja.wikipedia.org) 双曲面
二葉双曲面 ：URLﾘﾝｸ(upload.wikimedia.org)
おサルさんの正体判明！（＾＾）
スレ12 ｽﾚﾘﾝｸ(math板:923番) より
”「ガロア理論 昭和で分からず 令和でわかる
＃平成どうしたｗ」
昭和の末期に、どこかの大学の数学科
多分、代数学の講義もあったんだ
でも、さっぱりで、落ちこぼれ卒業して
平成の間だけでも30年、前後を加えて35年か”
”(修士の)ボクの専攻は情報科学ですね”とも
可哀想に、数学科のオチコボレで、鳥無き里のコウモリ***）そのもので、威張り散らし、誰彼無く噛みつくアホ
本来お断り対象だが、他のスレでの迷惑が減るように、このスレで放し飼いとするｗ（＾＾
注***）鳥無き里のコウモリ：自分より優れた数学DRやプロ数学者が居ないところで、たかが数学科のオチコボレが、威張り散ら�
6:ｷ姿は、哀れなり～！（＾＾； なお 低脳幼稚園児のAAお絵かき 小学レベルとバカプロ固定 は、お断りです 小学生がいますので、18金（禁）よろしくね！（＾＾ テンプレは以上です
7:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/07/31 10:56:58.51 c+iab60M.net
なお、時枝「箱入り無数目」の場外乱闘が
こちらに移ってきておりますが、それも一興
所詮、天下のチラシの裏、便所の落書き
スレの区分を守れなどは、ヤボ
そんなに気取ることも、ないのですｗ
8:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/07/31 11:04:29.93 c+iab60M.net
スレ主です
前スレより
純粋・応用数学・数学隣接分野（含むガロア理論）13
ｽﾚﾘﾝｸ(math板:944番)
944 名前：１３２人目の素数さん[sage] 投稿日：2023/07/31(月) 08:43:35.85 ID:4Almmw4D [2/10]
本スレは以下のスレに統合します
ガロア第一論文と乗数イデアル他関連資料スレ5
ｽﾚﾘﾝｸ(math板)
(引用終り)
お断りする
時枝「箱入り無数目」の場外乱闘は
こちらのスレで継続してやりますよｗ
9:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/07/31 11:30:31.51 c+iab60M.net
前スレからの経緯要約
純粋・応用数学・数学隣接分野（含むガロア理論）13
ｽﾚﾘﾝｸ(math板)
724 名前：１３２人目の素数さん[] 投稿日：2023/07/27(木) 00:11:01.63 ID:R4WinaKo [2/16]
>>722
100列について、列nの決定番号がnだったとします。
100列のいずれかをランダム選択したとき、決定番号100の列を選ぶ確率は？
907 名前：１３２人目の素数さん[] 投稿日：2023/07/30(日) 10:10:54.73 ID:esnUGRo8 [8/11]
>>905
「まったく自由」の数学的な意味を明確化したい
931 名前：１３２人目の素数さん[] 投稿日：2023/07/30(日) 21:19:01.14 ID:esnUGRo8 [10/11]
結局724は問題の体をなしていないことが分かった
933 名前：１３２人目の素数さん[] 投稿日：2023/07/30(日) 21:36:34.03 ID:2UJHJvqn [7/7]
>>931
>結局724は問題の体をなしていないことが分かった
ご苦労さまです
スレ主です
724の出題者が、何にも分かってないってことでは、ないでしょうか？ｗ
934 名前：１３２人目の素数さん[] 投稿日：2023/07/30(日) 21:43:19.72 ID:esnUGRo8 [11/11]
こういう結論でよいようですね
938 名前：１３２人目の素数さん[] 投稿日：2023/07/30(日) 22:24:38.99 ID:IpiBUMr/ [18/18]
0897１３２人目の素数さん
2023/07/30(日) 08:34:02.46ID:esnUGRo8
>>895
例えば
ｎ番目の箱にｎ回サイコロを振って出た目の数を入れる
というのは
許されるのかどうか
940 名前：１３２人目の素数さん[] 投稿日：2023/07/31(月) 05:54:17.72 ID:jznoxopE [1/50]
>>938
わかったからもういい
(引用終り)
１）要するに、某N大のゼミで、学生のあまりの出来の悪さに、「わかったからもういい、帰れ！」と、指導教官からサジを投げられたということ
２）上記『「まったく自由」の数学的な意味を明確化したい』の問いの意味は
思うに、箱一つに数を入れるときの「まったく自由」を、きちんと数学的に定式化せよ
３）そうすれば、「箱入り無数目」の不成立が、自得できるだろうという なぞかけだったと思う
10:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/07/31 11:39:05.38 c+iab60M.net
>>8 つづき
サイコパスのおサル>>5
なんだかんだ言いながら
碁でいえば、アマの初級くらいだったろうか？
だが、このゼミの指導教官がサジを投げた人は
アマの3～5級くらいかな？
要するに、大学レベルの確率論が分かってない
（囲碁で言えば、星の隅の攻防が分かってない）
箱一つ、『「まったく自由」に実数r∈R を入れる』
の 数学的定式化（確率空間の書き下し）
ができず、話にならない落第生と認定されたのでしたｗｗｗ
11:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/07/31 12:13:54.51 c+iab60M.net
>>9 つづき
>箱一つ、『「まったく自由」に実数r∈R を入れる』
>の 数学的定式化（確率空間の書き下し）
１）一例は、区間を限定して Ω＝[0.1] r∈Ω の一様分布を考えること
この場合、rの存在範囲は限られる
２）もう一つの例は、正規分布を使うこと
例えば、全国模試で、合計点1000点、平均500点、標準偏差σ＝100点
これを、正規分布で近似する
この場合、rの存在範囲は限られず、(-∞、+∞)の範囲になるが、平均から外れσが大きい領域では、急速に減衰する
３）これを踏まえて、時枝「箱入り無数目」の「まったく自由」の数学的定式化がどうなるか？
まあ、アマの3～5級レベルで大学の確率論を勉強していない人には
問われている数学の意味さえ理解できなかったのかもね？ｗ
（参考）
URLﾘﾝｸ(home.hiroshima-u.ac.jp)
岩田耕一郎
URLﾘﾝｸ(home.hiroshima-u.ac.jp)
確率統計C
URLﾘﾝｸ(home.hiroshima-u.ac.jp)
測度論と確率論
広島大学理学部数学科確率統計C講義ノート岩田耕一郎2007年7月4日
URLﾘﾝｸ(ja.wikipedia.org)
正規分布
12:１３２人目の素数さん
23/07/31 15:16:41.41 4Almmw4D.net
>>本スレは以下のスレに統合します
>お断りする
>所詮、天下のチラシの裏、便所の落書き
💩が「ここは便所」と絶叫
13:１３２人目の素数さん
23/07/31 15:27:06.94 4Almmw4D.net
>>9
>箱一つ、『「まったく自由」に実数r∈R を入れる』の 数学的定式化（確率空間の書き下し）
箱入り無数目の確率空間とは全く異なる
箱入り無数目においては、100個のs1,…,s100∈R^nは初期設定にすぎない
つまり各思考毎に変更される確率変数ではない
「箱入り無数目」の確率変数は1~100である
つまり回答者が100列のうちどの列を選ぶか、だけが確率変数である
１．100列の決定番号はすべて自然数である
２．100列の決定番号のうち他の列よりも大きい決定番号を持つ列はたかだか1つである
３．他の決定番号より大きい決定番号をもつ列が存在しない場合、
どの列を選んでも箱入り無数目の戦略により選んだ箱は
必ず代表元と一致する
４．他の決定番号より大きい決定番号をもつ列が１列存在する場合、
箱入り無数目の戦略により選んだ箱が代表元と相違するのは、
上記の１列のみである
「箱入り無数目」とは上記の初等的な定理を述べているに過ぎない
14:１３２人目の素数さん
23/07/31 15:28:36.98 4Almmw4D.net
>>12の訂正
箱入り無数目においては、100個のs1,…,s100∈R^nは初期設定にすぎない
つまり各試行毎に変更される確率変数ではない
15:１３２人目の素数さん
23/07/31 15:32:21.18 4Almmw4D.net
＞１．100列の決定番号はすべて自然数である
これを否定する人は、数学の初歩が分かっていない
R^Nの要素のどの項も自然数で番号つけられる
また尻尾同値類の代表元は、尻尾同値類のどの要素とも尻尾同値である
したがって、尻尾の先頭が必ず存在し、その先頭位置の番号も自然数である
したがって決定番号は必ず自然数である
この程度の論理が理解できない大学生は大学にいる資格がない
ただちに退学すべきである
16:１３２人目の素数さん
23/07/31 15:36:55.67 4Almmw4D.net
「箱入り無数目」で各試行ごとに１００列を入れ替えた場合の確率は
計算できないのであって、決して０ではない
17:１３２人目の素数さん
23/07/31 15:38:32.05 Cgy3PWyO.net
絶対に正しい事ならば全臓器提供込みで全資産を担保に主張できる
通称猿石はyahoo!の一石であると云う断定を全臓器込みで全資産を担保に掛けて主張出来るかな？
18:１３２人目の素数さん
23/07/31 15:39:18.33 4Almmw4D.net
これで「箱入り無数目」に関する議論は終わった
箱入り無数目が間違っていると思う人は、
正しさが理解できるまで>>12を読み返されたい
決して訳も分からず反論する無駄なことをなさらぬよう
わかったね 💩君
19:１３２人目の素数さん
23/07/31 16:15:44.31 4Almmw4D.net
>>16
＞◯は■の●であると云う断定
そんなこと匿名掲示板で語っても意味ないな
どこの誰かは意味がない
何を言ったかだけが意味がある
ここは便所ではなく 私も他の人も誰かさんのような💩ではない
20:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/07/31 18:28:21.40 c+iab60M.net
>>17
>これで「箱入り無数目」に関する議論は終わった
>箱入り無数目が間違っていると思う人は、
>正しさが理解できるまで>>12を読み返されたい
>決して訳も分からず反論する無駄なことをなさらぬよう
そっくりお返しするよ
きみは、某N大のゼミの指導教官らしき人から、前スレでダメ出しをされた>>8
>>12の是非は、某N大のゼミの指導教官らしき人に任せるよ
OKが出れば認めてやろう
が、OKが出るまでは、>>12は暫定0点だなｗ
（まあ、あきれて、手直ししてくれないかもよ。「ゼミは破門だ！」なんてね）
ご苦労様でしたｗ
21:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/07/31 18:37:33.52 c+iab60M.net
>>19 補足
某N大のゼミの指導教官らしき人から
別スレで、「議論は平行線でかみ合わないのを気にしない二人だ」
みたく、ご指導があった
まあ、柔道の教育的指導というやつでｗ
もっと積極的に技を（数学的議論を）出せ！
という意味と解釈したから
いろいろ数学的な議論仕掛けた
その結果、「どちらがいいかげんか分かった」となり
>>8のように
”「まったく自由」の数学的な意味を明確化したい”
にも、まともに答えられず
”結局724は問題の体をなしていないことが分かった”
となり
さらに、しどろもどろで、まともに答えられないゼミ生に
あいそづかしの>>8
”わかったからもういい（帰れ）”と、ダメ出しされた君
ご苦労さん
帰っていいよｗ
22:１３２人目の素数さん
23/07/31 19:03:46.75 KGw9oDo5.net
サル発狂ｗ
悔しいのは解るが、>>724のような超初歩問題も解けないんじゃさすがに無理
潔く諦めましょう
23:１３２人目の素数さん
23/07/31 19:07:13.10 KGw9oDo5.net
「どんな実数を入れるかはまったく自由」
この意味が分からないようじゃ数学どころか日常生活もしんどいでしょうな
箱入り無数目？無理無理
24:１３２人目の素数さん
23/07/31 19:14:58.16 jznoxopE.net
💩君の言いたいことは分かったのでもういい
質問したいことはもうなくなった
25:１３２人目の素数さん
23/07/31 19:17:29.36 Cgy3PWyO.net
>>21
バカモン確りリンクさせるかコピペするかせんか
純粋・応用数学・数学隣接分野（含むガロア理論）13
ｽﾚﾘﾝｸ(math板:724番)
724: １３２人目の素数さん [] 2023/07/27(木) 00:11:01.63 ID:R4WinaKo
> 722
100列について、列nの決定番号がnだったとします。
100列のいずれかをランダム選択したとき、決定番号100の列を選ぶ確率は？
26:１３２人目の素数さん
23/07/31 20:25:18.22 4Almmw4D.net
「どんな実数を入れるかはまったく自由」
どんな「初期設定」もまったく自由
「箱入り無数目」では、箱の中身が各試行毎に変わる確率変数だと明言してない
27:１３２人目の素数さん
23/07/31 20:27:31.81 4Almmw4D.net
>>19 大阪大学落ちた💩が喚いとる
>>20 ここは便所じゃないんで、💩は流すね ジャー！
28:１３２人目の素数さん
23/07/31 20:31:11.10 4Almmw4D.net
>>23 歯茎から血が出る人が完全敗北を認めたので、この板このスレに用はなくなった
29:１３２人目の素数さん
23/07/31 20:32:19.30 Cgy3PWyO.net
「さて， 1〜100 のいずれかをランダムに選ぶ. 例えばkが選ばれたとせよ. s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない. 」
30:１３２人目の素数さん
23/07/31 20:49:51.75 KGw9oDo5.net
>>9
>箱一つ、『「まったく自由」に実数r∈R を入れる』
>の 数学的定式化（確率空間の書き下し）
>ができず、話にならない落第生と認定されたのでしたｗｗｗ
確率空間とか言ってるのが何一つ分かってない証拠
バカ丸出し
サルってほんとバカやな
31:１３２人目の素数さん
23/07/31 20:56:57.63 KGw9oDo5.net
「どんな実数を入れるかはまったく自由」
は確率事象ではない、よって確率空間もクソも無い。
分からないのに分かってる風を装って確率空間とかぬかすからバカにされる。
分からないなら黙ってればよい。
分かったか？サル
32:１３２人目の素数さん
23/07/31 20:58:34.25 TRNRAJS/.net
>>26-28
スレ主です
言いたいことは、それだけか？
なら、逝って良し
勝利宣言かましてよかですか？
「ごーまんかましてよかですか?」
時枝「箱入り無数目」天動説は、終わりました
ご苦労さまでした！ｗ
URLﾘﾝｸ(ja.wikipedia.org)
『ゴーマニズム宣言』（ゴーマニズムせんげん）は、小林よしのりの主張を伴った日本の漫画作品。通称『ゴー宣』[1]。
「ごーまんかましてよかですか?」というキメ台詞
33:１３２人目の素数さん
23/07/31 21:00:10.98 KGw9oDo5.net
サルって頭悪いくせにその頭の悪さをまったく分かってないんだよな
自分は利口で数学ができる、と妄想しちゃって現実と区別できなくなってるんやろな
34:１３２人目の素数さん
23/08/01 00:40:47.79 W1nQ8Vae.net
>>32
ありがとね
スレ主です
時枝氏より大物で、世界的な数学者が
どうも時枝氏「箱入り無数目」天動説に同意しない
（もっとも、明確に否定したわけではないがｗ）
天動説に同意しないのは、私と同様だ
それを評して、文盲だとか、耄碌爺さんとか、この世から消えてくれとか、悪口雑言
私のことも、サル呼ばわりかね
ありがとうね
世界的な数学者と同じ側においてくれてｗ
あんたの主張は、悪口雑言だけでさ
数学的には無内容だな
（だれかがクソ君とか言っていたなｗ）
35:１３２人目の素数さん
23/08/01 04:09:23.37 zUY1BuU8.net
>>33
>時枝氏「箱入り無数目」天動説
自分が理解できないと天動説のレッテル貼りか
まるで敵対者を片っ端からナチスとレッテル貼りするパヨクみたいやな
>あんたの主張は、悪口雑言だけでさ
事実を言うと悪口雑言になるのかね？事実に反する天動説呼ばわりこそ悪口雑言だろ
>数学的には無内容だな
サルが時枝証明のギャップを示せていないことを示しているに過ぎないから内容という程のものは無い
36:１３２人目の素数さん
23/08/01 08:41:17.09 /+O+L3bu.net
>>34
無内容なものの証明とは？
37:１３２人目の素数さん
23/08/01 08:46:59.94 zUY1BuU8.net
>>35
また文盲爺か
言葉が理解できないなら黙ってなさい
38:１３２人目の素数さん
23/08/01 08:52:26.25 zUY1BuU8.net
なんで爺はスレに居座るの？
文盲で箱入り無数目記事が読めないんでしょ？じゃ去りなよ
39:１３２人目の素数さん
23/08/01 08:54:57.80 zUY1BuU8.net
読んで数学的議論するなら付き合ってやってもいいけどさ
悪いが記事も読めん耄碌爺の相手は御免だわ
40:１３２人目の素数さん
23/08/01 09:01:00.63 /+O+L3bu.net
無内容なおしゃべりに付き合うつもりはない
41:１３２人目の素数さん
23/08/01 09:22:23.05 zUY1BuU8.net
>>39
「無内容なものの証明とは？」
自分からしゃべりかけてきてｗ
記事も読めない文盲爺はさっさと去りなさい
42:１３２人目の素数さん
23/08/01 10:21:34.10 /+O+L3bu.net
去る者は追わず
43:１３２人目の素数さん
23/08/01 10:34:51.53 zUY1BuU8.net
追わないのでさっさと去りなさい
女々しいよ君
44:１３２人目の素数さん
23/08/01 10:55:01.40 /+O+L3bu.net
去らねばならないのはどっち？
45:１３２人目の素数さん
23/08/01 10:59:48.68 zUY1BuU8.net
記事読まないおまえ
46:１３２人目の素数さん
23/08/01 11:00:43.79 zUY1BuU8.net
記事も読まずに何故このスレにいる？
さっさと去れ 女々しい爺め
47:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/08/01 11:16:52.01 jNdZ0xXe.net
>>34-35
お二人とも朝早くから、ご苦労様です
スレ主です
さて、ダメを詰めて行こうかｗ
>>数学的には無内容だな
>サルが時枝証明のギャップを示せていない
１）「数学的には無内容」を示すのに、二つの手法がある
ギャップを示すか、反例を示すか
２）「箱入り無数目」に反例の記載がある
下記 時枝氏自身が記事に書いている
「素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.」と
（参考）
純粋・応用数学（含むガロア理論）8
ｽﾚﾘﾝｸ(math板:405番)
405 名前：現代数学の系譜 雑談 ◆yH25M02vWFhP [] 投稿日：2021/05/24(月) 20:34:43.70 ID:q0Et9dwF [9/11]
つづき
数学セミナー201511月号P37 時枝記事より
「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)
しかし，素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい.」
48:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/08/01 11:33:35.27 jNdZ0xXe.net
>>46 補足
(引用開始)
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
(引用終り)
１）時枝さんは、「任意の有限部分族が独立のとき，独立，と定義される」にケチつけｗ
２）しかし、この記述は、下記ゲーデルのコンパクト性定理で用いられた数学の覚えておくべき手筋の一つ
（”任意の有限部分集合が・・”は、基礎論で確立されたスジで。ここにイチャモンは手筋に暗い人です）
３）ここを突くのは筋悪で、「確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義される」は、全く揺るがないｗ
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
コンパクト性定理
コンパクト性定理（英: Compactness theorem）とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理であり、モデル理論における最も基本的かつ重要な成果のひとつである。
歴史
1930年にゲーデルが可算集合の場合について証明した。非可算の場合については、Anatoly Maltsevが1936年に証明を与えた[1][2]。
応用例
コンパクト性定理はモデル理論を含む様々な分野において多くの応用を持つ。例として、以下の定理や命題がコンパクト性定理を用いて証明される。
・上方レーヴェンハイム-スコーレムの定理
・実数や自然数の超準モデルの存在
49:１３２人目の素数さん
23/08/01 11:45:39.08 zUY1BuU8.net
>>46
> 下記 時枝氏自身が記事に書いている
> 「素朴に，無限族を直接扱えないのか?
> 扱えるとすると私たちの戦略は頓挫してしまう.
> n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
> その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
> 当てられっこないではないか－－他の箱から情報は一切もらえないのだから.」と
勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい.」
”ばかばかしい，当てられる筈があるものか，と感じられるだろう.
何か条件が抜け落ちているのではないか，と疑う読者もあろう.問題を読み直していただきたい.
条件はほんとうに上記のとおり.無限個の実数が与えられ，一個を除いてそれらを見た上で，除いた一個を当てよ，というのだ.
ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある.
本 記 事 の 目 的 は ， 確 率 9 9 % で 勝 て そ う な 戦 略 を 供 す る こ と に あ る
50:１３２人目の素数さん
23/08/01 11:48:55.74 YuvU5yzW.net
ところがそれを一般の高校生にもわかる形では
述べられない
無内容だからだ
51:１３２人目の素数さん
23/08/01 11:50:21.43 zUY1BuU8.net
>>47
確率変数の無限族の話はそれを使っていない「勝つ戦略」とは関係無い
サルは何も分かってない
52:１３２人目の素数さん
23/08/01 11:53:37.33 zUY1BuU8.net
>>49
高校生は高校の勉強をしていればよい、大学に入れば箱入り無数目成立も理解できよう
記事を読まない文盲爺は一生理解できない、読まないくせになぜかスレに居座り続ける迷惑爺
53:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/08/01 11:54:29.94 jNdZ0xXe.net
>>46 補足
>>数学的には無内容だな
>サルが時枝証明のギャップを示せていない
１）「箱入り無数目」に反例があることは、>>46の通り
よって、”ギャップ”があることは確定した
２）思うに、謎のプロ数学者さんは、>>8に引用したが”ギャップ”について
『「まったく自由」の数学的な意味を明確化したい』と、始めた
まあ、これは東大入試でもよくあることで
大問に、誘導の小問が１）２）３）とあるが如し
小問１）で、おそらくは箱1つにおける数入れの数学的設定
つまりは、箱1つの「確率測度の明確化をせよ」という誘導ではなかったかと思う
３）その答え方によって、さらなる誘導問２）が出てきたろう
ところが、相手のレベルが想定以上に低くｗ
箱一つの場合の「確率測度の明確化」に到達できず
「（おまえのレベルの低さは）わかったからもういい（帰れ）」となってしまったのですｗｗ
まあ、ゼミ生には0点がついた
４）多分、箱一つの場合の「確率測度の明確化」をして、「箱入り無数目」のしっぽの同値類から
”決定番号の大小比較 確率99/100”不成立を自得させる構想だったのでしょうね
私の推定は
こんなところですｗ
54:１３２人目の素数さん
23/08/01 12:05:17.91 zUY1BuU8.net
>>52
>１）「箱入り無数目」に反例があることは、>>46の通り
サルは反例が分かってない
箱入り無数目の反例とは勝率99/100未満となるような出題列s∈R^Nである
確率変数の無限族はR^Nの元ではないから反例の要件を満たさない
やはりサル知恵やなｗ
55:１３２人目の素数さん
23/08/01 12:10:11.09 zUY1BuU8.net
>>52
> 小問１）で、おそらくは箱1つにおける数入れの数学的設定
> つまりは、箱1つの「確率測度の明確化をせよ」という誘導ではなかったかと思う
「どんな実数を入れるかはまったく自由」は確率事象ではないから確率測度もクソも無い。
もうめちゃくちゃｗ
56:１３２人目の素数さん
23/08/01 12:12:08.02 zUY1BuU8.net
>>52
>私の推定はこんなところですｗ
サルのバカ妄想に1㍉の価値も無し
サルは数学板来ない方がいいよ 全世界に恥晒しまくって楽しい？
57:１３２人目の素数さん
23/08/01 12:16:03.72 zUY1BuU8.net
なぜ「どんな実数を入れるかはまったく自由」を確率事象と考えるのか
サルの脳はどうなってんの？どっかに落っことしてきたんじゃないの？今すぐ探しに行きなさい
58:１３２人目の素数さん
23/08/01 12:22:58.83 YuvU5yzW.net
>>どんな実数を入れるかはまったく自由
数学の問題の表現方法は全く自由ではない
59:１３２人目の素数さん
23/08/01 12:23:48.80 zUY1BuU8.net
「箱がたくさん，可算無限個ある. 箱それぞれに，私が実数を入れる.どんな実数を入れるかはまったく自由」
これは「私」が出題する出題列sが
∀s∈R^N
であると言っている。
こんな簡単なことも分からないようじゃ大学数学なんて到底無理。よって箱入り無数目も到底無理。
いいからサルは落っことした脳みそを探しに行きなさい。そして二度と数学板に戻って来てはならない。世界に恥晒すのはもうやめなさい。
60:１３２人目の素数さん
23/08/01 12:26:12.92 YuvU5yzW.net
>>∀s∈R^N
はい、これに続けて
無内容ではない命題を述べてみて
61:１３２人目の素数さん
23/08/01 12:27:08.18 zUY1BuU8.net
>>57
自由でないなら何らかの規則があるはず。
その規則とやらを今すぐここに示しなさい。
示さないならお前の発言は只の妄想に過ぎない。
62:１３２人目の素数さん
23/08/01 12:29:41.89 zUY1BuU8.net
>>59
いいよ？じゃまず>>60に答えて
納得いく答えが得られたらこちらも答えてあげる お前の一方的指図は受けない
63:１３２人目の素数さん
23/08/01 12:31:45.78 zUY1BuU8.net
>>59
てか、
∀s∈R^N
であることが今頃理解できたの？ バカかよお前ｗ
64:１３２人目の素数さん
23/08/01 12:37:18.55 zUY1BuU8.net
おい耄碌爺
サルがお前の発言『「まったく自由」の数学的な意味を明確化したい』
につき
>４）多分、箱一つの場合の「確率測度の明確化」をして、「箱入り無数目」のしっぽの同値類から
> ”決定番号の大小比較 確率99/100”不成立を自得させる構想だったのでしょうね
なる見解を述べているが、お前これにはなぜ反応しないの？
その通りとかいや違うとか何か言えよ
65:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/08/01 12:42:18.66 jNdZ0xXe.net
>>63
スレ主です
あんたの名は
「クソ君」
だったか
「うんこ君」
だったかな？
良い名前つけてもらったね
嬉しいだろう？ｗ
まあ、「クソ君」かな
頑張れよｗ
66:１３２人目の素数さん
23/08/01 12:44:51.52 YuvU5yzW.net
>>62
>>∀s∈R^N
>>であることが今頃理解できたの？ バカかよお前ｗ
これは無内容ながら一つの文章だが
∀s∈R^Nを1つの命題と思うのは無理
67:１３２人目の素数さん
23/08/01 13:10:06.86 zUY1BuU8.net
>>65
誰が命題と言った？
レス番号示して
示せなければ只の言いがかり
68:１３２人目の素数さん
23/08/01 13:11:39.29 zUY1BuU8.net
>>64
ん？どうしたサル
そんなにクソを体に塗りたくりたいか？
塗りたくってもよいが他所へ行ってくれ 臭くてかなわんからな
69:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/08/01 14:25:38.28 jNdZ0xXe.net
>>66-67
(引用開始)>>59より
>>∀s∈R^N
はい、これに続けて
無内容ではない命題を述べてみて
(引用終り)
クソ君がんばれ！ｗｗｗ
70:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/08/01 14:34:48.29 jNdZ0xXe.net
>>68 補足
思うに
いま、自然数中の素数の集合をPとする
・命題：∀p∈P → pは”2 以上の自然数で、正の約数が 1 と自分自身のみである”
・前半の「∀p∈P」のだけでは、何も意味あることを述べていない。後半があって、数学的に意味ある命題になるよ
がんばれ、クソ君！ｗ
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
素数（そすう、英: primeあるいはprime number）とは、2 以上の自然数で、正の約数が 1 と自分自身のみであるもののことである。正の約数の個数が 2 である自然数と言い換えることもできる。1 より大きい自然数で素数でないものは合成数と呼ばれる。
71:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/08/01 14:37:17.96 jNdZ0xXe.
72:net
73:１３２人目の素数さん
23/08/01 14:39:31.99 zUY1BuU8.net
中学生でも知ってることでマウント取りに来るサルｗ
74:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/08/01 15:24:26.71 jNdZ0xXe.net
>>71
はい
再録
(引用開始)>>59より
>>∀s∈R^N
はい、これに続けて
無内容ではない命題を述べてみて
(引用終り)
クソ君がんばれ！ｗｗｗ
75:１３２人目の素数さん
23/08/01 15:35:40.02 zUY1BuU8.net
>>61が読めないサルｗ
76:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/08/01 16:48:11.41 jNdZ0xXe.net
>>73
スレ主です
１）まず>>10なｗｗ
２）次に、数学での用語”自由”の例 下記な
数学では、”自由”の定義を書かなければ、数学的な意味が決まらない
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
自由代数（じゆうだいすう、英: free algebra）は多項式環の非可換類似である、なぜならばその元は可換でない変数の「多項式」として書けるからである。同様に、多項式環は自由可換代数 (free commutative algebra) と見ることができる（多項式環#多項式環の普遍性参照）。
URLﾘﾝｸ(ja.wikipedia.org)
自由群（じゆうぐん、free group）とは、公理から来る自明なもの以外に
77:元の間の等式がない群のことである。ただし、二つの元を取り出したとき、同じ元であるかどうか、および一方が他方の逆元であるかどうかは判定できる。 https://ja.wikipedia.org/wiki/%E8%87%AA%E7%94%B1%E7%A9%8D 自由積（じゆうせき、英: free product）は、2つの群 G, H から新しい群 G * H を構成する操作である。G * H は G と H をともに部分群として含み、G と H の元によって生成され、そして、これらの性質を持つ「最も一般的な」群である。G と H の一方が自明でないかぎり、自由積は必ず無限群である。自由積の構成は自由群（与えられた生成集合から作ることのできる最も一般的な群）の構成と類似している。 https://ja.wikipedia.org/wiki/%E8%87%AA%E7%94%B1%E5%A4%89%E6%95%B0%E3%81%A8%E6%9D%9F%E7%B8%9B%E5%A4%89%E6%95%B0 自由変数と束縛変数 自由変数（または自由変項、英: free variable）は数式や論理式で置換が行われる場所を指示する記法である。 変数x は、例えば次のように書くと 束縛変数（または束縛変項、英: bound variable）になる。
78:１３２人目の素数さん
23/08/01 17:17:25.58 zUY1BuU8.net
>>74
>１）まず>>10なｗｗ
まったく自由なのに確率分布を考えるアホサルｗ
>２）次に、数学での用語”自由”の例 下記な
> 数学では、”自由”の定義を書かなければ、数学的な意味が決まらない
"数学" "自由"で検索しただけでマウント取れると思ってるアホサルｗ
またもやサル知恵しか持ってないことが露呈したアホサルでしたｗ
79:１３２人目の素数さん
23/08/01 17:19:05.49 zUY1BuU8.net
>>724に正答できないなら箱入り無数目なんて到底無理
いいかげん諦めろアホサル おまえには最初から無理だ
80:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/08/01 18:04:38.48 jNdZ0xXe.net
>>75
スレ主です
あれれ？
お主 >>75で 「>>61が読めないサルｗ」と言った
>>61は 「いいよ？じゃまず>>60に答えて」だった
さて、>>60は
60 名前：１３２人目の素数さん[] 投稿日：2023/08/01(火) 12:27:08.18 ID:zUY1BuU8 [17/26]
>>57
自由でないなら何らかの規則があるはず。
その規則とやらを今すぐここに示しなさい。
示さないならお前の発言は只の妄想に過ぎない。
(引用終り)
ここで
”何らかの規則”の
一例が、>>10ですよｗｗｗ
よって、言い訳ばかりしてないで
さっさと、あなたの”自由”の定義を書きなさい>>74
（どうせ、子供みたいなことしか書けないだろうけどねｗｗｗ）
81:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/08/01 18:12:37.94 jNdZ0xXe.net
>>77 リンク訂正
お主 >>75で 「>>61が読めないサルｗ」と言った
↓
お主 >>73で 「>>61が読めないサルｗ」と言った
82:１３２人目の素数さん
23/08/01 19:17:03.81 zUY1BuU8.net
>>77
>”何らかの規則”の
>一例が、>>10ですよｗｗｗ
一例じゃ規則にならないｗ
やっぱアホだこのサル
83:１３２人目の素数さん
23/08/01 20:06:06.62 FfWN7Q7d.net
Sergiu Hartの”Choice Game”のどこをみても
無限列の任意の項が確率変数だなんて全く書いてないが
URLﾘﾝｸ(www.ma.huji.ac.il)
Consider the following two-person game game1:
• Player 1 chooses a countably infinite sequence x = (xn)n∈N of real numbers, and puts them in boxes labeled 1, 2, ...
• Player 2 opens all the boxes except one, in some order, and reads the numbers there; then he writes down a real number ξ.
• The unopened box, say box number i, is opened; if xi = ξ then Player 2 wins, and if xi =/= ξ then Player 1 wins.
Theorem 1
For every ε > 0 Player 2 has a mixed strategy in game1 guaranteeing him a win with probability at least 1 － ε.
84:１３２人目の素数さん
23/08/01 20:11:47.53 FfWN7Q7d.net
>「まったく自由」に実数r∈R を入れる
任意の数列を初期設定できる といってるだけで
確率変数として各試行ごとに変更できる、�
85:ﾈんていってないが Sergiu Hartの”Choice Game”でもPlayer 1は一旦無限列を選んだらそこで終わり Player 1が初期設定した無限列から、Player2が勝手に箱を１つ選んで その中身を当てられるかどうかがChoice Game
86:１３２人目の素数さん
23/08/01 20:30:29.77 zUY1BuU8.net
まったくその通りなんだが、サルはどうしても理解できないんよ
サルの耳に念仏やね
87:１３２人目の素数さん
23/08/01 20:40:45.17 W1nQ8Vae.net
>>79
>>>77
>>”何らかの規則”の
>>一例が、>>10ですよｗｗｗ
>一例じゃ規則にならないｗ
スレ主です
規則の一例だと
読んでくれ
それで良いだろ？ｗｗｗ
88:１３２人目の素数さん
23/08/01 20:46:25.99 zUY1BuU8.net
>>83
まったく自由なのに確率を考えること自体がバカだし
「規則」と言ってるのは
>数学の問題の表現方法
に関してであって、おまえは完全に読み違えている。
いいから超簡単問題>>724にすら正答できないサルには端から無理なので諦めなさい
89:１３２人目の素数さん
23/08/01 21:03:04.62 W1nQ8Vae.net
>>80-81
>無限列の任意の項が確率変数だなんて全く書いてないが
>>「まったく自由」に実数r∈R を入れる
> 任意の数列を初期設定できる といってるだけで
> 確率変数として各試行ごとに変更できる、なんていってないが
> Sergiu Hartの”Choice Game”でもPlayer 1は一旦無限列を選んだらそこで終わり
> Player 1が初期設定した無限列から、Player2が勝手に箱を１つ選んで
> その中身を当てられるかどうかがChoice Game
スレ主です
その陳述は、大学の確率論の”確率変数”に無知
を自白しているに等しい！
下記の 広大 岩田耕一郎 測度論と確率論 で
”目次 2 確率空間と確率変数 5”の該当箇所を読んで たもれ！
（補足）
・実は、”確率変数”を、”変数”と勘違いしている 確率論の素人が多いんだ！ｗ
・岩田耕一郎氏が、下記に書いているように、”確率変数”は ”関数”なのですｗｗ
・つまり、”未開封の数の入った箱”自身を確率論的に扱う手法が、”確率変数”ってこと
（これを、初心者に説明するには、余白が狭すぎるので、是非下記の岩田耕一郎氏を熟読願いたし！！）
(参考)
前スレ 842より
URLﾘﾝｸ(home.hiroshima-u.ac.jp)
広大 岩田耕一郎
確率統計C
URLﾘﾝｸ(home.hiroshima-u.ac.jp)
測度論と確率論
広島大学理学部数学科確率統計C講義ノート岩田耕一郎2007年7月4日
目次
2 確率空間と確率変数 5
90:１３２人目の素数さん
23/08/01 21:08:44.69 zUY1BuU8.net
>>85
>・岩田耕一郎氏が、下記に書いているように、”確率変数”は ”関数”なのですｗｗ
誰が関数じゃないと言ったの？
91:１３２人目の素数さん
23/08/01 21:14:41.25 W1nQ8Vae.net
>>84
>まったく自由なのに確率を考えること自体がバカだし
>「規則」と言ってるのは
>>数学の問題の表現方法
>に関してであって、おまえは完全に読み違えている。
スレ主です
ダメを詰めようね（これ囲碁の終局の手続きですｗ）
まったく自由なので確率を考えることも、自由の範囲
つまり、箱に入れる数として
１）コイントス {0,1}
２）サイコロ {1,2,・・6}
３）トランプ {1,2,・・13}
４）区間[0,1]の実数 r∈[0,1]
などなど
この１）～４）等は、ある確率規則に従う ”数入れ”ですよ
で？ >>77より繰り返す！
言い訳ばかりしてないでｗｗ
さっさと、あなたの”自由”の定義を書きなさい！>>74
（どうせ、子供みたいなことしか書けないだろうけどねｗｗｗ）
92:１３２人目の素数さん
23/08/01 21:21:23.50 zUY1BuU8.net
>>87
>この１）～４）等は、ある確率規則に従う ”数入れ”ですよ
だから何？
93:１３２人目の素数さん
23/08/01 21:23:04.48 zUY1BuU8.net
>>87
>さっさと、あなたの”自由”の定義を書きなさい！>>74
>>58に書いているのにアホかこのサルｗ
94:１３２人目の素数さん
23/08/01 21:24:39.21 FfWN7Q7d.net
>>87
＞箱に入れる数として
＞１）コイントス {0,1}
＞２）サイコロ {1,2,・・6}
＞３）トランプ {1,2,・・13}
＞４）区間[0,1]の実数 r∈[0,1]
＞などなど
＞この１）～４）等は、ある確率規則に従う ”数入れ”ですよ
数列の各項の範囲を設定しただけ
Sergiu Hart の ”Choice Game” のどこにも確率規則なんて書いてない
駄目押しで自爆とは、サルは囲碁もできないらしい
95:１３２人目の素数さん
23/08/01 21:26:15.97 zUY1BuU8.net
もうサルはアホなんだから口を閉じなさい
そんなに恥晒すのが楽しいんか？
96:１３２人目の素数さん
23/08/01 21:44:22.64 FfWN7Q7d.net
＞「任意の有限部分族が独立のとき，独立，と定義される」
＞この記述は、下記ゲーデルのコンパクト性定理で用いられた
＞数学の覚えておくべき手筋の一つ
定義を手筋という愚か者を初めてみました
＞（”任意の有限部分集合が・・”は、基礎論で確立されたスジで。）
ありもない筋が見える愚か者を初めてみました
＞ここにイチャモンは手筋に暗い人です
数学に真暗な愚か者を初めてみました
97:１３２人目の素数さん
23/08/01 21:51:15.61 FfWN7Q7d.net
時枝氏はSergiu Hartの”Choice Game”が、
無限列の各項を確率変数とした場合にも
全く同様に成り立つと思ってるようだが
もちろんそれは誤解である
Prussのnonconglomerableに基づく指摘は正しい
一方でどっかのだれかのいう「確率０」は
conglemerabilityを前提している点で誤っている
つまりPrussの指摘はどっかのだれかの独善的計算にも
全く同様に当てはまる
98:１３２人目の素数さん
23/08/01 23:01:25.60 W1nQ8Vae.net
>>89
>>さっさと、あなたの”自由”の定義を書きなさい！>>74
>>>58に書いているのにアホかこのサルｗ
さて、さらにダメを詰めようねｗ
（再録）
>>59１３２人目の素数さん 2023/08/01(火) 12:26:12.92ID:YuvU5yzW
>>∀s∈R^N
はい、これに続けて
無内容ではない命題を述べてみて
(引用終り)
謎のプロ数学者氏から
”ダメだし”が出ていますよｗｗｗ
99:１３２人目の素数さん
23/08/01 23:09:52.87 zUY1BuU8.net
>>94
だーかーらー>>61が読めんのか？アホサル
100:１３２人目の素数さん
23/08/01 23:14:53.58 W1nQ8Vae.net
>>90
>駄目押しで自爆とは、サルは囲碁もできないらしい
ふふ、多少は打つのかな、囲碁を？ｗ
>Sergiu Hart の ”Choice Game” のどこにも確率規則なんて書いてない
・残念ですね。貴方の見落としですｗ
・下記のSergiu Hart氏”P2 Remark.”の通りです
・なお、ここの”the xi independently and uniformly on・・”とあるxiが、確率変数ですｗｗ
(参考)再録
ｽﾚﾘﾝｸ(math板:2番)
URLﾘﾝｸ(www.ma.huji.ac.il)
Sergiu Hart
URLﾘﾝｸ(www.ma.huji.ac.il)
Some nice puzzles:
URLﾘﾝｸ(www.ma.huji.ac.il)
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”
で、選択公理なしで同じことが成り立つから、”選択公理”は、単なる目くらましってことも暗示している
(引用終り)
101:１３２人目の素数さん
23/08/01 23:30:45.68 W1nQ8Vae.net
>>92
ふふふ
あんまり、囲碁に詳しくないようですねｗ
>＞数学の覚えておくべき手筋の一つ
> 定義を手筋という愚か者を初めてみました
定義自身は、囲碁で言えば、定石や死活（隅および辺）の知識でしょうね
手筋は、ちょっと概念が違う
そして、>>47で主張していることは
常用の手筋として
無限集合の性質を定義するときに
「任意の有限部分集合が○○である」という表現手法が、手筋ってことです
コンパクト性定理は
（無限集合の）”ある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理であり、モデル理論における最も基本的かつ重要な成果のひとつである”です>>47
この基礎論で確立された表現様式に、無知にも
”素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう”>>46
などと、へんなツッコミを入れる人がいるってことｗ
ここ、大外しですねｗｗ
102:１３２人目の素数さん
23/08/01 23:38:17.38 W1nQ8Vae.net
>>93
スレ主です
ID:FfWN7Q7d氏は、おサル>>5さんかい？ｗ
どうでも良いが
conglemerability
と
nonconglomerable
の数学的定義を書いてください
まあ、書けないと思うが
一応要求しておきますｗ
103:１３２人目の素数さん
23/08/01 23:49:12.88 W1nQ8Vae.net
>>95
>だーかーらー>>61が読めんのか？アホサル
ふふふ
同一局面の循環ですね（囲碁でもありますｗ）
（再録）
77 新 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/08/01(火) 18:04:38.48ID:jNdZ0xXe
スレ主です
あれれ？
お主 73で 「61が読めないサルｗ」と言った
61は 「いいよ？じゃまず>>60に答えて」だった
さて、60は
60 名前：１３２人目の素数さん[] 投稿日：2023/08/01(火) 12:27:08.18 ID:zUY1BuU8 [17/26]
自由でないなら何らかの規則があるはず。
その規則とやらを今すぐここに示しなさい。
示さないならお前の発言は只の妄想に過ぎない。
(引用終り)
ここで
”何らかの規則”の
一例が、>>10ですよｗｗｗ
よって、言い訳ばかりしてないで
さっさと、あなたの”自由”の定義を書きなさい>>74
（どうせ、子供みたいなことしか書けないだろうけどねｗｗｗ）
(引用終り)
以上
104:１３２人目の素数さん
23/08/02 00:05:02.89 5vzVAtjz.net
>>99
>ここで
>”何らかの規則”の
>一例が、>>10ですよｗｗｗ
ちげーわバカ
ここでの「規則」とは数学の問題の表現方法に対する規則を言っている
この「規則」を言いだしたのは俺だからおまえが言える�
105:ｾ葉は「ああそうですか」だけだ ほんとサルはバカだな
106:１３２人目の素数さん
23/08/02 06:16:52.34 vyhaLR3s.net
つまり、「こんな入れ方をすれば99パーセントの確率で
あてることはできないでしょう」というと
「そんな入れ方は全体からすれば無視可能」
と言い返すことができるという仕組みかな？
107:１３２人目の素数さん
23/08/02 07:12:26.72 CjI3MToW.net
>>96
>>Sergiu Hart の ”Choice Game” のどこにも確率規則なんて書いてない
>残念ですね。貴方の見落としです
>Sergiu Hart氏”P2 Remark.”の通りです
>ここの”the xi independently and uniformly on・・”とあるxiが、確率変数です
残念ながら、誤読
そもそも有限列の場合、決定番号が最大値となるように初期設定すればいい
あなた、有限列の場合に失敗する理由も理解できてませんね
それじゃ、無限列の場合に成功する理由も理解できないですね
囲碁も数学も駄目 人間ですか？
108:１３２人目の素数さん
23/08/02 10:04:32.77 5vzVAtjz.net
>>101
はい、大間違いです。
>「こんな入れ方をすれば99パーセントの確率で
>あてることはできないでしょう」
なる入れ方が反例であり、反例が一つでも存在すれば時枝証明は誤り。
もちろんサルは反例を示せていない。
109:１３２人目の素数さん
23/08/02 10:43:32.58 vyhaLR3s.net
>>103
サイコロを振って箱に入れる数を決めると
絶対に99パーセントの確率であてることはできないと言えば
普通の人は納得するのではないか
110:１３２人目の素数さん
23/08/02 10:51:50.61 5vzVAtjz.net
>>104
それで納得するバカは時枝証明を理解しない輩のみ
111:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/08/02 10:54:42.63 x940Fywu.net
>>104
ご苦労様です
スレ主です
>サイコロを振って箱に入れる数を決めると
>絶対に99パーセントの確率であてることはできないと言えば
>普通の人は納得するのではないか
”普通”の人は、そうですね
例外があって、数学科出身のオチコボレさん
「おれさま、数学科。同値類か！ 決定番号は、選択公理で選べる！ ”箱入り無数目”は無敵だぁ～！」
「おれさま、数学科。”普通”の人に理解できない高等数学を学んだので分かるのだぁ～！」
そう、のたまう人がいそうですねｗｗｗ
112:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/08/02 10:55:48.61 x940Fywu.net
>>105
ご苦労様です
スレ主です
早速でましたねｗ>>105
113:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/08/02 10:56:56.34 x940Fywu.net
>>107 リンク訂正
早速でましたねｗ>>105
↓
早速でましたねｗ>>106
114:１３２人目の素数さん
23/08/02 11:01:14.60 5vzVAtjz.net
はい、早速でましたね 時枝証明を理解しないバカがｗ
115:１３２人目の素数さん
23/08/02 11:05:50.09 5vzVAtjz.net
まあサルの場合証明以前に命題を理解してないけどね
勝率99/100になるには箱を固定したらダメ、確率的に選択されないとダメ
116:１３２人目の素数さん
23/08/02 11:25:57.95 vyhaLR3s.net
>>110
>>勝率99/100になるには箱を固定したらダメ、確率的に選択されないとダメ
こういう言い逃れがいくらでもできるということを
自慢したいわけだね
117:１３２人目の素数さん
23/08/02 11:34:40.78 5vzVAtjz.net
>>111
記事にはっきり書かれてるけど、文盲ですか？
「どの箱を閉じたまま残すかはあなたが決めうる.」
あなたが決めるうるだから、もちろん確率的に決めていい。
文盲には箱入り無数目は無理なので去られた方がよろしいのでは？
118:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/08/02 12:13:02.08 x940Fywu.net
>>102
ご苦労様です
スレ主です
なんか、お主 サイコパスのおサル>>5 そっくりだな
論点ずらしの手法が、そっくりだぜｗ
さて、ダメを詰めます
１）まず、箱の数の確率論の扱いで
>>96 のSergiu Hart氏”P2 Remark.”の通り
URLﾘﾝｸ(www.ma.huji.ac.il)
Choice Games November 4, 2013 Sergiu Hart
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.
(引用終り)
２）さて、これで分かること
i)有限数列は、確率変数 xi で扱えること
ii)"the xi independently and uniformly on [0, 1] and {0, 1,..., 9}, respectively."
とあるように、いろいろな確率分布を、確率変数で扱える
特に、independently＝独立 にも、ご注目
iii)ご存知のように
高等数学は高度に抽象化されているので
有限数列を扱えれば、当然無限列も扱えるのです
iv)よって>>46より
”「箱入り無数目」に反例の記載がある
下記 時枝氏自身が記事に書いている
「素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.」”
この成立を 認めるということで、よろしいな！ｗｗｗ
119:１３２人目の素数さん
23/08/02 13:18:21.81 5vzVAtjz.net
>>113
>２）さて、これで分かること
> i)有限数列は、確率変数 xi で扱えること
「Player 1 chooses a rational number in the interval [0, 1] and writes down
its infinite decimal expansion3 0.x1x2...xn..., with all xn ∈ {0, 1,..., 9}.」
から分かる通り、xiは出題列の第i項。
> ii)"the xi independently and uniformly on [0, 1] and {0, 1,..., 9}, respectively."
> とあるように、いろいろな確率分布を、確率変数で扱える
game1は[0, 1]上の一様分布、game2は{0, 1,..., 9}上の一様分布を使ってxiの値を選択すると言っている
なんで読めば分かることを読まずに妄想するかなあこのサルは
> 高等数学は高度に抽象化されているので
> 有限数列を扱えれば、当然無限列も扱えるのです
これも妄想
最後の項は有限列にはあるが無限列には無いという反例あり
> ”「箱入り無数目」に反例の記載がある
これも妄想
> 下記 時枝氏自身が記事に書いている
> 「素朴に，無限族を直接扱えないのか?
> 扱えるとすると私たちの戦略は頓挫してしまう.
> n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
> その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
> 当てられっこないではないか－－他の箱から情報は一切もらえないのだから.」”
一部だけ引用して印象操作はダメ
「”ばかばかしい，当てられる筈があるものか，と感じられるだろう.
何か条件が抜け落ちているのではないか，と疑う読者もあろう.問題を読み直していただきたい.
条件はほんとうに上記のとおり.無限個の実数が与えられ，一個を除いてそれらを見た上で，除いた一個を当てよ，というのだ.
ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある. 」
120:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/08/02 13:51:59.85 x940Fywu.net
>>114
スレ主です
やれやれ、数学科オチコボレの うんこ君だったかクソ君だったか？ クソ君か
恥かきに来たの？
１）まず
（参考） 85より
URLﾘﾝｸ(home.hiroshima-u.ac.jp)
広大 岩田耕一郎
確率統計C
URLﾘﾝｸ(home.hiroshima-u.ac.jp)
測度論と確率論
広島大学理学部数学科確率統計C講義ノート岩田耕一郎2007年7月4日
目次
2 確率空間と確率変数 5
ここら辺りを、百回音読願います！ｗｗ
２）さて
>> ii)"the xi independently and uniformly on [0, 1] and {0, 1,..., 9}, respectively."
>> とあるように、いろいろな確率分布を、確率変数で扱える
>game1は[0, 1]上の一様分布、game2は{0, 1,..., 9}上の一様分布を使ってxiの値を選択すると言っている
"independently"を読み飛ばしたかい？ まあ、理解が出来ないことを 人はしばしば飛ばす
大学受験のテクニックで、”重要キーワードにアンダーラインを引け”がある
重要キーワードを落とすと、合格答案はできない！
"independently"は、日本語では独立という。確率変数の用語ですよｗｗｗ
３）次に
>> 高等数学は高度に抽象化されているので
>> 有限数列を扱えれば、当然無限列も扱えるのです
>これも妄想
>最後の項は有限列にはあるが無限列には無いという反例あり
繰返す、広大 岩田耕一郎 測度論と確率論 の 確率変数 を繰り返し読め！！ｗｗｗ
以上
しっかり「測度論と確率論」を勉強しろ、うんこ君ｗ
121:１３２人目の素数さん
23/08/02 14:30:32.02 5vzVAtjz.net
>>115
>"independently"は、日本語では独立という。確率変数の用語ですよｗｗｗ
だから？
>繰返す、広大 岩田耕一郎 測度論と確率論 の 確率変数 を繰り返し読め！！ｗｗｗ
確率変数でないxiを確率変数と言ってる妄想ザルがどの口で言うのかｗ
122:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/08/02 14:50:09.11 x940Fywu.net
>>113 反例追加
さらに、ダメを詰めますｗ
<前振り>
ある数学書に、投稿した数学の論文に使われいた不等式の誤りに、それを使うと量子力学が破綻することで分かって、論文を取り下げた話があった
数学の論文の間違いに、量子力学が破綻することで気づくとは、これはなかなかの教養だと感心した
（三四郎やジブリとは、違う教養だなとｗ。この話は、なんとか外伝にあったかな）
さて本題は、「箱入り無数目」の「シュレーディンガーの猫」
下記で、時枝さんは気付いていないが、「箱入り無数目」の戦略で
”「シュレーディンガーの猫」の生死が箱を開けずに、ピタリと当てられる”ならばｗ
完全に、量子力学の原理を破っているぞ！ｗ
（参考）
ｽﾚﾘﾝｸ(math板:631番)-6
123:32 スレタイ 箱入り無数目を語る部屋7 時枝「箱入り無数目」数学セミナー201511月号 P37 左欄の中央辺りから下方 ”このふしぎな戦略を反省してみよう. Rより一般に，勝手な集合Sの元の無限列S^Nを使 った構成も異曲同工.特に，{O,1}^Nを使ってシュレー ディンガーの猫みたいなお話が紡げる.” この「シュレーディンガーの猫」とは下記wikipedia 要するに、 １）量子力学から導かれるのは、確率解釈だが ２）”シュレーディンガーの猫”の主張は 確率解釈は「猫の生死」が不明だからであって ”50％ずつの重ね合わせの状態になり、箱の中では箱を開けてそれを確認するまで猫が死んでいる状態と生きている状態の重ね合わせになる” というが、それはおかしいよという ３）繰り返すが、”シュレーディンガーの猫”の主張は、生死不明だから確率で 現実に死50％、生50％の重ね合わせは可笑しいよね つまり、”生死不明だから確率”と考えるのが普通なのです https://ja.wikipedia.org/wiki/%E3%82%B7%E3%83%A5%E3%83%AC%E3%83%BC%E3%83%87%E3%82%A3%E3%83%B3%E3%82%AC%E3%83%BC%E3%81%AE%E7%8C%AB シュレーディンガーの猫 https://www.kinokuniya.co.jp/f/dsg-01-9784768705926 関数論外伝―Ｂｅｒｇｍａｎ 核の１００年
124:１３２人目の素数さん
23/08/02 15:39:05.04 5vzVAtjz.net
>>117
50％ずつの重ね合わせの状態は実数ではないからダメ（Rを{0,1}に置き換えたとしても同じこと）
「箱それぞれに，私が実数を入れる.」が読めない文盲？
125:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/08/02 16:10:13.40 x940Fywu.net
>>117 追加
さらに、ダメを詰めますｗ
>時枝「箱入り無数目」数学セミナー201511月号
>”このふしぎな戦略を反省してみよう.
>Rより一般に，勝手な集合Sの元の無限列S^Nを使
>った構成も異曲同工
１）いま、Rより一般の集合Sとして、多元数（下記）を考えてみよう
（某N大が得意かもしれないｗ）
例としては、複素数、4元数、8元数 ・・k元数 など
２）下記 Alexander Pruss氏の批判がある
実数列の代表と決定番号を使うと
coin flip {0,1}の数の推定に、”guess π”が出てくる
”Intuitively this seems a really dumb strategy”だと
３）同じことが、複素数、4元数、8元数 ・・k元数 などを使うと起きる
例えば、k元数の代表と決定番号で
箱には実数を入れたのに、k元数の代表からは、k元数の元が出てくる
（代表と決定番号の関係は、coin flip S={0,1}もS={全てのk元数}も同じ、{d1,d2,・・d100}から99/100の高確率。完全にアホでしょ！ｗ）
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
多元数（たげんすう、英: hyper-complex number; 超複素数）は、実数体上の単位的多元環の元を表す歴史的な用語である。多元数の研究は19世紀後半に現代的な群の表現論の基盤となった。
歴史
19世紀には、数学の文献において四元数 (quaternion), 双複素数 (tessarine), 余四元数（英語版） (coquaternion), 双四元数（英語版） (biquaternion) および八元数 (octonion) と呼ばれる数体系が実数や複素数に加えて確立された概念となっていた。多元数 (hypercomplex number) の概念はこれらすべてを包含するものであり、またこれらを説明し分類するための指針を示唆する呼称である。
いくつかの系列について
クリフォード代数
直交化を施すことにより、基底 {e1, …, ek} で
略
を満たすものをとることができる
つづく
126:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/08/02 16:10:44.03 x940Fywu.net
つづき
ｽﾚﾘﾝｸ(math板:1番)
URLﾘﾝｸ(mathoverflow.net)
Probabilities in a riddle involving axiom of choice
asked Dec 9 '13 at 16:16 Denis
answered Dec 11, 2013 at 21:07
Alexander Pruss
Here's an amusing thing that may help see how measurability enters into these things. Consider a single sequence of infinitely many independent fair coin flips. Our state space is Ω={0,1}^N,
corresponding to an infinite sequence (Xi)^∞ i=0 of i.i.d.r.v.s with P(Xi=1)=P(Xi=0)=1/2.
Start with P being the completion of the natural product measure on Ω.
Can you guess the first coin flip on the basis of all the others?
You might think: "Of course not! No matter what function from the values of flips X1,X2,... to {0,1} is chosen, the probability that the value of the function equals X0 is going to be 1/2."
That's a fine argument assuming the function is measurable. But what if it's not? Here is a strategy: Check if X1,X2,... fit with the relevant representative.
If so, then guess according to the representative.
If not, then guess π. (Yes, I realize that π not∈{0,1}.)
Intuitively this seems a really dumb strategy.
＜i.i.d.r.v.s について＞
URLﾘﾝｸ(elf-c.he.u-tokyo.ac.jp)
Mathematics and Informatics Center 数理手法VI 2020 荻原 ...
東京大学
ブラウン運動は i.i.d. r.v.s の和を連続時間に拡張したような概念
URLﾘﾝｸ(ebi-works.com)
Pythonで統計処理をしよう！SciPyのstatsモジュール使い方まとめ えびかずき
rvsは、確率変数（random variables）を意味します。
URLﾘﾝｸ(ja.wikipedia.org)
独立同分布（ independent and identically distributed; IID, i.i.d., iid）や独立同一分布
(引用終り)
以上
127:１３２人目の素数さん
23/08/02 16:23:59.84 5vzVAtjz.net
>>119
>coin flip {0,1}の数の推定に、”guess π”が出てくる
πが出ようが何が出ようが勝率99/100以上であることに変わりない
アホ？
128:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/08/02 17:51:36.43 x940Fywu.net
>>121
>>coin flip {0,1}の数の推定に、”guess π”が出てくる
>πが出ようが何が出ようが勝率99/100以上であることに変わりない
>アホ？
”Intuitively this seems a really dumb strategy”by Alexander Pruss
Pruss氏に、一票
そういう人多いと思います！ｗｗｗ
129:１３２人目の素数さん
23/08/02 17:59:38.53 5vzVAtjz.net
>>122
アホやな～
Prussが”Intuitively this seems a really dumb strategy”と言ってるstrategyはPrussが提示したものやぞ？
サル何も分からず憐れ
130:１３２人目の素数さん
23/08/02 18:02:44.16 5vzVAtjz.net
ほんとサルってアホでバカで恥晒しだよね
なんで生きてられんだろう？ さっさと死ねばいいのに
131:新 現代数学の系譜 雑談 ◆yH25M02vWFhP
23/08/02 18:35:32.53 x940Fywu.net
>>118
>50％ずつの重ね合わせの状態は実数ではないからダメ（Rを{0,1}に置き換えたとしても同じこと）
>「箱それぞれに，私が実数を入れる.」が読めない文盲？
>>118
> 50％ずつの重ね合わせの状態は実数ではないからダメ（Rを{0,1}に置き換えたとしても同じこと）
>「箱それぞれに，私が実数を入れる.」が読めない文盲？
分かってないね
１）”シュレーディンガーの猫”を、可算無限個用意する
（猫が、可算無限用意できる？ まあ、思考実験だからね。ヒルベルト無限ホテル同様としましょうねｗ）
２）時枝「箱入り無数目」ならぬ「箱入り無数”猫”」
時枝戦略で、ある箱の猫の生死が、他の箱によるしっぽの同値類と決定番号で、確率1-εで決まるだと？？
３）これ如何にぃ～！！ｗ 面白い新説だなｗ 論文書けるぞ！！ｗｗｗ
URLﾘﾝｸ(ja.wikipedia.org)
シュレーディンガーの猫
猫の生死に関する思考実験
132:１３２人目の素数さん
23/08/02 19:04:43.95
133:5vzVAtjz.net
134:１３２人目の素数さん
23/08/02 19:27:00.87 WgYYAA2h.net
>>126
分かっていないのは君の方じゃないかな
135:１３２人目の素数さん
23/08/02 19:39:14.56 5vzVAtjz.net
>>127
どこをどう分かってないのか具体的にどうぞ
136:１３２人目の素数さん
23/08/02 19:54:36.64 CjI3MToW.net
>>113
> さて、ダメを詰めます
自分の？
2015年11月で時が止まった人は全く知らないに違いないが
数学セミナー2021年7月号、静間荘司氏の「囚人と帽子のゲーム」で
「囚人が色とりどりの帽子を被り
自分の帽子以外の全ての囚人の帽子の色がみえるという設定で、
自分の帽子の色を当てる」
というゲームを行った場合
囚人が無限にいると
「有限人だけが間違う戦略」
が存在する
(Gabay-O'Connerの定理(2004))
もちろんこれは箱入り無数目同様、選択公理をもちいて
「有限個の違いを除いて等しい」
という同値関係の同値類の代表元を得ることで
自分の帽子の色を当てる
代表元との違いはたかだか有限個だから
間違うのはたかだか有限人である
もちろん囚人が有限の場合には同様の戦略は不可能である
さて、どこぞの素人は
「有限だろうが無限だろうが”独立”なんだから
他人の帽子の色なんかいくらみたって
帽子の色が無限にあれば
自分の帽子の色を全員外す確率は１！」
とわめきちらしてるが、
Gabay-O'Connerの定理(2004)
を否定するのかい？
ついでにいうと査読論文だけでなく
数学のテキストも出版されてる
『The mathematics of Coordinated Inference』（Christopher S. Hardin, Alan D. Taylor）
137:１３２人目の素数さん
23/08/02 20:06:12.14 ZXbxy+/a.net
>>123-124
スレ主です
うんこ君、がんばるね
いまさら、撤退できんわな
最後の最後まで、お付き合いしますよｗ
あなたが、2015年に「箱入り無数目」を紹介して以来
この論争も、そろそろ8年か
当時は、あなたの応援団も沢山いたけど
いまは、ほぼ あなた一人のみｗ
あ、クソ君だったかなｗ
まあ、頑張れよｗｗ
138:１３２人目の素数さん
23/08/02 20:09:11.45 5vzVAtjz.net
>>130
まだ分かってないんか？
頭悪いサルやのう
139:１３２人目の素数さん
23/08/02 20:15:47.60 CjI3MToW.net
>>113
> さて、ダメを詰めます
自分の？
2015年11月で時が止まった人は全く知らないに違いないが
数学セミナー2021年7月号、静間荘司氏の「囚人と帽子のゲーム」で
「囚人が色とりどりの帽子を被り
自分の帽子以外の全ての囚人の帽子の色がみえるという設定で、
自分の帽子の色を当てる」
というゲームを行った場合
囚人が無限にいると
「有限人だけが間違う戦略」
が存在する
(Gabay-O'Connorの定理(2004))
もちろんこれは箱入り無数目同様、選択公理をもちいて
「有限個の違いを除いて等しい」
という同値関係の同値類の代表元を得ることで
自分の帽子の色を当てる
代表元との違いはたかだか有限個だから
間違うのはたかだか有限人である
もちろん囚人が有限の場合には同様の戦略は不可能である
さて、どこぞの素人は
「有限だろうが無限だろうが”独立”なんだから
他人の帽子の色なんかいくらみたって
帽子の色が無限にあれば
自分の帽子の色を全員外す確率は１！」
とわめきちらしてるが、
Gabay-O'Connorの定理(2004)
を否定するのかい？
ついでにいうと査読論文だけでなく
数学のテキストも出版されてる
『The mathematics of Coordinated Inference』（Christopher S. Hardin, Alan D. Taylor）
140:１３２人目の素数さん
23/08/02 20:22:02.13 CjI3MToW.net
>>130
O大学入れなかったサル君、がんばるね
＞いまさら、撤退できんわな
高卒君がかい？
大学入れん高卒に保つべき体面なんてあるのかい？ないだろう
＞最後の最後まで・・・
死ぬまで初歩を間違いつづけるわけだ
将棋で負け囲碁で負け数学で負け
高卒は頭を使うことでは全て負け
頭使わなけりゃいいのに、頭悪いんだから
141:１３２人目の素数さん
23/08/02 20:24:08.28 ZXbxy+/a.net
>>129
これはこれは
スレ主です
ありがとうね
お主、本当にサイコパスのおサル>>5 かもねｗ
（論点ずらしの手法が、そっくりだなｗ）
ところで、「囚人と帽子のゲーム」は、正確には覚えていないが
類似の話は
過去スレで話題になった気がする
英文情報がかなりあると思うよ
数学セミナー2021年7月号、静間荘司氏は
詳しくは、知らないが上記の記憶が正しければ「箱入り無数目」とは別物だろう
簡単な話で
１）可算無限長の列
142:があるとする ２）先頭の有限個を除くと、”しっぽの部分は また 可算無限長の列になる”という筋でしょ？ｗ でお主は、時枝「箱入り無数目」が正しいと思うならば 静間荘司先生に頼んでｗ 「箱入り無数目」のGabay-O'Connerの定理(2004)を使った ”「箱入り無数目」外伝”を書いてもらえ！！ｗ （”「箱入り無数目」正伝”？かもなｗ） ともかく、Gabay-O'Connerの定理(2004)だとか 数学セミナー2021年7月号、静間荘司氏 「囚人と帽子のゲーム」だとか 類似が成り立つから、時枝「箱入り無数目」が正しいというのは 類推として結構なことだが それは厳密な数学には、なってないわなｗｗ
143:１３２人目の素数さん
23/08/02 20:32:19.08 CjI3MToW.net
>>134
＞詳しくは知らないが上記の記憶が正しければ「箱入り無数目」とは別物だろう
大学落ちた高卒君の記憶は一度たりとも正しかったことはない
詳しく知れば「箱入り無数目」の確心そのものだとわかる
そもそも
「任意有限個だろうが無限個だろうが独立は独立」
といいはるなら、Gabay-O'Connerの定理(2004)は肯定できない
なぜなら、高卒君のウソ手筋では
「任意有限人の帽子の色を見ても当てられないから
無限人の帽子の色を見てもやっぱり当てられない」
となるがGabay O'Connorは
「任意有限人の帽子を見て皆当てられなくても
無限人の帽子を見れば当てられない人をたかだか有限人におさえられる」
といってるからだ
144:１３２人目の素数さん
23/08/02 20:33:12.19 CjI3MToW.net
そもそも
「任意有限個だろうが無限個だろうが独立は独立」
といいはるなら、Gabay-O'Connerの定理(2004)は肯定できない
なぜなら、高卒君の誤った手筋では
「任意有限人の帽子の色を見ても当てられないから
無限人の帽子の色を見てもやっぱり当てられない」
となるがGabay O'Connorは
「任意有限人の帽子を見て皆当てられなくても
無限人の帽子を見れば当てられない人をたかだか有限人におさえられる」
といってるからだ
145:１３２人目の素数さん
23/08/02 20:33:41.08 CjI3MToW.net
そもそも
「任意有限個だろうが無限個だろうが独立は独立」
といいはるなら、Gabay-O'Connerの定理(2004)は肯定できない
146:１３２人目の素数さん
23/08/02 20:34:22.58 CjI3MToW.net
なぜなら、どっかのだれかの「自慢の」（しかし誤った）手筋では
「任意有限人の帽子の色を見ても当てられないから
無限人の帽子の色を見てもやっぱり当てられない」
となるがGabay O'Connorは
「任意有限人の帽子を見て皆当てられなくても
無限人の帽子を見れば当てられない人をたかだか有限人におさえられる」
といってるからだ
147:１３２人目の素数さん
23/08/02 20:34:57.17 CjI3MToW.net
なぜなら、どっかのだれかの「自慢の」手筋では
「任意有限人の帽子の色を見ても当てられないから
無限人の帽子の色を見てもやっぱり当てられない」
となるが
148:１３２人目の素数さん
23/08/02 20:35:14.97 CjI3MToW.net
Gabay O'Connorは
「任意有限人の帽子を見て皆当てられなくても
無限人の帽子を見れば当てられない人をたかだか有限人におさえられる」
といってるからだ
149:１３２人目の素数さん
23/08/02 20:35:48.23 ZXbxy+/a.net
スレ主です
>>125 訂正
”>>118
>50％ずつの重ね合わせの状態は実数ではないからダメ（Rを{0,1}に置き換えたとしても同じこと）
>「箱それぞれに，私が実数を入れる.」が読めない文盲？”
のダブり、一つ省略
>>127-128
>分かっていないのは君の方じゃないかな
>どこをどう分かってないのか具体的にどうぞ
前者が、謎のプロ数学者さんで
後者が、クソ君か
「どこをどう分かってない」って
全く、全部でしょ！ｗｗ
150:１３２人目の素数さん
23/08/02 20:38:12.56 CjI3MToW.net
＞謎のプロ数学者
大沢健夫って実名で書いてあげなよ
でもあの人、多変数複素関数論はともかく
無限集合論はわかってないみたい
数学タコツボ化の弊害だね
151:１３２人目の素数さん
23/08/02 20:38:43.81 5vzVAtjz.net
>>141
>全く、全部でしょ！ｗｗ
小学生かおまえは
152:１３２人目の素数さん
23/08/02 20:39:42.11 CjI3MToW.net
＞「囚人と帽子のゲーム」は、正確には覚えていないが
理解してないから覚えられないんだよ
正確に理解すれば、正確に覚えられる
153:１３２人目の素数さん
23/08/02 20:40:38.62 ZXbxy+/a.net
>>135-140
なんだ、やっぱりサイコパスのおサルさん>>5
のような気がしてきたな
どうでも良いからさ
そのGabay-O'Connerの定理(2004)を使って
「箱入り無数目」の別証明書いてみな
それを潰してやるからさ
さっさと別証明書け！！ｗｗｗ
154:１３２人目の素数さん
23/08/02 20:44:00.07 CjI3MToW.net
>>125
誤 時枝戦略で、ある箱の猫の生死が、他の箱によるしっぽの同値類と決定番号で、確率1-εで決まる
正 選択公理で、任意の箱の猫の生死が、他の箱による「有限違い」の同値類で、有限個の誤りを除いてわかる
これがGabayとO'Connorの定理
まあ、正則行列の条件も無限乗積の収束も間違った人には理解できんか
155:１３２人目の素数さん
23/08/02 20:46:46.99 CjI3MToW.net
>>145
まず、GabayとO'Connorの定理とその証明を理解しような
無理なら諦めてここから消えな 高卒
156:１３２人目の素数さん
23/08/02 20:56:09.07 ZXbxy+/a.net
>>142
>＞謎のプロ数学者
> 大沢健夫って実名で書いてあげなよ
マジレスするが
１）それは多分悪手だな
２）ウワサは聞いたが
本人が名乗らない以上、他人がとやかくいうのは如何か？
３）本人が名乗っても、同姓同名や”成りスマシ”もある
（自称”○○”さんはありだろうね。本人しか持てないマイナカードの画像をアップすれば、本人特定できるだろうなｗ）
４）５ｃｈの毎日日替わりIDで、本人がコテハンとトリップを付けない以上
以前の日のそれらしいカキコと、今日のそれとが同一人物か？ その特定は難しい
よって、まずは 本人が名乗らない以上は
現状のままだな
157:１３２人目の素数さん
23/08/02 21:02:33.43 ZXbxy+/a.net
>>146
間違っているよ
たかが、数学科程度で
「シュレーディンガーの猫」 URLﾘﾝｸ(ja.wikipedia.org)
で、張り合おうっ
158:てわけ たかが、数学科程度でｗ >>147 やっぱりサイコパスのおサル>>5 かな？ｗ どうでも良いからさ そのGabay-O'Connerの定理(2004)を使って さっさと「箱入り無数目」の 別証明書け！！ｗｗｗ
159:１３２人目の素数さん
23/08/02 21:04:07.61 CjI3MToW.net
>>148 さすが高卒 言い訳ばっかのチキンだな
収束はわからん 正則行列はわからん 同値関係はわからん
わからんづくしの高卒は ここにいても賢くなれんまま 地獄行き
160:１３２人目の素数さん
23/08/02 21:06:13.71 CjI3MToW.net
大学入試も受からん高卒の分際でシュレディンガーって
ただ横文字の名前言ってみたかっただけだろ
まず、GabayとO'Connorの定理とその証明を理解しような
無理なら諦めてここから消えな 高卒
161:１３２人目の素数さん
23/08/02 21:09:44.92 CjI3MToW.net
高卒は数学と物理の違いもわからん
物理は現実を探求するものだが、数学はそうではない
数学に現実があると思うのは素人
162:１３２人目の素数さん
23/08/02 21:11:06.09 CjI3MToW.net
まず、素人はGabayとO'Connorの定理とその証明を理解しような
無理なら諦めてここから消えな 高卒
163:１３２人目の素数さん
23/08/02 22:02:00.20 vyhaLR3s.net
>>153
>>諦めてここから消えな
みんなそう思っている
164:１３２人目の素数さん
23/08/02 22:06:08.13 5vzVAtjz.net
>>154
>>112は理解できたかい？
165:１３２人目の素数さん
23/08/02 22:15:16.61 vyhaLR3s.net
>>無理なら諦めてここから消えな 高卒
消えなければいけないのはどっち？
166:１３２人目の素数さん
23/08/02 22:27:11.13 pjEL2B8b.net
む゙む゙む゙む゙む゙む゙む゙む゙…、無念!
…じゃ無くって、無限…!!
無限てﾌｧﾝﾀｽﾃｨｯｸ!
167:１３２人目の素数さん
23/08/02 22:34:54.72 5vzVAtjz.net
>>156
>消えなければいけないのはどっち？
ナンセンスなレスばかりしているあなたですね
168:１３２人目の素数さん
23/08/02 22:41:20.18 pjEL2B8b.net
ﾑﾁﾒゎ、ちゅー卒だけどぉ、
絶対絶対絶対に…
消ぇ゙な゙ぃ゙ｯｯｯ!!!もおおぉぉぉおおん!
169:１３２人目の素数さん
23/08/02 22:45:30.78 pjEL2B8b.net
なんなんなんなん何年も前から〜
ナンナンナンナンナンセンｽｩｩ…ﾚｽしかｼﾃﾅｨけど…
絶対絶対絶対ｯｯｯ!!!
消ぇ゙ﾅｨｯｯｯ!!!もおぉぉぉ゙お゙お゙ん゙っ゙っ゙っ゙!"!"!"
だ。
170:１３２人目の素数さん
23/08/02 22:47:56.41 pjEL2B8b.net
無限の御伽噺の続きを紡ぐんだょ
ぁくしろょ
ぁくぁくぁくぁくぁくしてｸﾚｮｵｫﾝ!ｱｧﾝ!!ｵｫﾝ!!!…
(しつこい)
171:１３２人目の素数さん
23/08/02 23:17:01.65 ZXbxy+/a.net
>>154&>>156
ありがとうございます
ご苦労さまです
スレ主です
このお二人は、発言を見ていれば分かると思いますが
どうも、数学科出身らしいですが
あたまが堅いので、どうしようもないですね
172:１３２人目の素数さん
23/08/02 23:20:41.31 5vzVAtjz.net
>>162
一番頭が固いのは箱の中身は確率変数でなければならないというステレオタイプを捨てられないサル
173:１３２人目の素数さん
23/08/02 23:21:56.40 5vzVAtjz.net
>>127
具体的なことは何も言えないんですか？
では
>分かっていないのは君の方じゃないかな
はただの中傷ということでよろしいですかね？
174:１３２人目の素数さん
23/08/02 23:22:24.26 ZXbxy+/a.net
>>161
スレ主です
適切な
フォローありがとう
ございます！
175:１３２人目の素数さん
23/08/02 23:34:28.70 ZXbxy+/a.net
>>156
スレ主です
お暇なときに
数学セミナー2021年7月号、静間荘司氏の「囚人と帽子のゲーム」
もう読んでいるかも知れませんが
まだなら、チラ見しておいて下さい
（私も、大きな図書館に足を延ばせば、数学セミナーは蔵書しているらしいのですが
すぐには行けないし、それほど面白いとも思えない）
”Gabay-O'Connerの定理(2004)”なんか持ち出して
こいつらが、数学科かと思うと
げんなりしますね
「箱入り無数目」という間違った命題に
正しい証明つくわけない
”Gabay-O'Connerの定理(2004)”とか持ち出しても同じこと
それが分からないとは、情けない
旧帝大の某N大のレベルでないことは、確かだろうｗ
底辺Fランだろうな
176:１３２人目の素数さん
23/08/02 23:36:33.67 5vzVAtjz.net
>>166
>「箱入り無数目」という間違った命題に
>正しい証明つくわけない
では証明のギャップを示して下さい
177:１３２人目の素数さん
23/08/02 23:45:22.43 ZXbxy+/a.net
>>149
スレ主です
>たかが、数学科程度で
>「シュレーディンガーの猫」 URLﾘﾝｸ(ja.wikipedia.org)
>で、張り合おうってわけ
補足しておく
１）数学科生でも、ちゃんんと私以上に「シュレーディンガーの猫」を理解している人は
178:多数いると思う。物理数学系とか、量子コンピュータ関係の数理をやる人など そうでなければ、数学科では、「シュレーディンガーの猫」など深くやっている時間ないはず ２）東大生で、物理をやるつもりで勉強していたが、数学が面白いから数学科へとか まあ、そういう数オリ級は別としてね ３）そして、正しく勉強した人は 「シュレーディンガーの猫」について、どちらが正しいかは分かるはずで どちらが正しいか分からないレベルで、張り合おうってのが無理筋なのです