1 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/01(火) 11:16:08.19 ID:5JqLTK2h.net] このスレは、皆さまのご尽力で、伝統あるガロアすれは、 過去、数学板での勢いランキングで、常に上位です。 このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。 それで宜しければ、どうぞ。 後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜（＾＾ 最近、AIと数学の関係が気になって、その関係の記事を集めています〜（＾＾ いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。 スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。 話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。 スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。 興味のある方は、過去ログを（＾＾ なお、 小学レベルとバカプロ固定 サイコパスのピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」） （参考）blog.goo.ne.jp/g 175 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 09:48:38.54 ID:t9qnM386.net] スレ主は 一見、向学心がある風を装った アカデミズムや権威が大好きだが 基本的に自分の考えを変える気はない そういうタイプのバカ 176 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 09:49:47.36 ID:MI5EF/Qj.net] スレ主は頑固というより、 「自分の誤りを決して認めたがらない」 という過剰な自己愛の持ち主であるようだ 誤りは決して恥ずべきことではないが 誤りを認められないことは恥ずかしいだけでなく 自分にとって損になるばかりで決して得でない このことを理解したほうがいいだろう そうでない限りスレ主の人生は不幸なだけである 177 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 09:53:48.93 ID:MI5EF/Qj.net] >>161 ＞スレ主は基本的に自分の考えを変える気はない この性格によって、自分の誤りを受け入れられず 自分を不幸にしていることに、スレ主は気づくべきだろう 178 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 09:58:46.97 ID:t9qnM386.net] ゴミ屋敷の主みたいな性格だと思う 自分の身になっていない無意味なコピペを張りまくる これは蒐集活動に相当 付け加える、集めることは大好き だが、自分の考えを捨てることはできない 179 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 10:03:38.65 ID:MI5EF/Qj.net] >>163 ＞自分の考えを捨てることはできない 間違った考えを捨てられないのは 自分にとって最大の不幸なんだがな 自分が理解できない文章を いくらコピペしたって意味がない そんなピエロみたいな真似しても 幸せになれないことに気づくべき 180 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 10:36:10.59 ID:MI5EF/Qj.net] 数学の素養が全くないスレ主が ガロア理論（というより群論の初歩）を 理解できなくても驚かないが 時枝記事を読んで内容が理解できない というのは衝撃だ しかもその理由が 「自然数の定義を知らなかったから」 となるともう何もいう言葉がない 181 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 10:47:17.21 ID:MI5EF/Qj.net] たとえペアノの公理を知らなかったとしても 以下の文章を読んで、列が有限長の場合は 戦略の3．が実現できない場合があるから 排除される、ということは理解できるはず わざわざそこに注目して 「だから無限列でも時枝戦略は実現できない」 とか絶叫するのは正常な知性を持つ人間ならあり得ない ーーー 【戦略】 1.閉じた箱を100列 s~1,s~2,･･･,s~100に並べる。 1〜100のいずれかkをランダムに 182 名前：選ぶ。 （100本の実数列 s~1,s~2,･･･,s~100 　はおのおの決定番号を持つ。） 2.第1列〜第k-1列、第k+1列〜第100列の箱を全部開ける。 　第k列の箱はまだ閉じたままにしておく。 　開けた箱に入った実数を見て、代表の袋をさぐり 　s~1からs~k-1、s~k+1からs~100の決定番号のうちの 　最大値Dを書き下す。 3.第k列のD+1 番目から先の箱だけを開ける。 s~k_D+1,s~k_D+2,s~k_D+3,･･･ 　を見て代表r=r(s~k)が取り出せる。 【定理】 　列rのD番目の実数r_Dを見て、 　「第k列のD番目の箱に入った実数s~k_Dはr_D」 　と賭ければ、めでたく確率99/100で勝てる。 【証明】 　 　選ばれた列s~kの決定番号d(s~k)が 　他の列の決定番号どれよりも大きい、 　（すなわち 　D<d(s~k) 　となる）確率は1/100に過ぎない。 　 　（したがって、s~k_D=r_Dを満たす条件） 　D>=d(s~k) 　が正しい確率は99/100。 [] [ここ壊れてます] 183 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 12:41:41.86 ID:t9qnM386.net] 無限という設定が現実と比較して理解しにくい、それが工学バカのネックになっているということはあるでしょう。 無限個の箱を開ける、無限個先まで見通して同値類を決定するというのは現実と比較して考えにくい。 （実はここにも面白さはあるのだが。） Sergiu Hart氏の選択公理不要のTheorem 2 の設定なら、まだ理解しやすい。 コンピュータでシミュレーションできそうだから、シミュレーション結果を見れば工学バカでも納得せざるを得ないのでは。 我々が現実にそうするように、循環小数（らしきもの）を見たとき、厳密には無限個先まで見ないと循環小数か、また循環節も分からないのだけど、そこは有限個だけ見て「蓋然性」で判断している。 代表元は純循環小数を取ることにする。 出題者はかなり長い循環節を持つ循環小数を設定して、各桁の数字を箱に入れる。 解答するコンピュータは概ね時枝解法の通りとするのだが、パターンを検出して循環節を推測するものとする。 これなら有限の範囲で可能。そして代表元の純循環小数と比較。 あとは時枝解法の通りとして、残した箱の中の数を当てる実験をして、確率を記録する。 184 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 13:02:27.35 ID:MI5EF/Qj.net] >>168 ＞無限という設定が現実と比較して理解しにくい、 ＞それがネックになっているということはあるでしょう。 少なくとも有限モデルを考えたがるのは無限を避けてる証拠でしょうね Sergiu Hart氏の選択公理不要のTheorem 2 の設定は 元の時枝記事よりも分かり易いかもしれないが、 そこまでいくならいっそある桁から先が０の小数を使ったほうがいい 同値類とか代表元とかいう議論すらオミットできるから （同値類は１つしかなく、代表元は全ての桁が０の小数） ずばり無限に連続する０が始まる先頭の位置が決定番号 そして、０が入ってる位置を当てるものとする １００個の小数のうち、９９個開けて、その中の決定番号の最大値をDとする 空けてない1個の決定番号ｄがDより大きくなければ、０だと当てられる （ここで重要なのは、もはや空けてない１個の小数の 　D+1桁以降を開ける必要もない、ということ） その確率は？普通に考えたら99/100以上だろう （ｄ＝Dの場合も当たりだから） 185 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 14:04:37.79 ID:t9qnM386.net] >>169 任意の設定でも、同じ類に属する数列の差数列を取ればその設定になりますね。 つまり本質は変わらないと。 そして、ぶっちゃけ十分大きい番号の箱さえ選べば0が入ってるわけですが 当てずっぽうではなく、一定の確率のもとで箱の番号が決められるというのが、時枝解法の力ですね。 186 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 14:55:13.41 ID:25WVA9zx.net] >>156 おっちゃん、どうも、スレ主です。 明けまして、おめでとう ご健在なによりです >それ� 187 名前：謔閨A時枝反省会でもした方がいいだろう。 > 3年かけて議論した時枝記事には、結局何の意義があるんだ？ おっちゃん、時枝記事を読んでないと言っていたろう？ もし、おれなら、時枝記事を読んでコメントするか、あるいは読んでないならコメントしないか 二択しかしないけどね 時枝記事を読んでもないのに、外れたコメントをすると、まあ、あれだわ（＾＾； [] [ここ壊れてます] 188 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 15:28:26.82 ID:MI5EF/Qj.net] >>171 スレ主　とうとうコテハンやめたな なら、スレ主だって名乗るのもやめればいいのに おっちゃんでなくても、スレ主は時枝問題について 反省したほうがいいって思ってるよ 別にこのスレで反省の弁なんか 書かなくてもいいけどね 黙ってさえくれればああ懲りたんだなと思うだけ 189 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 15:58:47.25 ID:e+af9Aa8.net] >>171 私が聞きたいのは、3年もかけて議論した時枝記事の数学的な意義の方。 時枝記事には一体何の数学的意義があるのかということ。 時枝記事の問題を発展させても、特に何にも面白そうなことはなさそうなんだがな。 190 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 16:01:39.75 ID:MI5EF/Qj.net] >>173 ＞時枝記事の数学的な意義 「数学的な意義」が実用性の意味なら実用性は全くないなｗ 集合論的には面白い現象だが、集合論に興味ない人にはどうでもいいんだろう 191 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 16:07:02.95 ID:e+af9Aa8.net] >>174 非可測集合が起こす面白い現象か。 確率論的な面白さは、やはり何もなさそうか。 192 名前：１３２人目の素数さん [2019/01/04(金) 16:09:57.77 ID:9HUHXDE2.net] あれ？スレ主さん今日は有限モデルでも成立って強弁しないの？ 昨日まで聞く耳も無ないマシーンのように強弁してたのに。 間違いと認めたってこと？ で、>>110 への回答は？ きちんと回答して下さいね。ガキじゃないんだから。 193 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 16:13:15.20 ID:MI5EF/Qj.net] >>175 99/100の計算は別に面白くない 非可算性は面白いといえば面白いのか ま、3年前の正月にスレ主が絶叫していた 事後確率による計算とやらは、 非可測性により不可能である wc2014.5ch.net/test/read.cgi/math/1448673805/ しかしながら、そのことは時枝記事の結論を否定するものではない 194 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 16:18:15.53 ID:MI5EF/Qj.net] >>176 あああ、あげちゃったｗ 今スレ主は後悔のどん底にいるんだから刺激するなよｗ 「無限モデルで時枝戦略が実行できない決定番号はいくつ？」 って質問から逃げ回ってた時点で 「ああ、こいつそうとうこたえてるな」 ってわかったよ 自己愛性人格障害のスレ主に謝罪なんか不可能だから求めないよ ただ、このスレ、いや、この数学板に書き込むことは永遠にやめてくれ 読解力、思考力ゼロのスレ主には数学なんて到底無理だから 195 名前：１３２人目の素数さん [2019/01/04(金) 16:33:33.83 ID:9HUHXDE2.net] いや、彼は堪えないよ、蛙の面に小便 答えられない質問を無視するのは彼の常とう手段 そして性懲りもなく、端から見れば愚にもつかない独善主張を繰り広げるといういつものパターン まあ彼の才能を一言で言うなら「無自覚力」だな 自分のバカを自覚しない能力、これはある意味最強ｗ 周りがどれほど間違いを指摘しても何のダメージも与えられないからねｗ 196 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 16:42:03.20 ID:MI5EF/Qj.net] >>179 ＞答えられない質問を無視するのは彼の常とう手段 それはその通りだが、答えたいのに答えられない時点で そうとう心理的にキツイと思うよ ＞そして性懲りもなく、端から見れば ＞愚にもつかない独善主張を繰り広げる 自我が弱いから、違う話題に逃げるんだよね 自己愛性人格障害って、結局自我が弱いから 過剰なほど自己防衛するんだよね 書かなきゃ何も言われないのにね 197 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 17:23:27.56 ID:e+af9Aa8.net] それじゃ、おっちゃんもう寝る。 198 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 17:41:49.68 ID:25WVA9zx.net] >>181 おっちゃん、どうも、スレ主です。 おっちゃんは、やはり問題意識というか、見識が高いね かつて、￥さんが似たようなことを言っていたね さすが� 199 名前：ﾅすね（＾＾ [] [ここ壊れてます] 200 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 17:42:35.95 ID:25WVA9zx.net] >>180 ピエロちゃん、そんなに怯えなくも、良いんじゃない？（＾＾ 201 名前：１３２人目の素数さん [2019/01/04(金) 17:44:29.84 ID:9HUHXDE2.net] スレ主さん、無駄口はそのくらいにして>>110に答えてもらえませんか？ また逃げますか？ 202 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/04(金) 17:45:32.76 ID:25WVA9zx.net] ああ、コテハンとトリップ抜けたね すまんね（＾＾； 203 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 18:01:54.31 ID:MI5EF/Qj.net] >>182　やっぱりおっちゃんにすがったね　おっちゃんだけが友達かｗ >>183　もう虚勢張らなくていいよ　わかってるからｗ 204 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 18:04:57.18 ID:MI5EF/Qj.net] >>184 >>110じゃ甘いよ 「無限モデルで時枝戦略が実行できない決定番号はいくつ？」 これが究極の質問 だって、スレ主の主張はつまるところ 「時枝戦略が実行できない決定番号がある」 の一点につきるんだから 無限モデルでそのような決定番号が存在しないなら もうスレ主に反論の余地はないよ 205 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 18:06:28.69 ID:MI5EF/Qj.net] >>185 もうコテハンやめたら　 スレ主です、って名乗るのもやめていいよ だれもシロウトの貴方に興味ないし 206 名前：１３２人目の素数さん [2019/01/04(金) 18:12:54.57 ID:9HUHXDE2.net] さあスレ主さん、今度こそ誠実に答えるか、また卑怯に逃亡するのか、選ぶのはあなたです。 207 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 18:16:14.10 ID:MI5EF/Qj.net] >>189 ＞誠実に答えるか もういいよ これ以上「決定番号∞」とか強弁されても不快なだけだし ＞卑怯に逃亡するのか 永遠に書き込まないでくれるんなら逃亡ケッコウだよ ま、しかし、ネット依存症みたいだからそれは無理かな ネットなんかやめたほうが彼にとっては幸せなんだがね ネットに書き込みつづけたってバカ晒すだけで不幸なだけでしょ 208 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 23:25:18.09 ID:WQH4MYgW.net] スレ主はネット依存症みたいだから ほとぼり冷めたらしれっと再開するんだろうなあ ガロア理論では正規部分群を理解してないバカであることが露呈し 時枝では自然数や無限の扱いもまるでわかってないアホであるとバレた 何年経っても数学的なことは何も身についてないし理解もしてないが スレ主として偉そうにしたいw 209 名前：１３２人目の素数さん mailto:sage [2019/01/04(金) 23:28:52.52 ID:4WricKPK.net] スレ主へ 職業煽り人としての仕事は理解するが、お前なら数学板以外でも活躍の場は沢山あるだろ？w 小銭稼ぎたきゃ金持ちの俺が寄付してやるからpaypalアカウントでも晒してくれよw あと、困ると会話をぶった斬って大量のコピペを投下するけどあれは本当に悪質だからやめてくれ頼む 210 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/05(土) 00:04:44.42 ID:kRxB+B+U.net] >>188 ピエロ語録 ”博士号くらいとらないと数学の世界では人間とは認められません”だったよね で、下記引用のID:dAnabccJ と、ID:MI5EF/Qjとって、これピエロじゃん 「数学界では認められない」「理解できない戯言を受け入れるほど 数学界は寛容ではない」 って、あんた博士号もないのに、数学界を代表してんだね、えらいね〜（＾＾ 「Mはともかく、取り巻き連中は もうIUTTから離れたほうがいいだろ」 って、あんた博士号もないのに、数学界を代表して指図してんだね〜、えらいね〜（＾＾ いいねー、匿名掲示板って、博士号もないのに、数学界を代表できるんだ （大言壮語もいいとこだろ・・）（＾＾ サイコパスって、幸せな性格してるね (引用開始) ガロアスレ56 https://rio2016.5ch.net/test/read.cgi/math/1544924705/641 641 名前：１３２人目の素数さん[] 投稿日：2018/12/29(土) 21:04:01.92 ID:dAnabccJ [22/23] Inter-universal geometry と ABC予想 36 https://rio2016.5ch.net/test/read.cgi/math/1546010649/19 19 名前：１３２人目の素数さん[] 投稿日：2018/12/29(土) 09:18:07.89 ID:dAnabccJ >>9 ショルツの指摘に反駁するのはＭの仕事だろ できなきゃ数学界では認められない　当り前のこと (引用終り) ガロアスレ57 >>190 名前：１３２人目の素数さん[sage] 投稿日：2019/01/04(金) 18:16:14.10 ID:MI5EF/Qj [19/19] Inter-universal geometry と ABC予想 36 https://rio2016.5ch.net/test/read.cgi/math/1546010649/143 143 名前：１３２人目の素数さん[sage] 投稿日：2019/01/04(金) 06:51:34.49 ID:MI5EF/Qj [1/2] Ｍが今のような態度を続ける限り 数学界がＩＵＴを認めないのは確かだな 理解できない戯言を受け入れるほど 数学界は寛容ではない 148 名前：１３２人目の素数さん[] 投稿日：2019/01/04(金) 10:50:48.31 ID:MI5EF/Qj [2/2] いいだしっぺのMはともかく、取り巻き連中は もうIUTTから離れたほうがいいだろ (引用終り) 211 名前：１３２人目の素数さん [2019/01/05(土) 00:18:48.73 ID:TTJXwFI3.net] >>193 無駄口を叩く暇があるのに問いに答える暇が無かったとは言わせない。 これでスレ主の逃亡ははっきりしました。 スレ主は都合の悪い問いから逃げ回る卑怯者です。 212 名前：１３２人目の素数さん mailto:sage [2019/01/05(土) 00:34:44.19 ID:1EDufZvk.net] 卑怯者！と言ったところでね、いまさらなにをかいわんやですよ。 プロの詐欺師に面と向かって「あなたは詐欺師です！」って言うのと同じですよ。 余計なことは言わんがよろしい。 プロレスの楽しみ方、あなた知ってるでしょ？あれと一緒ですよ 213 名前：１３２人目の素数さん mailto:sage [2019/01/05(土) 01:53:05.52 ID:1EDufZvk.net] >>193の学歴dis、良いだろ？w プロレスでいうマイクパフォーマンス、あれと同じな もはや時枝の無限列なんて何の関係もない ただお客さんを喜ばせたい、その一心でB卒がM卒をD卒でないとディスるわけだ 214 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/05(土) 06:52:43.84 ID:kRxB+B+U.net] >>195-196 >余計なことは言わんがよろしい。 同意 落ちこぼれピエロは、余計なことは言わんがよろしい 黙って見てろ 落ちこぼれ（＾＾ 215 名前：１３２人目の素数さん mailto:sage [2019/01/05(土) 06:55:27.03 ID:++mF+Rlt.net] >>193 スレ主、やっぱり逃げたねぇ 「無限モデルで時枝戦略が実行できない決定番号はいくつ？」 存在しないけど、それ認めたら負けだから、回答しないんだね ま、スレ主が認めなくても、もう負けてるんだけどね >>194 しょうがないよ、スレ主はネット依存症だから 質問には答えられなくても、なにか書かずにはいられない その結果が、あの発言ですよ >>195-196 なるほどプロレスですか イメージとしてはこんな感じですかね（違 https://www.nicovideo.jp/watch/sm26791904 「スレ主さん、今日であなたの時代は終わりです。お疲れ様でした」 216 名前：１３２人目の素数さん [2019/01/05(土) 06:58:06.06 ID:++mF+Rlt.net] >>197 ＞落ちこぼれピエロは、余計なことは言わんがよろしい だろ？だからスレ主、あんた黙りなよ。永遠に 「無限モデルで時枝戦略が実行できない決定番号はいくつ？」 答えられないんなら、黙って立ち去れ 落ちこぼれのスレ主さんよ 217 名前：１３２人目の素数さん mailto:sage [2019/01/05(土) 08:29:34.53 ID:++mF+Rlt.net] >>193 ＞あんた博士号もないのに 貴様もないじゃん、スレ主よ で、博士号を持つ人が 「無限モデルで時枝戦略が実行できない決定番号はズバリ＊＊だ！」 と答えてくれたか？ そんなわけないだろ。ペアノの公理に思いっきり矛盾すること 博士号をもってる人がいうわけないもんな だからいってるだろう　スレ主、おまえは惨敗したんだって もうここに書き込むなよ　永遠にな！！！ 218 名前：１３２人目の素数さん [2019/01/05(土) 13:48:01.48 ID:TTJXwFI3.net] 今後スレ主が何を書き込んでも以下のスレ主ホイホイをコピペすればいい （スレ主は決定番号は自然数であることを認めたんだから言い逃れのし様が無い） 【スレ主ホイホイ】 「無限モデルで時枝戦略が実行できない決定番号はズバリ何か？」 219 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/05(土) 15:38:41.15 ID:kRxB+B+U.net] では、Sergiu Hart氏のPDFに記載のRemark定理（>>120）の説明と略証を示します （賢い小学生なら、すぐ思いつきそうなことですが（＾＾； ） 　Sergiu Hart氏のPDF www.ma.huji.ac.il/hart/puzzle/choice.pdf 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.” つまり、意訳 220 名前：すると “リマーク：箱の数が「有限」の場合、プレーヤー1は勝利を保証することができます。 game1の勝利確率1と、game2の勝利確率9/10になる、 [0、1]と{0、1、・・・、9}上で＊）、xiを独立で一様に選択することによって ” と 言い換えると、プレーヤー２の立場では、game1の勝利確率0とgame2の勝利確率1/10になる。 注＊）、[0、1]はこの区間の任意の実数を、{0、1、・・・、9}は0〜9までの整数を、箱に入れるということ。 (引用終り) つづく [] [ここ壊れてます] 221 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/05(土) 15:40:25.38 ID:kRxB+B+U.net] >>202 つづき ＜説明と略証＞ まず、確認ですが 箱が有限個mのモデルで、箱に入れる数を有限(例えば、{0、1、・・・、9})にすると、標本空間Ωは有限になります。 すると、確率計算は、全て、場合の数の数え上げの計算になります。 これは、有限モデルの大きなメリットです。 私は、バカなので、具体例から 簡単に、数列の箱の数m＝３として、コイントス {1,2}で考えると (注：以前、コイントス{0,1}としましたが、表現の簡素化のため{1,2}としました。こうすると、q個の数で{1,2,・・・,q}と表現でき、一つの箱の確率は1/qとなります) 数列を列記すると 111 121 211 221 と 112 122 212 222 と、同値類は２つ（最後の箱が1か2）。全体で2^3=8通りの数列が出来て、 一つの同値類内は４通り つづく 222 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/05(土) 15:41:53.43 ID:kRxB+B+U.net] >>203 つづき これで分ることは、 ・（命題１）箱が有限個mのモデル（>>129ご参照）では、同値類は最後の箱の一致で決定される ・（命題２）同値類で、数列と代表との組み合わせを考えると、q^(2m-1)通りになる など(詳しくは後述) ということです つづく 223 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/05(土) 15:43:15.07 ID:kRxB+B+U.net] >>204 つづき 決定番号の考察として、数列と代表の比較を掘り下げます。 繰り返しますが、１つの数列 x1,x2,x3 で、場合の数は 2^3 =8通り。同値類は2つ（最後の箱が1か2か）。各同値類内は、4通り。 二つの数列 x1,x2,x3 と x'1,x'2,x'3。それぞれ、2^3=8 で、全体としては、2^6=64ですが 数列と代表との組み合わせですと、 同値類は２つ（最後の箱が1か2で、必ず一致）で、一つの同値類内で代表との組み合わせは2^5=32通りです。 一つの同値類内では、 決定番号 d>＝2(＝m-1)となるのは、x'2＝x2の場合で、2^4=16 (∵ 最後の二箱以外は自由で2^(m−2)=2通り。一つの同値類内が2^2=4通りです。よって2^3=8通り) よって、決定番号 d＝3(＝m)となるのは、上記以外の x'2≠x2の場合（背反事象）で、2^5−2^3＝24通り つづく 224 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/05(土) 15:44:02.47 ID:kRxB+B+U.net] >>205 つづき さて、３つの数{1,2,3}を入れることにします。 （ コイントスの確率は1/2は、「２列で確率１/2」などと言った場合で、紛らわしいので） （注：頭が悪いので、さらに具体例。頭の良い人は飛ばして下さい） １つの数列 x1,x2,x3 で、場合の数は 3^3 =27通り。同値類は３つ（最後の箱が1か2か3）。各同値類内は、9通り。 数列と代表との組み合わせを考えます 二つの数列 x1,x2,x3 と x'1,x'2,x'3。それぞれ、3^3=27 で、全体としては、3^6=729です 一つの同値類内では、代表は最後の箱が一致しますので、数列と代表との組み合わせの場合の数 3^5=243通りです。 一つの同値類内で、 決定番号 d>＝2となるのは、x'2=x2の場合で、3^4=81 (∵ 最後の二箱以外は自由で3^(m-1)=3通り。一つの同値類全体が3^2=9通りです。よって3^3=27通り) 決定番号 d＝3(＝m)となるのは、x'2≠x2の場合で、3^5−3^3＝216通り 繰り返しますが、このようにして、場合の数を数え上げれば、確率計算が必ずできます。これ、有限モデルの利点です。 つづく 225 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/05(土) 15:47:26.49 ID:kRxB+B+U.net] >>206 つづき さて、q個の数で{1,2,・・・,q}を考えます。一つの箱の確率は1/qとなります ここで、時枝記事の解法を適用しようとすると、数列と代表の組み合わせが２組必要です 二つの“数列と代表の組”で m=3で １列目 数列：x^11,x^12,x^13 代表：x^1'1,x^1'2,x^13 及び ２列目 数列：x^21,x^22,x^23 代表：x^2'1,x^2'2,x^23 とします (x^1'3＝x^13なので、x^13に統一して簡明な表記にした。２列目も同様) ここで、時枝記事の解法を使って、 ２列目で、二つ目の箱、x^22＝x^2'2となって、同値類から代表のx^2'2を使って、的中できる場合を考えます。 このためには、１列目の決定番号が２でなければなりません。 この場合の確率をP1とします。 この場合において、１列目の決定番号が２ですから、２列目の３番目の箱を開けます。 ２列目の決定番号は、３以下です。 そして、代表を見ます。この場合二つ目の箱、x^22＝x^2'2となる確率（＝的中できる確率）は、1/qです。 全体としては、条件付き確率計算で 時枝記事の解法を使える場合、（1/q）P1 時枝記事の解法を使えない場合、（1/q）(１−P1) （この場合は、通常の確率計算1/qで、条件の確率から(１−P1)が来ます） 二つを加えると、1/qが得られました。（普通の確率論通り） つづく 226 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/05(土) 15:50:20.98 ID:kRxB+B+U.net] >>207 つづき さて、一般のm個長さの数列を考えます。 １列目 数列：x^11,x^12,x^13,・・・,x^1k,・・・,x^1m 代表：x^1'1,x^1'2,x^1'3,・・・,x^1'k,・・・,x^1m 及び ２列目 数列：x^21,x^22,x^23,・・・,x^2k,・・・,x^2m 代表：x^2'1,x^2'2,x^2'3,・・・,x^2'k,・・・,x^2m とします（注：x^11などは、^1で上付き添え字を表わします。それの連番と思って下さい。,） ここで、時枝記事の解法を使える場合として、 例えば、２列目で、k番目の箱（1 <= k < m）で、x^2k＝x^2'kとなって、同値類から代表のx^2'kを使って、x^2kが的中できる場合を考えます。 このためには、１列目の決定番号がkでなければなりません。 かつ、２列目の決定番号がk＋１以下で無ければなりません。 この場合の確率をP1kとします。 この場合において、１列目の決定番号がkですから、２列目のk+1番目の箱を開けます。 ２列目の決定番号は、ｋ＋１以下です。 そして、代表を見ます。この場合ｋ番目の箱、x^2k＝x^2'kとなる確率（＝的中できる確率）は、1/qです。 全体としては、条件付き確率計算で 時枝記事の解法を使える場合、（1/q）P1k 時枝記事の解法を使えない場合、（1/q）(１−P1k) 二つを加えると、1/qが得られました。（普通の確率論通り） つづく 227 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/05(土) 15:52:33.05 ID:kRxB+B+U.net] >>208 つづき このようにして、一般の有限m個の箱の数列で、{1,2,・・・,q}とq個の数を入る場合 任意のk番目の箱（1 <= k < m）で、的中確率が、1/qが得られました。 これは、Sergiu Hart氏のPDFに記載のRemark定理の場合の{0, 1, ・・・, 9}の一般化になっています。 （何度も繰返すが、この有限モデルの場合は、標本空間Ωは有限で、全ての事象Fも有限になるので、必ず場合の数として確率計算ができることを強調しておきます） さて、Sergiu Hart氏のPDFに記載のRemark定理の「区間[0、1]の任意の実数を入れる場合の的中確率0」については、取りあえずは、上記でq→∞、 1/q→0と極限で理解して貰えれば、良いかなと思います。 なお、正確には、ルベーグ測度論で１点集合の測度が０（ゼロ）であることから、従います。（必要なら後で説明します） 取り敢ず、上記でSergiu Hart氏のPDFに記載のRemark定理の説明と略証が終わりました。 以上 追記： 英語圏では、これはおそらく常識レベルかなと思います。 頭の良い小学生なら思いつきそうなことですから。 だから、証明も付けなかったのでしょう。 これ、落語で言えば、“オチ”です。 私は、レベルが低く、３年間この“オチ”で笑えませんでしたが、証明を見つけて、ようやく笑えるレベルになりました。 皆さま、ご指導ありがとうございました。 228 名前：１３２人目の素数さん [2019/01/05(土) 16:26:37.44 ID:TTJXwFI3.net] ＞時枝記事の解法を使えない場合 自分で有限列では時枝解法使えないって書いてるじゃん バカ？ 229 名前：１３２人目の素数さん [2019/01/05(土) 16:36:49.69 ID:++mF+Rlt.net] >>202-209 スレ主、長々と「無意味」な書き込みご苦労 そもそも無限列では「時枝戦略が実行できない場合」が存在しないので無意味 また無限列の場合、有限列では使える 「決定番号の分布に基づく計算」も不可能 なので無意味 有限列に固執しても、無限列の場合に関する考察になり得ない これこそがオチなのであって、スレ主はまだこのオチがわかってない 230 名前：１３２人目の素数さん [2019/01/05(土) 16:36:52.27 ID:TTJXwFI3.net] そもそも有限列の話をする意味が不明。 有限列について何を示したところで、無限列について何を言う根拠にもならない。ナンセンス。 スレ主の主張は 「決定番号は自然数」かつ「無限列で時枝解法不成立」 なんだから、時枝解法が成り立たない決定番号を具体的な自然数で答える義務がある。 答えられないなら主張が間違いだったことを認めなさい。 ナンセンスなレスでごまかすな！！！ 231 名前：１３２人目の素数さん [2019/01/05(土) 16:47:38.57 ID:++mF+Rlt.net] >>212 スレ主が有限列に固執するのは 決定番号の分布に基づく計算方法しか 思いつかないからでしょう スレ主の主張は 「無限列でも有限列同様、” 232 名前：時枝戦略が実行できない場合”がある」 につきるが、もしそのような場合（決定番号）が存在するなら ペアノの公理と矛盾するから却下される ＞答える義務がある。 義務はないが、答えない場合、 一切書き込みをやめていただきたい と思っている ＞間違いだったことを認めなさい。 間違いを認めなくてもいいが、その場合 一切書き込みをやめていただきたい と思っている つまり、今後も書き込みを行いたいのであれば 質問に対してそのような数は存在せず 自分が間違っていたと認める発言を 行う必要があるだろう 仮にそのような発言を行ったところで 我々読者がスレ主の書き込みを 無条件で認めるとはいえないが （なにしろスレ主の読解力は著しく低いので 数学板での書き込みを許容できるレベルを 下回っていると云わざるを得ないから） [] [ここ壊れてます] 233 名前：１３２人目の素数さん [2019/01/05(土) 16:57:34.85 ID:++mF+Rlt.net] 我々がスレ主に提示する条件 ・時枝記事に関する過去の主張の誤りを認める発言 ・スレ主が現在用いている固定ハンドル名およびトリップの使用の禁止 ・「スレ主」を名乗る行為の禁止 ・大量のコピペ投稿の禁止 ・他人より優位に立とうとする「マウンティング」の禁止 なお、 「現代数学の系譜 工学物理雑談 古典ガロア理論も読む」 スレッドは本スレッドをもって終了すること 234 名前：１３２人目の素数さん [2019/01/05(土) 16:58:46.12 ID:TTJXwFI3.net] ＞このようにして、一般の有限m個の箱の数列で、{1,2,・・・,q}とq個の数を入る場合 ＞任意のk番目の箱（1 <= k < m）で、的中確率が、1/qが得られました。 当てずっぽでも 1/q なのに、なにか有益な結果が得られたかのように書いてて笑える 相変わらずの馬鹿丸出しｗ 235 名前：１３２人目の素数さん [2019/01/05(土) 17:08:24.02 ID:++mF+Rlt.net] >>215 スレ主が何を書いたところで、我々読者から尊敬されることはないだろう 本スレッドにおけるスレ主絶対王政の時代は終わったのだ 236 名前：１３２人目の素数さん mailto:sage [2019/01/05(土) 17:27:08.82 ID:Ok0BQnUW.net] 具体例を書いてさらにバカがはっきりした スレ主は数学向いてない 237 名前：１３２人目の素数さん [2019/01/05(土) 17:57:43.18 ID:++mF+Rlt.net] >>217 スレ主に向いてる板を紹介してやってほしい この板はスレ主には向いてないから 238 名前：１３２人目の素数さん [2019/01/05(土) 19:21:35.28 ID:TTJXwFI3.net] 英語圏至上主義のスレ主へ 英語圏では今これが大論争となっている https://en.wikipedia.org/wiki/Modern_flat_Earth_societies スレ主のようなトンデモがうじゃうじゃいる所、それが英語圏 239 名前：１３２人目の素数さん [2019/01/05(土) 19:50:33.22 ID:++mF+Rlt.net] 無限に関する不思議 ある建物があって、1階は1m、2階は1/2m、3階は1/4m、･･･となっており 階数は無限にあるとする。（つまり建物全体の高さは2m） さて、建物の一番上の天井を引っぺがすと何が見えるだろうか？ 240 名前：１３２人目の素数さん [2019/01/05(土) 20:07:52.95 ID:TTJXwFI3.net] 最上階は存在しないので一番上の天井も無い 無い天井はひっぺ返し様が無い 241 名前：１３２人目の素数さん [2019/01/05(土) 20:11:24.50 ID:++mF+Rlt.net] >>221 最上階は存在しないんですが、2mのところに天井があるんですよｗ じゃ、その下の床は・・・ 242 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/05(土) 20:38:33.33 ID:kRxB+B+U.net] >>31 まあ、先生方も、下記のバナッハ=タルスキーとか、囚人の帽子パズルとか（下記） 数学の”面白話し”は、それが数学として成り立つならば、きちんと論文になったり、講義の資料として採用される だれかが、頼みに行かなくてもね だが、数学として成り立たない話しは、基本は採用されないし、論文にもならないってことだね www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H27-ozawa.pdf 平成27年度(第37回)数学入門公開講座テキスト(京都大学数理解析研究所，平成27年8月3日 バナッハ=タルスキーのパラドックス 小澤登高（おざわなるたか） (抜粋) 最後に選択公理に関する パラドックスをもう1 つ紹介しておく。 寄り道. 地獄に囚人が（可算）無限人いる状況を考える。獄卒の鬼がやってきて言うことには、翌日に 次のようなゲームを行い囚人側が勝てば囚人たち全員を解放する、鬼側が勝てば全員を拷問に掛けると のことである。鬼は先ず囚人全員を広場に集め（地獄は広いので無限の人数が集まれるのだ）、囚人各人 に赤または白の帽子を被せる。囚人たちは自分の帽子の色を知ることはできないが、他の囚人の帽子の 色は全て見ることができる。囚人たちは自分の帽子の色を推測し、全員で一斉にそれが赤か白かを答え る。もし自分の帽子の色を間違えた囚人の数が有限なら、囚人側の勝ちである。もし間違えた囚人の数 が無限なら、鬼側の勝ちである。ただし、囚人たちはゲームの開始前にはいくらでも作戦を相談してよ いが、一端ゲームが始まったら意思の疎通は一切禁止されるものとする。はたして囚人たちがこのゲー ムに必ず勝てる作戦は存在するだろうか？ 他の囚人の帽子の色と自分の帽子の色には何の関係もないのだから、自分の帽子の色を推測するのに 使える情報はゼロである。それにも関わらず、驚くべきことに、囚人側がこのゲームに必ず勝てる作戦 が存在するのである。それを以下に述べる。 略 この赤白帽子ゲームの「パラドックス」は、自分が知らないはずのことを予言できるように見えるた め、バナッハ=タルスキーのパラドックスよりさらに直感に反する。このようなパラドックスをどのよ うにして納得したらよいのだろうか？ (引用終り) つづく 243 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/05(土) 20:39:24.26 ID:kRxB+B+U.net] >>223 つづき （参考関連 無限の囚人と帽子パズル ） https://www.slideshare.net/shinichitokita1/ss-102890012 【数学パズル】 無限の囚人と帽子パズル 〜選択公理を使ったトリック〜 時田信一 Published on Jun 24, 2018 https://en.wikipedia.org/wiki/Hat_puzzle Hat puzzle www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1988-04.pdf 数理解析研究所講究録 第 1988 巻 2016 年 43-54 Some remarks on infinite hat guessing games 嘉田勝 (Masaru Kada) 静間荘司 (Souji Shizuma) 大阪府立大学 (Osaka Prefecture University) souji0426.hatenablog.com/entry/2018/11/05/212511 souji0426さん 第11回「関西すうがく徒のつどい」に参加・発表してきました！ 20181105 (抜粋) 集合論を勉強していたり、帽子パズルを過去に見たことがある人たちからもたくさん質問がもらえました。 ところどころに集合論の中のワード、filterとかideal、連続体仮説、従属選択公理などなどを入れておいたおかげで、そこについての話題も個別に提供できました。 またやはり連続体仮説が登場すると聴講者の反応が良かったのでまた機会があればこの話題に絞りA枠にて「無限帽子パズルと連続体仮説」みたいなプレゼンをするのも楽しそうです。 (引用終り) 以上 244 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/05(土) 20:53:06.35 ID:kRxB+B+U.net] >>206 ミス訂正 決定番号 d>＝2となるのは、x'2=x2の場合で、3^4=81 　↓ 決定番号 d>＝2となるのは、x'2=x2の場合で、3^3=27 直したつもりだったが、訂正抜けた（＾＾； まあ、すぐ後の行の 「よって3^3=27通り」が正しいです 245 名前：１３２人目の素数さん [2019/01/05(土) 20:53:58.46 ID:++mF+Rlt.net] スレ主は弱虫だねぇ 自分の誤りを直視できないんだから 逃げてばかりの人生じゃ成功できないよ 246 名前：１３２人目の素数さん [2019/01/05(土) 20:56:10.36 ID:++mF+Rlt.net] 【スレ主ホイホイ】 「無限モデルで時枝戦略が実行できない決定番号はズバリ何か？」 いまだに回答しないのは、「存在しないから」ですね 負けを 247 名前：認められないチキンなスレ主　ちっちぇ〜 [] [ここ壊れてます] 248 名前：１３２人目の素数さん [2019/01/05(土) 21:04:11.66 ID:++mF+Rlt.net] 無限個の箱があります　 この中で黒い玉が入ってる箱は有限個で 残りの箱には白い玉が入ってるとします さて、箱の中に黒い玉が入ってる確率は？ 249 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/05(土) 21:04:49.95 ID:kRxB+B+U.net] >>221-222 ピエロちゃん、ご苦労さん ID:TTJXwFI3とID:++mF+Rltと、二つのID使って成り済ましご苦労さん 煽り方がそっくりだよ 頭隠して尻隠さずかよ（＾＾ 頑張ってね このスレを盛り上げておくれ（＾＾； 250 名前： mailto:sage [2019/01/05(土) 21:21:33.29 ID:3PxKQYnc.net] >>220 >>222 1 + 1/2 + 1/3 + 1/4 + … は無限に大きくなる（発散する）から ＞建物全体の高さは2m は間違いだと思われる。 どこかに書いてあったのなら、URL を教えて欲しい 251 名前：１３２人目の素数さん mailto:sage [2019/01/05(土) 21:43:08.38 ID:U3v/GbiR.net] >>230 Σ1/nは発散するが問題文はΣ1/n^2だ 252 名前：１３２人目の素数さん [2019/01/05(土) 21:45:26.18 ID:TTJXwFI3.net] >>230 落ち着けｗ 253 名前： mailto:sage [2019/01/05(土) 22:04:04.93 ID:3PxKQYnc.net] … ご指摘感謝いたします 254 名前：１３２人目の素数さん mailto:sage [2019/01/05(土) 22:08:27.16 ID:U3v/GbiR.net] Σ1/2^nだ 俺も間違えてしまった 255 名前：１３２人目の素数さん mailto:sage [2019/01/05(土) 22:20:28.77 ID:9V9Y0s/J.net] 微妙に物理の要素も入ってる？ 最上階は存在しないから何もないはずだけど それがどう見えるか？ 真っ暗とか？ 256 名前：１３２人目の素数さん [2019/01/06(日) 08:05:07.25 ID:8mG/3Ag8.net] >>229 毎度恒例の、敵が同一人物に見える妄想 あきらめて 「無限列では時枝戦略が実行できない決定番号は存在しません 　私が間違ってました　ごめんなさい」 と認めれば、こんな妄想に悩まされずにすむのにね 257 名前：１３２人目の素数さん [2019/01/06(日) 08:09:01.16 ID:8mG/3Ag8.net] >>228 >無限個の箱があります　 >この中で黒い玉が入ってる箱は有限個で >残りの箱には白い玉が入ってるとします >さて、箱の中に黒い玉が入ってる確率は？ 実は１／２じゃないかと ある箱を選ぶ　選んだ箱以外の箱の有限個が黒玉だとして 選んだ箱に黒玉が入っていてもいなくても条件を満たす 実は無限個の箱のうち任意の有限個を選んだ場合 それら有限個は確率的に独立だと考えられる 258 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/06(日) 08:11:52.31 ID:i3zbRoSi.net] >>204-205 >>208 追加＆補足 ・有限モデルで、長さmの数列を考えた場合、q個の数をランダムに入れた場合 　その場合の数は、q^mになります ・長さm+1にするとq^(m+1)になります。 ・>>208のk番目の箱（1 <= k < m）に対する、時枝記事の解法を使える場合の確率P1kを考えます 　長さがm+1になると、場合の数は上記のようにq倍になります。 　なので、確率P1kは、P1k/qと1/q倍に減少します ・有限モデルの長さmには上限がありません 　いくらでも大きくでき、m+αとして、αを大きくできます 　そうすると、P1k/(q^α)となって、P1k/(q^α)はどんどん小さくなり０（ゼロ）に近づきます ・要するに、有限モデルで、長さmをどんどん大きくすると、ある固定されたk番目の箱に対し 　時枝記事の解法が使える場合の確率P1kがどんどん小さくなります ・これは、考えてみると当たり前のことで、有限モデルでは同値類は最後のm番目の箱で決定されますから 　最後の箱から離れれば離れるほど、同値類内のある数列と代表との一致でkまで一致する確率が小さくなるのだと ・そして、m→∞の極限を考えると、時枝記事の解法が使える場合というのは、殆どゼロの世界だと ・そして、全体として、条件付き確率計算（>>208ご参照）で、どの箱の的中確率も1/qと普通の確率論の結論に一致する ・時枝記事は、単に、m→∞の極限の、時枝記事の解法が使える場合が、殆どゼロの世界を語っているにすぎないのだと 　そういう見方ができます ・この見方では、しっぽの同値類が非可測集合になるとか、 　あるいは可算無限個の確率変数の独立の定義にイチャモンを付けるとか 　そんな議論の入る余地は、全くありません ・なので、時枝記事は”ヨロシクナイ”ということです 以上 259 名前：１３２人目の素数さん mailto:sage [2019/01/06(日) 08:17: ] [ここ壊れてます] 260 名前：56.58 ID:g9Q8hzdN.net mailto: スレ主が時枝記事を認めたくないなら 「工学には無限は存在しない！ 俺は無限を認めない！」 て言えばいいのに、何でそうしないの？ [] [ここ壊れてます] 261 名前：１３２人目の素数さん [2019/01/06(日) 08:18:27.88 ID:8mG/3Ag8.net] >>238 >m→∞の極限を考えると、時枝記事の解法が使える場合というのは、殆どゼロの世界だと これが、スレ主が3年以上抱き続けた誤りね m→∞の極限では、最後の箱はどこにあるの？ ∞？で∞は自然数なの？ち・が・う・で・しょ ∞で∞＋１が存在しないならペアノの公理に反するよ ∞＝∞＋１としても同様にペアノの公理に反する 極限を考えればいい、というのが間違い 有限モデルでは存在する「最後の箱」が無限モデルでは存在しない この質的な違いを見過ごして、漫然と極限とか寝言いってると間違う 262 名前：１３２人目の素数さん [2019/01/06(日) 08:24:53.46 ID:8mG/3Ag8.net] >>238 ＞しっぽの同値類が非可測集合になる 正確には「しっぽの同値類の代表元の集合」が非可測集合になる 無限モデルでは最後の箱が存在しないから 同値類＝最後の箱の中身 という有限モデルでは成り立つ関係が成立しない 無限モデルでは、箱の中身が2種類でも、 同値類は2^N、つまり非可算無限個存在する ＞可算無限個の確率変数の独立の定義 >>228および>>237で 「無限個の確率変数のうち任意有限個が独立」 と思われる状況を考えてみた 無限個全体では 「黒玉の数が有限個」 という制約があるのに その中の任意有限個では 何の制約も存在しない 263 名前：１３２人目の素数さん [2019/01/06(日) 08:32:35.17 ID:8mG/3Ag8.net] >>239 ＞スレ主が時枝記事を認めたくないなら ＞「工学には無限は存在しない！ 俺は無限を認めない！」 ＞て言えばいいのに 端的にいえば 「無限公理は間違ってる！」 って云うってことねｗ 無限公理って結局 ・空集合｛｝を要素とする ・ｘが要素なら、ｘ∪｛ｘ｝も要素である という２条件を満たす集合ωが存在するってことだから ωはω自身の要素じゃないし、ωの要素の中には 「ωの他の要素すべてを要素としてもつ集合」 も存在しない（つまり最後の元は存在しない） 264 名前：１３２人目の素数さん [2019/01/06(日) 08:37:08.63 ID:8mG/3Ag8.net] ところで>>228の例の問題は 「（可算）無限個の箱のうち有限個の箱の中身だけが黒玉」 という事象の全体が可算無限個、という点だろうな 事象すべてが等確率となるように測度を入れることができない だから>>237の「１／２じゃないか？」は測度論では正当化できない 265 名前：１３２人目の素数さん [2019/01/06(日) 08:47:15.47 ID:8mG/3Ag8.net] 無限列では、常に時枝記事の解法が使えます なぜなら時枝記事の解法が使えない唯一の障害である 「最後の箱」が存在しないからです 「最後の箱」が存在する有限列に固執する思考が 無限列では全く無意味であることは明らかです 無限列では「∞番目の箱」という「最後の箱」は存在しません なぜなら∞は自然数ではないからです 箱に自然数の番号をつけて並べるという方法をとる限り ペアノの公理により、最後の箱は存在し得ないのです スレ主はペアノの公理を知らずに間違い、 また知ろうともしなかったために間違いつづけたのです 知らずに間違うのは仕方ありません しかし知ろうともせずに間違いつづけるのは 怠慢以外の何者でもありません スレ主が数学板で書き続ける意義は全く認められません 即刻、数学板から退去することを勧告致します 266 名前：１３２人目の素数さん [2019/01/06(日) 08:53:57.49 ID:8mG/3Ag8.net] >>235 最上階の床が存在すれば見える筈なんですが 実際にはそんなものは存在しないわけで 何が見えるか、と聞かれると答えようがない 無限が直感を裏切るいい例かもしれません 267 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/06(日) 09:29:59.77 ID:i3zbRoSi.net] >>236 >毎度恒例の、敵が同一人物に見える妄想 些末だが いかにも、「成り済まし」してましたという”言い訳”に聞こえるよ(後述 ＊）） で、シッポ見えているんですけど（>>229）（下記） ID:TTJXwFI3とID:++mF+Rltと、二つのIDで全く同じ発言があるよ（＾＾； (引用開始 抜粋) >>201 2019/01/05(土) 13:48:01.48 ID:TTJXwFI3 [2/8] 【スレ主ホイホイ】 「無限モデルで時枝戦略が実行できない決定番号はズバリ何か？」 >>227 2019/01/05(土) 20:56:10.36 ID:++mF+Rlt [12/13] 【スレ主ホイホイ】 「無限モデルで時枝戦略が実行できない決定番号はズバリ何か？」 (引用終り) 別に、同一人物が二つ三つのIDを単純に使ったからと言って、文句を言おうという意図ではないんだ （>>229の意図はね） いまどき、家のデスクトップからLANケーブルでの接続と、ノートからのWi-Fiと、スマホと まあ、３つくらいのIDは普通だろうからね だがしかし >>210-222 の間、ID:TTJXwFI3とID:++mF+Rltと二つのIDしか登場せず、かつこの二つのIDがほぼ交互に出現しているんだ（＾＾； いや〜、微笑ましいね ”成り済ましそのもの”でしょ？ 注：＊） 普通、AさんとBさんと、賢いAさんとバカのBさんと、不等式で書けば A ＞ B で、AさんとBさんと同一じゃないかと言われたとする 普通、自分の方が賢いと思っているAさんは「おれはBじゃない。あんなバカと一緒にするな」と普通いうでしょ？ で、両方とも自分が賢いと思っていると、二人からそういう発言が来る そういう反応が全然ないんだよね〜、今回は！（＾＾； 268 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/06(日) 09:35:15.43 ID:i3zbRoSi.net] いやー、静かになっちまったね〜（＾＾ いまや、踊って発言しているのはピエロ一人か（＾＾； まあ、おれがプロ固定なら、Hart氏の定理の証明とか、時枝記事に対する決定的なことを書かずに 折角、新スレを立てたところで、結構盛り上がっているところだから ず〜〜と、引き延ばしをすれば、それがプロ固定なら、最善の戦略なんでしょうね まあ、私は全くそんなつもりはないので、悪しからず（＾＾ 269 名前：１３２人目の素数さん [2019/01/06(日) 09:37:48.95 ID:8mG/3Ag8.net] >>246 妄想乙 >>201(ID:TTJXwFI3)は単にID:++mF+Rltの質問を 【スレ主ホイホイ】と命名しただけ で、それを見たID:++mF+Rltが >>227でその名前を採用しただけ これが「同一人物の証拠」に見えるスレ主は 質問に答えられないストレスで相当病んでいる といわざるを得ない で、 「無限モデルで時枝戦略が実行できない決定番号はズバリ何か？」 の答えは？ (蛇足) ID:TTJXwFI3は、ID:++mF+Rltの質問の意義を認めたから 名前をつけたんでしょう　両者の間に別に優劣をつける 必要性を感じないから、そんな下らない話をしないだけ スレ主は常に他人との間で優劣を意識するようだが それってはっきりいって異常ですね 270 名前：１３２人目の素数さん [2019/01/06(日) 09:41:37.52 ID:8mG/3Ag8.net] >>247 ＞いやー、静かになっちまったね〜（＾＾ また妄想に逃げ込んでますね 「無限モデルで時枝戦略が実行できない決定番号はズバリ何か？」 問われ続けてるのに答えないのは、そんな決定番号が存在しないと スレ主自身分かっているけど、それを認めたら自爆だからでしょ？ もうみえみえですよ　おサルのピエロスレ主の行動パターンはｗ 「プロ固定」とかわけのわかんないこといってるけど この状況は、スレ主のバカっぷりが晒されつづける スレ主にとって最も恥ずかしい状況だってことを 自覚しましょうね　おサルのピエロスレ主ちゃんｗ 271 名前：１３２人目の素数さん [2019/01/06(日) 09:49:37.46 ID:8mG/3Ag8.net] >>246 ＞>>210-222 の間、二つのIDしか登場せず、 ＞かつこの二つのIDがほぼ交互に出現しているんだ 既に多くの数学板読者は、スレ主の芸に飽きてるってことだな ２人くらいしか食いつかないってことだから そりゃそうだろう　ペアノの公理も知らずに、 それに矛盾する発言を何年も繰り返すとか もう数学板の最底辺レベルですよ　最底辺 まだ正規部分群の定義が理解できないほうがマシなくらい （正規部分群の定義も日本語が正しく読めれば全然難しくないが） ＞いまどき、家のデスクトップからLANケーブルでの接続と、 ＞ノートからのWi-Fiと、スマホと ＞まあ、３つくらいのIDは普通だろうからね スマホは持ってない　Wi-Fiも使ったことない おサルのスレ主相手に、別回線から書き込みして 人数を増やす意味がない　 スレ主は権威バカの上に多数決バカなのか？ 自分の知性に自信がないから、 権威とか多数決とかそういう おかしなものに従ってしまうわけだ スレ主に数学板は無理　他所にいきな　シッシッｗ 272 名前：１３２人目の素数さん mailto:sage [2019/01/06(日) 09:52:20.99 ID:Y2Yt4mu1.net] >>247 > ず〜〜と、引き延ばしをすれば、それがプロ固定なら、最善の戦略なんでしょうね > まあ、私は全くそんなつもりはないので、悪しからず（＾＾ マッチポンプごくろうさん スレが静かだったときに関数の芽を持ち出して時枝を話題に持ってきたのお前だよな 273 名前：１３２人目の素数さん [2019/01/06(日) 09:57:40 ] [ここ壊れてます] 274 名前：.33 ID:8mG/3Ag8.net mailto: スレ主の発言の矛盾 スレ主は>>238で 「無限モデルで時枝記事の解法が使える場合というのは、殆ど（確率）ゼロ」 と言い張る一方 「無限モデルで時枝記事の解法が使えない決定番号はズバリ何か？」 という質問には回答できない 時枝記事の解法が使えない決定番号が存在しないにも関わらず 時枝記事の解法が使える確率がゼロ、というのは明らかな矛盾 つまりスレ主の「m→∞の極限を考える」方法が間違ってる証拠 [] [ここ壊れてます] 275 名前：１３２人目の素数さん [2019/01/06(日) 10:00:27.58 ID:8mG/3Ag8.net] >>251 スレ主は時枝記事を持ち出すのは自爆行為だという自覚がないのか それとも自爆承知で自虐芸を披露しているのか？ 自虐としても間違いのレベルが低すぎてどうしようもない ペアノの公理を知らないとか、池沼としかいいようがない

---

---

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

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