スレタイ箱入り無数目を語る部屋33(あほ二人の”アナグマの姿焼き"Part7ｗ)

前スレが1000近く又は1000超えになったので、新スレを立てる
(”ヘンテコスレ”が別にあります https://rio2016.5ch.io/test/read.cgi/math/1711570726/ 箱入り無数目を語る部屋19 )

https://rio2016.5ch.io/test/read.cgi/math/1786586164/
前スレ スレタイ箱入り無数目を語る部屋32(あほ二人の”アナグマの姿焼き"Part6ｗ)

(参考)時枝記事
https://imgur.com/uMqtRwr
時枝 箱入り無数目（数学セミナー201511月号の記事）の最初
https://imgur.com/YAdz2Mz
時枝 箱入り無数目（数学セミナー201511月号の記事）の後

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

２．続けて時枝はいう
　私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる.
任意の実数列s に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる.
更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.
(補足)
sD+1， sD+2，sD+3，・・・：ここでD+1などは下付添え字

つづく

https://rio2016.5ch.io/test/read.cgi/math/1786586164/798
つづき

１）>>790 で ”箱入り無数目の しっぽ同値>>1と
札付>>4の 有限個の違いを無視する同値関係 とは
数学的には同じ”
　を、証明した
２）つまり、札付>>4は 箱入り無数目>>1 のミニモデルであって
　箱入り無数目に 包含されている
３）札付の不成立を示した >>797
　ゆえに 箱入り無数目論の反例が示された■
以上

20
https://rio2016.5ch.io/test/read.cgi/math/1786586164/799
つづき
>>798 補足の補足
>３）札付の不成立を示した >>797

まあ、もともと 札付のマンガの中で
きっちり 「1/2」は否定している >>4 より

https://imgur.com/wHI3DZv
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 5 P64 251220.jpg
・この問題の方法は成り立たない
・n1,n2は確率変数になっていないから
https://imgur.com/iR4UNuV
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 6 P66 251220.jpg
・”ランダムに選んだ自然数のどちらが大きいか”みたいな話に結局なっちゃう
・なるほどな 確かにそうだよな！
(引用終り)

しかし、所詮マンガだから ごたごたと仔細を書くのはヤボ
マンガのセリフに 短く 数学の本質を損なわずに うまく表現している
さすがは 吉田大学よ （＾＾

https://rio2016.5ch.io/test/read.cgi/math/1786586164/851
2026/09/02
>査読論文でしか公言できないと言いたいの？　頭だいじょうぶ？

arXive 知らないの？ｗ
たとえ まだarXiveとか 正規の雑誌の論文でなくとも
もし正しいと思えば、数学者はそれ使うよ

だが、箱入り無数目とその類似は >>5-6 で紹介しているが
2013年から 多分欧米で話題になっていたことだが
（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.”
と記されている

つまり いまから13年前にも この箱入り無数目スレと同じような議論がされていて
mathoverflow に Denisが asked Dec 9 '13
Sergiu Hart氏は Choice Games November 4, 2013
など

Sergiu Hart氏は http://www.ma.huji.ac.il/hart/puzzle/choice.pdf
のP1 注に
1Source unknown. I heard it from Benjy Weiss, who heard it from ..., who heard it from ... . For a related problem, see http://xorshammer.com/2008/08/23/set-theory-and-weather-prediction/
とある

箱入り無数目は
面白い話だから >>1 https://imgur.com/uMqtRwr 時枝 箱入り無数目（数学セミナー201511月号の記事）の最初
にあるように
”Peter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.”と記す

まとめると 2013年ころには話題になっていて 2015年にも
Peter Winkler氏は、時枝氏に「おまえこんな話を知っているか？」と言ったのだった
つまり、Denis氏にしろ Peter Winkler氏にしろ おもしろ話として 話題にした

もし数学として成り立っているならば
箱入り無数目など そのものか
あるいは それを発展させたものかは ともかく
だれかが、正規の論文として取り上げても良さそうだろ

しかし、そういうことが13年間で全くおこっていなというのが 厳然たる事実！
つまりは、”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.”
だね
後者 ” 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.”
あるいは その類似が ”茶のみ話の結論”で 話は終わったってことだね■

さて
https://rio2016.5ch.io/test/read.cgi/math/1728783469/906 スレ25
より
906現代数学の系譜 雑談 ◆yH25M02vWFhP
2024/11/11 ID:xGTnxzX9
>>902
>両者ともに時間の・・

ID:S0s/6Kqn は、御大か
朝の巡回ご苦労さまです

”論争は 時間のムダ”と
なるほど

では ご教示に従い
”アナグマの姿焼き”をば・・ｗ ；ｐ）

(参考)
https://xn--pet04dr1n5x9a.com/%E5%B0%86%E6%A3%8B%E7%94%A8%E8%AA%9E/%E7%A9%B4%E7%86%8A%E3%81%AE%E5%A7%BF%E7%84%BC%E3%81%8D.html
将棋講座ドットコム
【将棋用語】穴熊の姿焼き
穴熊側が囲いを残したまま大きく形勢を損ねていること。
穴熊自体は固いため詰みまでの手数はかかるが、逃げ場もないため、攻めが切れてしまうと千日手・持将棋引き分け・宣言などを狙うことがかなり難しい。穴熊の欠点の1つと言える。

つづく

つづき

なお、
おサル＝サイコパス＊のピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）
＜＊）サイコパスの特徴＞
（参考）https://keiji-pro.com/magazine/10/ 刑事事件マガジン 更新日：2023.10.13
サイコパス（精神病質者）の10の特徴と診断基準｜実はあなたの周りに・・・？
サイコパスとは、「反社会性パーソナリティ障害」という精神病者のこと。
サイコパスの10の特徴 表面上は口達者利己的・自己中心的 平然と嘘をつく
（＊＊）注；https://en.wikipedia.org/wiki/Hyperboloid Hyperboloid
Hyperboloid of two sheets ：https://upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Hyperboloid2.png/150px-Hyperboloid2.png
https://ja.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E9%9D%A2 双曲面
二葉双曲面 ：https://upload.wikimedia.org/wikipedia/commons/thumb/b/b5/HyperboloidOfTwoSheets.svg/180px-HyperboloidOfTwoSheets.svg.png

おサルさんの正体判明！（＾＾）
https://rio2016.5ch.io/test/read.cgi/math/1671460269/923 スレ12 より
”「ガロア理論 昭和で分からず 令和でわかる
　＃平成どうしたｗ」
昭和の末期に、どこかの大学の数学科
多分、代数学の講義もあったんだ
でも、さっぱりで、落ちこぼれ卒業して
平成の間だけでも30年、前後を加えて35年か”
”(修士の)ボクの専攻は情報科学ですね”とも

可哀想に、数学科のオチコボレで、鳥無き里のコウモリ***）そのもので、威張り散らし、誰彼無く噛みつくアホ
本来お断り対象だが、他のスレでの迷惑が減るように、このスレで放し飼いとするｗ（＾＾

注***）鳥無き里のコウモリ：自分より優れた数学DRやプロ数学者が居ないところで、たかが数学科のオチコボレが、威張り散らす姿は、哀れなり〜！（＾＾；

なお
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
は、お断りです

小学生がいますので、18金（禁）よろしくね！（＾＾

テンプレは以上です

>>6
＞選択公理なしで同じことが成り立つから、
＞選択公理は、単なる目くらまし

尻尾同値の代表を具体的に指定できる場合は、選択公理が不要
しかし一般の無限列ではそんなことは不可能なので、選択公理が必要

なお、代表の選択関数は一つではないが、
そのなかの１つを決めて、決して変えないのは当然である

具体的でないから一意化できず毎度代わる
とかいうのは数学の論理が分からんド素人

100列が出題された時点で定数
当然100列の決定番号も定数

100列から1列選ぶ行為だけが確率事象

だから、100列のうちたかだか1列存在する筈の
単独最大決定番号列を選ばなければ予測は的中する

その確率は1-1/100=99/100

R^Nの確率測度も、決定番号関数の積分も、全く不要

残念でした（笑）

>>42
>おサル＝サイコパス＊のピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）

おサルの情報
下記メモ
なつかしいな〜ｗｗ
おサルの情報は、哀れな素人氏（当時）から教えてもらった （＾＾

(参考)
https://itest.5ch.io/rio2016/test/read.cgi/math/1567930973/123
現代数学はインチキだらけ （哀れな素人）

0123 １３２人目の素数さん 2019/09/19(木) 08:48:10.00
ID:DounDdrn

これはガロアスレにも投稿しているから、
サル石である可能性あり（笑

サル石ではないにしても、ただのアホのチンピラ（笑

0294 １３２人目の素数さん 2019/09/23(月) 08:27:42.61
サル石の好む語彙

サル、畜生、貴様、ナイーブ、idiot 　肉、豚の丸焼き、サタン
アイドル・ロック・ヘビメタ 　クロポトキン・アナーキスト・革命
ギャハハハハ！！！ 　かっけぇぇぇぇぇ！！！
ワロスｗｗｗｗｗｗｗ 　っぷ　これは酷い　（＾＾；
ちょっと何いってるのかわからないんですけど…
キモチ悪い　（をひ）　腐った爺頭

🐎🦌野郎（爆笑）
>如何なる無限列も、それぞれの同値類に属する
>各同値類は、それぞれ代表列を持つ
>したがって無限列に対して、それが属する同値類の代表と比較すれば、決定番号が決まる

＞必要が無くても考えても良いんですよ

狂ってもよい、と開き直る奴がいたよ🤣🤣🤣

お受験浸り箱入り息子の阪大

現代抽象数学は無理数女

出題の列はあればいい
どう決めるかなんて考える必要がない
考える必要のないことを考えるのは無意味
無意味なことを延々と語るのは・・・●違い

数学板にはそういう●違いが沢山いる
その中には数学の研究者もいるらしい
頭を使いすぎて狂う人は少なくないってことか

アーメン

私は狂いたくないので、数学者になろうなんて思わない

箱入り無数目の出題はただの定数なのだから

後半部の非可測がーとか無限個の確率変数の独立性がーとかいうのは
ことごとくミスリーディング

そういう意味では対称性がーとかいうのも同じミスリーディング

確率の問題では、なぜか何が確率事象かを取り違える事故が多発する

このあたり、人間の思考のクセに関係しているが、
いずれにしても数学とは全然別の話

見える／見えない、を、定数／確率変数、と誤解するのは、「あるある」な事例である
箱入り無数目も、その人間の思考のクセをついた問題ではある

数学的には小学生並みのトリックなのだが、なぜか難しく考えて「できない」とかいう

そもそもそんな難しい設定ではない、ということが分からないというか
いったん難しく考えてしまうと、実は易しい問題だといくらいわれても
受け入れられない人もいる　これは人間の精神の哀れさ、残念さだね

数学の研究者諸君にいいたい

数学の研究で成果を上げたいなら、
５ｃｈの数学板に書き込むのはもちろん
読むこともやめたほうがいい

馬鹿かつ●違いになるから

もちろん素人は十分馬鹿なので差し支えない（笑）

前世紀にnetnewsで活躍していた人を多々見てきたが
数学的にはまったく成果を上げてこなかった

無駄なことに頭を使うと研究ができなくなる典型例である

いまだにXとかでご活躍のようだが・・・研究は諦めた？

テンプレです
>・おサル「正則行列を知らない線形代数落ちこぼれ」https://rio2016.5ch.net/test/read.cgi/math/1674527723/5
>　↓
>・私「零因子行列のことだろ？知っているよ」

>「正則行列くらい知っている」と平凡に答えずに
>ひねって 「零因子行列のことだろ？知っているよ」にした

テンプレです
>記号の濫用として a'2 ⊂UB1が ありか どうか？ ありでは？

テンプレです
>>UB1を小さくして a'2を含まないように分離できる
>小さくする仕方が不明
>>具体的な仕方は不要。
>>ハウスドルフだから 小さくして 分離可能の一言。
>ハウスドルフだからと書いたとしたら
>正則との違いを理解してない？と思われるだけかも
>>このスレには
>>位相空間論の初学者もいると思うので
>>はっきり否定させてもらうが
>>１）ハウスドルフは 空間の公理として普通に指定されるケースが多い
>>２）ハウスドルフ性は、良い性質を持つ
>>３）その肝が 分離性で 分離可能の一言 でだいたい片付くよ

テンプレです
>これで勘弁してあげるけど
>私のスレで 間違ったことを書くと 赤ペン入るってこと
>覚えておいてね

テンプレです
>まず、確率分布Prを定義するには、確率空間から始めないと学部数学の確率論にならない
>確率空間をどう定義しているのか
>次に、Pr(Bn,b)=1/n n∈N ならば
>Σ n=0〜∞ Pr(Bn,b)＝Σ n=0〜∞ 1/n ＝∞（∵1/nの無限和が発散するのは有名な事実）
>なので、明白に Pr(Ω)≠1 ですよ(ここにΩは全事象)

テンプレです
https://rio2016.5ch.io/test/read.cgi/math/1774707956/626
>選択公理は存在のみなので 使えないので無視して、人の意思で代表をえらぶ

テンプレです
>・選択公理によって、任意同値類の代表の存在が言える。が、どんな代表を選ぶかは、各人の自由だ

テンプレです
>>どの無限列を入れるかは自由だが、確率変数にするかしないか、の自由はない
>>つまり、一回入れたら二度と変更できない
>>毎回の試行で変更することは決して許されない
>そこ、吉田大学の札付きでも同じだよ
>そこを読めてないのは おまえ

テンプレです
>>なぜなら箱入り無数目では箱の中身はすべて定数だから
>誤解ですよ
>箱の中身は、現代数学の確率論で扱えるよ
>「箱の中身はすべて定数だから」？
>あほか
>重川を読め

テンプレです
>　まず 先頭の幾つかをあける。株価で1円単位とすると 例えば下記ソニーで 3234 ・・・と出る
>　次に、かなり離れた 後のしっぽを全部開けると 2000代とか3000代の整数が分る
>　そこから 先頭側としっぽ側とで 狭めていって 先頭からD番目を残して 前後を開ける
>　もし、「株価かな？」と見当がつけば、ブラック–ショールズ方程式に乗せてみる
>　それ以外には、統計処理で平均値を出したり 標準偏差を計算したりもありだ
>　そして D番目を推察するのだ

テンプレです
>そこを 箱入り無数目のように 列の自由選択に変更すれば
>「1/2に出来る」と誤読している人がいるが
>しかしそれでは、数学ストーリーとしてヘンｗ
>数学ストーリーは、札付き定理の完全否定！■

これはよきテンプレ
>>数学者は”固定”とか 変なこといわない
>>が、一つの議論の中では、関数”f1,f2,・・,fk,・・f100”は決まっている
>>”s = (s1，s2，s3 ，・・・)”
>>も一つの議論の中では 一定の値をとる
>出題列sが定数であることを認めた瞬間にそこから生成される100列の決定番号も定数と認めざるを得ない。
>単独最大決定番号の列はたかだか1列であることも認めざるを得ない。
>ランダムに単独最大決定番号の列を選択する確率は1/100以下も認めざるを得ない。
>その時だけ失敗だから勝率は99/100以上も認めざるを得ない。

よきテンプレです
>>>無数目で理解が難しいのなら、選択公理が効果的にはたらく、少しレベルを落とした話でもしたら良いのにと思っていた。
>彼の人は自分が「理解」していると見せかけたいだけだから
>たぶん無駄ですよ
>異なる自然数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>書かれている自然数の大きい方が勝ち
>さてA,Bの勝つ確率は？

これはよきテンプレです
>箱入り無数目の確率空間は{1,2,…,n}ですが
>時枝さんの記事の最後の部分
>彼の人が理解に至らない罠のような記述の
>独立な確率変数の無限族についての考察は
>それ自体は面白い話だと思いますね
>ここが箱入り無数目と直接関係ないのは
>Xkが確率変数であって箱入り無数目で設定するような任意実数ではないことから明白ですが
>そのひとつひとつの値がXk=xkとなったとき
>xkは定数ですから独立という用語が意味を持たないにもかかわらず
>s=(x1,x2,…)という数列を箱入り無数目で出題すれば
>いくらでも1に近い確率1-1/nで
>その中の特定の番号（nやsに依存）の数xdが他の数x1,…,^xd,…から推測できるわけですので
>確率変数の独立性とはなんぞやと
>彼の人のようにあるいは京大マンガのように
>誤解・疑問を生むことになる訳です
>言わば「箱入り無数目の応用」により
>安直な（つまり彼の人や京大マンガのような）独立性の誤解をしてはならないとの反省材料がもたらされたわけです

テンプレです
>>「実数の構成に選択公理が必要」という君の独自説がそんなに面白いかい？
>
>必要だ。簡単に カントールの実数の構成 有理コーシー列を使う場合に限定するよ
>有理コーシー列は、加算無限有理数列だ。要するに、有理数Qから有理数を取り出して
>q0,q1,q2,・・,qi,・・ なる無理数rに収束する列を作る（細かくは rに収束する列は一つに限らないから 同値類を考える）
>q0,q1,q2,・・,qi,・・は、集合の元を整列させているってこと
>つまりは、整列可能定理が使える
>列長さが ω（＝最初の無限順序数）のときは、可算選択公理で足りる
>が、なんらの選択公理の不使用 つまり 可算選択公理さえ使わないならば
>加算無限有理数列は、構成できない！

テンプレです
>>そもそもQを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い
>
>笑える。下記の東北大 尾畑研 第16章整数・有理数・実数 P249 「■実数論」を 百回音読してね
>『Qを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い』か・・
>独自説だねぇ〜、ユニークで笑える、が面白すぎｗｗ（＾＾

テンプレです
>冪集合公理により 任意の有限集合の類に対して、デカルト積を定義することが出来る
>この対偶命題：
>冪集合公理により デカルト積を定義することが出来ない集合は、有限集合ではない

テンプレです
>>Nは無限集合ですからQ^Nは普通はデカルト積とは呼ばないでしょうね
>赤ペン
>１）”Nは無限集合ですから”がダメ
>２）デカルト先生は R^2でデカルト積 (r1,r2) ｜r1,r2∈R
>　を考えた故事をしらないんだね
>　”Rは無限集合ですから”って デカルト先生に言ってあげようｗ

テンプレです
>・一方、Dedekind Cutsを使うと なんらの選択公理は不要だが
>　完備であることの証明はできない

テンプレです
>実数の公理を裏口から密輸している
>ZFC公理系で 実数の公理なんて使えないぞ
と
>で https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>を見ると、ZF公理系の話では無いだろ
>例えば
>Tarski's axiomatization of the reals
>とか
>それ 笑えるんだけど？（＾＾

テンプレです
>可算選択公理さえ仮定しない ZFのみでは・・
>1）コーシー列とデデキントカットの同値は言えない（別物？）

テンプレです
>おかしいねよ？ 可算選択公理ACω なしで 実数の構成できると言った人がいたけど
>たしかに、形式的には デデキントカット、コーシー列も それらしい まねごとは出来たとしても
>ガウスやコーシー、リーマン、ワイエルシュトラス、デデキント、カントール、ヒルベルト
>らが思っている実数（それは我々が求めている実数でもある）とはほど遠いよね
>
>可算選択公理ACω なしで構成した 実数の責任は？
>だれが どうとる？

テンプレです
>Jech, T The Axiom of Choice. North-Holland. Jelonek 1973
>CH.2, THE COUNTABLE AXIOM OF CHOICE
>P21の画像 を見て貰えば分るが
>THE COUNTABLE AXIOM OF CHOICEは
>コーシー列の収束を証明するのに重要な役割をしている

テンプレです
>異なる自然数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>書かれている自然数の大きい方が勝ち
>さてA,Bの勝つ確率は？
>(引用終り)
>
>１）全体集合を場合分けする
>　ケース１ ある大きなしかし有限の自然数Mを取って 0〜Mのカードで考える
>　ケース２ 無限集合の自然数N全体を考える
>２）ケース１では、0〜Mのカードは 離散一様分布を成す（下記）
>　期待値（平均値）や 分散も存在する
>　この場合、A,Bの勝つ確率は おのおの1/2
>３）ケース２では、確率は考えられない
>　なぜならば、無限集合たる自然数N全体は、非正則分布を成すから（下記）

テンプレです
>(引用開始)
>偶数と奇数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>偶数を引いた方が勝ち
>さてA,Bの勝つ確率は？
>(引用終り)
>
>良い指摘だ
>いま、箱の中は 偶数1枚と奇数1枚の計2枚のみとする
>全体の数が2枚で有限だから
>普通に確率計算が可能で
>A,Bの勝つ確率は 各1/2ずつ

テンプレです
>・箱入り無数目 は、私が立てた
>・IUTのシン応援スレも 私
>・各種ガロアスレのうち
>　純粋・応用数学・数学隣接分野（含むガロア理論）21 (816)
>　ガロア第一論文と乗数イデアル他関連資料スレ19 (247)
>　の2つは私が立てた
>
>因みに、下記の数学勢いランキング
>1〜11で 4、5、7、10の4つを除く
>7個は 全部私が立てたんだよね

テンプレです
>>（ランダムってのは確率空間の話では？定義も無くてランダムとはね）
>
>素人か（＾＾
>下記乱数分かりますか？
>乱数も知らずに 箱入り無数目を論じるかね？ｗ
>
>箱入り無数目>>1 において 箱に 下記 乱数列を発生させて入れていく
>箱入り無数目で当てられるとすれば、乱数の定義に反する
>まさに 縦と矛 矛盾なり！
>
>真の乱数列とは？ 他の数を見ても 当てることはできない！！
>他の数を見て 当てることができるならば・・、それは真乱数ではない！！ｗｗｗ
>
>まあ、素人には理解できないだろうね
>（この議論は、１０年以上前 箱入り無数目の初期に書いている）

>>43
(引用開始)
＞選択公理なしで同じことが成り立つから、
＞選択公理は、単なる目くらまし
尻尾同値の代表を具体的に指定できる場合は、選択公理が不要
しかし一般の無限列ではそんなことは不可能なので、選択公理が必要
なお、代表の選択関数は一つではないが、
そのなかの１つを決めて、決して変えないのは当然である
具体的でないから一意化できず毎度代わる
とかいうのは数学の論理が分からんド素人
(引用終り)

ここは 中高一貫生も来る可能性があるから厳しく赤ペンしておく

１）「一般の無限列ではそんなことは不可能」と宣うが、有限列でも同じだ
　例えば、 任意有理数 ∀q∈Q で ３列で
　q1,q2,q3 を考える。しっぽ同値はq3で決まる 例えば q'1,q'2,q'3で
　q3 ＝q'3なら 同値で、q3 ≠q'3なら 同値ではない
　ゆえに 同値類は可算無限あり 可算選択公理要！
　同様に、 任意実数 ∀r∈R で ３列で
　同値類は連続無限あり フルパワー選択公理要！
２）具体的の対語を考えるには、
　定数と不定元を考えればいいだろう
　ax+by=c ここに a,b,c が定数で x,yが不定元だ
　具体例 x=2,y=3 とか 決めることはできる
　不定元 x,yと 具体例x=2,y=3 とは 両立する
３）”そのなかの１つを決めて、決して変えないのは当然である”は その通りだが
　しかし 『どう決めたの』と聞かれて 答えられないならば ある場面では 決めてないのと同じ
　例えば、Ａさん「決めた！」
　Ｂさん「どう決めた？」「答えられないのか？ じゃd1,d2,・・d100 でいいよね？ 文句あるか！」
　といわれて Ａさん ギャフンｗｗｗ （＾＾

>有限列でも同じだ
有限列は忘れろ馬鹿

>具体的の対語を考えるには、定数と不定元を考えればいいだろう
なに言ってんだ？この馬鹿

>しかし 『どう決めたの』と聞かれて 答えられないならば ある場面では 決めてないのと同じ
箱入りではどう決めたかはどうでもよい。論理がワカラン馬鹿。
且つおまえが言う「同じ」は数学のすの字もワカラン馬鹿の妄想に過ぎない。
何重にも間違える馬鹿。

そもそも不定元を分かってない。
環R上の多項式環R[X]の不定元XとはR上超越的な元のこと。変数と勘違いするな。

>ここは 中高一貫生も来る可能性があるから厳しく赤ペンしておく
大学1年で落ちこぼれたおまえは赤ペンされる側

>>52-53
ｗ大内部進学の数学科オチコボレが、数学研究を語る か？
笑える

>数学の研究で成果を上げたいなら、
>５ｃｈの数学板に書き込むのはもちろん
>読むこともやめたほうがいい
>馬鹿かつ●違いになるから

殆ど正しいが
１）数学研究の成果とは なにか？
　そもそもが、いま大学の数学科教員か数学研究機関の職員としての立場があるでしょ
　数学研究の成果を上げるのが 仕事なら当てはまるが
　数学研究の成果を上げるのが 仕事でないならば、各人の勝手よ
２）もう 時代は動いている
　下記をご参照
　大学の数学科教員で 教授を目指す人は別として
　下記”脳神経外科医のシャンム・ジン（Shanmu Jin）”の類似レベルなら これ参考になるだろ

>前世紀にnetnewsで活躍していた人を多々見てきたが
>数学的にはまったく成果を上げてこなかった

そもそも 「数学的に成果を上げた」と認められること自身が稀有だよ
その 「netnewsで活躍していた人」が netnewsをやめたら 「数学的に成果を上げた」になれるか？
その証明は無い！ｗ（＾＾

(参考) 抜粋
https://rio2016.5ch.io/test/read.cgi/math/1776769125/296
「まともな数学」ねぇｗ
ふっ（遠くを見る目）

君は、私の投稿 >>285 "Crouzeix's conjecture"
https://en.wikipedia.org/wiki/Crouzeix%27s_conjecture
Crouzeix's conjecture
Claimed proof
On July 27, 2026, neurosurgeon Shanmu Jin posted a preprint claiming a proof of Crouzeix's conjecture.[9] Jin reported that the proof was obtained with the assistance of OpenAI's GPT-5.6 Sol model during an approximately sixteen-hour autonomous reasoning session in ChatGPT Work, ・・

が、意味するところを読み取れてないｗ
(google訳)
2026年7月27日、脳神経外科医のシャンム・ジン（Shanmu Jin）は、クルゼイ（Crouzeix）の予想の証明を主張するプレプリントを公開した[9]。ジンは、その証明が「ChatGPT Work」上での約16時間にわたる自律的推論セッションにおいて、OpenAIの「GPT-5.6 Sol」モデルの支援を受けて得られたものであると報告した……
(引用終り)

”脳神経外科医のシャンム・ジン（Shanmu Jin）”に ご注目
くどいが 数学者にあらず
”その証明が「ChatGPT Work」上での約16時間にわたる自律的推論セッションにおいて、OpenAIの「GPT-5.6 Sol」モデルの支援を受けて得られたものであると報告した”

君にすすめる
”脳神経外科医のシャンム・ジン（Shanmu Jin）”
”その証明が「ChatGPT Work」上での約16時間にわたる自律的推論セッションにおいて、OpenAIの「GPT-5.6 Sol」モデルの支援を受けて得られたものであると報告した”
という記事 私の投稿 >>285
を 百回音読するように

2026年7月27日の日付をもって
「まともな数学」の意味が、革命的に変化した！！ ってことだね （＾＾；

変数はある特定の集合の元を表す代わりの記号
不定元はある特定の集合の元そのもの
混同するな馬鹿

「不定だから変数だー」と語感から来る印象で連想ゲームしたんだろう
連想ゲームに頼ると数学は間違う　おまえはすべて連想ゲームだから間違いだらけ　常に赤ペンされる

>>83
>そもそも不定元を分かってない。
>環R上の多項式環R[X]の不定元XとはR上超越的な元のこと。変数と勘違いするな。

ふっ
オチコボレがｗｗｗ

https://ja.wikipedia.org/wiki/%E4%B8%8D%E5%AE%9A%E5%85%83
不定元
不定元（ふていげん、英: indeterminate）とは、多項式や形式的冪級数に現れる記号であり、しばしば変数と呼ばれる。正式には、不定元は変数ではなく、多項式環や形式的冪級数環の定数である。しかしながら、多項式や形式的級数とそれらの定義する関数との間の強い関係のために、多くの著者は不定元を変数の特別な種類と考える。

不定元と変数の違いが表れる例として、二元体 F2 上で X を不定元とする多項式 f(X) = X2 + X ∈ F2[X] を考える。この多項式はもちろん 0 ではない。ところが、X を変数と考えた多項式関数 f(X) は 0 である[注 1]。

仏語
https://fr.wikipedia.org/wiki/Ind%C3%A9termin%C3%A9e
Indéterminée
(google訳)
数学において、不定元とは、形式多項式、有理関数、形式冪級数などの対象を形式化するために用いられる概念である。一般に大文字のXで表される。不定元を用いることで、解析学における同等の構造よりも単純な代数構造を定義することができる場合がある。

独語
https://de.wikipedia.org/wiki/Unbestimmte
Unbestimmte
Der Begriff Unbestimmte (engl. indeterminate) wird in der Mathematik und dort insbesondere in der abstrakten Algebra für eine freie Erzeugende eines Polynomrings oder eines formalen Potenzreihenrings verwendet.
(google訳) （訳がこなれていない。英訳にすればましだが 面倒なので各自 たのむ）
不定という用語は、数学、特に抽象代数学において、多項式環または形式的冪級数環の自由生成元を表すのに使用されます。これは、大文字で表記されるのが望ましいです。例:
X,Y または T. 必要な（ユニタリー）ベースリングに関係なく
Rそれらが位置する多項式または冪級数の係数は、自由 モノイドを生成する。
M（ 1を持つ半群）は常に乗法的に書かれ、ほとんどの場合可換的に使用されます。

どんな分野でも基本ができてない奴は何やらせてもダメ
数学の基本ができてないサルは数学を語るなかれ

オチコボレはコピペしかできないおまえ
おまえのコピペに
>不定元は変数ではなく
って書かれてるの読めない？　読めもしないのになぜコピペした？　馬鹿？

成立派
・基礎論婆
・🐎🦌野郎
・なりすまし野郎
・質問乞食爺
・アナーキストの嘘つき野郎
・Kingの友達の変態爺

前スレで成立派がはどうして発狂したの？

尻尾同値類が分かっていなかったから（ハゲ藁）

>不定という用語は、数学、特に抽象代数学において、多項式環または形式的冪級数環の自由生成元を表すのに使用されます。
Rの元をR係数多項式に代入しても新たな元はできない、Rは加法・乗法について閉じてるから。
R上超越的な元XをR係数多項式に代入することでR[X]の元が生成される、つまりXは自由生成元。
コピペしかできないサルはちんぷんかんぷん。

コピペザルはいいかげん自分が何も分かってないことを自覚しろ
馬鹿のくせに頭良いフリすんな

コピペザル、己の正当性を示さんとコピペしたまでは良かったが、見事に返り討ちにされて死に絶えましたとさ　めでたしめでたし

>>81
>「一般の無限列ではそんな(具体的に尻尾同値類の代表を指定する)ことは不可能」と宣うが、
>有限列でも同じだ

実は有限列なら尻尾同値類の代表を具体的に指定できる
故に選択公理不要だけど、知らなかった？🤣

>例えば、 任意有理数 ∀q∈Q で ３列で　q1,q2,q3 を考える。
>しっぽ同値はq3で決まる。
>例えば q'1,q'2,q'3で
>q3 ＝q'3なら 同値で、
>q3 ≠q'3なら 同値ではない
>ゆえに 同値類は可算無限あり 可算選択公理要！

任意のq3∈Qについて、
(0,0,q3)が尻尾同値類の代表と
具体的に指定できる
故に可算選択公理不要だけど、知らなかった？🤣

>同様に、 任意実数 ∀r∈R で ３列で
>同値類は連続無限あり フルパワー選択公理要！

任意のr3∈Rについて、
(0,0,r3)が尻尾同値類の代表と
具体的に指定できる
故に連続選択公理不要だけど、知らなかった？🤣

選択公理について何も分かってないんだね
高卒素人君　🤣🤣🤣

>”（選択関数の中の）１つを決めて、決して変えないのは当然である”は その通りだが
>しかし 『どう決めたの』と聞かれて 答えられないならば ある場面では 決めてないのと同じ

その思考が🐎🦌
どう決めたか述べる必要はない

選択公理を設定した意味が分かってないね
高卒素人君　🤣🤣🤣

>>84
AIも使えない大阪○○大学卒工学部卒の素人の君には
数学で成果を出すなんて永遠にないから無駄

同値類が無限個だったら
必ず選択公理が必要とか
🐎🦌か

🤣🤣🤣🤣🤣🤣🤣

>どう決めたか述べる必要はない
という箱入りのロジックを10年以上経て未だに分からない地頭の悪さでは数学は無理だから諦めた方が良い

>>87
＞ふっ、オチコボレが

それはお前だろ

🤣🤣🤣🤣🤣🤣🤣

>>92
「同じ決定番号の同値類」

なにいってんだ　この🐎🦌

🤣🤣🤣🤣🤣🤣🤣

弥勒は論外

瀬田爺に反論しかできない🐎🦌野郎

何か質問ある？
何か質問ある？
何か質問ある？

条件付き確率
R^Nから一つの同値類を選ぶ確率：1/ℵ1
一つの同値類の中で100通り中99通り（インチキ）：99/100
全体で1/ℵ1X99/100

これをペテンで99/100にする（爆笑）

100通り中99通りの場合の数があるとき確率99/100となるのは
一つの同値類の中で同じ決定番号の集合の中で選んだときのみ

時枝のペテン（苦笑）

まーたレス乞食の弥勒が暴れとる

あっ、間違えた
時枝のペテンは100通り中99通りの正解が選べるから確率99/100
ｗｗｗ

ペテンじゃなく証明された定理な
違うと言うなら証明のギャップ示しなよ、池沼の弥勒くん

>>104
>R^Nから一つの同値類を選ぶ
なぜそんな無駄なことするんだい　君

>>104
>一つの同値類の中で100通り中99通り
なぜ、そんな嘘を読み取るんだい　君

>>110
爺さんはなぜ正しいと信じてるんだい？

君はこのトリックを見破れるか

>>96
>任意のq3∈Qについて、
>(0,0,q3)が尻尾同値類の代表と
>具体的に指定できる
>故に可算不要だけど、知らなかった？🤣

なるほど・・・
それは理屈だ！

ところで
q3をQから順に
q'3,q''3,q'''3,q''''3,・・と 過不足なく Qの全てを尽くすこと
すなわち
Qの全ての要素を整列させること
それには、選択公理と等価な整列可能定理が必要に見えるなｗ（＾＾

(参考)
https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
選択公理
選択公理と等価な命題
整列可能定理
任意の集合は整列可能である。

https://en.wikipedia.org/wiki/Well-ordering_theorem
Well-ordering theorem

>>104
>条件付き確率
>R^Nから一つの同値類を選ぶ確率：1/ℵ1
>一つの同値類の中で100通り中99通り（インチキ）：99/100
>全体で1/ℵ1X99/100
>これをペテンで99/100にする（爆笑）

弥勒菩薩さまの攻撃は強力です

一つの同値類の中は、>>18-19 都築暢夫 多項式環F[x] で
（多項式環F[x]が 可算無限次元線形空間であることは 都築暢夫が示す通り）
多項式多項式 f(x)∈F[x]が d-1次未満の空間はd次元空間であり
可算無限次元線形空間内で締める体積（超体積）は0だ

上記 弥勒菩薩さまの通り 1/ℵ1■
弥勒菩薩さまの攻撃は強力です！（＾＾

>>113
>Qの全ての要素を整列させること
>それには、選択公理と等価な整列可能定理が必要に見えるなｗ（＾＾
はい、大間違いです。
Qは可算だから定義により全単射 f:N→Q が存在。
Q上の全順序<を ∀p∈Q.∀q∈Q:(p<q ⇔ f^(-1)(p)<f^(-1)(q)) で定義すれば<は整列順序。実際任意の部分集合 P⊂Q は<に関する最小元 f(min(f^(-1)(P)))∈P を持つ。
君、数学のすの字も分かってないね。

>>114
>R^Nから一つの同値類を選ぶ確率
を箱入りの証明は使ってない。使ってないものがギャップになるはずが無い。
君、証明とは何か根本から分かってないね。だから数学のすの字も分かってないと言われる。

>任意の部分集合 P⊂Q は
任意の非空部分集合 P⊂Q は

数学のすの字も分かってないサル
そもそも池沼の弥勒
おまえはら数学板に書き込むな　板が汚れるだけだ

>>111
間違いだと思うなら証明のギャップを示せ
ボールは不成立派にあることを忘れるな

私は中元すず香のすの字も分かりませんw

バンドと言えばKUWATA BAND

音楽の趣味はひとそれぞれだが、オンティーを有難がって聴いてるひと
を見ると、もしかして音感ないのかな？と思ってしまう。

オンティーを調べても出て来ない…。

AIにB'zが好きだと言ったら、「それは稲葉氏の音程が極めて正確だから
あなたの好みに合うのだろう」と言っていた。
https://www.youtube.com/watch?v=td8WGpkJt50&list=RDtd8WGpkJt50&start_radio=1

恐ろしい子・・・！

砂が主食の人も居るらしい。

土か…。

ボカロはいいね。人間のようなオンティーさがないのがいい。
https://www.youtube.com/watch?v=8oBV3jPTW4s&list=RD8oBV3jPTW4s&start_radio=1

結局、「オンティー」が何なのかが分からないが、ボカロとは真逆そうな真夜中の「ダンディー」でも推しておくとする。

the　ファーストテイク

わたしがアイドルにまったく興味がない理由。
多声的に歌うソロ・ヴァイオリンを聴いたら、アイドルの声なんて
まったく聴きたいとは思わない。

https://www.youtube.com/watch?v=RG7rx3BO6JY&list=RDRG7rx3BO6JY&start_radio=1

インスティンクト・ラプソディ

好きなんだよ

r1とr2が与えられたときある番号dから先が一致したとする。この２つは同じ同値類の属する。
この２つが同じ同値類に属さない場合、そのような番号はない。

r1からr100まで与えられたときにある番号からすべて一致するもので分けると、同じ同値類に属するものに分かれる。

異なる同値類の集合に属するもの一致する番号dを比較しても意味がない。ある番号から先がすべて一致することはない

それが決定番号と思ってる弥勒は日本語が読めない池沼