20/01/15 22:11:54.31 LcUc5NyM.net
>>798
＞目の数当ての確率は、数学的には1/6
ああ、ここで◆e.a0E5TtKEはカン違いしてるんだな
「箱の中の数当て」では、
確率変数は箱の中身じゃなく
回答者の予測値のほうだぞ
例えば、箱の中身は４で決まってるが
回答者はそれを知らないわけだから
１～６のいずれかだと思って、サイコロ振るだろ？
その場合、回答者が４だと予測する確率が１／６なわけだ
箱の中身が４である確率が１／６なわけではない
これを頭に入れて、大学教程の「確率変数」の定義を読んでみてくださいｗ
>>799
＞数学的には、箱の中の数がサイコロで入れた目の数として、
＞普通に、確率変数です
違いますね
箱の中身をどうやって決めようが
何度開けても変わらないのなら定数です
箱の中身が「変わりません！「固定」されています！」というなら
箱の中身当てで、確率変数となるのは、箱の中身のほうではなく
回答者の予測値のほうです
つまり回答者は中身を知らないから、１～６の中から
サイコロでランダムに選んで予測するわけです
サイコロ振ってるのは回答者のほうだということ
こういう肝心なところ、躓く人は躓くんですね～
888:１３２人目の素数さん
20/01/15 22:36:57.96 hRr8KTm0.net
>>779
>これ初見で、読める人は少ない。ここで躓いて止まらずに、先に行って具体的な計算を経験して、また「確率変数」の定義に戻ってください
と、自分が論じている確率の確率変数も書けないアホが申しております
889:１３２人目の素数さん
20/01/15 22:44:07.12 hRr8KTm0.net
>>779
>目の数当ての確率は、数学的には1/6
それは箱が一つで当てずっぽうで当てる場合。
時枝問題では箱は無限個で時枝解法は当てずっぽう解法ではありません。
おまえの考えるようなアホ話なら雑誌記事にはなり得ません。バカも休み休み言って下さいね（＾＾；
890:１３２人目の素数さん
20/01/15 22:48:05.25 hRr8KTm0.net
時枝の主張「時枝解法を使えば当てられる」
バカの主張「時枝解法と似ても似つかぬアホ解法では当たらない」
自分の発言の無意味さを知って下さいね（＾＾；
891:１３２人目の素数さん
20/01/15 22:53:44.42 hRr8KTm0.net
>>799
>箱の中身当てで、確率変数となるのは、箱の中身のほうではなく
>回答者の予測値のほうです
まったくその通りですね。→おバカさんの間違い１
尚且つそのように確率変数を取る戦略は勝つ戦略にはなりません。→おバカさんの間違い２
おバカさんは2重に間違えてます（＾＾；
892:１３２人目の素数さん
20/01/15 23:08:27.62 hRr8KTm0.net
>>815
>おれが、なんでおサルとゼミ？
え？ 確率も同値類も選択公理も分かってないおバカさんがゼミ？
自惚れないで下さいね みっともないですよ？（＾＾；
893:１３２人目の素数さん
20/01/15 23:11:29.80 hRr8KTm0.net
ゼミがどうこう言う前に、大学一年生の課程を履修しましょうね（＾＾；
あなた大学一年4月の実数論で落ちこぼれてますから（＾＾；
894:１３２人目の素数さん
20/01/15 23:14:32.38 hRr8KTm0.net
>箱の中身当てで、確率変数となるのは、箱の中身のほうではなく
>回答者の予測値のほうです
仮にそれが時枝記事の解法だとしたら、「箱の中身をランダムに予想する」と記述されているはずです。
しかし実際は
>さて， 1～100 のいずれかをランダムに選ぶ.
これが現実ですよ？ 妄想癖のおバカさん（＾＾；
895:１３２人目の素数さん
20/01/15 23:15:54.28 hRr8KTm0.net
おバカさんは数学の前に現実と妄想を区別することから始めましょう（＾＾；
896:１３２人目の素数さん
20/01/15 23:26:55.36 hRr8KTm0.net
当てられない戦略をいくつ提示しようが無意味ですよ？
時枝戦略でも当てられない数列を提示しない限り
だって時枝の主張は「時枝戦略なら当てられる」ですから（＾＾；
897:１３２人目の素数さん
20/01/15 23:32:23.08 hRr8KTm0.net
おバカさんの主張「箱の中身をIIDで決めれば各箱は独立なはずだから当たるはずない」
時枝の主張「箱の中身をIIDで決めようが時枝戦略を使えば当てられる」
よっておバカさんは「当たるはずが無い」ではなく「時枝戦略を使っても当たらない」
を示す必要があるのです
でもおバカさん、あなた時枝戦略まったく分かってないですよね？
当然です。時枝戦略の理解には同値類・選択公理の知識が不可欠ですから っぷ
898:１３２人目の素数さん
20/01/15 23:33:27.83 hRr8KTm0.net
結論 妄想バカに数学は無理（＾＾；
899:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/15 23:34:50.03 jMgdPd2W.net
なるほど、なるほど
１．ID:LcUc5NyMが、クスリを飲んでいる
自称数学修士ｗ（>>2）のキチガイサイコパス（別名ピエロ >>1)。
（おそらく、引きこもりだろう、粘着カキコしている）
２．もう一人、High level people >>3
スレ28 ｽﾚﾘﾝｸ(math板:64番)
で、確率変数の「固定」とか、トンデモ論ｗ（＾＾
この人は、非数学科出身者で、勤め人。書く時間は主に夜なんだ
(>>782)
64 名前：１３２人目の素数さん[sage] 投稿日：2017/01/23(月) 00:31:20.35 ID:jN0I4ddn
(抜粋)
結局のところ、固定されたいかなるsでもν(s)≧99/100と言えることがポイントですね。
(引用終り)
３．>>462 >>464 のID:uoU8aOtq さん、
”世間一般の数あてゲームは>>432と同様、当てるべき数は固定されています
固定されてない「数当てゲーム」など聞いたこともないし”
などと書いているのが
二人目の High level people >>3 で、二人で スレ28で議論した人かな
悪いけど、終わったので、適当に流すわ（＾＾；
900:１３２人目の素数さん
20/01/16 06:43:02 TmEb/6H6.net
>>830
◆e.a0E5TtKEは勝手に思い込む悪い癖がある
例えばクスリの話をすると脊髄反射で
「ああ、こいつクスリのんでる！」
と思い込む（もちろん、完全な誤りｗ）
だから
・正規部分群の定義の式を見ただけで
「ああ、HとｇHｇ＾（－１）が同型！」
・順序数で∈が推移的と見ただけで
「ああ、集合全部で∈が推移的！」
・時枝記事で列を１つ選ぶと見ただけで
「ああ、選んだ列の箱を全部開けるんだ！」
全部誤りｗｗｗｗｗｗｗ
＞悪いけど、終わったので、適当に流すわ
悪いけど、貴様人間として終わってるので、適当に焼いて食うわｗｗｗｗｗｗｗ
901:１３２人目の素数さん
20/01/16 06:53:03.75 TmEb/6H6.net
＞キチガイサイコパス（別名ピエロ）
実際は◆e.a0E5TtKE おそらく窓際族
＞High level people
◆e.a0E5TtKEはExtremely Low Level Pig
某大学工学部卒とは信じられない おそらく落ちこぼれ
人間として終わってるのに、
「まだだ！まだ終わらんよ」
とジタバタ足掻く
無駄だからさっさとクタバレｗ
902:１３２人目の素数さん
20/01/16 06:58:04.13 TmEb/6H6.net
>>828
＞あなた時枝戦略まったく分かってないですよね？
そもそも「選んだ列以外の９９列を開ける」を
「選んだ列１列のみを開ける」と読み違えた時点で
どう頑張ったって９９／１００が出てこないｗ
せいぜい１／２になるだけ
結局、よく読みもせず脊髄反射で
「あー、この記事間違い！」
と即断したのが誤り
◆e.a0E5TtKEは文章が読めない畜生らしい
それじゃ会社でも使えないｗｗｗｗｗｗｗ
903:１３２人目の素数さん
20/01/16 07:00:53.88 TmEb/6H6.net
>>824
＞あなた大学一年4月の実数論で落ちこぼれてますから
超準解析にこだわる素人って
「これならボクでも微積分が完璧に分かる筈！」
ってすがるんだろうな
でも、実数論も分からん馬鹿には超準解析なんて無理ｗ
904:１３２人目の素数さん
20/01/16 07:02:55.63 TmEb/6H6.net
>>827
＞時枝戦略でも当てられない数列を提示しない限り
その通り
つまるところ、「時枝戦略で100列とも外れる例」を示せない限り、
◆e.a0E5TtKEはトンデモピエロ
905:１３２人目の素数さん
20/01/16 07:06:17.89 TmEb/6H6.net
◆e.a0E5TtKEはそもそも自分がトンデモピエロだという自覚がない
「部分群HがｇHｇ＾（－１）と同型なら正規部分群」とか
「任意の集合で、∈は推移的」とか
初歩的な誤りをドヤ顔で語る時点で完全なトンデモピエロ
数学板に書く資格などない人非人の畜生
身の程を知れよ 馬鹿がｗ
906:１３２人目の素数さん
20/01/16 07:08:05 TmEb/6H6.net
◆e.a0E5TtKEのウザい癖
・わけもわからず専門用語で検索した結果を
理解もできないくせにドヤ顔でコピペ
・自分では論理的なつもりで、無意味に
文章に１．２．３．と番号を振る
どれもこれもアタマの悪い馬鹿のやることｗ
907:１３２人目の素数さん
20/01/16 07:09:29 TmEb/6H6.net
別に馬鹿に生きる資格がないとはいわない
馬鹿は馬鹿らしく、数学のような自分には理解できないことに興味持たなければいい
ジムで筋肉トレーニングでもしてろ どうせ脳味噌は鍛えられないんだからｗ
908:１３２人目の素数さん
20/01/16 07:10:36 TmEb/6H6.net
馬鹿が恥ずかしいんじゃない
馬鹿を自覚せずに利口ぶるから恥ずかしいんだｗ
909:１３２人目の素数さん
20/01/16 07:11:42 TmEb/6H6.net
以上、◆e.a0E5TtKEのクソコメ流し終了ｗ
910:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/16 07:48:30 12GEEnl3.net
>>830 補足
ここは、初学者もいるかも知れないので、補足
911:説明しておく １．時枝記事（>>37 >>50-）の数列は、当然固定されている だが、それは現代数学の確率変数の射程内です 確率変数の「固定」などという、トンデモ概念とは無関係 ２．「どんな実数を入れるかはまったく自由」なので、 なにか確率現象、コイントスとかサイコロとかを使っても良い そのときに、確率99/100と異なる結果になれば、 時枝記事の解法との矛盾であり、反例になる ３．確率論で使われるiid(独立同分布)の確率変数Xi（可算無限族）を使えば 話は簡単で、各Xiは、コイントスなら確率1/2、サイコロなら確率1/6になり この段階で、時枝記事の反例構成は終わっている ４．では、なぜ如何にも当たるような確率99/100に見えるのか？ それを解明したのが、ジムの数学徒（>>694）さんの書いた証明>>271で (引用開始) 結局確率変数d(x)などが満たしていなければならない条件とは (1) P(d(x)>d(y),d(z))≦1/3。 2) P(∀i≧D x[i]=r(C(x))[i] | d(x)≦D)=1 である。 この２つの条件が満たされない限り時枝の議論は成立しない。 ところがこの(2)の条件は確率論の公理の要請に反してしまう。 (引用終り) ということ ５．これを、https://www.youtube.com/watch?v=JwtOopzF4AA >>779 【高校数学】 数B－１０１ 確率分布と確率変数? 2016/03/09 とある男が授業をしてみた に倣って解説してみると d(x)（以下dxと略記する）の確率分布を考える dx：1, 2, ・・・n ・・・ Ｐ：p1,p2,・・・pn・・・ となる。ここで、p1,p2,・・・pn・・・などは、 確率に直す前の場合の数です。確率は、総和Σpnで割る必要がある ところが、Σpn→∞ となって発散してしまう ∵pnが減衰しないから。減衰しない無限和は発散します これが、上記4項で、(2)の条件 確率に対して”=1”が成立たない分り易い説明です 以上
912:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/16 08:02:03 12GEEnl3.net
>>841
補足の補足
１．「どんな実数を入れるかはまったく自由」は、>>50の記載ご参照
２．独立同分布である i.i.d. IID については、下記ご参照
（>>121）
URLﾘﾝｸ(www.practmath.com)
実用的な数学を
2019年6月20日 投稿者: TAKAN
独立同分布である i.i.d. IID
(抜粋)
|| 同じ分布のデータは互いに不干渉だよ
これは「確率変数を別々に扱えるよ」という『仮定』です。
これが仮定されていると、非常に計算がしやすくなります。
相関を考えなくて良いので、共分散などを使う必要がありません。
３．「Σpn→∞ となって発散してしまう」については、
積分 ∫ 1～∞ 1/x^n dx （1/x^nの 1～∞ の積分）
の収束条件、n > 1であることに類似
つまり、→∞のときに、被積分関数 1/x^nが、ある速度以上で減衰しないと
積分は発散します
同様に、場合の数を考えると、→∞のときに減衰がないと、
当然総和は発散して
確率分布が求まらないのです
以上
913:１３２人目の素数さん
20/01/16 09:07:11.45 1NWfc1B3.net
>>841
>３．確率論で使われるiid(独立同分布)の確率変数Xi（可算無限族）を使えば
> 話は簡単で、各Xiは、コイントスなら確率1/2、サイコロなら確率1/6になり
> この段階で、時枝記事の反例構成は終わっている
反例になってません
反例であることを示すには時枝解法を使っても当てられないことを示す必要があります
あなたに示せるはず無いのです
なぜならあなた、時枝解法を理解するための必要要件：同値類、選択公理を理解していないので
「無限集合を扱うには選択公理が必要」とか訳の分からない妄想しているのがあなたです
914:１３２人目の素数さん
20/01/16 09:08:43.29 1NWfc1B3.net
「無限集合を扱うには選択公理が必要」
自分のバカ�
915:ｩ覚して下さいね
916:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/16 10:05:55 F3sCx4kE.net
>>843
＞反例になってません
反例になっています
∵ 時枝の確率 99/100ですが
対して現代数学の確率変数iidの確率は、
それぞれの確率事象により
コイントス 1/2
サイコロ一つ 1/6
などなど
確率事象に依存した数値になります
iid（独立同分布）なので、例外の箱（確率変数Xi）なし
だれが考えても、後者の現代数学の確率論から導かれる結論が妥当です
以上
QED（＾＾
917:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/16 10:48:17.28 F3sCx4kE.net
>>842 補足
> つまり、→∞のときに、被積分関数 1/x^nが、ある速度以上で減衰しないと
> 積分は発散します
時枝は、裾の重い分布（下記）の”類似”だが
時枝では、積分が発散するので
P（Ω）＝1という確率の公理不成立（つまり、確率計算ができない）
（これについては、前述のジムの数学徒（>>694）さんの書いた証明（>>841）ご参照）
（なお、裾の重い分布は、まだ確率論の中の話ですが、時枝はそうではない）
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
裾の重い分布
(抜粋)
裾の重い分布あるいはヘヴィーテイルとは、確率分布の裾がガウス分布のように指数関数的には減衰せず[1]、それよりも緩やかに減衰する分布の総称。 また類似の用語に、ファットテイル、裾の厚い分布、ロングテール、劣指数的(subexponential)などがある。
URLﾘﾝｸ(webtan.impress.co.jp)
Impress Corporation
平均値で考えると失敗するロングテール指標を理解しておこう [アクセス解析tips]
ロングテールデータを読み解くには、「平均」や「偏差値」など一般的な統計指標はあまり役に立たない。なぜか？
衣袋 宏美（株式会社クロス・フュージョン） 2010/1/28
918:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/16 10:56:26.15 F3sCx4kE.net
>>844
おサルも同じような発言しているぞ（下記）（＾＾；
同類じゃんか！ｗ
同じ穴の狢だよ、おサルｗ
（おサルの発言ご参考まで）
現代数学の系譜11 ガロア理論を読む33 (c)2ch.net
ｽﾚﾘﾝｸ(math板)
575 名前：１３２人目の素数さん[sage] 投稿日：2017/06/03(土) 02:30:44.36 ID:YbwQeVvS [1/32]
>>571-572
残念だけど選択公理を使って
無限列から決定番号への非可測関数を構築すれば
「箱入り無数目」解法による予測は避けられないよ
逆に
「X1，X2，X3，・・・がまるまる無限族として独立なら絶対に当てられない」
と言い切るなら、必然的に
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」
といわざるを得なくなる
(引用終り)
919:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/16 11:32:03 F3sCx4kE.net
>>847
補足
(引用開始)
「X1，X2，X3，・・・がまるまる無限族として独立なら絶対に当てられない」
と言い切るなら、必然的に
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」
といわざるを得なくなる
(引用終り)
を読んだとき、こいつアホと即座に思ったよ
まあ、しかしおれも人のことは言えない
同値類の構成に、どの公理使うかが理解できていなかった
その後、下記のSatoko Titani Global Set Theory 1.3.5 Equivalence relation を見ると 分かった
分出公理 又は 置換公理で、論理式 ψ を使って、同値類の構成できるんだね（下記wikipedia）
これの逆、無限の同値類から元を一つづつ選びだすための仕掛けが、選択公理だね
上記の同値類とその代表を選び出す関係は、
選択公理と等価な命題 「右逆写像の存在 全射は右逆写像を有する」（下記）
に�
920:ﾟいのではと思う 現代数学の系譜 カントル 超限集合論 https://rio2016.5ch.net/test/read.cgi/math/1570237031/472 472 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE [] 投稿日：2019/10/27(日) 20:54:28.82 ID:EUeYkluT [2/4] https://scholarpublishing.org/sse/ Services for Science and Education Ltd https://scholarpublishing.org/sse/wp-content/uploads/2018/08/10.14738tnc.092018.1_global-set-theory_2018.pdf Satoko Titani Global Set Theory Society for Science and Education (United Kingdom) Dedicated to Professor Gaisi Takeuti (1925 - 2017) 1.3.5 Equivalence relation . . . . . . . . . . . . . . . . . . . 26 つづく
921:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/16 11:32:45 F3sCx4kE.net
>>848
つづき
URLﾘﾝｸ(ja.wikipedia.org)
公理的集合論
(抜粋)
置換公理 "関数クラス"による集合の像は集合である：
この公理は、論理式 ψ をパラメータとする公理図式である。
1.2 分出公理
分出公理
置換公理はフレンケルによって次の分出公理の代わりにおかれたものである（1922年）。分出公理は上に述べた ZF の公理から示すことができる。
この公理は、論理式 ψ をパラメータとする公理図式である。論理式 ψ を決めたとき、X に対して分出公理が存在を主張する集合はただ一つであることが外延性の公理から言える
URLﾘﾝｸ(ja.wikipedia.org)
選択公理
(抜粋)
選択公理（せんたくこうり、英: axiom of choice、選出公理ともいう）とは公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合（すなわち、集合の集合）があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。1904年にエルンスト・ツェルメロによって初めて正確な形で述べられた[1]。
2 選択公理と等価な命題
・右逆写像の存在
全射は右逆写像を有する。
URLﾘﾝｸ(ja.wikipedia.org)
全射
(抜粋)
右可逆性
右逆を持つ任意の写像は全射であるが、「任意の全射が右逆写像を持つ」という命題は選択公理に同値である。
(引用終り)
以上
922:１３２人目の素数さん
20/01/16 17:31:27 jTYy8UNC.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
923:１３２人目の素数さん
20/01/16 17:34:06 a9lcc95e.net
おっちゃんです。
プロ野球の記事を読んでいたら、目明き千人盲千人という諺を知った。
目明き千人盲千人かなるほどね～、って思った。
924:１３２人目の素数さん
20/01/16 17:40:09 a9lcc95e.net
目明き千人盲千人を知ったときは、諺というより格言としていえるような諺だと思ってしまった。
925:１３２人目の素数さん
20/01/16 17:41:19 a9lcc95e.net
それじゃ、おっちゃん�
926:烽､寝る。
927:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/16 18:14:43 F3sCx4kE.net
>>851-852
おっちゃん、どうも、スレ主です。
レスありがとう
＞プロ野球の記事を読んでいたら、目明き千人盲千人という諺を知った。
なるほど、これか（下記）
（参考）
URLﾘﾝｸ(kotobank.jp)
コトバンク
デジタル大辞泉の解説
目明(めあ)き千人(せんにん)盲(めくら)千人
世の中には道理のわかる者もいるが、わからない者もいるということ。盲千人目明き千人。
(引用終り)
”盲(めくら)”というのが、いま放送禁止用語だから、使われなくなっているけどね
因みに、（>>848より）
(引用開始)
「X1，X2，X3，・・・がまるまる無限族として独立なら絶対に当てられない」
と言い切るなら、必然的に
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」
といわざるを得なくなる
(引用終り)
これで、何がアホかというと
命題A：「X1，X2，X3，・・・がまるまる無限族として独立なら絶対に当てられない」（時枝記事の否定）
命題B：「実数の全ての集合はルベーグ可測であり選択公理は成立しない」（選択公理の否定）
として
命題A（時枝記事の否定）→命題B（選択公理の否定）
となって
それで「普通の命題が、公理を否定する」などということは、非常に特殊ケースを除いてない！！
そんなことは、基礎論をちょっとかじった人にはすぐ分かること
もし、”命題A（時枝記事の否定）→命題B（選択公理の否定）”が成立とすれば、
基礎論的には、大事件なのですよｗｗ（＾＾；
この一言で、”こいつアホ”と即座に思った
”目明(めあ)き千人(せんにん)盲(めくら)千人”
の例かもね（＾＾；
928:１３２人目の素数さん
20/01/16 19:15:38.89 TmEb/6H6.net
>>841
＞ここは、初学者もいるかも知れないので、補足説明しておく
無学者（誤学者）◆e.a0E5TtKEのウソ説明は要らんよ
＞１．時枝記事の数列は、当然固定されている
したがって、以下の３．は否定される
＞３．確率論で使われるiidの確率変数Xi（可算無限族）を使えば…
＞ 各Xiは、コイントスなら確率1/2、サイコロなら確率1/6になり
＞ この段階で、時枝記事の反例構成は終わっている
数列が固定されているなら、どの試行でも同じ値となり
確率変数になりようがない
929:１３２人目の素数さん
20/01/16 19:16:04.55 TmEb/6H6.net
>>841
＞４．では、なぜ如何にも当たるような確率99/100に見えるのか？
＞ それを解明したのが、ジムの数学徒…
ジムは「確率99/100に見えること」について何も説明していない
確率99/100の説明ならThe Riddleを読めばいい
一方ジムはそもそもThe Riddleについて語っていない
The Riddleは正しいか否かか答えよ、という質問に
渋々「正しい」と答えたが、同時にそれは
時枝記事とは無関係だと言い張っている
頭が悪いんだろう
さてジムが述べたのはこれだけ
>結局確率変数d(x)などが満たしていなければならない条件とは
>2) P(∀i≧D x[i]=r(C(x))[i] | d(x)≦D)=1
>ところがこの(2)の条件は確率論の公理の要請に反してしまう。
しかし、これは99/100とは全然無関係だし
確率99/100の説明になっていない
説明でもなんでもないものを説明だという
◆e.a0E5TtKEは文章が読めないうえにウソツキだな
930:１３２人目の素数さん
20/01/16 19:16:48.52 TmEb/6H6.net
確率99/100の説明は以下の通り
「時枝記事の戦略では
100列のうち、それぞれ1個づつの箱を選ぶ
そのうち、
１．最も大きい決定番号d1を持つ1列についてはd2(＜d1)番目の箱
２．その他の99列についてはd1(＞dn(nは2以上))番目の箱を選ぶ
1の場合はd2<d1なので代表元と一致しない
2の場合はd1>dnなので代表元と一致する
したがって選ばれる候補となる100箱のうち99箱は代表元と一致する
100個のそれぞれが選ばれる確率が1/100なら、
代表元と一致する確率は99/100」
箱の中身が確率変数なんていうのは一切説明に出てこない
箱を選ぶ確率が1/100で、代表元と一致する箱が99個というだけ
ジムはこんな簡単な説明すらできない時点で
素人のトンデモであることは間違いない
数学科卒というのはデマ
◆e.a0E5TtKE（＝ジム）は
「箱にランダムに数をいれる」
と決めつけて間違った！！！
931:１３２人目の素数さん
20/01/16 19:17:28.51 TmEb/6H6.net
>>844
>「無限集合を扱うには選択公理が必要」
>自分のバカを自覚して下さいね
>>847
>おサルも同じような発言しているぞ
◆e.a0E5TtKE毎度恒例の誤読
無限集合の存在は無限公理によって保証される
選択公理は不要
932:１３２人目の素数さん
20/01/16 19:18:03.69 TmEb/6H6.net
>>848
>同値類の構成に、どの公理使うかが理解できていなかった
同値類の構成には、選択公理は不要
同値類ができただけでは、代表元がとれるとは限らない
代表元がとれないなら予測は不可能
>無限の同値類から元を一つづつ選びだすための仕掛けが、選択公理だね
だ・か・ら、選択公理がないと代表元が選べず、予測できない
933:１３２人目の素数さん
20/01/16 19:18:51.72 TmEb/6H6.net
>>848
>こいつアホと即座に思ったよ
◆e.a0E5TtKEの文章
「部分群HがgHg^(-1)と同型なら正規部分群」
「{}∈{{}},{{}}∈{{{}}} だから {}∈{{{}}}」
「時枝戦略で選んだ1列のみ全部開ければ・・・」
を読んだとき
「こいつ正真正銘のアホだな」
と即座に思ったよ
３度そう思ったってことは
◆e.a0E5TtKEは間違いなくアホってことｗ
934:１３２人目の素数さん
20/01/16 19:19:59.71 TmEb/6H6.net
>>845
＞＞反例になってません
＞反例になっています
反例になってませんｗ
ジムが
・本名
・出身大学
・卒業証書の画像（本名と出身大学が確認できる）
の三点セットを提示したら
数学科卒だと証明される
しかし、不可能だろう
だってジム＝◆e.a0E5TtKEは工学部卒だから
◆e.a0E5TtKE、ほんとウソつくの下手だよなｗ
935:１３２人目の素数さん
20/01/16 19:25:38.89 TmEb/6H6.net
>>854
>「普通の命題が、公理を否定する」
>などということは、非常に特殊ケースを除いてない！！
◆e.a0E5TtKEの主張は精神異常な命題だがね
>そんなことは、基礎論をちょっとかじった人にはすぐ分かること
ちょっと齧ろうとしたら前歯が折れたんだろ
◆e.a0E5TtKEは歯磨かないからボロボロｗ
>もし、”命題A（時枝記事の否定）→命題B（選択公理の否定）”が成立とすれば、
>基礎論的には、大事件なのですよｗｗ
なぜ大事件にならないかといえば、
◆e.a0E5TtKEが完全な精神異常者だからｗ
クスリのめ
最近は統合失調症のいいクスリがあるぞ
エビリファイとかレキサルティとか
936:１３２人目の素数さん
20/01/16 19:29:43.29 TmEb/6H6.net
◆e.a0E5TtKEは文章が読めない
↓これかもな
URLﾘﾝｸ(ja.wikipedia.org)
ディスレクシア（英語: dyslexia、ディスレキシアとも）は、学習障害の一種で、
知的能力及び一般的な理解能力などに特に異常がないにもかかわらず、
文字の読み書き学習に著しい困難を抱える障害である。
失読症、難読症、識字障害、（特異的）読字障害、読み書き障害、とも訳される。
937:１３２人目の素数さん
20/01/16 19:35:00.24 TmEb/6H6.net
確率99/100の説明は以下の通り
「時枝記事の戦略では
100列のうち、それぞれ1個づつの箱を選ぶ
そのうち、
１．最も大きい決定番号d1を持つ1列についてはd2(＜d1)番目の箱
２．その他の99列についてはd1(＞dn(nは2以上))番目の箱を選ぶ
1の場合はd2<d1なので代表元と一致しない
2の場合はd1>dnなので代表元と一致する
したがって選ばれる候補となる100箱のうち99箱は代表元と一致する
100個のそれぞれが選ばれる確率が1/100なら、
代表元と一致する確率は99/100」
箱の中身が確率変数なんていうのは一切説明に出てこない
箱を選ぶ確率が1/100で、代表元と一致する箱が99個というだけ
ジムはこんな簡単な説明もできない
数学科卒？ないないｗｗｗｗｗｗｗ
938:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/16 21:01:36.10 12GEEnl3.net
>>856
>The Riddleは正しいか否かか答えよ、という質問に
>渋々「正しい」と答えたが、同時にそれは
>時枝記事とは無関係だと言い張っている
ジムの数学徒（>>694）さんが認めたことは、下記引用の「コレ」と称することだけ
（>>462-464より引用）
462 名前：１３２人目の素数さん[sage] 投稿日：2020/01/12(日) 09:55:37.03 ID:uoU8aOtq [1/2]
>>459
解釈論は一旦脇に置きましょう
次の問題設定を考えた場合、確率99/100以上という結論は正しいですか？
それとも間違っていますか？
考えを述べてください
------------
>>432
>
>Fixed s1,s2,...s100∈R^Nに対してΩ={1,2,...,100}なる列の添字で標本空間を構成し、
>ランダムに添字を選ぶとき、
>d：Ω→{d1,d2,...,d100}の最大値を引かない確率は99/100以上
>sが固定されているのでdも固定されており、dは明らかに可測
463 名前：１３２人目の素数さん[sage] 投稿日：2020/01/12(日) 10:02:58.80 ID:QNR5W2Z7
>>462
> >>459
> 解釈論は一旦脇に置きましょう
>
> 次の問題設定を考えた場合、確率99/100以上という結論は正しいですか？
> それとも間違っていますか？
> 考えを述べてください
>
> ------------
コレは正しいですね。
しかしこの事実をもってしても時枝記事は正当化されてはいないという結考えに変わりはありません。
つづく
939:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/16 21:07:59.65 12GEEnl3.net
>>865
つづき
464 名前：１３２人目の素数さん[sage] 投稿日：2020/01/12(日) 10:09:41.43 ID:uoU8aOtq [2/2]
>>463
>コレは正しいですね。
OK
「コレ」が正しいと認められるかが重要です
私は終始「コレ」の話をしてます
世間一般の数あてゲームは>>432と同様、当てるべき数は固定されています
固定されてない「数当てゲーム」など聞いたこともないし、
そもそもゲームの体をなしていません
>しかしこの事実をもってしても時枝記事は正当化されてはいないという結考えに変わりはありません
私はそんな話、一切してませんので、他とやってください
(引用終り)
＜私のコメント＞
１．それで、>>462の問いは、時枝を簡略化した
”Fixed s1,s2,...s100∈R^Nに対してΩ={1,2,...,100}なる列の添字で標本空間を構成し・・”という設問です
２．ジムの数学徒（>>694）氏の回答は、
>>463より
”コレは正しいですね。
しかしこの事実をもってしても時枝記事は正当化されてはいないという結考えに変わりはありません。”(まま)
これを受けて、質問者も
”>しかしこの事実をもってしても時枝記事は正当化されてはいないという結考えに変わりはありません
私はそんな話、一切してませんので、他とやってください”（>>464）と言っている
３．であるから、
おサルの上記”The Riddleは正しいか否かか答えよ、という質問に 渋々「正しい」と答えた”とか
”時枝記事とは無関係だと言い張って”とかは、
おサルの誤解・曲解、かつ我田引水もいいところだな（＾＾
（繰返すが、直接の質問者も（時枝記事正当化は）「私はそんな話、一切してません」としているｗ）
以上
940:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/16 21:39:10.20 12GEEnl3.net
>>854 補足の補足
＞”こいつアホ”と即座に思った
（ちょっと分り易く補足するよ）
１．命題Aは、時枝記事の否定であるから
時枝記事の成立について、考えてみよう
一般に、数学命題を成立させている幾つかの条件があります
時枝命題に即していうと、
１）ZFCの幾つかの集合論公理と、２）確率の公理、３）左記以外の数学的仮定
の３つに大別されます
２．上記の３つの条件→時枝記事成立 となる
対偶は
時枝記事不成立→３つの条件の”どれか”が不成立
「”どれか”が不成立」＝ ”or”条件ということです
念押しだが、さらに”３）左記以外の数学的仮定”も、
もし、２つの要件があれば、２つの内1つが不成立で良いのです
３．つまり、言いたいことは
「時枝記事不成立→ZFCの中の”選択公理”不成立」は
普通、こんなことは、まず言えません。普通、言えませんね～
４．現実に、ジムの数学徒（>>694）氏は、証明>>271で
「確率論の公理の要請に反してしまう」（>>841）と示した
「時枝記事不成立→ZFCの中の”選択公理”不成立」が、
如何にアホで非数学的な主張であることか！ｗ
（>>854の通りだが）”こいつアホ”と即座に思ったよ（＾＾
941:１３２人目の素数さん
20/01/16 23:43:55 1NWfc1B3.net
>>867
時枝定理の仮定は選択公理だけであり、選択公理を仮定すれば時枝定理は真です。（証明は時枝記事）
なので時枝定理を偽にするには選択公理を偽にする以外にないのです。
まああなたに言っても分からないでしょうけど。分からないなら黙っててくれませんか？
942:１３２人目の素数さん
20/01/16 23:52:46 1NWfc1B3.net
>>866
> ”コレは正しいですね。
> しかしこの事実をもってしても時枝記事は正当化されてはいないという結考えに変わりはありません。
”コレ”が正しいなら時枝記事の正しさはほぼ自明レベル
つまりジムくんがアホなだけ
943:１３２人目の素数さん
20/01/16 23:54:19 1NWfc1B3.net
ああ、時枝記事と言ってるのは記事前半ね
記事後半はトンデモだからｗ
944:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 00:30:50 ahk+jOr6.net
>>861
(引用開始)
ジムが
・本名
・出身大学
・卒業証書の画像（本名と出身大学が確認できる）
の三点セットを提示したら
数学科卒だと証明される
しかし、不可能だろう
だってジム＝◆e.a0E5TtKEは工学部卒だから
◆e.a0E5TtKE、ほんとウソつくの下手だよなｗ
(引用終り)
１）おサルの逃げ込むところは、最後はそこかい（ジム＝◆e.a0E5TtKE）ｗｗ（＾＾
２）それ、厳密な証明も反証も難しいが、事実だけを引用しておこう （おサルを潰すためにな）
３）ジムの数学徒（>>694）氏の最初は下記>>31 ID:fZULsj51さんからだろう
（因みに、>>33 ID:CpJpHnug 「興味ないから」は、おサル）
４）下記を読んで、ジムの数学徒（>>694）氏＝私スレ主と思う人は、おサル一人だろう
５）おサルも、本当は、救いを求め、誤魔化しに使っているだけでしょ？ｗ そう思いたいんだな。でも、それ潰してやるよ！ｗ
(ジムの数学徒（>>694）氏ID:fZULsj51登場時の会話の(抜粋)引用開始。なお、ID:CpJpHnuはおサル)
>>31 名前：１３２人目の素数さん[sage] 投稿日：2020/01/05(日) 09:31:06.99 ID:fZULsj51 [1/9]（ジムの数学徒（>>694）氏）
ヨコです。
時枝さんの定理ってのがあるんですか？
それは正確にはどういう主張ですか？
その主張読めるサイトあります？
(引用終り)
>>33 名前：１３２人目の素数さん[] 投稿日：2020/01/05(日) 09:46:29.62 ID:CpJpHnug [3/11]（おサル）
>>31
その話は別スレッド立ててやってくれる？興味ないから
>>34 名前：１３２人目の素数さん[sage] 投稿日：2020/01/05(日) 10:03:13.35 ID:fZULsj51 [2/9]
スレ立てようにも概要も何もわからないからなぁ？
スレ立てるほどの価値ある話かもわからんし。
てか概要も何もわからんのに時枝問題ってなんですか？ってタイトルのスレも立てられないし。
ググっても出ないし。
つづく
945:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 00:31:21 ahk+jOr6.net
>>871
つづ�
946:ｫ >>37 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2020/01/05(日) 10:15:50.41 ID:dWKXmW0r [6/27] >>34 どうも、スレ主です 下記ご参照 https://www.nippyo.co.jp/shop/magazine/6987.html 数学セミナー 2015年11月号 箱入り無数目───────────────時枝 正 36 スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/18 >>45 名前：１３２人目の素数さん[sage] 投稿日：2020/01/05(日) 11:09:25.62 ID:fZULsj51 [3/9] いっぱいリンク貼ってあるけど肝心要の記事が載ってるリンクがひとつもない。 取り寄せたり図書館行ったりする価値があるとは思えないのでスルーしますww >>47 名前：１３２人目の素数さん[sage] 投稿日：2020/01/05(日) 11:14:58.94 ID:fZULsj51 [4/9] なんせ直感的には筋悪な事やってるからな。 わかる範囲内では冪級数環を差が多項式になる同値類で割る。 多項式環は冪級数環の中で部分環ではあってもイデアルじゃないからな。 ちょっと筋悪。 >>48 名前：１３２人目の素数さん[] 投稿日：2020/01/05(日) 11:19:28.93 ID:CpJpHnug [7/11] >>45 ＞肝心要の記事が載ってるリンクがひとつもない。 実はあるけど◆e.a0E5TtKEの馬鹿が 余計なリンクを張りまくるから見つけにくい >>50 名前：１３２人目の素数さん[sage] 投稿日：2020/01/05(日) 11:23:25.15 ID:n1YRC2Dd [1/7] 以下は過去ログからの引用。 １．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。 つづく
947:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 00:31:45 ahk+jOr6.net
>>872
つづき
>>58 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2020/01/05(日) 11:49:08.44 ID:dWKXmW0r [13/27]
>>47
ID:fZULsj51さん、どうも。スレ主です。
＞なんせ直感的には筋悪な事やってるからな。
＞わかる範囲内では冪級数環を差が多項式になる同値類で割る。
＞多項式環は冪級数環の中で部分環ではあってもイデアルじゃないからな。
まあ、そういう視点もあるかも
>>93 名前：１３２人目の素数さん[sage] 投稿日：2020/01/05(日) 13:46:59.09 ID:fZULsj51 [8/9]
まぁどこに罠があるかは分かった。
なるほどねぇ。
確率論の演習としては中々面白いねぇ。
ちょっとしたミニトラップもあるしね。
>>104 名前：１３２人目の素数さん[sage] 投稿日：2020/01/05(日) 17:11:41.35 ID:fZULsj51 [9/9]
まず確率の問題なのだから測度空間を設定しなければならないのはその通り。
ではこの問題が測度空間が設定し得ない確率の問題として捉え得ないのかというとそうではない。
まず各箱に入れる実数の分布は問題に明示されてない。
しかしされてない事がこの問題のKeyと言ってしまいそうなのが罠。
(引用終り)
以上
948:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 00:34:16 ahk+jOr6.net
>>868
＞時枝定理の仮定は選択公理だけであり、選択公理を仮定すれば時枝定理は真です。（証明は時枝記事）
あほサルがまだ言ってらーｗ
アホは、やっぱりアホだね、おサルさん（＾＾；
949:１３２人目の素数さん
20/01/17 00:51:11.01 U+rsHn5n.net
と、「無限集合を扱うには選択公理が必要」と赤っ恥発言のアホが申しております
950:１３２人目の素数さん
20/01/17 06:46:36.09 PpUpdAzp.net
>>865
◆e.a0E5TtKEはジムの敗北を認めたｗ
>>462
>次の問題設定を考えた場合、確率99/100以上という結論は正しいですか？
>Fixed s1,s2,...s100∈R^Nに対してΩ={1,2,...,100}なる列の添字で標本空間を構成し、
>ランダムに添字を選ぶとき、
>d：Ω→{d1,d2,...,d100}の最大値を引かない確率は99/100以上
>sが（100個に）固定されているのでdも固定されており、dは明らかに可測
>>463
>コレは正しいですね。
ジムがこう答えた瞬間、ジムは負けたｗ
>しかしこの事実をもってしても
>時枝記事は正当化されてはいない
>という考えに変わりはありません。
これは只の負け惜しみ
951:１３２人目の素数さん
20/01/17 06:54:28.68 PpUpdAzp.net
>>866
> >>462の問いは、時枝を簡略化した
>”Fixed s1,s2,...s100∈R^Nに対して
>Ω={1,2,...,100}なる列の添字で
>標本空間を構成し・・”という設問です
「簡略化」が誤解
時枝問題そのもの
ジム＝◆e.a0E5TtKEは、このことが分からない馬鹿
>ジム（>>694）氏の回答は、
> >>463より
> ”コレは正しいですね。
ジム＝◆e.a0E5TtKEは、この瞬間負けた 死んだ
>質問者も
>”私はそんな話、一切してませんので、他とやってください”
>と言っている
そんな話＝「時枝記事が箱の中身を確率変数としているというデマ」
つまり、質問者も、ジムが回答した瞬間
「ああ、こいつ負けたな」
と確信した
結論：◆e.a0E5TtKEが数学科卒”ジム”に成りすました正当化工作はものの見事に失敗ｗ
952:１３２人目の素数さん
20/01/17 07:00:22.64 PpUpdAzp.net
>>867
> 時枝命題に即していうと、
> １）ZFCの幾つかの集合論公理と、２）確率の公理、３）左記以外の数学的仮定
> の３つに大別されます
で、◆e.a0E5TtKEはどれを守りたいんだい？
２）は否定しないんだろ？
で、１）も守るんなら、３）を否定するしかないね
３）の内訳は時枝記事の場合
・尻尾の同値類の存在
・順序の公理
尻尾の同値類の存在は否定できないよなｗ
じゃ、残るものは
「自然数の有限集合の中で
他より大きな数となるのは
たかだか１つしかない」
という定理を導く順序の公理しかないな
これ否定する？そりゃ馬鹿の極みだなｗ
こんなの否定するくらいなら
まだ選択公理を否定したほうがマシｗ
要するに、◆e.a0E5TtKEは、
前提の重みが全然分かってない馬鹿ｗ
953:１３２人目の素数さん
20/01/17 07:04:05.34 PpUpdAzp.net
>>871
>ジム氏の最初は下記>>31 ID:fZULsj51さんからだろう
実はこの段階で、
「ああ、◆e.a0E5TtKE、時枝問題を蒸し返して
劣勢を挽回しようと思ってるな 馬鹿め」
と気づいていた
貴様は、言い訳できなくなると他の問題に逃げ
そこで言い訳できなくなるとまた他の問題に逃げ
と逃げ回るのが唯一の処世
時枝問題ではもう言い訳できないぞ
さ、IUTに逃げるかい？ｗ
954:１３２人目の素数さん
20/01/17 07:05:28.92 dT2TIx6L.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
955:１３２人目の素数さん
20/01/17 07:08:52.40 PpUpdAzp.net
>>872-873
ジムの「ボクちゃん数学科卒」の演技の笑いのツボはここｗ
>>47
>多項式環は冪級数環の中で部分環ではあってもイデアルじゃないからな。
この発言で
「なんだこの馬鹿、イデアル全然関係ねえじゃん」
と思ったよ
ここで、◆e.a0E5TtKEのなりすましだと確信した
渾身の演技でバレるとはつくづく馬鹿な奴だｗ
956:１３２人目の素数さん
20/01/17 07:11:29.03 PpUpdAzp.net
>>874
◆e.a0E5TtKEは数学は宗教であり信仰すべきものと思ってるらしいｗ
ZFCの公理は否定すべからざる絶対的教義だと思ってるんだろうｗ
もちろん、数学者はそんな風には考えない
公理は所詮ただの前提に過ぎない
957:１３２人目の素数さん
20/01/17 07:15:58.70 PpUpdAzp.net
数学科卒を騙った詐欺師ジム
ここに眠る
. + .:. . .
+ :. . +.
. : . + . .
. :. .
. + Π
||
(二Ｘ二O
|| .+ .
∧∧ ||
/⌒ヽ)_||＿
＿～( );;;;::＼
" "" """""""" ""/;
"" """ ""／:;
958:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 07:46:26.04 ahk+jOr6.net
>>874
＞時枝定理の仮定は選択公理だけであり、選択公理を仮定すれば時枝定理は真です。（証明は時枝記事）
高校数学からやり直しだな
１．ある命題 「p → q」 ( p ならば q ) で、q：時枝記事の結論節とする
２．おサルは、p（仮定節）：選択公理だという
３．私スレ主、p（仮定節）：１）ZFC（含 選択公理）＋２）確率の公理＋３）左記以外の数学的仮定
だと主張する
上記の２と３と、どちらが正しいか、議論するのもばかばかしいｗ
（参考）
URLﾘﾝｸ(www.geisya.or.jp)
高校数学Ⅰ・Ａ 集合と条件
■ 逆・裏・対偶
(抜粋)
・ある命題 「p → q」 ( p ならば q ) が真（正しい）のとき，その対偶 は真（正しい）であるが，逆や裏は必ずしも真（正しい）とは限らない．
・ある命題 「p → q」 ( p ならば q ) とその対偶とは真偽が一致するので，対偶の真偽を示せば元の命題の真偽が示せる．
959:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 08:05:48.74 ahk+jOr6.net
>>881
(引用開始)
>>47
>多項式環は冪級数環の中で部分環ではあってもイデアルじゃないからな。
この発言で
「なんだこの馬鹿、イデアル全然関係ねえじゃん」
と思ったよ
ここで、◆e.a0E5TtKEのなりすましだと確信した
渾身の演技でバレるとはつくづく馬鹿な奴だｗ
(引用終り)
おサルは、>>871に反論を書いたけど、「ジム＝◆e.a0E5TtKEは工学部卒」が、いまや これが唯一の救いかｗ
”すまし”か否か、厳密な証明も反証も難しいが、判断は見ている皆さんに任せる
１．「多項式環は冪級数環の中で部分環ではあってもイデアルじゃない」というフレーズは、おれには浮かばない
２．ジムの数学徒（>>694）氏は、>>271の証明に行く前に、いろいろ迷いながら書いている
それをどう読むか、判断は見ている皆さんに任せる（素直に読むか、凝った芝居だと思うか）
３．おれは、>>234で「本格的やる�
960:ﾈら、PDFなどにして、アップロード頼む（＾＾」と言った 彼は、それに従わなかったんだ ４．多分、数学板には、慣れていないんだろうね。数学板のレベル感が掴めていない感じ >>286で、「しかしこのスレの常連達は全然数式つかって議論しないんだな」なんてね これも、素直に読むか、凝った芝居だと思うか、判断は見ている皆さんに任せる （参考(抜粋)） >>224 名前：１３２人目の素数さん[sage] 投稿日：2020/01/10(金) 11:45:16.73 ID:jmw8DMZb [1/12] なんかよくわからん？ ルールなり戦略なりを変えて確率論でないようにしたという事ではないの？ ともかくよくわからんけど普通に読めば99/100って数字は前後の文章も鑑みて確率のこと言ってるとしか読めないし、この数字が出てきてる以上確率論の話になると思うけど。 確率論で当てるのではなく、なんか別に当てる戦略があると言う話ではないの？ まぁ正確には "確率論の話だとして正当化できない部分を探せ" になるだろうけど。 数学科で確率論勉強した人間にはまぁできるだろうけど、他学科の人には無理だろうな。 物理の研究者の人とかなら数学科の院生顔負けの人がいたりするらしいのでそういう人なら行けるだろうけど。 つづく
961:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 08:08:23.12 ahk+jOr6.net
>>885
つづき
>>227 名前：１３２人目の素数さん[sage] 投稿日：2020/01/10(金) 13:20:44.63 ID:jmw8DMZb [2/12]
書いてもいいけど正直あまり面白くない。
間違いを指摘してもだから何なんって感じにしかならんだろう。
確率論勉強した人間にしか通じない上に勉強した人間にはわざわざ言わなくてもわかる話にしかならないし。
ココ2、3日忙しいけどそのうち気が向いたら備忘録がわりに書くかも。
>>231 名前：１３２人目の素数さん[sage] 投稿日：2020/01/10(金) 15:52:39.28 ID:jmw8DMZb [3/12]
時枝先生の記事の "もっともらしさ" の罠はしかし意外に難しいかもしれない。
言われてみれば当たり前のことなのだけど、確率論の初学者には見つけにくてもしょうがない。
私も確率論は門外漢なのでそんな上から目線でいえる立場にはないが。
その当時のネットの議論でどんな意見が出たのかはしらないが、結局のところ、誰もどこがおかしいのか見つけられなかったのが真相なんだろう。
本来数学の議論はキチンと定式化して議論すれば反論の余地などない。
揉めるのはキチンと定式化して議論してないからだ。
>>238 名前：１３２人目の素数さん[sage] 投稿日：2020/01/10(金) 18:37:32.69 ID:jmw8DMZb [7/12]
まず時枝先生の記事の方法ではダメ。
記事の方法ではxやyをある番号以降全部開けてその値に応じて戦略を決定している。
つまり全事象をC(x)やC(y)などに応じて決定している事になるが、これだと全事象を非可算無限個に分割して定義している事になる。
しかしこのようにして定義された関数は一般には可測関数にならない。
可測関数でなければそもそも確率そのものが定義できない。
ココが議論の第一点。
ではしかし時枝先生の記事の定義がダメとして、絶対にこれらの関数が可測になる事は本当にありえないのか、別の定義を採用すれば回避できるのではないかが次の論点。
しかしコレからジムに遊びに行くので続きはまた今度。
(引用終り)
以上
962:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 08:17:50.60 ahk+jOr6.net
>>870
>ああ、時枝記事と言ってるのは記事前半ね
>記事後半はトンデモだからｗ
おサル、統合失調症のクスリにお世話になっているのか？（>>778ご参照）
時枝先生まで、統合失調症で、その記事の前半と後半が、全く別もので、”記事後半はトンデモ”と解釈か
あなた、まともに時枝記事を論じられる精神状態じゃないね、はっきり言って悪いが
URLﾘﾝｸ(ja.wikipedia.org)
963:8%E5%A4%B1%E8%AA%BF%E7%97%87 統合失調症 (抜粋) 日本では2002年（平成14年）まで、精神分裂病（せいしんぶんれつびょう）と呼称されていた[3]。
964:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 08:20:44.13 ahk+jOr6.net
>>885 コピペミス訂正
”すまし”か否か、厳密な証明も反証も難しいが、判断は見ている皆さんに任せる
↓
”なりすまし”か否か、厳密な証明も反証も難しいが、判断は見ている皆さんに任せる
分かると思うが（＾＾；
965:１３２人目の素数さん
20/01/17 08:46:20.87 X/clQYni.net
>>882
自分の持てる⛏の限りで挑むのが
工学者の扱う実用向きの応用数学の粗探しって、、、。
数学で「真」を探求とかはなさりたくならないんですか？
966:１３２人目の素数さん
20/01/17 09:59:47 LSXKwuvW.net
おっちゃんです。
実用向きの応用数学にも、数学的に定式化されている概念がある。
応用数学を甘く見ない方がいい。
967:１３２人目の素数さん
20/01/17 10:23:49 k9NX4ves.net
>>890
ごめんなさい
数学“人”に、つい、
“純粋さ”を期待してしまって...いろんな意味で。
応用数学に侮辱的な表現をしてしまって
ごめんなさい
968:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 10:31:14 43lj/pck.net
>>889
＞工学者の扱う実用向きの応用数学の粗探しって、、、。
＞数学で「真」を探求とかはなさりたくならないんですか？
どうもスレ主です。
おっしゃる通りですね（＾＾；
なお
１．時代が変われば、水準が変わる
２．工学の範囲をどう定義するかも問題だが、
コンピュータサイエンスや、AIや、ビッグデータ解析や、金融工学まで含めれば
20世紀の工学者の扱う実用向きの応用数学と、純粋数学との垣根はどんどんなくなっていると思う
３．東京大学の理学部数学科修士の出身の亀沢氏 三菱UFJ 社長兼CEO（>>809）は、その象徴的な出来事と思う
他には、株式会社Preferred Networksには、東大数学科出身者多数と言われる
４．なので、今後は”数学で「真」を探求”というアカデミー指向とは別に、実業分野で力を発揮する、大学の数学科出身者が増えてくるように思うよ
（大学のポストなどは、限られているからね）
（参考）
URLﾘﾝｸ(katsuyaito.github.io)
Website of Katsuya ITOLinksDiary /Contact /Works /History /
伊藤 克哉
(抜粋)
エンジニア @ 株式会社Preferred Networks
［b］指導教官
［b1］大学4年夏:三枝 洋一先生(代数的サイクルの交叉理論)
［b2］大学4年冬:齊藤 宣一先生(確率微分方程式の数値解析)
［b3］修士1年：高橋明彦先生
［b4］修士2年：佐藤整尚先生(高頻度取引)
学歴
番号 年 月 学歴
［c1］ 2013年 3月 白陵高等学校 卒業
［c2］ 2013年 4月 東京大学教養学部理科一類 入学
［c3］ 2015年 3月 東京大学教養学部理科一類 修了
［c4］ 2015年 4月 東京大学理学部数学科 進学
［c5］ 2017年 3月 東京大学理学部数学科 卒業
［c6］ 2017年 4月 東京大学大学院経済学研究科 入学
［c7］ 2019年 3月 東京大学大学院経済学研究科 修了
969:１３２人目の素数さん
20/01/17 10:42:29 LSXKwuvW.net
>>891
確率論と統計学には違う点がある。
一見数学的に厳密に定式化されているとは思えないような統計では中央値がよく出て来るけど、
Wiki によ
970:ると、実のところ中央値は数学的に厳密に定義して理論的に扱えるようだ。 他にも、そのような概念はあるだろう。
971:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 11:21:26.83 43lj/pck.net
>>891
>数学“人”に、つい、
>“純粋さ”を期待してしまって...いろんな意味で。
どうもスレ主です。
そうそう、同意です
数学“人”として、神格化するのは良くないと思います
奇人変人が多い印象あるけど（＾＾
まず、人として、普通の人生設計を考えるべきと思いますよ
佐藤幹夫先生とか、望月新一先生とか、若いときに女がいないのは、なんだかなー（＾＾；
その点、Peter Scholze先生は、
結婚していて（学生結婚？）えらいよね（＾＾
972:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 11:53:19 43lj/pck.net
>>892
＞［c1］ 2013年 3月 白陵高等学校 卒業
全くの余談だが
白陵は、兵庫県高砂市というけれど
実質は、姫路市に近い（というか境界にちかい）
なお下記、兵庫県内私立2位/ 129件中は、おかしいね（”みんなの高校情報”）
白陵より上で、甲陽とか、六甲とか、淳心。女子だが神戸女学院、親和などがある
（高砂市は、三菱重工系とか神戸製鋼系の企業に勤める人が多いと思う）
URLﾘﾝｸ(www.minkou.jp)
みんなの高校情報
白陵高等学校 偏差値2020年度版
73
兵庫県内5位/ 396件中
兵庫県内私立2位/ 129件中
全国49位/ 10,045件中
偏差値 高校名 国立私立 男女共学
79 灘高等学校 私立 男子校
71 - 77 神戸高等学校 公立 共学
72 - 75 長田高等学校 公立 共学
70 - 74 姫路西高等学校 公立 共学
73 白陵高等学校 私立 共学
68 - 73 加古川東高等学校 公立 共学
63 - 72 須磨学園高等学校 私立 共学
URLﾘﾝｸ(ja.wikipedia.org)
白陵中学校・高等学校（はくりょうちゅうがっこう・こうとうがっこう）は、兵庫県高砂市阿弥陀町に所在し、中高一貫教育を提供する私立中学校・高等学校。
URLﾘﾝｸ(ja.wikipedia.org)
淳心学院中学校・高等学校（じゅんしんがくいんちゅうがっこう・こうとうがっこう）は、兵庫県姫路市本町に所在し、中高一貫教育を提供する私立男子中学校・高等学校。
973:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 11:57:39 43lj/pck.net
>>893
＞確率論と統計学には違う点がある。
＞一見数学的に厳密に定式化されているとは思えないような統計では中央値がよく出て来るけど、
おっちゃん、どうも、スレ主です。
レスありがとう
確率論と統計学に、垣根を設けるとどうかだね
あと、ベイズ推定とか、純粋数学ではないよね
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
ベイズ推定
974:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 11:58:27 43lj/pck.net
>>896 タイポ訂正
確率論と統計学に、垣根を設けるとどうかだね
↓
確率論と統計学に、垣根を設けるかどうかだね
975:１３２人目の素数さん
20/01/17 12:07:50 Ho0R/8BU.net
>>894
とっても失礼な891です(ｺﾞﾒﾝﾅｻｲ)。
シュルツ教授はリア充過ぎて
全然共感ポイントが見つかりません...
天が三物与え過ぎだと思います。
全くｷｭﾝじゃないです...
ドイツは数学専攻者に女性の比率が高かったんでしょうか？
出逢い確率が高かったんじゃないんでしょうか。
話変わりまして、私も、２１世紀以降の世界を目まぐるしく変えて行くのは、
日本でいうなら東大理科?類に代表されるような工学、情報工学等に牽引されていくイノベーションの力だと理解しているつもりです。
もっと便利で快適な社会に暮らしたいから、その夢を叶えてくれそうな工学に最大限の期待を寄せています。
でも数学には、そういう目に見えて実感出来る、便利な文明化ライフのお役立ち感とは離れて
976:、純粋に思考の力だけで、人類の知の極限まで、一般社会が知るより、ずっとずっと先を探索している姿を勝手に期待しちゃうんです... (工学の墓守をする為に 数学を叩き棒に使ってるのかな？) 数学が勿体無いな、ってﾓﾔﾓﾔしてしまって... ごめんなさい。
977:１３２人目の素数さん
20/01/17 12:10:36 Ho0R/8BU.net
キティホームレスヲヂサン風味の
ペレリマン氏の方が気になります...
978:１３２人目の素数さん
20/01/17 12:11:40 LSXKwuvW.net
>>894
>まず、人として、普通の人生設計を考えるべきと思いますよ
>佐藤幹夫先生とか、望月新一先生とか、若いときに女がいないのは、なんだかなー（＾＾；
>
>その点、Peter Scholze先生は、
>結婚していて（学生結婚？）えらいよね（＾＾
若いときの恋愛は難しい。
普通の人生設計を考えたら、凡人で終わる可能性がかなり高い。
979:１３２人目の素数さん
20/01/17 12:21:56 7sQx91K7.net
>>900
(*-ω-)))ｳﾝｳﾝ。
そのエナジー全て数学につぎ込んでるから修士以上が可能なんじゃないかな？って、
でもせっかく優秀な人達が優秀な子孫を残さないのは、社会的損失です。
勿体無いです。
980:１３２人目の素数さん
20/01/17 12:22:57 7sQx91K7.net
なんとか優秀な女性数学専攻者を増やせないかな？って。
981:１３２人目の素数さん
20/01/17 12:23:59 7sQx91K7.net
>>901-904←無礼な891です...
982:１３２人目の素数さん
20/01/17 12:24:29 7sQx91K7.net
>>903
予測通り現れてみました
983:１３２人目の素数さん
20/01/17 12:25:19 7sQx91K7.net
やった！当たった！
大変失礼致しました。
984:１３２人目の素数さん
20/01/17 12:31:24 7sQx91K7.net
日本の＊＊数学専攻者＊＊も
♀女性♀比率が↑上がって↑
🌈ＦＯＲＥＶＥＲ🌈
💖ＬＯＶＥ💞ＬＯＶＥ💗
‰ＭＡＴＨＥＭＡＴＩＣ🍀ＬＩＦＥ🍀
になって数学人が∞サイクルに成ります様に❗
985:１３２人目の素数さん
20/01/17 12:39:12 7sQx91K7.net
おっちゃんさんに＊＊素敵な彼女＊＊が出来mathe様に。。。
お嬢様なら乙様のＸ染色体をかなり
受け継がれるから乙様並みに
＊＊数学力が期待出来mathe＊＊。。。
早くから乙様パパが数学を見て上げたら＊＊Ｄｒ.シュルツを上回るかも＊＊です。
乙様、ｻﾙﾙ様、主様、人類の進化の為に、婚カツもぜひぜひ数学位、頑張って下さい。。。
人類が猿過ぎmathe。。。助けて、、、
986:１３２人目の素数さん
20/01/17 12:40:04 LSXKwuvW.net
>>898
>日本でいうなら東大理科?類に代表されるような工学、情報工学等に牽引されていくイノベーションの力だと理解しているつもりです。
>もっと便利で快適な社会に暮らしたいから、その夢を叶えてくれそうな工学に最大限の期待を寄せています。
工学に最大限の期待は寄せない方がいいですよ。便利さや快適さは求め過ぎない方がいいと思います。
AI の発達で職がなくなりつつありますからね。
医学や歯学、薬学、バイオテクノロジーなどの生物系の技術に最大限の期待を寄せるのは問題ないと思います。
987:１３２人目の素数さん
20/01/17 12:42:16 7sQx91K7.net
mathematicianが益々∞増殖し続けmathe様に。。。🍀
🌈ＦＯＲＥＶＥＲ🍀mathematics🌈の*＊呪い＊*をかけときmatheね。。。
988:１３２人目の素数さん
20/01/17 12:45:36 7sQx91K7.net
>>908
優秀な人達がＡＩＴＥＣ&ロボティクスからのベーシックインカムで
アルキメデスみたいに、生活の苦労なんかしないで純粋に思考するだけの人生に没頭出来るイノベーションであって欲しいんです。
989:１３２人目の素数さん
20/01/17 12:49:22 7sQx91K7.net
>>910に+して、♀も同じ人数だけいる学術環境で、若い時から、優秀な両性が出逢える機会が充分確保されて、って追加で。
990:１３２人目の素数さん
20/01/17 13:02:52 7sQx91K7.net
工学が、取って替わるモノを造れる仕事は、クリエイティブなmathematicinには関係無いから、どんどんコストダウンを計って浮いたコストをイノベーションの基礎研究費に回したり、若い研究者の生活補助費に回して、より社会的にも有用に使って欲しい。
991:１３２人目の素数さん
20/01/17 13:07:09.66 7sQx91K7.net
理系の優秀な人達に、優秀な理系女性との出逢いの機会を増やして、理系人口を確保して欲しい
予算と優秀な異性を確保して
理系人口を維持増殖させて欲しいです。
992:１３２人目の素数さん
20/01/17 13:11:03.87 7sQx91K7.net
な～んてね🍀
993:１３２人目の素数さん
20/01/17 13:13:03.43 7sQx91K7.net
乙様、主様、ｻﾙﾙ様、ジム様、ぷっ様、なりぷっ様、
🌈み～んなどんどん増えmathe様に！🌈
↑人類進化の呪文。。。( ´_ゝ`)
994:１３２人目の素数さん
20/01/17 13:26:38.85 7sQx91K7.net
>>894
神格化っていうか、鬼人、鬼才さん達ですよね...
ｻﾙﾙちゃんさん見てても、とても普通と思えない...
もう、数学だけやっててくれれば
良いですよね、って
他の事でも“標準以上”であるなんて奇跡は期待されてないんでしょうし...
人類の数学担当者なんだな、って。。。
995:１３２人目の素数さん
20/01/17 13:28:38.49 7sQx91K7.net
でもどんな業界見てもプロの方はみんなそんな方達ばかりみたいだから、プロフェッショナルって、そういう人達なんですよね...
996:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 13:37:36.70 43lj/pck.net
>>908
＞工学に最大限の期待は寄せない方がいいですよ。便利さや快適さは求め過ぎない方がいいと思います。
おっちゃん、どうも、スレ主です。
工学ってね、それ定義の問題だよね、数学者としてはｗｗ（＾＾
そして、現実の世の中は、定義は変わっていくんだ
いま、純粋数学でやっていることが、工学に取り込まれたり
逆に、工学から数学ネタが出てきて、論文書いたりね
（例えば、偏微分方程式も実用的には、工学とか気象とか実用という面で、いろいろある）
＞AI の発達で職がなくなりつつありますからね。
ていうか、AIに使われる側か
AIを使う側かって視点も
あるだろうね
997:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 13:39:11.53 43lj/pck.net
>>917
＞でもどんな業界見てもプロの方はみんなそんな方達ばかりみたいだから、プロフェッショナルって、そういう人達なんですよね...
そうそう
どんな業界でもプロフェッショナルと呼ばれる人はいるんだなーと
NHKの番組見ていてそう思うわ（＾＾；
998:１３２人目の素数さん
20/01/17 14:13:11 7sQx91K7.net
主様、早く数学出来る優秀な理系
美少女達のパパになって
ｻﾙﾙさんを黙らせてあげて下さい。
ｻﾙﾙさんは美少女相手だと
大人しくなっちゃうタイプだと
見ましたよ？
999:１３２人目の素数さん
20/01/17 14:16:09 7sQx91K7.net
乙様、主様、頑張って下さい！
ｻﾙﾙ&なりぷっ様も、。。。、
↑こちらのお二方、どうなんでしょう？
。。。末永いお付き合いの感じだったら、乙様が御仲人を。。。？
1000:１３２人目の素数さん
20/01/17 14:18:07 7sQx91K7.net
理系男性は、人類の為に、優秀なＸ染色体を娘さんに継承させる義務が有りますから、お願い致しますよーだ。
1001:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 14:19:50 43lj/pck.net
>>920
どうもスレ主です。
レスありがとう
うちは一人息子で、文系に行きました
スレを見ている、若い数学徒に期待しましょう（＾＾
1002:１３２人目の素数さん
20/01/17 14:31:29 7sQx91K7.net
主様ごめんなさい。。。
今から無理に脱線しないで下さい。。。幸せなご家族でいて下さい。。。
乙様、ｻﾙﾙ様、頑張って下さい。
ヤダッ！つっても、創るんだよ！！
娘さんを！！！
はよはよ！人類に🌈アテネ🌈を早よ！
ですよーだ
1003:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 15:38:41.33 43lj/pck.net
>>924
どうもスレ主です。
＞今から無理に脱線しないで下さい。。。幸せなご家族でいて下さい。。。
お気遣いありがとうございます！（＾＾；
1004:１３２人目の素数さん
20/01/17 15:45:35.03 LSXKwuvW.net
>>918
>＞工学に最大限の期待は寄せない方がいいですよ。便利さや快適さは求め過ぎない方がいいと思います。
>
>おっちゃん、どうも、スレ主です。
>工学ってね、それ定義の問題だよね、数学者としてはｗｗ（＾＾
工学の中の何の分野に当てはまるかは知らないが、現実的に使われる実際の AI を開発する分野。
>＞AI の発達で職がなくなりつつありますからね。
>
>ていうか、AIに使われる側か
>AIを使う側かって視点もあるだろうね
将棋や囲碁のプロ棋士が AI との対局に勝てなくなっているようなことが起きているから、深刻な問題だよ。
1005:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 15:53:18.81 43lj/pck.net
>>892 訂正スマン
20世紀の工学者の扱う実用向きの応用数学と、純粋数学との垣根はどんどんなくなっていると思う
↓
21世紀の工学者の扱う実用向きの応用数学と、純粋数学との垣根はどんどんなくなっていると思う
自分は、”20世紀少年”だったんだ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
20世紀少年
1006:１３２人目の素数さん
20/01/17 16:02:36.94 su/Z6GV0.net
>>927
２０世紀少年達がそのままスライドして
２１世紀中年達になったから
結局同じですね♪
1007:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 16:44:27.98 43lj/pck.net
>>926
>>ていうか、AIに使われる側か
>>AIを使う側かって視点もあるだろうね
>将棋や囲碁のプロ棋士が AI との対局に勝てなくなっているようなことが起きているから、深刻な問題だよ。
１．視点を変えて、AIを使いこなすことを考えればいいんだ
２．AIの前、チェスがコンピュータに勝てなくなった。このとき、IBMがしらみつぶしに力づくでマシーンパワーで圧倒したという
３．将棋は、囲碁より早くプロ棋士が負けた（このときの将棋ソフトは、いわゆるディープラーニングではなかった）
４．囲碁は、2016年にプロ棋士が負けた（このときの囲碁ソフトは、いわゆるディープラーニング）
５．確かに、コンピュータが人よりも強くなったが、困らないよ
おっちゃん、√の開平を手でやっているだろ？（＾＾；
√の開平を手でやって、自慢したかったのが、コンピュータがやれるようになって困ったみたいな話じゃないのか？
６．なので、コンピュータがやれるところは、コンピュータを使えばいいだけのこと。そうい視点もあるぜ
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
ディープ・ブルー対ガルリ・カスパロフ
第二戦は1997年にニューヨークで行われ、ディープ・ブルーが勝利した。この試合では、トーナメント条件下で現役のチェス世界チャンピオンがコンピュータに初めて敗れている。
URLﾘﾝｸ(ja.wikipedia.org)
コンピュータ将棋
やねうら王の開発者・磯崎元洋は2014年10月31日のブログで「上位のソフトは事前貸出なしの条件であればとっくに羽生さんを超えていることは誰の目にも明らかである。
URLﾘﾝｸ(ja.wikipedia.org)
コンピュータ囲碁
「AlphaGo対李世ドル」
2016年
対局はアルファ碁が先に3勝をあげ、通算成績4勝1敗で勝利した[23]。
1008:１３２人目の素数さん
20/01/17 17:24:13.72 LSXKwuvW.net
>>929
従来、将棋や囲碁のプロ棋士が AI との対局に勝てないということは考えられなかった。
>５．確かに、コンピュータが人よりも強くなったが、困らないよ
> おっちゃん、√の開平を手でやっているだろ？（＾＾；
> √の開平を手でやって、自慢したかったのが、コンピュータがやれるようになって困ったみたいな話じゃないのか？
>６．なので、コンピュータがやれるところは、コンピュータを使えばいいだけのこと。そうい視点もあるぜ
手計算は手を動かすことで計算力などが身に付くから、手計算をして損はない。
まあ、AI で未来はどう変わるかというと、決しって安泰とはいえないだろう。
1009:１３２人目の素数さん
20/01/17 17:36:32 LSXKwuvW.net
>>929
そうそう、手計算で数値解析をすることにも、理論的に面白い一面はある。
線形の PDE か非線形 PDE かに関係なく、偏微分方程式とかの数値解析だとそうなる。
それじゃ、おっちゃんもう寝る。
1010:１３２人目の素数さん
20/01/17 17:39:09 jByLNfh2.net
>>931
お休みなΨ～
1011:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 17:41:18 43lj/pck.net
>>929 補足
むしろ、いま懸念されているのは、
「ＡＩが人類に反乱？ 兵器規制はどこまで？」みたいな話と思う
URLﾘﾝｸ(www3.nhk.or.jp)
NHK
ＡＩが人類に反乱？ 兵器規制はどこまで？
2019年9月6日 14時39分
1012:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 17:41:52 43lj/pck.net
>>931
おっちゃん、どうも、スレ主です。
おやすみなさい
1013:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 17:44:40 43lj/pck.net
>>930
＞まあ、AI で未来はどう変わるかというと、決しって安泰とはいえないだろう。
数学に限れば、
数学ソフトにAIが導入されて、
数学が本質的に変質するように思う
つまり、πの計算が、
昔数学者の仕事だったのが
いまコンピュータで計算される時代になったと類似のことが、
純粋数学のいろんな分野でおきると思う
1014:１３２人目の素数さん
20/01/17 19:04:01.32 PpUpdAzp.net
>>885
>「多項式環は冪級数環の中で部分環ではあってもイデアルじゃない」
>というフレーズは、おれには浮かばない
そもそも、◆e.a0E5TtKEが環を持ち出すのが不自然だ
と思っていたがイデアルという言葉を聞いて
「ああ、a～b同値関係を
”差a-bがイデアルIに属する”
と理解したがってるんだな」
と悟った
それが
1015:数学的だと思ってる時点で、 数学が全然わかってない >「しかしこのスレの常連達は全然数式つかって議論しないんだな」 とかデカい口叩いてるジムが 「箱の中身を確率変数とした場合、確率論では扱えない」 と主張するのに、ヴィタリの非可測集合をトレースしなかったのは 不自然極まりない 時枝はわざわざヴィタリの非可測集合の話をしてるからね 有理数の代わりに、２進有限小数を使えば 本来のヴィタリの非可測集合と全く同様に 非可測性が示せる しかし、そうしなかった その時 「ああ、こいつ、ヴィタリの非可測集合知らねぇ素人だな」 と確信した
1016:１３２人目の素数さん
20/01/17 19:05:49.10 PpUpdAzp.net
>>870
>時枝記事と言ってるのは記事前半ね
>記事後半はトンデモだからｗ
記事前半は、The Riddleのmodification版の説明
つまり、箱の中身は定数とした場合の確率計算方法
しかし、記事後半で
「非可測だからダメとはいえない」とか
「無限個の確率変数の独立性に関する新たな考え方が必要」とか
いいだしたので
「ああ、時枝氏は、箱の中身が確率変数だとしても
”正当化”できると考えてるみたいだな」
とわかる
この件については
「無矛盾かもしれないが、ZFCからは逸脱している」
（つまり「新しい公理」が必要）
と考える
「トンデモ」とはいわないが、
本来のThe Riddleのmodification版を強化した主張
について述べてることをはっきり述べてないのが
残念ではある
1017:１３２人目の素数さん
20/01/17 19:07:32.60 PpUpdAzp.net
>>923
>うちは一人息子で、文系に行きました
息子は親父より賢いな
自分には数学の才能はないと悟って
全然別方向に進んだんだから
1018:１３２人目の素数さん
20/01/17 19:08:23.99 PpUpdAzp.net
ID:7sQx91K7
なんだこの●違い
焼かれて死ねよ ウジ虫
1019:１３２人目の素数さん
20/01/17 19:13:37.84 PpUpdAzp.net
ｻﾙﾙって誰だよ
俺はぱるるでもまゆゆでもねぇよｗ
>>920
＞美少女相手だと大人しくなっちゃうタイプ
いまのイチオシはこのコ↓
URLﾘﾝｸ(www.youtube.com)
1020:１３２人目の素数さん
20/01/17 19:42:56.73 PpUpdAzp.net
f:2^N→∪2^n x→x-r(x)
2^N 2進無限小数
∪2^n 2進有限小数
r(x) xが属する同値類の代表元
fは非可測関数 (Vitaliの証明と同じ方法で示せる）
x-r(x)は2^nのいずれかに属する(nは自然数)
時枝戦略は
x1-r(x1),…・x100-r(x100)
の1つを選んで、その中の0である桁を見つける方法
0である桁は無限個ある
0でない桁は有限個ある
0である桁を見つけるほうがたやすい
むしろ0でない桁を見つけるほうが難しい
1021:１３２人目の素数さん
20/01/17 19:52:34.69 /nydTAbF.net
>>937
>「ああ、時枝氏は、箱の中身が確率変数だとしても
> ”正当化”できると考えてるみたいだな」
とわかる
たしかに数当てができると考えているように読めるね
けれどその結論について、時枝氏は正しいとも間違ってるとも言ってない
測度論に従えば認められないが、測度論以外の可能性を示唆するような含みを持たせている
これのどこがトンデモなの？って俺は思うけど
1022:１３２人目の素数さん
20/01/17 20:01:25.31 /nydTAbF.net
>>942の続き
>>463
>コレは正しいですね。
>しかしこの事実をもってしても時枝記事は正当化されてはいないという結考えに変わりはありません。
そういうわけで、>>463のような偏ったコメントを読むと「個人的に時枝氏に恨みでもあるの？」って思っちゃうねw
ちゃんと非可測であることを明記してるんだから、
「非可測だから時枝記事は正当化できない」ってしたり顔で主張されても困る
1023:１３２人目の素数さん
20/01/17 20:13:34.98 U+rsHn5n.net
ジムくん
>コレは正しいですね。
Pruss
>That's right.
間違いを認める時のセリフが同じで草
1024:１３２人目の素数さん
20/01/17 20:19:37.33 U+rsHn5n.net
>>881
突然イデアルとか言い出すのが
1025:いかにも「ボクちゃん数学用語知ってるよ」アピール臭ぷんぷんｗ しかし環を持ち出す必然性ゼロｗ アホ丸出しｗ
1026:１３２人目の素数さん
20/01/17 20:35:55 U+rsHn5n.net
>>884
揚げ足取り乙
現代数学でZFは暗黙の前提だろ。教科書にだっていちいち「ZFを仮定する」なんて書いてないぞ？
確率の公理？ 時枝解法の確率は初等確率。的外れ。
数学で勝てないからって揚げ足取りとは情けないｗ
1027:１３２人目の素数さん
20/01/17 20:44:16 U+rsHn5n.net
>>885
>１．「多項式環は冪級数環の中で部分環ではあってもイデアルじゃない」というフレーズは、おれには浮かばない
浮かばないんじゃなくイデアルが何か知らないと正直に言え
バカのくせにかっこつけんなよ みっともないから
1028:１３２人目の素数さん
20/01/17 21:10:45 U+rsHn5n.net
>>887
時枝記事が全く読めてないね
君の学力じゃ無理だから諦めな っぷ
1029:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 21:49:34.82 ahk+jOr6.net
>>942
ID:/nydTAbFさん、どうも。スレ主です。
＞けれどその結論について、時枝氏は正しいとも間違ってるとも言ってない
＞測度論に従えば認められないが、測度論以外の可能性を示唆するような含みを持たせている
＞これのどこがトンデモなの？って俺は思うけど
「数学セミナーでさ、そういう訳の分からん記事書いちゃいなんよね、時枝先生」というのが私の意見
YesかNoか、あるいは問いかけから、「非可測の確率論が考えられる」とか
時枝先生、あなたの主張はなんですか？ 何を言いたかったの？
「非可測の確率論」って、一体全体どこにある？
例えば、下記のように ド素人が迷走した
（参考）ガロアスレ28
ｽﾚﾘﾝｸ(math板:20番)
20 名前：１３２人目の素数さん[sage] 投稿日：2017/01/02(月) 23:08:24.51 ID:0caOih5s [11/13]
さきに>>19の最後の文にコメントします。
> それとも、非可測集合を扱うこと自体、通常の確率論ではないということでしょうか？
・非可測集合ではouter measureで議論する必要がある
・通常の確率的直感は役に立たない
というTaoのコメントを読んだことがあります。
私は外測度の確率論なるものには馴染みがなく、
この意味で通常の確率論ではないのかな？という印象です。
(引用終り)
これ、笑えます
これ（「外測度の確率論」）、真っ当な数学だというなら、
大学の教授に見て貰って、論文にしてくださいなｗ（＾＾
（出来ないに100ペソ （：ｐ ）
>>943
>「非可測だから時枝記事は正当化できない」ってしたり顔で主張されても困る
非可測だから時枝記事は正当化できるのか、はたまた出来ないのか？
「しっかり書かないといけないでしょ、時枝先生」というのが私の主張
そして、実際 正統化はできません
>>841に書いたように、現代数学の確率変数iidが反例です
反例のある定理は不成立です
QED
（＾＾
1030:１３２人目の素数さん
20/01/17 22:04:23.18 U+rsHn5n.net
>>949
反例になってません。
時枝定理の反例とは時枝解法を適用しても当てられない数列。
おまえ時枝解法以前に同値類も選択公理も分かってないんだからおまえに示せる訳ないじゃんｗ バカですか？ｗ
1031:１３２人目の素数さん
20/01/17 22:05:34.45 U+rsHn5n.net
>>494
>現代数学の確率変数iid
ばかまるだしｗ
1032:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 22:06:38.29 ahk+jOr6.net
あほサル二匹の相手は、もう良いでしょう
適当にあしらいますよ
1033:１３２人目の素数さん
20/01/17 23:02:07 U+rsHn5n.net
適当にあしらうしかできないですよね？
あなたの学力では
っぷ
1034:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 00:23:41.09 jvo9z/Ks.net
>>936
>「ああ、こいつ、ヴィタリの非可測集合知らねぇ素人だな」
>と確信した
おサルは、健忘症だなｗ
おれは、ヴィタリの非可測は、何度も書いているよ
その1つの例が、下記 スレ62の949 2019/03/28(木)、これを忘れたんだろ？
あと、時枝（2015年11月号）の前、つまりおサルの来る前にも、スレ13 2015/04/29(水)でも扱っているぞｗ（＾＾
（参考）
現代数学の系譜 工学物理雑談 古典ガロア理論も読む62
ｽﾚﾘﾝｸ(math板:949番)
949 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
1035:[sage] 投稿日：2019/03/28(木) 07:31:55.79 ID:7L3ElMut [1/7] https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%82%BF%E3%83%AA%E9%9B%86%E5%90%88 ヴィタリ集合 (抜粋) 数学において、ヴィタリ集合（ヴィタリしゅうごう）とはジュゼッペ・ヴィタリ（英語版）(Giuseppe Vitali (1905))によって作られたルベーグ不可測な実数集合の基本的な例である。 ヴィタリの定理はそのような集合が存在することを保証する存在定理である。不可算に多くのヴィタリ集合が存在し、それらの存在は選択公理の仮定の下で示される。 ルベーグ測度は平行移動について不変なので λ (V_{k})=λ (V) である。ゆえに、 1 <= Σk=0～∞{λ (V)} <= 3 であるが、これは不可能である。 一つの定数の無限和は 0 であるか無限大に発散するので、いずれにせよ [1, 3] の中には入らない。 すなわち V は可測であってはいけない。 つまりルベーグ測度 λ はいかなる値も λ(V) の値として定義してはいけない。 つづく
1036:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 00:24:03.73 jvo9z/Ks.net
>>954
つづき
現代数学の系譜11 ガロア理論を読む13 [転載禁止](c)2ch.net
ｽﾚﾘﾝｸ(math板:227番)
227 自分返信：現代数学の系譜11 ガロア理論を読む[] 投稿日：2015/04/29(水) 14:32:23.84 ID:6XYDeD+q [14/25]
３）Non-measurable set
URLﾘﾝｸ(en.wikipedia.org)
ｽﾚﾘﾝｸ(math板:231番)
231 自分返信：現代数学の系譜11 ガロア理論を読む[] 投稿日：2015/04/29(水) 14:52:06.33 ID:6XYDeD+q [18/25]
>>230
en.wikipedia.org/wiki/Vitali_set 日本語があるね
URLﾘﾝｸ(ja.wikipedia.org)
抜粋
構成と証明
有理数集合 Q は実数集合 R の普通の加法についての部分群を成す。なので加法の商群 R/Q (つまり、有理数分の差を持つ実数同士を集めた同値類による剰余群) は有理数集合の互いに交わらない"平行移動コピー"によって出来ている。
この群の任意の元はある r ∈ R についての Q + r として書ける。
R/Q の元は R の分割の1ピースである。そのピースは不可算個あり、各ピースはそれぞれ R の中で稠密である。
R/Q の元はどれも [0, 1] と交わっており、選択公理によって [0, 1] の部分集合で、R/Q の代表系になっているものが取れる。
このようにして作られた集合がヴィタリ集合と呼ばれているものである。
（引用おわり）
以上
1037:１３２人目の素数さん
20/01/18 00:31:01.76 yBPfQQsI.net
>>954
>おサルは、健忘症だなｗ
>おれは、ヴィタリの非可測は、何度も書いているよ
>その1つの例が、下記 スレ62の949 2019/03/28(木)、これを忘れたんだろ？
あららｗ
このバカ自分で自演してるって言っちゃったよｗ
せめて自演くらい上手にやろうね っぷ
1038:１３２人目の素数さん
20/01/18 06:04:45 BpWVyRSZ.net
>>954
「ヴィタリの非可測集合知らねぇ素人」ってジムのことだよね
引用だけならサルでもできるので、理解したことにはならないよ
例えば、>>955の有理数Qを２進有限小数∪2^nに置き換えていいのは分かるかな？
1039:１３２人目の素数さん
20/01/18 06:32:45 BpWVyRSZ.net
>>949
＞現代数学の確率変数iidが反例
反例にはなっていないね
数セミ記事の戦略は、箱の中身が確率変数だとしても
箱の中身を一切変えないのだから、確率分布に影響を与えない
ついでにいうと、もし
P(d(x1)＞d(x2),d(x3),…,d(x100))
P(d(x2)＞d(x1),d(x3),…,d(x100))
…
P(d(x100)＞d(x1),d(x2),…,d(x99))
が全部１だとすると、矛盾する
というのは、事象
d(x1)＞d(x2),d(x3),…,d(x100)
d(x2)＞d(x1),d(x3),…,d(x100)
…
d(x100)＞d(x1),d(x2),…,d(x99)
は互いに背反事象だから