現代数学の系譜工学物理雑談古典ガロア理論も読む44

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


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

1 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/01(日) 18:04:54.04 ID:MV7ZW1pI.net]: 現代数学の系譜物理工学雑談古典ガロア理論も読む

前現代数学の系譜工学物理雑談古典ガロア理論も読む42
rio2016.2ch.net/test/read.cgi/math/1504332595/

過去スレ39 で、数学セミナー時枝記事は終わりました。39は、別名「数学セミナー時枝記事の墓」と名付けます。

皆さまのご尽力で、伝統あるガロアすれは、数学板での勢いランキングで、実質ダントツ１位です。
（他の“勢いの上位”のスレは、￥さんの野焼き作業の貢献が大半ですので（＾＾）

このスレは、現代数学のもとになった物理工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで良ければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな～（＾＾
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。
“時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。

なお、
サイコパスのピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」）
（参考： blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日）
High level people
小学レベルとバカプロ固定
低脳幼稚園児のAAお絵かき
お断り！

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

High level people は自分達で勝手に立てたスレ28へどうぞ！sage進行推奨（＾＾；
なお、スレ43も私のスレではないなので、行きません（＾＾

旧スレが512KBオーバー（間近）で、新スレ立てる
（スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。）
562 名前：:40.57 ID:RPcXe2bM.net mailto: >>503
＞６）もし、他の元から何か得られる情報があるとすれば、それは”たまたま”で、その確率は小。99/100 など成り得ないぜ（＾＾
＞７）ここらを、100列の他の数列との比較に持ち込んで、99/100と誤魔化しているのが、時枝記事だよ
バカ乙 []: [ここ壊れてます]
563 名前：１３２人目の素数さん [2017/10/18(水) 22:44:14.72 ID:RPcXe2bM.net]: >>502
＞「一を聞いて十を知る」もあれば、
＞「一から十まで言わないと分らない」もある
＞世の中いろいろあるね～（＾＾
と一から十まで言っても分らないアホが申しております
564 名前：１３２人目の素数さん mailto:sage [2017/10/18(水) 23:39:18.24 ID:NCBfy7MZ.net]: >>502
> 「有限列では、確率１で最後の桁の場所が決定番号」

>>58
> 箱を一つずつ増やしていっても、可算無限集合には至らない
であるから

無限数列はn個の箱の最後の箱に無限個の箱に入った数字 = 無限数列 an, a(n+1), a(n+2), ...
が入っていると考えれば {a1}, {a2}, ... , {a(n-1)}, {an, a(n+1), a(n+2), ...} ({}は有限個)
「決定番号(= n)が1からnの間に来る確率は1」
565 名前：１３２人目の素数さん mailto:sage [2017/10/19(木) 00:01:57.65 ID:eZ4urg9S.net]: >>499
> ディーラーの戦略とは無関係
> 代表元の選択の問題

それは意味不明
なにが確率的なわけ？
ディーラーが無関係ならあとは代表元しかないけど

代表元が確率的に選ばれるといいたいの？
それはあなたの勝手な設定ですよね？
そんなことどこにも書かれてませんから
勝手な設定なしに確率1は言えませんよ
566 名前：１３２人目の素数さん mailto:sage [2017/10/19(木) 06:30:36.42 ID:zs7buMiu.net]: >>502
＞ある有限のDが与えられ、1< D < ｍとする
＞lim (ｍ→∞) P(1～D) = 0、lim (ｍ→∞) P(D～ｍ) = 1

不細工な式書いてるねｗ
P({i|i<m}),P({i|i>=m})と書けないの？

無限列の場合
・任意のε＜０について、P({i|i<m})＜ε
　とはいえるが、P({i|i<m})=0とはいえない
・したがってP({i|i>=m})＞1-εとはいえるが
　P({i|i>=m})=1ともいえない

＞ここらを、100列の他の数列との比較に持ち込んで、
＞99/100と誤魔化しているのが、時枝記事だよ

君が無限数列を理解せずに見当違いなこといってるだけ

・同値類と代表元の定義から、決定番号は必ず自然数である
・選択公理から、代表元は必ず存在する
したがって
・100列とれば、必ず100個の決定番号となる自然数が存在する
・100個の自然数の中で最も大きな自然数が必ず存在する
その時点で、
・100個の自然数から1個選んで、
　それが他の自然数より大きくならない確率は
　(100-1)/100

なんでこんな小学生でも分かることが理解できないの？
567 名前：１３２人目の素数さん mailto:sage [2017/10/19(木) 06:37:50.94 ID:zs7buMiu.net]: >>503
＞時枝記事の一つの同値類からランダムに選んだ二数列について、
＞基本的には、”同じ同値類に属する”以上の情報は、得られない！
＞＝他の元から得られる情報無し！

・選ぶ数列は１つでいい、代表元は選んだ数列から自動的に決まる
・代表元を決めるのに、数列の全ての項が明らかになる必要はない
　ある自然数ｍをとって、ｍ番目の項から先の尻尾が分かればいい
・もし上記のｍが、代表元の決定番号ｄより大きければ
　d番目からm-1番目までの数列の情報が代表元から分かる

ここらのからくりを全く理解せず、
「情報が得られるわけがない」と
駄々こねてるのがID:opDBh7/4こと
真のピエロ
568 名前：１３２人目の素数さん mailto:sage [2017/10/19(木) 06:52:41.75 ID:zs7buMiu.net]: >>509
>>>ディーラーの戦略は明示されていないので
>> ディーラーの戦略とは無関係
>それは意味不明

そもそもディーラーの戦略とどうかかわるのか不明
ディーラーの戦略と関係ないのは自明

（有限列では、確率１で最後の桁の場所が決定番号となるのは）
>>>代表元の選択の問題
>>代表元の選択の問題
>代表元が確率的に選ばれるといいたいの？

そういう前提を立ててるであろうことも自明

>それはあなたの勝手な設定ですよね？

発●するほど不自然な設定ではないがな
569 名前：１３２人目の素数さん mailto:sage [2017/10/19(木) 07:08:26.14 ID:zs7buMiu.net]: ああ、なるほど
>>498の「ディーラーの戦略」って
「そもそも代表元と一致するように箱の中身を入れれば
　全部決定番号１になるから>>495の主張に反することもできる」
という意味か？

もちろん、そうすることもできる
で、ただそうしたところで、ディーラーは得しないよな
相手が時枝戦略で来るのなら、意図的に全部
決定番号ｎ（＝列の長さ）にしといたほうが得だろう
570 名前：１３２人目の素数さん mailto:sage [2017/10/19(木) 07:13:36.35 ID:zs7buMiu.net]: >>495のポイントは
「有限列で最後の桁の場所が決定番号の場合、その先の尻尾がとれません」
だろ

で、有限列の場合、意図的に全部の列の決定番号が
最後の桁の場所になるように箱の中身を入れられる
その場合、時枝戦略では尻尾がとれないから
代表元が分からずお手上げってことだよ
571 名前：１３２人目の素数さん mailto:sage [2017/10/19(木) 07:50:35.48 ID:oBSScGTk.net]: >>513
> 「そもそも代表元と一致するように箱の中身を入れれば
> 　全部決定番号１になるから>>495の主張に反することもできる」
> という意味か？

んーというよりもっと大胆に、ディーラーは「非確率的に数字を選ぶ」こともできるわけで

>>512
> >代表元が確率的に選ばれるといいたいの？
>
> そういう前提を立ててるであろうことも自明

自分勝手な前提を自分勝手に自明と言ってますよね。

でも安心して。そういう前提だってのは俺はわかってるよ。
お前の勝手は察してる。
だから間違いと言ってるんじゃなくて、確率1と言わない方が「無難」と書いたんだよ。

確率の話をしてるんだからもっと厳密になれよ。
でないと論理がザルな誰かと見分けが付かん []; [ここ壊れてます]
573 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/19(木) 08:34:24.18 ID:e4N8mmne.net]: 突然ですが（＾＾

www.asahi.com/articles/ASKBF55WWKBFULBJ00H.html
最強ＡＩ「アルファ碁ゼロ」、人間の棋譜頼らず強くなる小宮山亮磨朝日 2017年10月19日
(抜粋)
　世界最強の人間の棋士より強い囲碁の人工知能（ＡＩ）を開発した英ディープマインド社が、さらに腕前を上げたＡＩ「アルファ碁ゼロ」を開発した。人間の棋譜は学ばず、ＡＩどうしが対局を繰り返して上達し、独自の「定石」も見つけたという。１８日の英科学誌ネイチャーで発表する。

　同社の囲碁ＡＩはこれまで、人間の棋士による過去の膨大な棋譜を学習したうえでＡＩどうしが繰り返し対局する「強化学習」という手法で腕を磨いてきた。２０１６年には韓国の李世?（イセドル）九段を４勝１敗で下し、注目を集めた。

　アルファ碁ゼロは、棋譜のデータに頼らず、人間の初心者以下の状態から強化学習だけで上達する。４９０万回の自己対局の後、李九段に勝ったＡＩと対局して、１００戦全勝。２９００万回の自己対局の後では、今年初めまでに日本の井山裕太・現七冠を含むトップ棋士らに６０戦全勝したＡＩ「アルファ碁マスター」も圧倒した。

残り：202文字／全文：596文字
(引用終り)
574 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/19(木) 08:35:12.11 ID:e4N8mmne.net]: これも

https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%83%98%E3%83%B3
(抜粋)
コーヘンまたはコーエン（Cohen、Coen など）は、元来古代イスラエル時代の世襲の司祭（祭司、「コーヘーン Kohen」）を意味し、またユダヤ系の人物に非常に多くなっている姓である。
ユダヤ系のCohenには、Cohn, Cahn, Cahan, Caan, Kohn, Kagan, Kaganovitch, Kahane, Katzなど多数の異体がある。彼らはアロンの男系子孫とされ、実際Y染色体の研究から大部分の人が共通の男系祖先に遡る可能性が高いと言われている（en:Y-chromosomal Aaron参照）。
ただし少数ではあるが、アイルランド系カトリックの姓にもCohenがある。

ポール・コーエン (数学者) (Paul Joseph Cohen , 1934年4月2日 - 2007年3月23日)：アメリカの数学者、強制法で有名
(引用終り)
575 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/19(木) 08:37:30.26 ID:e4N8mmne.net]: 落ちこぼれ
３人ですかね（＾＾
また後で（＾＾
576 名前：１３２人目の素数さん mailto:sage [2017/10/19(木) 16:01:14.07 ID:FAXZfI9d.net]: お久しぶりです、おっちゃんです。
まだ時枝問題についてやっているようですね。
それじゃ。
577 名前：１３２人目の素数さん mailto:sage [2017/10/19(木) 16:13:39.30 ID:FAXZfI9d.net]: ちなみに、数学の天才の養成は不可能だそうだ。
どこまで信憑性があるのかは分からないが、もしかしたら
このことを裏付けているかも知れないような面白い資料が見つかった。
もしかしたら、数学科に行かなくて正解だったのかも知れない。
じゃ、また研究しますわ。
578 名前：１３２人目の素数さん mailto:sage [2017/10/19(木) 18:55:38.20 ID:zs7buMiu.net]: >>515
>> 「そもそも代表元と一致するように箱の中身を入れれば
>> 　全部決定番号１になるから>>495の主張に反することもできる」
>もっと大胆に、ディーラーは「非確率的に数字を選ぶ」こともできるわけで

有限列の場合、最後の箱だけで同値類は決まるので
代表元を「全部の箱が同じ数字の列」とすれば
「非確率的な数字の選択」になりますね

>>>代表元が確率的に選ばれるといいたいの？
>>そういう前提を立ててるであろうことも自明
>そういう前提だってのは俺はわかってるよ

そういうと思いました

>確率の話をしてるんだからもっと厳密になれよ

尻尾があるかないかが>>495のポイントですから
確率以前の話かと存じます
579 名前：１３２人目の素数さん mailto:sage [2017/10/19(木) 18:56:33.85 ID:zs7buMiu.net]: >>518
>落ちこぼれ３人ですかね（＾＾

いや　１匹でしょ
580 名前：１３２人目の素数さん [2017/10/19(木) 20:48:03.84 ID:9xOpIJ0g.net]: 大類昌俊
581 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/19(木) 21:03:47.91 ID:e4N8mmne.net]: >>519
おっちゃん、どうも、スレ主です。

>まだ時枝問題についてやっているようですね。

ああ、ようやく３人に減った（＾＾
３人が、なかなか頑固なんだよね（＾＾

大学在学生は、教員など良質な情報を得られるから、
時枝不成立は大体分ってきたみたいなんだがね
582 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/19(木) 21:05:56.35 ID:e4N8mmne.net]: >>520
>ちなみに、数学の天才の養成は不可能だそうだ。

天才の養成は不可能かもしれないが、英才教育は可能だろう
実際、数学オリンピックなんて、あれはもともと旧ソ連系の話だったんだが、いま全世界レベルになったよ（下記）
まあ、共産圏の数学オリンピックは、教育効果＋才能ある学生を発掘する効果もあったと思うが

>もしかしたら、数学科に行かなくて正解だったのかも知れない。

”人生には、ただ一つの正解と言えるものはないかも知れない”（スレ主予想（＾＾）

>じゃ、また研究しますわ。

頑張ってな。是非論文投稿まで。論文投稿できたら、ここに知らせを書いてくれ（＾＾

＜参考＞
https://ja.wikipedia.org/wiki/%E5%9B%BD%E9%9A%9B%E6%95%B0%E5%AD%A6%E3%82%AA%E3%83%AA%E3%83%B3%E3%83%94%E3%83%83%E3%82%AF
国際数学オリンピック
(抜粋)
概要
旧共産圏に源を発し、西側諸国そして中近東へと参加が拡大してきた。
583 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/19(木) 21:06:20.39 ID:e4N8mmne.net]: >>522
ピエロご苦労
皆さんに、優しく可愛がって貰っているじゃない！（＾＾
だから、頑張って、毎日作文書いてくれよ！！（＾＾
584 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/19(木) 21:07:09.60 ID:e4N8mmne.net]: >>514
>>>495のポイントは
>「有限列で最後の桁の場所が決定番号の場合、その先の尻尾がとれません」
>だろ

（>>495の）「有限列では、確率１で最後の桁の場所が決定番号となります」で（ランダムな確率変数ではこれ正しいよ（>>501に書いたが））
ポイントは２つ

一つは、上記の”「有限列で最後の桁の場所が決定番号の場合、その先の尻尾がとれません」”だが
もう一つポイントは、「確率１で最後の桁の場所が決定番号」となるなら、100列全決定番号はｍとなる（ここにｍは、列の長さ（＝１列の箱の数））

だから、２列も3列も100列も変わらない
つまり、「100列だから99/100」も言えないよ（＾＾
585 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/19(木) 21:07:46.74 ID:e4N8mmne.net]: >>496
>「co-tailの存在」は「決定番号∞」と違って、
> 99/100の議論への道を塞ぐ障害になっていない

「co-tailの存在」は、存在するし
99/100不成立を理解するためには、「co-tail」の存在を意識する方が分かり易い

つまり、列が有限の長さの場合と同様に、決定番号はしっぽの最後に偏在する
だから、”40 rio2016.2ch.net/test/read.cgi/math/1503706544/597-598時枝記事そのままの入れ方で、決定番号が、１からｎの間に来る確率は、０（ゼロ）の証明”
について、別の視点から、理解できると思う
586 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/19(木) 21:09:02.88 ID:e4N8mmne.net]: そのうちまた、おちこぼれ達のための補習講座をやるから、気長に待っておくれ（＾＾
587 名前：１３２人目の素数さん mailto:sage [2017/10/19(木) 21:21:21.22 ID:zs7buMiu.net]: >>527
＞もう一つポイントは、「確率１で最後の桁の場所が決定番号」となるなら、
＞100列全決定番号はｍとなる

100列全部同じ決定番号だとして、選んだ1列について
ｍ＋１番目から先の尻尾が取れれば代表元が分かるから
その情報でｍ番目の箱の中身がわかるよ

だからポイントは
「有限列で最後の桁の場所が決定番号の場合、その先の尻尾がとれません」
だけだよ
588 名前：１３２人目の素数さん mailto:sage [2017/10/19(木) 21:26:12.04 ID:zs7buMiu.net]: >>528
＞「co-tailの存在」は、存在する・・・

日本語おかしいゾ

＞決定番号が、１からｎの間に来る確率は、０（ゼロ）の証明

どの列を選んでもその決定番号は自然数だが

もしかして、確率１で決定番号は
589 名前：存在しないとか思ってる？ 記事の同値類も代表元も決定番号も全然理解できてないな 真の落ちこぼれピエロのサルは []: [ここ壊れてます]
590 名前：１３２人目の素数さん mailto:sage [2017/10/19(木) 21:28:02.72 ID:zs7buMiu.net]: >>529
サルには数学は理解できないから
金輪際数学板にこなくていいよ
591 名前：１３２人目の素数さん mailto:sage [2017/10/19(木) 21:30:43.09 ID:zs7buMiu.net]: >>503
＞時枝記事の一つの同値類からランダムに選んだ二数列について、
＞基本的には、”同じ同値類に属する”以上の情報は、得られない！
＞＝他の元から得られる情報無し！

・選ぶ数列は１つでいい、代表元は選んだ数列から自動的に決まる
・代表元を決めるのに、数列の全ての項が明らかになる必要はない
　ある自然数ｍをとって、ｍ番目の項から先の尻尾が分かればいい
・もし上記のｍが、代表元の決定番号ｄより大きければ
　d番目からm-1番目までの数列の情報が代表元から分かる

ここらのからくりを全く理解せず、
「情報が得られるわけがない」と
駄々こねてるのが”真のピエロ”
592 名前：１３２人目の素数さん [2017/10/19(木) 21:32:03.94 ID:vAkJmMNN.net]: >>524
＞３人が、なかなか頑固なんだよね（＾＾
と、勉強することを頑なに拒否している頑固者が申しております
593 名前：１３２人目の素数さん [2017/10/19(木) 21:33:39.45 ID:vAkJmMNN.net]: >>526
＞ピエロご苦労
＞皆さんに、優しく可愛がって貰っているじゃない！（＾＾
＞だから、頑張って、毎日作文書いてくれよ！！（＾＾
と、真のピエロが申しております
594 名前：１３２人目の素数さん [2017/10/19(木) 21:37:23.26 ID:vAkJmMNN.net]: >>528
＞つまり、列が有限の長さの場合と同様に、決定番号はしっぽの最後に偏在する
しっぽの最期って具体的には何項目のこと？自然数で答えて下さい
595 名前：１３２人目の素数さん [2017/10/19(木) 21:49:25.22 ID:vAkJmMNN.net]: >>528
＞決定番号が、１からｎの間に来る確率は、０（ゼロ）
だから何？
ある事象の確率０＝その事象は起こり得ない　とでも言いたいの？
596 名前：１３２人目の素数さん [2017/10/19(木) 22:00:48.28 ID:vAkJmMNN.net]: 真のピエロは「決定番号＝∞」はさすがにマズいと気付いたのか
「決定番号が、１からｎの間に来る確率は、０」に変えてきた。
しかし、決定番号は自然数であるから、その主張はナンセンスである。
真のピエロの呼称に恥じないアホっぷりである。
597 名前：１３２人目の素数さん mailto:sage [2017/10/19(木) 22:23:42.82 ID:lp/LpK0s.net]: >>503
> ”同じ同値類に属する”＝”フランス国籍を持つ”以外の何が分るのか？

箱の中の文字の1つを当てるゲームで (?)ランスという3文字を解答者が箱を開けて確認した場合
残りの箱の中身はフだと解答者は箱を開けずに予測できる
598 名前：１３２人目の素数さん mailto:sage [2017/10/19(木) 22:53:18.71 ID:MN4zRlcW.net]: >>521
> 尻尾があるかないかが>>495のポイントですから
> 確率以前の話かと存じます

まあそうだ
599 名前：１３２人目の素数さん mailto:sage [2017/10/20(金) 00:56:31.67 ID:DQcMRd0B.net]: 結局分かってないのは一人だけのようで
600 名前：１３２人目の素数さん mailto:sage [2017/10/20(金) 03:16:59.91 ID:a4UJXsPZ.net]: >>525
おっちゃんです。
一応、私が出た大学の学科は「数学科」といえる学科ではなく、
実質的には「コンピュータ数学科」とでも呼ぶべき学科なので。
学科の内容は大きく異なるだろうね。
決して系統的に数学の教育を受けているとはいえない。
601 名前：１３２人目の素数さん mailto:sage [2017/10/20(金) 06:44:44.99 ID:j4QeECf9.net]: >>537-538

「代表元を決めるのに、ある自然数ｍをとって
　ｍ番目の項から先の尻尾が分かればいい
　もし代表元の決定番号ｄが上記のｍより小さければ
　d番目からm-1番目までの数列の情報が代表元から分かる」

サル「決定番号ｄがｍより小さい確率は０！」
ヒト「ｎ列のうち、選んだ１列以外のｎ－１列の
　　　決定番号の最大値をｍとすれば、選んだ列の
　　　決定番号ｄがｍより小さい確率は９９／１００」

↑いまここ
602 名前：１３２人目の素数さん mailto:sage [2017/10/20(金) 06:46:40.99 ID:j4QeECf9.net]: >>543訂正

>>537-538

「代表元を決めるのに、ある自然数ｍをとって
　ｍ番目の項から先の尻尾が分かればいい
　もし代表元の決定番号ｄが上記のｍより小さければ
　d番目からm-1番目までの数列の情報が代表元から分かる」

サル「決定番号ｄがｍより小さい確率は０！」
ヒト「ｎ列のうち、選んだ１列以外のｎ－１列の
　　　決定番号の最大値をｍとすれば、選んだ列の
　　　決定番号ｄがｍより小さい確率は（ｎ－１）／ｎ
　　　n=100なら確率は99/100」

↑いまここ
603 名前：１３２人目の素数さん [2017/10/20(金) 08:19:14.25 ID:DQcMRd0B.net]: 決定番号ｄがｍより小さい確率は０であったとしても自然数であることは否定
できないのだからまったく無意味な主張である
サルには一生理解できないかも知れないが
604 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/20(金) 08:31:58.28 ID:nXsa98Fj.net]: >>542
おっちゃん、どうも、スレ主です。

>実質的には「コンピュータ数学科」とでも呼ぶべき学科なので。

了解（＾＾

>決して系統的に数学の教育を受けているとはいえない。

なるほど
まあ、論文完成をお待ちします（＾＾
605 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/20(金) 08:32:31.21 ID:nXsa98Fj.net]: >>541
>結局分かってないのは一人だけのようで

いや、分ってないのは３人に減ったんだ
以前は、もっと沢山いた（＾＾
606 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/20(金) 08:33:17.71 ID:nXsa98Fj.net]: >>544
ピエロご苦労（＾＾
出ましたね、サイコバス（＾＾
まあ、小学生も、ヒトだったね（＾＾

ところで、作文頑張ったね
えらい、えらい
この調子で頑張ってくれ（＾＾
607 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/20(金) 08:35:00.98 ID:nXsa98Fj.net]: >>539
>箱の中の文字の1つを当てるゲームで (?)ランスという3文字を解答者が箱を開けて確認した場合
>残りの箱の中身はフだと解答者は箱を開けずに予測できる

"フランス"という４文字を持つことが同値類の条件ならば、 (?)ランスという3文字では、その同値類に属するとは判別できない
その同値類に属することが別の手段で分るならば、”？？？？”４文字が、即ち"フランス"だろ？
”(?)ランス”という中途半端でなにが言いたいのかね？（＾＾
608 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/20(金) 08:36:30.26 ID:nXsa98Fj.net]: >>530
>＞もう一つポイントは、「確率１で最後の桁の場所が決定番号」となるなら、
>＞ 100列全決定番号はｍとなる
>
>
609 名前：100列全部同じ決定番号だとして、選んだ1列について >ｍ＋１番目から先の尻尾が取れれば代表元が分かるから >その情報でｍ番目の箱の中身がわかるよ 有限長さが前提で、ｍ番目以降の箱はない前提だ だから、ｍ＋１番目は無いよ それに加えて、力点は、ｍ＋１番目の話じゃない 「確率１で最後の桁の場所が決定番号」だから、全部ｍ番目だってことだよ（＾＾ ピエロは、それが読めてないようだから、再度強調しておくよ（＾＾ []: [ここ壊れてます]
610 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/20(金) 12:00:44.33 ID:uNwdfmN9.net]: >>538
>「決定番号＝∞」はさすがにマズいと気付いたのか

＜おちこぼれ達のための補習講座8＞

とくに、おちこぼれ小学生のピエロのために（＾＾
幼いピエロは、”無限大”というと、すぐ記号「∞」が頭に浮かんで、その脳内映像が消えないようだね（＾＾

現代数学の”無限大”の概念は、もっともっと多様だよ！
下記でもご参照。（下記連番で１７まで行ったね。本当は、これだけではないと思うが、まあこの程度で・・）

で、「２）いかなる数よりも大きいさまを表すものである」とあるでしょ？　
これ素朴だけど重要だよ。ペアノの自然数構成法や無限公理はこれだよ（＾＾

「２）いかなる数よりも大きいさまを表すものである」＝いわゆる”エンドレス”＋無限公理というやつ（ここでは、いわゆる”エンドレス”にご注目（＾＾）

”エンドレス”というのは、哀れな素人さんいうところの、”食べつくせない”と通じるところがあり
まあ、古代ギリシャ哲学でも言われていた素朴な概念だろうが、素朴だけに基本だよ

＜「無限」について＞
（注）箇条書き連番は引用者付与）
https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90
無限
(抜粋)
無限に関する様々な数学的概念
１）無限大：記号∞
２）いかなる数よりも大きいさまを表すものである
３）どの実数よりも大きな（実数の範疇からはずれた）ある特定の“数”と捉えられることもある（超準解析や集合の基数など）
４）ある変量がどの実数よりも大きくなるということを表すのに用いられることもある（極限など）
５）実数の拡張としての無限大には ∞ (+∞) と -∞ がある
６）大小関係を定義できない複素数には無限大の概念はないが、類似の概念として無限遠点を考えることができる
７）感覚的には分かり易いと思われる直観的な無限大・無限小の概念ではあるが、現代的な実数論には直接的には存在しない（いわゆる ε-δ 論法によって量的に扱われる）

つづく
611 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/20(金) 12:01:29.54 ID:uNwdfmN9.net]: >>551 つづき

８）無限遠点：ユークリッド空間で平行に走る線が、交差するとされる空間外の点あるいは拡張された空間における無限遠の点。
　平行な直線のクラスごとに1つの無限遠点があるとする場合は射影空間が得られる。この場合、無限遠点の全体は1つの超平面（無限遠直線、無限遠平面 etc.）を構成する。
　また全体でただ1つの無限遠点があるとする場合は（超）球面が得られる。複素平面に1つの無限遠点 ∞ を追加して得られるリーマン球面は理論上きわめて重要である。
９）無限遠点をつけ加えてえられる射影空間や超球面はいずれもコンパクトになる。
１０）無限集合：有限集合（その要素の数が有限である集合）でない集合。
１１）可算無限集合：自然数全体 N からの全単射が存在する、すなわち数え上げ可能な無限集合。整数の全体、有理数の全体、代数的数の全体などはそうである。
１２）非可算集合：自然数全体 N からの全単射が存在しない、すなわち数え上げ不可能な無限集合。実数の全体、複素数の全体などはそうである。
１３）無限小数：その小数表示が有限の桁ではない数。
１４）無限列：数（あるいは点などの要素）に番号を付けて無限に並べたもの、つまり長さが無限の数列、点列など。より厳密には自然数全体の集合 N 上で定義される写像。

つづく
612 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/20(金) 12:02 ]: [ここ壊れてます]
613 名前：:24.83 ID:uNwdfmN9.net mailto: >>552 つづき

１５）超限数：ドイツの数学者ゲオルク・カントールは、無限には異なる種類があることを見出し、これを超限数と名付けた。現代数学では濃度の概念で捉えられる。超限数は（アレフ）の記号を用いて表記
１６）デデキント無限：ある集合が自身と対等な（すなわち同じ濃度を持つ）真部分集合が存在するとき、その集合はデデキント無限であるという。デデキント無限集合は常に無限集合であるが、その逆を証明するには弱い形の選択公理が必要である。無限集合が、デデキント無限集合であるということと、可算無限部分集合を持つことは同値である。
(引用終わり)

１７）
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
順序数
(抜粋)
数学でいう順序数（じゅんじょすう、英: ordinal number）とは、整列集合同士の"長さ"を比較するために、自然数[1]を拡張させた概念である。

集合の濃度と基数
集合 A から集合 B への全単射が存在するとき、A と B は同数（equinumerous）であるといい、A ≒ B で表す。
　選択公理を仮定すれば、整列定理により任意の集合 A に対して A と同数であるような順序数が存在することが言える。
　そこで、集合 A と同数であるような順序数の中で最小のものを A の濃度（cardinality of A）といい、これを |A| あるいは card(A) で表す。
　ある集合 A に対して α = |A| である順序数 α を基数（cardinal number）と呼ぶ。
(引用終わり)

以上 []: [ここ壊れてます]
614 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/20(金) 12:04:51.88 ID:uNwdfmN9.net]: さて、以上を踏まえて

>>538
>「決定番号＝∞」はさすがにマズいと気付いたのか

上記のように、「決定番号＝∞」は、ピエロの幼い無限認識が見せる、ピエロの脳内妄想に過ぎない
「決定番号＝∞」をいうときは、私なら、必ず”∞”を定義するよ（＾＾

>「決定番号が、１からｎの間に来る確率は、０」に変えてきた。
>しかし、決定番号は自然数であるから、その主張はナンセンスである。

"変えてきた"？（＾＾

”40 rio2016.2ch.net/test/read.cgi/math/1503706544/597-598時枝記事そのままの入れ方で、決定番号が、１からｎの間に来る確率は、０（ゼロ）の証明”（>>11）
にある通り、ず～っと以前からですよ

そして、”確率”を考えているし、
「決定番号が、１からｎの間に来る確率」と「決定番号が、ｎを超える確率」との比較だからね

おかしいことはないよ
ピエロは、小学生だから、難しいのは分かるけど、大人には分かることだよ。

算数も、しっかり勉強してね（＾＾
615 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/20(金) 15:52:20.45 ID:uNwdfmN9.net]: これ（平田典子先生）、以前にもアップしたことがあるかも知れないが、検索ヒットしたので、メモ貼りする（＾＾
www.ma.noda.tus.ac.jp/u/ha/SS2006/hokoku.html
2006年度整数論サマースクール報告集

平田典子（日本大学）

「対数一次形式の理論と応用:HermiteからBaker, Matveevまで」
「部分空間定理と単数方程式:SiegelからSchmidt, Faltingsまで」
「最近の新結果の紹介」
「ディオファントス問題における未解決問題」
pdfファイル
www.ma.noda.tus.ac.jp/u/ha/SS2006/Data/Hokoku/hirata.pdf
616 名前：１３２人目の素数さん mailto:sage [2017/10/20(金) 19:13:13.50 ID:j4QeECf9.net]: >>547
>>結局分かってないのは一人だけのようで
>いや、分ってないのは３人に減ったんだ
>以前は、もっと沢山いた（＾＾

いや、分かってないのは結局一匹
サルの調教師の人数が減っただけ
617 名前：１３２人目の素数さん mailto:sage [2017/10/20(金) 19:16:32.89 ID:j4QeECf9.net]: >>554
>「決定番号が、１からｎの間に来る確率」と「決定番号が、ｎを超える確率」との比較

ｎが何か、を一度も理解しようとしないね。サル

ｍ個の数列の決定番号で、他より大きな決定番号Ｄを持つ列はたかだか1個
ｍ個の数列からランダムに選んだ１列の決定番号をｄとする

このとき
「決定番号ｄがＤより小さい確率」と「決定番号ｄがＤ以上である確率」は
それぞれ（ｍ－１）／ｍと１／ｍ

決してわけもわからずある自然数ｎを決めた上で、
適当に決めたある列の決定番号ｄとｎを比較するわけではない

ｍ個の列を定めればその決定番号の最大値Ｄは当然存在する
ｍ個の列の中のみから選んだ１列の決定番号ｄとＤを比較している

順番が分からないサルには死ぬまで決して理解できないだろう
今度生まれ変わるときはヒトとして生まれてこいよ。サル！
618 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/20(金) 20:15:45.74 ID:nXsa98Fj.net]: >>557
ピエロちゃん、算数お勉強しようね（＾＾

「有限列では、確率１で最後の桁の場所が決定番号となります」（あなたの >>495 & >>512 より）
だったでしょ（＾＾

１列から100列まで、有限ｍ個の箱の数列として
決定番号が、d1,d2,・・・,d100とすると

”確率１”で
d1 = d2 = ・・・ = d100 = ｍ

でさらに、D＝max (d1,d2,・・・,d100) ＝ｍだろ
有限モデルで、極限ｍ→∞ を考えることができる（∵ 可算無限個の箱だったから）

なので、無限個でも列が有限の長さの場合と同様に、決定番号はしっぽの最後に偏在するから
”40 rio2016.2ch.net/test/read.cgi/math/1503706544/597-598時枝記事そのままの入れ方で、決定番号が、１からｎの間に来る確率は、０（ゼロ）の証明”

これについて、上記の視点からも、理解できると思うが・・
まあ、小学生には100まで数えるのは難しいだろうが、お母さんに、「100までの数」を、教えて貰いなさい（＾＾

>ｍ個の数列の決定番号で、他より大きな決定番号Ｄを持つ列はたかだか1個

？ああ、ピエロのぼくちゃん、小学生だから、確率が分ってなかったんだね～。”確率１”って自分で書いたでしょ？（＾＾
619 名前：１３２人目の素数さん mailto:sage [2017/10/20(金) 20:17:36.79 ID:/z25dRVT.net]: >>551
> いわゆる”エンドレス”＋無限公理というやつ（ここでは、いわゆる”エンドレス”にご注目

箱を閉じて出題が完了した時点でエンドレスではなくなっている
620 名前：１３２人目の素数さん mailto:sage [2017/10/20(金) 20:40:34.63 ID:j4QeECf9.net]: >>558
＞算数お勉強しよう

算数しか知らぬサルには数学は理解できんらしい

さて
（有限ｍ個のモデルで）
＞”確率１”で d1 = d2 = ・・・ = d100 = ｍ
＞でさらに、D＝max (d1,d2,・・・,d100) ＝ｍだろ
＞有限モデルで、極限ｍ→∞ を考えることができる
＞（∵ 可算無限個の箱だったから）

で、その極限ｍとやらでは
d1 = d2 = ・・・ = d100 = ∞
D＝max (d1,d2,・・・,d100) ＝∞
かね？

上記の通りなら、”代表元”と元の数列は同値でないな。なぜなら、
如何なる自然数ｍも尻尾が一致する先頭の箇所になり得ないのだから

>>ｍ個の数列の決定番号で、他より大きな決定番号Ｄを持つ列はたかだか1個
>”確率１”って自分で書いたでしょ？

サルは＊＊の一つ覚えで極限を使うから間違う

決定番号は∞にはならない　
全部の決定番号が∞になることはない
無限列では「しっぽの最後」∞は存在しない
存在しない箇所に決定番号が偏在すると思うのはサル
621 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/20(金) 21:01:52.46 ID:nXsa98Fj.net]: >>516 関連

www.natureasia.com/ja-jp/research/highlight/12229
【人工知能】全くのゼロから独学で囲碁を習得する「アルファ碁ゼロ」 Nature 2017年10月19日
(抜粋)
コンピュータープログラム「アルファ碁」の新バージョンである「アルファ碁ゼロ」は、人間による入力をせず、全くの独学で、古典的な戦略ゲームである囲碁を白紙の状態から急速に習得できることが分かった。
その上アルファ碁ゼロは、旧バージョンのアルファ碁（2016年3月に囲碁チャンピオンのイ・セドルを破った）との対局で100戦100勝の成績を挙げた。この新しいコンピュータープログラムについて報告する論文が、今週掲載される。

DOI:10.1038/nature24270 | 英語の原文
（有料）
dx.doi.org/10.1038/nature24270
622 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/20(金) 21:15:41.85 ID:nXsa98Fj.net]: >>560
ピエロちゃんは、小学生だから、ここ難しいからね、無理しなくていいよ（＾＾

極限については、先の>>448をよく読んでね（＾＾
「「co-tail が存在する」と、”lim n→∞ で、共通のしっぽが空（＝φ）になれば、同じ同値類ではなくなるってこと！”、この２つは両立するよ
極限と、関数が取る値とは異なるよ」

ここを、よく読むように（＾＾

数学で、無限を考えるときに、有限からの極限を考えるというのは、常道であり重要な手段だよ
が、極限の値が実�
623 名前：ｻできるかどうかは、別に検討要だ。 例えば、ｘ＞０で、lim (ｘ→ +0) 1/x ＝∞ だが、0の除算は通常許されないが如し（＾＾ （ピエロは幼いから、ここよく混同しているよね（＾＾） で、当然極限として lim (ｍ→∞) d1 = d2 = ・・・ = d100 = ∞ lim (ｍ→∞) max (d1,d2,・・・,d100) ＝D = ∞ だけど、”ｍ＝∞”とは言ってない！あくまで、lim (ｍ→∞) （ピエロは幼いから、ここよく混同しているね（＾＾） []: [ここ壊れてます]
624 名前：１３２人目の素数さん mailto:sage [2017/10/20(金) 21:43:08.44 ID:j4QeECf9.net]: >>562
>当然極限として
>lim (ｍ→∞) d1 = d2 = ・・・ = d100 = ∞
>lim (ｍ→∞) max (d1,d2,・・・,d100) ＝D = ∞

ギャハハハハハハハハハハハハハハハ
　ハハハハハハハハハハハハハハハハ
　ハハハハハハハハハハハハハハハハ
　ハハハハハハハハハハハハハハハハ

もう諦めろ！　サルには数学は無理！

>だけど、”ｍ＝∞”とは言ってない！あくまで、lim (ｍ→∞)

見苦しいいいわけするな　サル！
自然数の値をとらないんだろ？
サルには理性の欠片もない！！！

ギャハハハハハハハハハハハハハハハ
　ハハハハハハハハハハハハハハハハ
　ハハハハハハハハハハハハハハハハ
　ハハハハハハハハハハハハハハハハ
625 名前：１３２人目の素数さん mailto:sage [2017/10/20(金) 21:47:09.54 ID:j4QeECf9.net]: >>562
>極限と、関数が取る値とは異なるよ

じゃ、極限は無意味だな
関数がとる値だけが意味がある

決定番号が皆自然数である、と認めるならば
当然ｎ個の列の決定番号の最大値Dが存在する
そしてDより後ろの尻尾も当然存在する

ｍ個の数列からランダムに選んだ１列の決定番号をｄとすれば
「決定番号ｄがＤより小さい確率」と「決定番号ｄがＤ以上である確率」は
それぞれ（ｍ－１）／ｍと１／ｍ
626 名前：１３２人目の素数さん mailto:sage [2017/10/20(金) 22:26:36.14 ID:5KRmi8mb.net]: 箱を閉じて出題が完了して100列並んだ時点で100個の決定番号は確定している。
だから100個のdのmaxも確定している。
どれを選べば勝てるかも確定している。

これを理解するのがそんなに難しいか？
627 名前：１３２人目の素数さん [2017/10/20(金) 22:47:24.91 ID:DQcMRd0B.net]: ＞サルの調教師の人数が減っただけ
確かに
サルのものおぼえと素行の悪さに呆れて去って行った御仁は少なくない
628 名前：１３２人目の素数さん [2017/10/20(金) 22:51:55.49 ID:DQcMRd0B.net]: >>547
＞>結局分かってないのは一人だけのようで
＞いや、分ってないのは３人に減ったんだ
＞以前は、もっと沢山いた（＾＾
いや、俺が言ってるのはサル一匹ってことだよｗ
629 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/20(金) 22:54:46.05 ID:nXsa98Fj.net]: >>561 参考

棋譜がダウンロードできて、並べてみたが、面白いね（＾＾
medaka.2ch.net/test/read.cgi/gamestones/1508065320/214
コンピューター囲碁ソフトについて語るスレ52
214 名前：名無し名人[sage] 投稿日：2017/10/19(木) 17:19:24.54 ID:hQ/3Zi4s [1/6]
(抜粋)
4. モンテカルロ法(Rollout)は使っていない。

個人的には 4. が衝撃でした。
以下はメモです。
人間がよく打つ隅の定石を見つけた(5つの例)。
33に入る定石は5手目に黒がケイマに飛ぶ形を最終的に好む
学習の初期は石を取ることを好み、次に死活の基礎を学び、最終的にバランスが取れた美しい手を打つ
学習から36時間でセドル戦のバージョンに追いついた。
セドル版には100-0で勝つ。
プロの手の一致率は48%ぐらいと低い。プロの手から学習したものは54%ぐらい。
ResNetが単なるConvolutionより優秀で、PolicyとValueを一つのネットワークで評価するのが優秀。

出力はValueとPolicy。一つのネットワーク。
入力は石の配置と着手履歴(棋譜)。
0から7手前までの黒、白の配置と手番(17面)
ResNetを使ってる。Batch Normalizationあり。
40 Residual Block
1 Block は (3x3 256, BN, ReLU)が2つ。つまり 80層のConvolution
ZeroはMasterに89勝11敗
MasterはZeroと同じ手法で作られているが、人が作ったRolloutは使っていた。

学習段階ではMCTSを使ってる。
学習の中に先読みを取り入れた、新しい強化学習
--------------------------------------------------------
自己対戦の棋譜はこちらにあるようです。
AlphaGo Zeroの自己対戦の棋譜
https://www.nature.com/nature/journal/v550/n7676/extref/nature24270-s2.zip
524.teacup.com/yss/bbs/
630 名前：１３２人目の素数さん [2017/10/20(金) 22:54:55.18 ID:DQcMRd0B.net]: おサル、いやスレ主さん
決定番号が自然数でないことを証明できますか？
正しい証明を示したらあなたの主張に全面同意しますよ
（まあ100%無理なんだがｗ）
631 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/20(金) 22:59:57.81 ID:nXsa98Fj.net]: >>563-564 & >>566-567

ピエロ、ご苦労（＾＾

ID二つ使って、ご苦労さん（＾＾

小学生だからね、確率は難しいよね（＾＾
632 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/20(金) 23:03:00.68 ID:nXsa98Fj.net]: >>569
>決定番号が自然数でないことを証明できますか？

その発言こそ、ピエロが極限の∞と、
集合の元としての∞との、

区別がついていない証拠だよ～（＾＾
高校数III、しっかり復習してね～（＾＾
633 名前：１３２人目の素数さん [2017/10/20(金) 23:17:41.35 ID:DQcMRd0B.net]: >>554
＞そして、”確率”を考えているし、
＞「決定番号が、１からｎの間に来る確率」と「決定番号が、ｎを超える確率」との比較だからね
＞おかしいことはないよ
誰もおかしい（間違っている）とは言っていない
ナンセンスだと言っている
ナンセンス　わかる？　無意味って意味だよ
決定番号はただ自然数でありさえすれば時枝戦略は成立するんだよ
だから「決定番号が、１からｎの間に来る確率」やら「決定番号が、ｎを超える確率」やらを
いくら論じた所でナンセンス、「戦略不成立」の何の裏付けにもならない
と言ってるんだよ、わかるかな？おサルさん

要するにおサルさんは、
「決定番号は”極めて変な数”だから確率計算に用いることはできない」
と言いたいんでしょ？ざんねーーーーん、決定番号はただ自然数でありさえすれば戦略せいりーーーつ
まあ自然数自体を理解できないスレ主に言ってもサルの耳に念仏かな？
634 名前：１３２人目の素数さん [2017/10/20(金) 23:25:27.62 ID:DQcMRd0B.net]: >>571
＞>決定番号が自然数でないことを証明できますか？
＞その発言こそ、ピエロが極限の∞と、
＞集合の元としての∞との、
＞区別がついていない証拠だよ～（＾＾

やっぱりサルだ
俺は"∞"やら"極限"やら一言も言ってないのに、何だよそのいみふなレスはｗ
サルは数学の前に人間の言葉を勉強しなきゃ
635 名前：１３２人目の素数さん [2017/10/20(金) 23:29:53.40 ID:DQcMRd0B.net]: >>558
＞なので、無限個でも列が有限の長さの場合と同様に、決定番号はしっぽの最後に偏在するから
しっぽの最後とは？何項目？自然数で答えてね
636 名前：１３２人目の素数さん [2017/10/21(土) 00:52:20.27 ID:ES3wjZVK.net]: おっちゃんが数学科に来て何をするんだよｗ
637 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 04:56:10.89 ID:dBoxE7uy.net]: >>575
釣り乙。
638 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 06:49:09.60 ID:jvmgM9bn.net]: >>570
おサル　完全に妄想にとりつかれる

♪あれもピエロ　これもピエロ
　たぶんピエロ　きっとピエロ
639 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 06:57:30.33 ID:jvmgM9bn.net]: >>571
>>決定番号が自然数でないことを証明できますか？
>その発言こそ、ピエロが
>「極限の∞と集合の元としての∞との区別がついていない」
>証拠だよ～（＾＾

おやおや、おサルは>>562の
>極限と、関数が取る値とは異なるよ
が
「極限はボクの狂った精神が生んだ妄想なんだよ」
という自白だと気づけないようだ

決定番号が自然数なら、それが皆同じであろうが全部違っていようが
無限列なら尻尾が必ずとれるから箱入り無数目の方法は成功する

サルはどうしても認めたくないようだが
「列には最後が存在し、決定番号は列の最後に偏在する」
という性質は極限では保存されない
現に、無限列には最後が存在せず、ゆえに
決定番号はすべて列の先頭もしくは途中である
自然数になる
640 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 07:05:08.68 ID:jvmgM9bn.net]: >>572
>決定番号はただ自然数でありさえすれば時枝戦略は成立するんだよ

決定番号が自然数でなかったら、代表元はもとの列と同値でないことになる
つまり、同値関係と代表元の定義に反する

>要するにおサルさんは、
>「決定番号は”極めて変な数”だから確率計算に用いることはできない」
>と言いたいんでしょ？

要するにおサルさんは箱入り無数目の戦略が全く理解できないだけ

バカの一つ覚えで、ある自然数ｍの場所の箱を選ぶわけではない

１００列のうち、９９列の決定番号の最大値Dを知った上で
Dの場所の箱を選ぶ。つまりDはその都度変わる

Dの分布は、決定番号ｄの分布同様わかりようがない
それでも、成功確率が計算できるのは、
１００個の決定番号のうち、他より大きい番号は
たかだか１個だとわかっているから
641 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 09:49: ]: [ここ壊れてます]
642 名前：12.14 ID:VhOZGB/z.net mailto: >>579
その都度って何の都度？ []: [ここ壊れてます]
643 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 09:51:08.48 ID:VhOZGB/z.net]: >>579
Dの分布は分からないって言ってるけど、それ何？
定義して。
644 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/21(土) 10:03:43.17 ID:nXc5pZQW.net]: >>561
>DOI:10.1038/nature24270 | 英語の原文
>（有料）

表から行くと有料だが
DeepMindのサイトに、裏口からNature論文のPDFが落とせるね
棋譜もいろいろダウンロードできる
グラフとか動画が面白い

https://deepmind.com/blog/alphago-zero-learning-scratch/
AlphaGo Zero: Learning from scratch Demis Hassabis David Silver DeepMind Wednesday, 18 October 2017
(抜粋)

Read the paper doi:10.1038/nature24270 Nature 2017（3 5 4 | N AT U R E | VO L 5 5 0 | 1 9 o c to b er 2 0 1 7）
https://www.nature.com/articles/nature24270.epdf?author_access_token=VJXbVjaSHxFoctQQ4p2k4tRgN0jAjWel9jnR3ZoTv0PVW4gB86EEpGqTRDtpIz-2rmo8-KG06gqVobU5NSCFeHILHcVFUeMsbvwS-lxjqQGg98faovwjxeTUgZAUMnRQ

Download AlphaGo Zero games （棋譜）
www.alphago-games.com/

以上
645 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/21(土) 10:18:35.70 ID:nXc5pZQW.net]: >>580-581

ID:VhOZGB/zさん、どうも。スレ主です。
ひさびさの新人ですかね（＾＾

ピエロこと、ID:jvmgM9bn は、>>1にその正体を書いておいたが
別名 ”不遇な「一石」”ともいう
yahoo（下記）にこんなことを書いている人ですよ（＾＾
https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl

サイコパスなので、お気を付けあそばせ
弱みを見せると噛みつかれますよ

学力は小学生レベルで大したことないんだが（＾＾
まあ、ゆっくり遊んでいってください（＾＾
646 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/21(土) 10:22:18.05 ID:nXc5pZQW.net]: >>579
ピエロご苦労
ピエロは小学生なのに、作文沢山書いてえらいね

だが、書いている内容が雑なんだよね（＾＾
だから、>>580-581のような数学的な突っ込みが入るんだよね（＾＾

しっかり教えて貰いなさい（＾＾
647 名前：１３２人目の素数さん [2017/10/21(土) 10:49:36.59 ID:bxbqpzCw.net]: ＞だが、書いている内容が雑なんだよね（＾＾
と、「しっぽの最後」なるものが数列の何項目のことなのか頑なに答えないサルが申しております
648 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 11:34:43.16 ID:VhOZGB/z.net]: >>584
> だが、書いている内容が雑なんだよね（＾＾

雑だからではなく、決定的に勘違いしている可能性があるので聞いています。
もちろんきちんと理解している可能性もありますよ。
それは>>580-581への回答で分かります。
>>579の　Dの分布　とは何か？きちんと数学的な定義をしてもらえれば。

>>579
> １００列のうち、９９列の決定番号の最大値Dを知った上で
> Dの場所の箱を選ぶ。つまりDはその都度変わる
>
> Dの分布は、決定番号ｄの分布同様わかりようがない
> それでも、成功確率が計算できるのは、
> １００個の決定番号のうち、他より大きい番号は
> たかだか１個だとわかっているから
649 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/21(土) 13:11:09.39 ID:nXc5pZQW.net]: >>586
どうも。スレ主です。

「雑だからではなく、決定的に勘違いしている可能性があるので聞いています。」ですか（＾＾

おーい、ピエロ！
しっかり、答えるんだよ！！（＾＾
650 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 13:22:51.38 ID:dBoxE7uy.net]: >>587
おっちゃんです。
>おーい、ピエロ！
一行の短文で尚かつ「数学科に来て何をするんだよｗ」と書いている>>575の ID:ES3wjZVK もなw
これから数学科に行くとはどこにも書いていないし、何をいっているのか訳分からん。
何かを補足するか或いは訂正して読まないと、意味が通じない日本語になっているんだわ。
651 名前：１３２人目の素数さん [2017/10/21(土) 13:35:04.36 ID:bxbqpzCw.net]: >>587
＞「しっぽの最後」なるものが数列の何項目のことなのか

おーい、サル！
しっかり、答えるんだよ！！（＾＾
652 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/21(土) 15:21:48.84 ID:nXc5pZQW.net]: >>588
おっちゃん、どうも、スレ主です。
論文投稿楽しみに待っているよ（＾＾
よろしくね
653 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/21(土) 15:27:21.65 ID:nXc5pZQW.net]: >>589
ピエロ逃げてるね～（＾＾
それ、懸命かもしれんなー（＾＾

まあ、「決定的に勘違いしている可能性」（>>586）なんて、やさしく書いてあるけど
"決定的に勘違いしている”ことは、それ事実だからねー（＾＾

まあ、おれから言わせれば、ピエロの"決定的に勘違い”が多すぎて
いったい、どの勘違いを指しているのかが、不明なだけだがね（＾＾

それに、ID:VhOZGB/zさん、ピエロよりレベル高そうだし（＾＾
654 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/21(土) 15:52:56.35 ID:nXc5pZQW.net]: ひさびさの新人さんなので、議論のお邪魔しないように、別のことを書こう
現代確率論からの帰結をね

これ、前から、一度はっきり書いておこうと思っていたんだ（＾＾

さて、(>>465より)
スレ41”>>164 東北大尾畑伸明先生”を抜粋再録
過去スレ41 rio2016.2ch.net/test/read.cgi/math/1504332595/164
(抜粋)

例えば、下記引用の東北大尾畑伸明先生のPDFでも見てみろってんだよ！！
P17に、定義3.2.2 事象の(有限または無限) 列の独立とか、定義3.3.1 確率変数の(有限または無限) 列の独立とかあるだろ？

現代確率論で、無限列を扱う理論は、すでに確立されているわけで
時枝記事は、それに矛盾しているって、知らないのか？

www.math.is.tohoku.ac.jp/~obata/student/graduate/past.html
大学院科目 | 東北大学大学院情報科学研究科システム情報科学専攻尾畑研究室尾畑伸明
www.math.is.tohoku.ac.jp/~obata/student/graduate/file/2011-GSIS-ProbModel.pdf
平成23(2011)年度
確率モデル論 (情報科学研究科・国際高等研究教育院) 応用解析学 (工学研究科)共通
(引用終り)

つづく
655 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/21(土) 15:53:42.48 ID:nXc5pZQW.net]: >>592 つづき

で上記より

”3.2 事象の独立性
定義3.2.2 事象の(有限または無限) 列A1,A2, ・・・が独立(independent) であるとは,
そこから選んだ任意有限個の事象Ai_1 ,・・・,Ai_n (i_1 < i_2 < ・・・ < i_n) が
P(Ai_1∩ Ai_2∩ ・・・ ∩ Ai_n) ：= P(Ai_1 )*P(Ai_2 )*・・・* P(Ai_n)
を満たすときにいう.”
(引用終り)

つづく
656 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/21(土) 15:54:08.63 ID:nXc5pZQW.net]: >>593 つづき

”35 rio2016.2ch.net/test/read.cgi/math/1497848835/15 時枝問題（数学セミナー2015 11月号の記事）”（>>11）
15 自分返信：現代数学の系譜古典ガロア理論を読む[sage] 投稿日：2017/06/19(月) 14:25:00.28 ID:KSjG2B/B [15/40]
>>14 つづき
数学セミナー201511月号P37 時枝記事より

「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)
しかし，素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－�
657 名前：|他の箱から情報は一切もらえないのだから. 勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる. ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる，といってもよい.」 (引用終り) つづく []: [ここ壊れてます]
658 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 15:55:58.60 ID:VhOZGB/z.net]: >>592
> ひさびさの新人さんなので、議論のお邪魔しないように、別のことを書こう
> 現代確率論からの帰結をね

残念ながらスレ主は問題外。論理不通。数学以前ですね。
659 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/21(土) 15:59:23.16 ID:nXc5pZQW.net]: >>594 つづき

尾畑伸明先生>>593の通り、また、上記時枝の記事に有るとおり
現代確率論では、”独立”の定義は、下記
P(Ai_1∩ Ai_2∩ ・・・ ∩ Ai_n) ：= P(Ai_1 )*P(Ai_2 )*・・・* P(Ai_n)

そして、箱に任意の実数をランダムに入れるとき、∀i,n∈N(自然数) で、P(Ai_n)＝0 （自明なので説明は省略する）
強調しておくが、これ、現代確率論では定義だよ！！

で、時枝記事で、最初の１列に主題者が箱に実数を入れたとき、P(Ai_n)＝0！なんだよ！！
で、それを並べ替えたら、どこかの箱の数を、確率 99/100で的中できるだと？？

この話題の初期の過去スレに、どなたか”並べ替えたら確率が変化すると考えざるを得ない”旨の発言があったね（＾＾
普通、そこにトリックの臭いを感じないとしたら、あまりに、現代確率論に疎いと言わざるを得ない！

まあ、ピエロは小学生だから、仕方ないがね（＾＾

以上
660 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/21(土) 16:02:20.39 ID:nXc5pZQW.net]: >>595
ああ、新人さんじゃないのか？
まあ良い

ディベート好きな、High level peopleさんかな？
良い議論を期待していますよ（＾＾
661 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 16:10:18.42 ID:VhOZGB/z.net]: >>597
スレ主はピエロと呼んでる人に相手にされてるうちが華
馬鹿をやりすぎて誰にも相手にされなくなったら人間終わりだと思います
たとえ匿名掲示板でもあってもね
662 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 16:36:44.41 ID:jvmgM9bn.net]: >>580
>>１００列のうち、９９列の決定番号の最大値Dを知った上で
>>Dの場所の箱を選ぶ。つまりDはその都度変わる
>その都度って何の都度？

１００列選ぶ度
663 名前：１３２人目の素数さん [2017/10/21(土) 16:41:54.82 ID:bxbqpzCw.net]: 自覚のあるバカは救い様がある
スレ主は救い様が無い
664 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 16:44:23.38 ID:jvmgM9bn.net]: >>584
＞「しっぽの最後」なるものが数列の何項目のことなのか頑なに答えないサル
>>589
＞おーい、サル！しっかり、答えるんだよ！！

存在しないのだから答えられないだろ
負けているのに負けたと認めないのがサル
サルには理性がない

>>591
＞ピエロ逃げてるね～（＾＾

サルは痛いとこつく相手がみなピエロに見えるらしい
665 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 16:52:50.25 ID:VhOZGB/z.net]: >>599
> １００列選ぶ度

それは曖昧すぎる
100列を選ぶってどういうこと？
出題の1列から100列に並べ替えるということ？
100列から1列を選ぶということ？
666 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 17:09:49.66 ID:jvmgM9bn.net]: >>602
＞100列を選ぶってどういうこと？
箱の中身を一旦捨てて全部新しく入れなおす、ということ

＞出題の1列から100列に並べ替えるということ？
箱の中身はそのままで、列を作り直す、という限定的な意味ではない

＞100列から1列を選ぶということ？
それはいくら何でも日本語の読み方が間違ってる
「１００列（を）選ぶ」と「１００列から１列（を）選ぶ」は意味が全然違う

＞それは曖昧すぎる
「箱の中身を一旦捨てて全部新しく入れなおすはずがない」
という先入見に固執するから読み方がねじくれる
667 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 17:14:22.84 ID:jvmgM9bn.net]: ID:VhOZGB/z氏の主張が
「確率99/100は、100列を固定した状態で、どの1列かを選ぶ場合に限定される」
であれば、そもそも>>554の
「「決定番号が、１からｎの間に来る確率」と「決定番号が、ｎを超える確率」との比較」
については、「箱入り無数目」では何の意味も持たない、ということになるし
実際その通りである
668 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 17:14:23.57 ID:VhOZGB/z.net]: >>603
> 箱の中身を一旦捨てて全部新しく入れなおす、ということ

それはディーラーが、ですよね？
つまりゲームをイチからやり直すと。
ディーラーが箱の中身の数字を詰めなおすところからやり直しだと。
そういうわけですね？
669 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 17:16:08.93 ID:VhOZGB/z.net]: >>604
> ID:VhOZGB/z氏の主張が
> 「確率99/100は、100列を固定した状態で、どの1列かを選ぶ場合に限定される」
> であれば、

まあまあ。まずは貴方の考えをきちんと聞きますよ。
>>605に答えてくださいな。
あなたが確率99/100で数当てが成功すると考えている、
その　問　題　設　定　をきちんと理解しなければね。
670 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 17:17:46.38 ID:VhOZGB/z.net]: >>604
まあ>>554のような人間は問題外ですよ。相手しなくてよいでしょう。
671 名前：１３２人目の素数さん [2017/10/21(土) 17:31:58.16 ID:bxbqpzCw.net]: >>607
いい加減相手したくないのだが、誰もが見れる掲示板で嘘八百書かれるとねえ
672 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 17:36:29.65 ID:VhOZGB/z.net]: >>608
気持ちはすごく分かりますよ
673 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 17:58:47.47 ID:jvmgM9bn.net]: >>605
>ゲームをイチからやり直すと。
>箱の中身の数字を詰めなおすところからやり直しだと。
>そういうわけですね？

あなたが何を気にしているのかはわかりますよ

ズバリ「積分順序交換公理」の亡霊の復活を懸念してるんでしょう？

確かにいちいち箱の中身を入れ替えた場合の試行でも
確率99/100が云える、というのであればその懸念は
あながち外れてはいないでしょうね

P.S,
どうせそのネタで突っ込むんなら
積分の順序交換と連続体仮説について
説教してくれるくらいのサービスしても
バチは当たらないんじゃないかな
https://togetter.com/li/300233
674 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 18:14:56.54 ID:VhOZGB/z.net]: >>610
> 確かにいちいち箱の中身を入れ替えた場合の試行でも
> 確率99/100が云える、というのであればその懸念は
> あながち外れてはいないでしょうね

もう言うことはなくなりました。
貴方はスレ住人にとって魔物をやっつけにきてくれるウルトラマンみたいなものですｗ
けれど自明でない"確率99/100"をあたかも自明かのように言われてしまうと
貴方がウルトラマンなのか魔物なのか分からなくなってしまうのですｗ
確率99/100が自明な問題設定と、そうではない問題設定がある。
それをハッキリ分かっているようなので安心しました。
675 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 18:18:22.45 ID:VhOZGB/z.net]: >>610
> 説教してくれるくらいのサービス

私にたいした数学力はありませんから。
自明でないものは自明でない！証明しろ！と声を荒げるだけのしがない野次馬ですよ。
ちなみに自明でないと言ってるだけで間違いとも言ってませんので。
676 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 19:08:21.91 ID:jvmgM9bn.net]: >>611
>もう言うことはなくなりました。
有難う御座います

>>612
貴方は積分交換が非決定問題だと知っていて
突っ込んでいると思ってましたが
まあどちらでもいいですよ
積分交換可能公理が連続体仮説の否定につながる
と知ったのは収穫ですから

P.S.

まあ、サルが
「無限個の箱を2列以上に並べ変えることは許さん！！！
　1列なら他の列を開けて決定番号を知ることはできないから
　確率0/1=0だろう　どうだまいったか　ガハハハハハハ」
とほざくなら、こういうしかありませんけどね

「どうぞご随意に」
677 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/21(土) 19:18:29.29 ID:nXc5pZQW.net]: >>611-612
なんだよ、それで終わり？（＾＾

>私にたいした数学力はありませんから。
>自明でないものは自明でない！証明しろ！と声を荒げるだけのしがない野次馬ですよ。

ありゃりゃ
あなた、スレ24 で、”固定”（下記）とか議論していた High level people の片割れでしょ？

で、ピエロに”固定”を潰されたでしょ！
じゃ、何を根拠に時枝記事がなり立つというのでしょうね？

そもそも、確率論の専門家さんが来て議論して、「ありがとう、勉強させてもらった・・貴方がもっと早く現れていれば無駄な議論を重ねずに済んだのだが」（下記）と納得していたでしょ？
それで、その後”固定”なるものを思いついて、スレ24で議論したが、結局だれにも相手にされなかった（＾＾

で、スレ24で「”固定”で良いのだ～」と入っていたのを
ピエロに”固定”なる概念を潰されたでしょ

おれから言わせれば、あなた方の”固定”を潰されたら、
時枝記事がなり立つ”根拠なし”だ�
678 名前：ﾆ思うのだが・・？（＾＾ スレ24 http://rio2016.2ch.net/test/read.cgi/math/1483314290/64 (抜粋) 64 名前：１３２人目の素数さん[sage] 投稿日：2017/01/23(月) 00:31:20.35 ID:jN0I4ddn >>63ですが、理解したつもりです。 結局のところ、固定されたいかなるsでもν(s)≧99/100と言えることがポイントですね。 (引用終り) スレ41 http://rio2016.2ch.net/test/read.cgi/math/1504332595/25-30 (抜粋) 541 名前：１３２人目の素数さん[sage] 投稿日：2016/07/04(月) 00:04:35.65 ID:hgUPmIoq [1/10] ありがとう、勉強させてもらった このスレにはそこまで理解している人間はいなかった 貴方がもっと早く現れていれば無駄な議論を重ねずに済んだのだが (引用終り) []: [ここ壊れてます]
679 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/21(土) 19:19:29.01 ID:nXc5pZQW.net]: >>611
>もう言うことはなくなりました。
>貴方はスレ住人にとって魔物をやっつけにきてくれるウルトラマンみたいなものですｗ

何いってんだか（＾＾
意味不明だよ
そもそも、自分達の立てたスレ24 rio2016.2ch.net/test/read.cgi/math/1483314290/ の後始末はどうなってんだ？

”スレ住人にとって”？
勝手に、”スレ住人”を名乗られてもね～（＾＾

あなた別に、このスレに粘着する
必要も必然もないんだよね、そうでしょ？（＾＾

ウルトラマンごっこのガキ小学生が、
本物のウルトラマンに見えるのかい？

おいおいだね（＾＾
ピエロは何にも分ってないガキ小学生そのものじゃない！！（＾＾
680 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/21(土) 19:20:22.60 ID:nXc5pZQW.net]: >>608-609

ああ、ようやく分った

ID:bxbqpzCwさんは、先の>>461 で
「３人のレベルは、次の順だろうな（＾＾
　ID:bPemQkdy ＜ ID:SI3SuPyZ (小学生レベルのピエロくん) ＜ ID:pmcWQ1FT （ High level people さん（数III レベルか））」
と書いた、最低レベルの人かな？（＾＾

その粘着質的カキコを見ると、スレ24の High level people の片割れかな（＾＾
あなたは、以前は、もう少しレベルが高いように思ったのだが・・・（＾＾

悪いが、３人相手をするのが面倒なので
最低レベルの人は無視させてもらうよ（＾＾
681 名前：１３２人目の素数さん [2017/10/21(土) 19:25:13.81 ID:bxbqpzCw.net]: ↑
サル発狂の図
682 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/21(土) 19:30:48.71 ID:nXc5pZQW.net]: >>613
ピエロ、良かったね
優しい方のHigh level people の人で

もう一人のHigh level people には、
中学生呼ばわりされていたね（＾＾

>積分交換可能公理が連続体仮説の否定につながる

？？・・ ”積分交換可能公理”か
まあ、重箱の隅だとは思うがね（＾＾

でもな、”・・連続体仮説の否定につながる”という言説を聞くと
「時枝の否定が、連続体仮説の否定につながる」というピエロの幼い主張を思い出すね・・（＾＾

まあ、「無限公理に反例がある」とかないとか・・
公理からみのピエロの失言の数々を思い出すと、

おまえは本当に「数学における公理が分ってないんじゃないか」という疑念が
ふつふつと湧くね（＾＾
683 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/21(土) 19:45:52.92 ID:nXc5pZQW.net]: >>618 関連

下記”tenapi さん”は、その後の”ゼルプスト殿下 (@tenapyon)”かも・・（＾＾
https://togetter.com/li/300233
まとめトップカテゴリー学問・教養数学
積分の順序交換と連続体仮説 togetter 2012年5月8日
(抜粋)
嘉田勝 @kadamasaru 2012-05-08 08:03:24

@tenapi @t_uda @hrizm_math ちなみに積分順序交換で値が変わる関数は連続体仮説よりだいぶ弱い non(N)=c という仮定から構成できます。tenapi さんご指摘のとおり ZFC だけでは無理。
(引用終り)

過去スレ40 rio2016.2ch.net/test/read.cgi/math/1503706544/79 より
(抜粋)
「超限順序数と無限玉入れ勝敗判定」(ゼルプスト殿下 @tenapyon) [abstract]
tenasaku.com/academia/notes/kansaimath8-tenapyon-abstract.pdf
超限順序数と無限玉入れの勝敗ゼルプスト殿下 (@tenapyon) 第 8 回関西すうがく徒のつどい

ゼルプスト殿下(藤田博司先生愛媛大)PDF tenasaku.com/academia/notes/kansaimath8-tenapyon-slides.pdf
684 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/21(土) 20:14:56.43 ID:nXc5pZQW.net]: >>618 訂正

「時枝の否定が、連続体仮説の否定につながる」というピエロの幼い主張を思い出すね・・（＾＾
　↓
「時枝の否定が、選択公理の否定につながる」というピエロの幼い主張を思い出すね・・（＾＾

すまんな
筆が滑った（＾＾
685 名前：１３２人目の素数さん mailto:sage [2017/10/21(土) 23:41:27.36 ID:VtqrS5wP.net]: ガロア理論関係なくね？
686 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 07:22:12.50 ID:Gs9aL4/2.net]: >>614
＞”固定”を潰されたでしょ！
＞”固定”なる概念を潰されたでしょ

妄想でしょ

要は、確率99/100が度論で正当化されるのは
「箱の中身はいれかえずにただ、列だけを選び直す試行を繰り返す」
場合のみということだね

＞おれから言わせれば、あなた方の”固定”を潰されたら、
＞時枝記事がなり立つ”根拠なし”だと思うのだが・・？

誤解でしょ

要は、箱入り無数目記事の確率99/100の主張は
「箱の中身を毎回入れ替えた試行を繰り返す」
場合のものではないってことだね
687 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 07:24:10.68 ID:Gs9aL4/2.net]: >>621
＞ガロア理論関係なくね？

関係ないよ
そもそもスレ主はガロア理論理解してないし
688 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/22(日) 08:54:43.31 ID:jBlaYViq.net]: >>622
High level people さんかな？

>要は、確率99/100が度論で正当化されるのは
>「箱の中身はいれかえずにただ、列だけを選び直す試行を繰り返す」
>場合のみということだね

”度論”とか意味不明だし（＾＾

多分、あなたが見つけた
Sergiu Hart氏のPDF www.ma.huji.ac.il/hart/puzzle/choice.pdf? （>>463にも引用したが）より

”For every sequence x ∈ X and k = 1, ・・・,K, let y^k denote the subsequence of
x consisting of all coordinates x_n with indices n ≡ k (thus y^k_m = x_k+(m?1)K ),”

とあるでしょ
つまり、Sergiu Hart氏の場合は、合同式（mod）を使っているので、「箱の中身はいれかえずにただ、列だけを選び直す試行を繰り返す」は論外です

そして、合同式（mod）を使うのはごく普通でしょ
だから、その文の言っていることが全く意味不明です

まあ、ともかく
ピエロが、High level people の”固定”なる概念を潰したことで
彼らは、”固定””固定”と叫ばなくなった。これだけは、確かなピエロの功績ではある（＾＾
689 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/22(日) 08:56:07.11 ID:jBlaYViq.net]: >>621
どうも。スレ主です。

ガロア理論関係ないです（＾＾

”雑談”です（＾＾
690 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! [2017/10/22(日) 09:33:31.67 ID:t/L2uQjm.net]: o.8ch.net/zl63.png
691 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 09:35:33.97 ID:Gs9aL4/2.net]: >>624
>”度論”とか意味不明だし

それ”測度論”ね

>>622の
「箱の中身はいれかえずにただ、列だけを選び直す試行を繰り返す」
はSergiu HartのPDFとは無関係だよ

だいたいSergiu HartのPDFでは列の構成法について述べてるだけだから
>>622で云ってることが通用するよ

＞ピエロが、High level people の”固定”なる概念を潰した

何度でも言うけど、それ、妄想ね

確率99/100は
「箱の中身はいれかえずにただ、列だけを選び直す試行の繰り返し」
の結果だから
692 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 10:27:45.66 ID:MnyUfjws.net]: >>624
> つまり、Sergiu Hart氏の場合は、合同式（mod）を使っているので、「箱の中身はいれかえずにただ、列だけを選び直す試行を繰り返す」は論外です

百歩譲って"論外"だったとしよう。
「箱の中身はいれかえずにただ、列だけを選び直す試行を繰り返す」
という論外の設定だったら確率99/100は認めるの？認めないの？
693 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 12:22:57.33 ID:gQCjqbC3.net]: スレ主さんは感謝しないと罰が当たりますぞ
あなたがどこで躓いているのか探るのにこれほど骨を折ってもらっているのだから
694 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/22(日) 14:09:43.51 ID:jBlaYViq.net]: ＜おちこぼれ達のための補習講座9＞

幼い小学生ピエロは無視して、
High level people さんたちのために（＾＾

（形式的冪級数環と多項式環とを使った証明のスケッチ）
（まあ、突然かたい証明文を投下しても、どうも読めないようだし・・、なのでまずスケッチから・・）

１）形式的冪級数環←→時枝の箱の無限数列：（下記”より形式的な定義”にご注目）
　https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E5%86%AA%E7%B4%9A%E6%95%B0
　形式的冪級数
　(抜粋)
定義
A を可換とは限らない環とする。A に係数をもち X を変数（不定元）とする（一変数）形式的冪級数 (formal pow
695 名前：er series) とは、各 ai (i = 0, 1, 2, ...) を A の元として、 Σ _{n=0～∞ } a_n*X^n=a_0+a_1*X+a_2*X^2+・・・ の形をしたものである。ある m が存在して n ? m のとき an = 0 となるようなものは多項式と見なすことができる。 形式的冪級数全体からなる集合 A[[X]] に和と積を定義して環の構造を与えることができ、これを形式的冪級数環という。 より形式的な定義 N を非負整数全体の集合とし、集合 AN すなわち N から A への関数（A に値を持つ数列）全体を考える。この集合に対し (a_n)_n+(b_n)_n=(a_n+b_n)_n (a_n)_n*(b_n)_n=(Σ _{k=0～∞ } a_{k}*b_{n-k} )_n によって演算を定めると、A^N は環になることが確かめられる。これが形式的冪級数環 A[[X]] である。 ここでの (a_n) は上の Σa_n*X^n と対応する。 つづく []: [ここ壊れてます]
696 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/22(日) 14:10:11.40 ID:jBlaYViq.net]: >>630 つづき

２）多項式環←→時枝の箱の無限数列の同値類
　https://ja.wikipedia.org/wiki/%E5%A4%9A%E9%A0%85%E5%BC%8F%E7%92%B0
　多項式環
　(抜粋)
定義
体 K に係数を持つ不定元 X に関する多項式とは
　p(X)=p_m*X^m+p_m-1*X^m-1+・・・ +p_1*X+p_0 =Σ _{k=0～m }p_k*X^k
の形の式のことである。ここで p_0, ・・・, p_m は K の元で、p の係数といい、X, X^2, ・・・は形式的な記号だが X の冪という。
注意すべき点として、多項式には項が有限個しかないこと－つまり十分大きな k（ここでは k > m）に関する係数 p_k がすべて零であるということ－は、暗黙の了解である。

体 K に係数を持つ多項式全体の成す集合は可換環を成し、K[X] で表して、K 上の多項式環 (ring of polynomials over K) と呼ぶ。

環 K[X] の性質
体上の多項式環 K[X] は多くの面で整数全体のなす環 Z と非常によく似ている。この類似性と多項式環の算術はガウスによって徹底的に調べられ、ガウスの理論は19世紀後半のクンマー、クロネッカー、デデキントらの手による抽象代数学の発展のモデルとしての役割を果たした。
(引用終り)

つづく
697 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/22(日) 14:10:38.23 ID:jBlaYViq.net]: >>631 つづき

３）補足１：特に上記２）について
　１．上記１）は、分るでしょ（＾＾。形式的冪級数環の元と、可算無限個の箱の数列とが対応する
　２．上記２）は、補足が必要だろう。形式的冪級数環の元sとs'とで、”ある番号から先のしっぽが一致する”なら、差 Δ＝s－s'は、多項式になり多項式環の元になる
　３．時枝の箱の無限数列の同値類”U”について、任意の二つの元sとs'について、上記２は当然成り立つ
　４．まとめると、同値類”U”で、ある元s∈U（例えば代表）と、任意のs'∈Uで、s'＝s－Δ、 Δ∈多項式環K[X]とできる

４）補足２：決定番号について（有限ではあるが、上限はない）
　１．決定番号は、上記同値類の差 Δ＝s－s' 多項式の次数mを通して考えることができる
　２．多項式環K[X]に属する多項式の次数mには、上限がない。∵m次多項式と１次多項式の積からm+1次多項式ができる。（ペアノに同じ）
　３．しかし、任意のmは有限である。（自然数の元に同じ）

５）補足３：しっぽの同値類の共通部分 co-tailについて
　１．上記”４）補足２”の４項より、s'＝s－Δ で、Δは有限次数だから、しっぽが空（φ）となることはない

つづく
698 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/22(日) 14:11:05.95 ID:jBlaYViq.net]: >>632 つづき

６）補足４：多項式環K[x]の完備化が形式的冪級数環K[[x]]になること

https://ja.wikipedia.org/wiki/%E5%AE%8C%E5%82%99%E5%8C%96_(%E7%92%B0%E8%AB%96)
完備化 (環論)
(抜粋)
R = K[x_1,・・・,x_n] を体 K 上の n 変数多項式環とし、ｍ=(x_1,・・・ ,x_n)を変数によって生成された極大イデアルとする。
このとき完備化 R_ｍは K 上の n 変数形式的冪級数環 K[[x_1,・・・,x_n]] である[4]。
(引用終り)

（同英語版）
https://en.wikipedia.org/wiki/Completion_(algebra)
Completion (algebra)
(抜粋)
Examples

2. Let R = K[x_1,・・・,x_n] be the polynomial ring in n variables over a field K and ｍ=(x_1,・・・ ,x_n) be the maximal ideal generated by the variables.
Then the completion R_ｍ is the ring K[[x_1,・・・,x_n]] of formal power series in n variables over K.
(引用終り)

以上
699 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/22(日) 14:24:31.11 ID:jBlaYViq.net]: >>627-628
その話は、>>631に書いたことをご参照ください

つまり、”２）多項式環←→時枝の箱の無限数列の同値類”の視点からすれば、そこを特に区別する必要を感じないが

というか、何を意図した文章かも、判然としない

えーと、”35 rio2016.2ch.net/test/read.cgi/math/1497848835/12 時枝問題（数学セミナー201511月号の記事）”(>>11)
より
「s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^N」

ここで、s = (s1，s2，s3 ，・・・)を並び変えて、s'' = (s3，s2，s1 ，・・・) とでもするのですかね？

形式的冪級数
P(s)＝s1+s2*x+s3*x^2+・・・
↓
P(s')＝s3+s2*x+s1*x^2+・・・

となりますよね。で、それが何か？

確率99/100とどうつながるのか？

そもそも、「箱の中身はいれかえずにただ、列だけを選び直す試行を繰り返す」という行為が、測度論に乗りますかね？

はて？
700 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 14:36:08.12 ID:MnyUfjws.net]: >>628の質問を理解していないならそう書けばいいでしょうに。

>>634
> ここで、s = (s1，s2，s3 ，・・・)を並び変えて、s'' = (s3，s2，s1 ，・・・) とでもするのですかね？

全然違いますよ。
701 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! [2017/10/22(日) 14:38:40.42 ID:gQCjqbC3.net]: >>632
＞　１．上記”４）補足２”の４項より、s'＝s－Δ で、Δは有限次数だから、しっぽが空（φ）となることはない
いみふ
Nは無限集合
∀n∈N に対して {0,1,...,n} は有限集合
N\{∪[n∈N]{0,1,...,n}}={}

＞しっぽが空（φ）となることはない
がまるで示せていない
702 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 14:38:55.37 ID:Gs9aL4/2.net]: >>634
＞何を意図した文章かも、判然としない

それは>>630-633のことですかね？

＞s = (s1，s2，s3 ，・・・)を並び変えて、
＞s'' = (s3，s2，s1 ，・・・) とでもするのですかね？

いいえ　100個の数列はそっくりそのままです
各試行で変わるのは、100列の中からどの1列を選ぶか、だけです

＞確率99/100とどうつながるのか？
＞そもそも、「箱の中身はいれかえずにただ、
＞列だけを選び直す試行を繰り返す」という行為が、
＞測度論に乗りますかね？

100列の中から選んだ1列が最大の決定番号を持たない確率が99/100
100列のそれぞれが1/100の重みをもつ、という測度を考えればいいですね
703 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 14:39:04.53 ID:rZlG28iX.net]: >>634
> 確率99/100とどうつながるのか

mod 100で100列に分ければ

s_001 = (s1, s101, s201, s301, ... )
s_002 = (s2, s102, s202, s302, ... )
... ...
s_099 = (s99, s199, s299, s399, ... )
s_100 = (s100, s200, s300, s400, ... )

「列だけを選び直す試行を繰り返す」はs_001からs_100の100列の中から1つ選ぶことを繰り返す

> 測度論に乗りますかね
スレ主はサイコロを振るのが好きだから100列でなく6列に分けてみてその中から1つ選ぶことを繰り返すことを考えてみてはいかが？
704 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/22(日) 14:40:04.51 ID:jBlaYViq.net]: >>629
>スレ主さんは感謝しないと罰が当たりますぞ
>あなたがどこで躓いているのか探るのにこれほど骨を折ってもらっているのだから

まあ、>>630-633をご参照ください
時枝の可算無限個の箱の数列について、形式的冪級数環と多項式環とをモデルにして、時枝を解説させてもらいました

似たことは、１年ほどまの過去スレにもあります
が、以前と違うのは、”しっぽの同値類の共通部分 co-tailについて”（>>632）の説明が、加わっていることでしょうか

あなたがたが、どこで躓いているのかよく分らない
が形式的冪級数環（真の無限次元ベクトル空間）と、多項式環（集合の元としての多項式は有限次数に限定）と、”そこらの区別が判然としていない”のでしょうね

（多項式”環”ですから、m次多項式とn次多項式の積 m+n次多項式も含まれる。つまり、環の要素として多項式の次数の上限は無い！　自然数で、m+nが集合に含まれ”上限無し”に同じ
705 名前：です） ああ、感謝していますよ（＾＾ 多数の落ちこぼれROMの代わりに、いろいろ書いてくれているのは 小学生レベルのピエロは論外ですがね（＾＾ []: [ここ壊れてます]
706 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! [2017/10/22(日) 14:45:17.37 ID:gQCjqbC3.net]: >>639
＞まあ、>>630-633をご参照ください
見たけどウンコ以下でしたよ？　だって示したいこと（co-tailが空でない）がまるで示せていないじゃないですか
そもそも形式的冪級数環やら多項式環やら持ち出すのがまったくのナンセンスですしね
707 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! [2017/10/22(日) 14:49:39.10 ID:gQCjqbC3.net]: >>639
形式的冪級数環や多項式環の feature, property を使うなら未だしも
全く使ってないし、結論も大間違いだし、完全にいみふでしたよ
708 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! [2017/10/22(日) 15:03:18.76 ID:gQCjqbC3.net]: >>639
形式的冪級数環や多項式環なぞ持ち出したから環論の定理でも使うのかと思いきや
多項式の次数は有限とかそんなことしか使ってないし、次数が有限なんて只の定義
だし trivial 未満じゃん
そこに目をつぶったとしても最後の最後で論理が飛躍してて何の証明にもなってない
よって zero out of ten
709 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 15:06:01.82 ID:MnyUfjws.net]: >>639
> 形式的冪級数環や多項式環の feature, property を使うなら未だしも
> 全く使ってないし、結論も大間違いだし、完全にいみふでしたよ

同意。

ペダンチックに数学用語使って誤魔化そうとしてる匂いがぷんぷんします。
710 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 15:07:33.40 ID:Gs9aL4/2.net]: >>639
＞あなたがたが、どこで躓いているのかよく分らない
あなたがどこで躓いてるかみなさんよくお分かりのようですが？

端的にいえば
「数列の決定番号は必ず自然数の値をとる」という定義と
「無限個でも列が有限列の場合と同様に、決定番号はしっぽの最後に偏在する」
というあなたの思い込みが認知的不協和をおこしている

認知的不協和を解決するのは簡単です
あなたが自分の思い込みを否定すればいい
無限列にはしっぽの最後などないんですから
711 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/22(日) 15:13:50.48 ID:jBlaYViq.net]: >>633 関連

時枝とは直接関係ないが・・（＾＾
”5 Generalizations 5.1 Infinitely many variables”というのが、寡聞にしてちょっと和書では見かけないと思ったのでご紹介

https://en.wikipedia.org/wiki/Polynomial_ring
Polynomial ring
(抜粋)
5 Generalizations
5.1 Infinitely many variables

Infinitely many variables

One slight generalization of polynomial rings is to allow for infinitely many indeterminates. Each monomial still involves only a finite number of indeterminates (so that its degree remains finite), and each polynomial is a still a (finite) linear combination of monomials.
Thus, any individual polynomial involves only finitely many indeterminates, and any finite computation involving polynomials remains inside some subring of polynomials in finitely many indeterminates.

In the case of infinitely many indeterminates, one can consider a ring strictly larger than the polynomial ring but smaller than the power series ring, by taking the subring of the latter formed by power series whose monomials have a bounded degree.
Its elements still have a finite degree and are therefore somewhat like polynomials, but it is possible for instance to take the sum of all indeterminates, which is not a polynomial. A ring of this kind plays a role in constructing the ring of symmetric functions.
(引用終り)
712 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! [2017/10/22(日) 15:16:11.50 ID:gQCjqbC3.net]: スレ主さん
無限列の "しっぽの最後" なる訳の分からない物を持ち出すなら、明確な定義が必要
だから「それは何項目のこと？」と再三訊ねてるのに頑なに答えない
この時点で"しっぽの最後"論が破綻してることにいい加減気付こうよ
713 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 15:29:00.84 ID:Gs9aL4/2.net]: >>646
＞「それ（しっぽの最後）は何項目のこと？」と再三訊ねてるのに頑なに答えない

答えたら負けますから　どの自然数も必ず後者が存在するから　最後にならない
つまり　自然数の公理によれば　最後の自然数は存在しない
R^NのNは自然数全体の集合だから、列の最後も存在しない

＞この時点で"しっぽの最後"論が破綻してる

つまり、当てられっこない、という主張の根拠がなくなる
スレ主は「無限列でも有限列と全く同じ理由で当てられない」と思ってますが
無限列は有限列とは全く異なり、列の最後が存在しませんから
714 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 15:37:26.10 ID:Gs9aL4/2.net]: >>643
＞（スレ主は）ペダンチックに数学用語使って
＞誤魔化そうとしてる匂いがぷんぷんします。

そもそも「ガロア理論を読む」なんてスレ立ててる時点で
衒学者(pedant)であることは明らか
715 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 15:45:02.95 ID:MnyUfjws.net]: >>634
＞確率99/100とどうつながるのか？
＞そもそも、「箱の中身はいれかえずにただ、
＞列だけを選び直す試行を繰り返す」という行為が、
＞測度論に乗りますかね？

それって
『100面サイコロが現代確率論で扱えますかね？』
っていう小学生レベルの質問と完全に同じなんですけどね。
716 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! [2017/10/22(日) 15:49:08.58 ID:gQCjqbC3.net]: >>649
それなｗ
717 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 16:58:55.74 ID:H+CC1aZ4.net]: >>639
おっちゃんです。
>形式的冪級数環（真の無限次元ベクトル空間）と、
>多項式環（集合の元としての多項式は有限次数に限定）と、
>”そこらの区別が判然としていない”のでしょうね
両者の違いは、或る体Kの元を係数に持つベキ級数を代数的に扱っているか
或いはKの元を係数に持つ多項式を代数的に扱っているか。
もしKが通常の実数体Rの位相か通常の複素数体Cの位相についての
不連結な位相体であれば、形式的ベキ級数環或いは多項式環を解析と融合させて
代数の問題を解析的に考えることが出来ることがある。
他にも、有理関数体とかもそのように出来ることがある。
まあ、Cは {1,i} を基底とするR上の線型空間だから、
Kは通常の実数体Rの位相についての不連結な位相体とするのがよいわな。
複素数の超越性の問題は実質的には(正の)実数についてだけ考えれば
あとは(複素数の)超越数については代数的に構成出来て十分だしな。
718 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/22(日) 17:01:04.09 ID:jBlaYViq.net]: >>582 関連

tadaoyamaoka.hatenablog.com/entry/2017/10/20/001735
AlphaGo Zeroの論文を読む TadaoYamaokaの日記 2017-10-20

tadaoyamaoka.hatenablog.com/entry/2017/10/20/221030
AlphaGo Zeroの論文を読むその2(ネットワーク構成) - TadaoYamaokaの日記

tadaoyamaoka.hatenablog.com/entry/2017/10/21/174532
AlphaGo Zeroの論文を読むその3(探索アルゴリズム) - TadaoYamaokaの日記
719 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/22(日) 17:13:37.41 ID:jBlaYViq.net]: >>652 関連

https://qiita.com/hamuchu/items/1d66114b895797960e2e
AlphaGo Zeroの仕組みと論文の意義 hamuchu Qiita 2017年10月21日
720 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/22(日) 17:14:31.58 ID:jBlaYViq.net]: >>651
おっちゃん、どうも、スレ主です。
フォローありがとう（＾＾
721 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/22(日) 17:19:24.87 ID:jBlaYViq.net]: >>649-650
それな（＾＾

”『100面サイコロが現代確率論で扱えますかね？』”

が、時枝の嵌まりどころだと思うよ

Sergiu Hart氏のPDF www.ma.huji.ac.il/hart/puzzle/choice.pdf? （>>463）は、

有限長さの列の場合を最後に挙げているので、Sergiu Hart氏はここに気付いていると思うよ

まあ、すぐには理解できないだろうから、また説明してあげるよ（＾＾
722 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 17:26:48.53 ID:MnyUfjws.net]: >>655
> Sergiu Hart氏のPDF www.ma.huji.ac.il/hart/puzzle/choice.pdf? （>>463）は、
>
> 有限長さの列の場合を最後に挙げているので、Sergiu Hart氏はここに気付いていると思うよ

Hart氏はPDF www.ma.huji.ac.il/hart/puzzle/choice.pdf? （>>463）は注記で
『（無限ならば成り立つが、）有限であれば成り立たない』と言っているのである。
無限ならば成り立つことは本文で示されている。

スレ主の主張は
『有限で成り立たないならば無限でも成り立たない』
であり、言っていることがまるで違う。
723 名前：名無しさん＠そうだ選挙に行こう！ Go to vote! mailto:sage [2017/10/22(日) 17:31:13.89 ID:MnyUfjws.net]: >>628
> 百歩譲って"論外"だったとしよう。
> 「箱の中身はいれかえずにただ、列だけを選び直す試行を繰り返す」
> という論外の設定だったら確率99/100は認めるの？認めないの？

これは　認めない　という回答でよろしいな？
きちんと態度を明らかにしてくださいな
724 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/22(日) 22:22:05.98 ID:jBlaYViq.net]: 村田諒太、チャンピオンおめでとうございます（＾＾
https://www.nikkansports.com/battle/news/201710220000573.html
村田新王者！比嘉、拳四朗は初防衛�
725 名前：^ボクシング詳細日刊スポーツ 2017年10月22日21時33分 []: [ここ壊れてます]
726 名前：１３２人目の素数さん mailto:sage [2017/10/22(日) 23:01:03.99 ID:wvb3weiY.net]: >>658
おまえ喧嘩売ってる？
727 名前：１３２人目の素数さん mailto:sage [2017/10/23(月) 06:38:27.65 ID:pXrcG+qb.net]: >>655
スレ主　全く反論不能で沈黙死･･･
728 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/23(月) 08:23:04.83 ID:kk7vup+h.net]: >>659

(>>14より)
時枝記事は、気が向いたら、たまに触れますが、私スレ主の気ままです
時枝記事“成立”の立場からのカキコや質問は、基本はスルーします。コピペで流します。たまに、忘れたころに取り上げます
(引用終り)

宣言通りです
スレ主は、ケンカを売る必要はありませんよ（＾＾
729 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/23(月) 08:23:41.26 ID:kk7vup+h.net]: >>660
ピエロ出勤ご苦労
今日も作文しっかり書いてくれ（＾＾
730 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/23(月) 08:38:12.92 ID:kk7vup+h.net]: >>657
>> 「箱の中身はいれかえずにただ、列だけを選び直す試行を繰り返す」
>> という論外の設定だったら確率99/100は認めるの？認めないの？
>
>これは　認めない　という回答でよろしいな？

回答：認めない
理由：それ、暗黙の前提として、

１列から100列まで、有限ｍ個の箱の数列として
決定番号が、d1,d2,・・・,d100とすると

で、d1,d2,・・・,d100が分散して全て異なると思っている
だが、>>558に示したように、「”確率１”で d1 = d2 = ・・・ = d100 = ｍ」と考えるべき場合もある（有限長列）

”d1,d2,・・・,d100が分散して全て異なる”が未証明だよ
暗黙の前提をしっかり掘り下げるのが数学。スルーは（ピエロの）算数
731 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/23(月) 08:40:35.24 ID:kk7vup+h.net]: >>663 補足

これ、あなたでしょ？　
”しかし直観的には不可能だ。各々の箱の数字は独立なのだから、
ある1つの箱について他の箱から意味のある情報が得られる訳がない。”
は、スルーしちゃったの？

17 wc2014.2ch.net/test/read.cgi/math/1448673805/314 最初の数学セミナー『箱入り無数目』紹介（by High level people の T さん）
314 名前：１３２人目の素数さん[sage] 投稿日：2015/12/20(日) 11:37:12.83 ID:d5oIGObW [1/10]
数学セミナー2015年11月号の記事『箱入り無数目』より要略
---------
[問題]
可算無限個の閉じた箱がある。1つの箱には1つの実数が入っている。
貴方は1つの箱を選び、それ以外の全ての箱を開いて中の数字を見ることができる。
貴方は選んだ箱の中の数字を当てることができるか？

答えは『（選択公理を用いて）できる』。

しかし直観的には不可能だ。各々の箱の数字は独立なのだから、
ある1つの箱について他の箱から意味のある情報が得られる訳がない。
この戦略は選択公理を用い、非可測集合を経由する。それがイケナイと片付けるのは面白くない。
筆者には確率変数の無限族の独立性の微妙さを物語っているように思える。
---------
(引用終り)
732 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/23(月) 08:44:01.65 ID:kk7vup+h.net]: >>664

”P(f(X)=X_{g(X)})=99/100
ということだが，それの証明ってあるかな？
100個中99個だから99/100としか言ってるようにしか見えないけど．”
もスルーですか？

＜以下、私スレ主が、確率論の専門家さんと呼ぶ人の議論を貼る（ID:f9oaWn8A ）＞
20 rio2016.2ch.net/test/read.cgi/math/1466279209/519
519 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:27:11.14 ID:f9oaWn8A [4/13]
>>518
X=(X_1,X_2,…)をR値の独立な確率変数とする．
時枝さんのやっていることは
無限列x=(x_1,x_2,…)から定められた方法によって一つの実数f(x)を求める．
無限列x=(x_1,x_2,…）から定められた方法によって一つの自然数g(x)を求める．
P(f(X)=X_{g(X)})=99/100
ということだが，それの証明ってあるかな？
100個中99個だから99/100としか言ってるようにしか見えないけど．
733 名前：１３２人目の素数さん mailto:sage [2017/10/23(月) 08:46:04.75 ID:pXrcG+qb.net]: >>662
>ピエロ出勤ご苦労
妄想乙

私は昨日はHigh Level Peopleと呼ばれた
スレ主が妄想家であることは証明された

スレ主が以下2点を認めるなら時枝記事成立

１．無限列には最後の箱はない
　　したがって決定番号はみな自然数であり
　　必ず決定番号以降に無限長の尻尾がつく
２．１００列つくれば１００個の決定番号が存在する
　　１００個の決定番号の最大値も必ず存在する

どうだ？否定できるか？
734 名前：１３２人目の素数さん mailto:sage [2017/10/23(月) 08:52:29.14 ID:pXrcG+qb.net]: >>663
＞「”確率１”で d1 = d2 = ・・・ = d100 = ｍ」と考えるべき場合もある

無限列の場合、ｍが自然数なら、
ｍ＋１番目以降の尻尾がとれるし
尻尾の情報から、代表元も分かる。

代表元のｍ番目の項を見れば
数列のｍ番目の箱の中身がわかる
なぜなら・・・決定番号ｍだから！

スレ主、死す・・・(-||-)
735 名前：１３２人目の素数さん [2017/10/23(月) 09:01:51.16 ID:YkD9QlV4.net]: >>663
＞”d1,d2,・・・,d100が分散して全て異なる”が未証明だよ
これは酷い
736 名前：１３２人目の素数さん mailto:sage [2017/10/23(月) 09:12:10.28 ID:pXrcG+qb.net]: >>668
>これは酷い
全く酷いね

「無限列には最後の元が存在しない」と認める場合
スレ主がとれる戦略はこれしかない

「2列だろうが3列だろうが100列だろうが
　有限個の無限列の決定番号の集まりには最大値がない
　つまりどの無限列を選んでも、その無限列の決定番号より
　大きな決定番号を持つ無限列が存在する」

しかしさすがにこんなことを主張するほど
スレ主の頭が悪いとは思えないが・・・
737 名前：１３２人目の素数さん [2017/10/23(月) 09:12:38.44 ID:YkD9QlV4.net]: スレ主が時枝記事を全く理解していないことを自ら白状
供述を引き出した>>628氏の功績
738 名前：１３２人目の素数さん [2017/10/23(月) 09:15:51.67 ID:YkD9QlV4.net]: >>663
＞”d1,d2,・・・,d100が分散して全て異なる”が未証明だよ
この間違え方は文字通り小学生以下
739 名前：１３２人目の素数さん mailto:sage [2017/10/23(月) 09:25:11.02 ID:pXrcG+qb.net]: >>670
＞スレ主が時枝記事を全く理解していないことを自ら白状
>>671
＞この間違え方は文字通り小学生以下

スレ主は>>663で「暗黙の前提をしっかり掘り下げるのが数学。」といってるが
肝心の「暗黙の前提」を読み間違った

時枝記事の前提は
「d1,d2,・・・,d100が（分散して）全て異なる」ではなく
「d1,d2,・・・,d100の中に最大値が存在する」である

端的にいえば、たった2列でも
d1<d2　かつ　d2<d1
という論理式が成立すること
それが時枝記事の否定
740 名前：１３２人目の素数さん [2017/10/23(月) 18:49:11.83 ID:JDgFO2Jc.net]: 知障たちの不毛な空中戦
741 名前：１３２人目の素数さん mailto:sage [2017/10/23(月) 21:30:39.94 ID:j0v/F9HQ.net]: >>665
> ”P(f(X)=X_{g(X)})=99/100
> ということだが，それの証明ってあるかな？
> 100個中99個だから99/100としか言ってるようにしか見えないけど．”
> もスルーですか？

スレ主には分からないと思いますけど、

>>663
> >> 「箱の中身はいれかえずにただ、列だけを選び直す試行を繰り返す」

この問題設定において

> X=(X_1,X_2,…)

は確率変数ではないのですよ。

箱の中身は変わりませんからねえ。

スレ主には分からないと思いますけどね。

>>665
> 20 rio2016.2ch.net/test/read.cgi/math/1466279209/519
> 519 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:27:11.14 ID:f9oaWn8A [4/13]
> >>518
> X=(X_1,X_2,…)をR値の独立な確率変数とする．
> 時枝さんのやっていることは
> 無限列x=(x_1,x_2,…)から定められた方法によって一つの実数f(x)を求める．
> 無限列x=(x_1,x_2,…）から定められた方法によって一つの自然数g(x)を求める．
> P(f(X)=X_{g(X)})=99/100
> ということだが，それの証明ってあるかな？
> 100個中99個だから99/100としか言ってるようにしか見えないけど．
742 名前：１３２人目の素数さん mailto:sage [2017/10/23(月) 21:33:24.90 ID:j0v/F9HQ.net]: >>663
> >>657
> >> 「箱の中身はいれかえずにただ、列だけを選び直す試行を繰り返す」
> >> という論外の設定だったら確率99/100は認めるの？認めないの？
> >
> >これは　認めない　という回答でよろしいな？
>
> 回答：認めない
> 理由：それ、暗黙の前提として、
>
> １列から100列まで、有限ｍ個の箱の数列として
> 決定番号が、d1,d2,・・・,d100とすると
>
> で、d1,d2,・・・,d100が分散して全て異なると思っている
> だが、>>558に示したように、「”確率１”で d1 = d2 = ・・・ = d100 = ｍ」と考えるべき場合もある（有限長列）
>
> ”d1,d2,・・・,d100が分散して全て異なる”が未証明だよ
> 暗黙の前提をしっかり掘り下げるのが数学。スルーは（ピエロの）算数

>>667-672で総攻撃食らってますね。

ちょっとコメントが馬鹿すぎましたね。

私からも突っ込みましょうか？

もうやめておきましょうかね。かわいそうですから。
743 名前：１３２人目の素数さん mailto:sage [2017/10/23(月) 21:36:51.65 ID:j0v/F9HQ.net]: >>664
> これ、あなたでしょ？　
> ”しかし直観的には不可能だ。各々の箱の数字は独立なのだから、
> ある1つの箱について他の箱から意味のある情報が得られる訳がない。”
> は、スルーしちゃったの？

私は何を答ればいいんでしょうか？

あなたでしょ？→いいえ。

スルーしちゃったの？→なんのことやら。
直観なんて人によって違うんだから不可能と思う人もいれば可能と思う人もいるでしょう。
それがなにか？
744 名前：１３２人目の素数さん [2017/10/23(月) 23:35:03.02 ID:YkD9QlV4.net]: >>664
＞”しかし直観的には不可能だ。各々の箱の数字は独立なのだから、
＞ある1つの箱について他の箱から意味のある情報が得られる訳がない。”
＞は、スルーしちゃったの？

スルーも何も直観の話だと明記されてるんだが？
人間の直観を数学で証明しろとでも言いたいの？
745 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/24(火) 16:52:36.71 ID:f878TnvV.net]: >>673
ID:JDgFO2Jcさん、どうもスレ主です。

>知障たちの不毛な空中戦

"知障たち"は、英文法の複数形ですな（＾＾
まあ、私も入っているのだろうが（＾＾
落ちこぼれ３人たちが含まれると（＾＾
746 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/24(火) 16:53:4 ]: [ここ壊れてます]
747 名前：9.03 ID:f878TnvV.net mailto: >>676-677
> ”しかし直観的には不可能だ。各々の箱の数字は独立なのだから、
> ある1つの箱について他の箱から意味のある情報が得られる訳がない。”

これは、多くの人の直感でもあるけれども
特に、筆者時枝氏の直観でもある
また、多くの数学専門家、例えば>>665 私スレ主が、確率論の専門家さんと呼ぶ人の議論でもあります

下記、”100個中99個だから99/100としか言ってるようにしか見えないけど”
つまり、それ証明されていないよねと

（>>665より）
20 http://rio2016.2ch.net/test/read.cgi/math/1466279209/519
519 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:27:11.14 ID:f9oaWn8A [4/13]
>>518
X=(X_1,X_2,…)をR値の独立な確率変数とする．
時枝さんのやっていることは
無限列x=(x_1,x_2,…)から定められた方法によって一つの実数f(x)を求める．
無限列x=(x_1,x_2,…）から定められた方法によって一つの自然数g(x)を求める．
P(f(X)=X_{g(X)})=99/100
ということだが，それの証明ってあるかな？
100個中99個だから99/100としか言ってるようにしか見えないけど． []: [ここ壊れてます]
748 名前：１３２人目の素数さん mailto:sage [2017/10/24(火) 19:18:11.98 ID:B64wU2KQ.net]: >>679
>>674を嫁
749 名前：１３２人目の素数さん mailto:sage [2017/10/24(火) 19:22:24.92 ID:cY6MQkdr.net]: >>679
>つまり、それ証明されていないよね

証明すべき定理が間違ってますけど

>X=(X_1,X_2,…)をR値の独立な確率変数とする

ここが間違ってます

Xは確率変数ではありません

s^1=(s^1_1,s^1_2,･･･)
s^2=(s^2_1,s^2_2,･･･)
･･･
s^100=(s^100_1,s^100_2,･･･)
は固定です　つまり動きません

確率変数はs^iのiです

数列s^iから代表元s'^i及び決定番号d^iが求まります
さらにd^i以外の決定番号の最大値D^iも求まります

証明すべき定理は
P(s^i_{D^i}=s'^i_{D^i})>=99/100
です

もし、d^1～d^100の中でd_i＞D_iとなるiが存在するなら
そのようなiは1つしかなく、s^i_{D^i}=s'^i_{D^i}が成立しないのは
その時に限られるので、確率は99/100です
仮に、d^1～d^100の中で最大値となるd_iが二つ以上存在すれば
どのiについてもd_i<=D_iですから必ずs^i_{D^i}=s'^i_{D^i}が
成立します、つまり確率1です

したがって定理は証明されました
750 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/24(火) 20:05:41.87 ID:XvUy0ZNF.net]: >>680-681

( ﾟдﾟ)ﾎﾟｶｰﾝ
時枝先生記事は、下記ですが？
”確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.”
”n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.”

( ﾟдﾟ)ﾎﾟｶｰﾝ
「X=(X_1,X_2,…)をR値の独立な確率変数とする．」（>>679）は、下記時枝記事そのままでしょ？

35 rio2016.2ch.net/test/read.cgi/math/1497848835/15 時枝問題（数学セミナー201511月号の記事）（>>11より）
15 自分返信：現代数学の系譜古典ガロア理論を読む[sage] 投稿日：2017/06/19(月) 14:25:00.28 ID:KSjG2B/B [15/40]
>>14 つづき
数学セミナー201511月号P37 時枝記事より

「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)
しかし，素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる，といってもよい.」
751 名前：１３２人目の素数さん [2017/10/24(火) 20:07:09.46 ID:P6HBDRe9.net]: 本当に手取り足取り教えないと何も理解せんな
いや、手取り足取り教えても理解しない　が正しいか
752 名前：１３２人目の素数さん mailto:sage [2017/10/24(火) 20:14:12.57 ID:cY6MQkdr.net]: >>682
＞時枝先生記事は、下記ですが？

あなたの引用箇所は、”ふしぎな戦略”について述べた箇所ではありませんよ
753 名前：１３２人目の素数さん [2017/10/24(火) 20:28:29.50 ID:cY6MQkdr.net]: >>681
>証明すべき定理は
>P(s^i_{D^i}=s'^i_{D^i})>=99/100
>です

決して
P(X^100_{D^100}=X'^100_{D^100})>=99/100
ではありません
754 名前：１３２人目の素数さん mailto:sage [2017/10/24(火) 22:57:55.74 ID:B64wU2KQ.net]: スレ主は自分じゃ分からないんだから確率の専門家さんに聞いてみたら？

>>663
> >> 「箱の中身はいれかえずにただ、列だけを選び直す試行を繰り返す」

この問題設定で99/100が成立するんですか？って聞いてみなよ。

>>663
> 回答：認めない
> 理由：それ、暗黙の前提として、
>
> １列から100列まで、有限ｍ個の箱の数列として
> 決定番号が、d1,d2,・・・,d100とすると
>
> で、d1,d2,・・・,d100が分散して全て異なると思っている
> だが、>>558に示したように、「”確率１”で d1 = d2 = ・・・ = d100 = ｍ」と考えるべき場合もある（有限長列）
>
> ”d1,d2,・・・,d100が分散して全て異なる”が未証明だよ
> 暗黙の前提をしっかり掘り下げるのが数学。スルーは（ピエロの）算数

ついでにスレ主の>>663の理屈が正しいか、確認を取ってみなよ。
755 名前：確率の専門家 mailto:sage [2017/10/25(水) 07:22:14.30 ID:7xM4vtrl.net]: >>686
＞「箱の中身はいれかえずにただ、列だけを選び直す試行を繰り返す」
＞この問題設定で99/100が成立するんですか？

成立します。>>681の通りです。

s^1=(s^1_1,s^1_2,･･･)
s^2=(s^2_1,s^2_2,･･･)
･･･
s^100=(s^100_1,s^100_2,･･･)
は固定です　つまり動きません

確率変数はs^iのiです

数列s^iから代表元s'^i及び決定番号d^iが求まります
さらにd^i以外の決定番号の最大値D^iも求まります

証明すべき定理は
P(s^i_{D^i}=s'^i_{D^i})>=99/100
です

もし、d^1～d^100の中でd_i＞D_iとなるiが存在するなら
そのようなiは1つしかなく、s^i_{D^i}=s'^i_{D^i}が成立しないのは
その時に限られるので、確率は99/100です

＞スレ主の>>663の理屈が正しいか

間違ってます。>>68１の通りです。

仮に、d^1～d^100の中で最大値となるd_iが二つ以上存在すれば
どのiについてもd_i<=D_iですから必ずs^i_{D^i}=s'^i_{D^i}が
成立します、つまり確率1です
756 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/25(水) 11:52:32.91 ID:y8HhoWvR.net]: >>683-687
なんだ、すっかり自爆で化けの皮が剥がれるか（＾＾
757 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/25(水) 11:53:13.77 ID:y8HhoWvR.net]: >>684
>あなたの引用箇所は、”ふしぎな戦略”について述べた箇所ではありませんよ

( ﾟдﾟ)ﾎﾟｶｰﾝ
「勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
”ふしぎな戦略”は，確率変数の無限族の独立性の微妙さをものがたる，といってもよい.」（>>683）
とありますよ。見落としですよ（＾＾
758 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/25(水) 11:54:13.35 ID:y8HhoWvR.net]: >>685
私の>>683は、下記
「証明すべき定理が間違ってますけど
>X=(X_1,X_2,…)をR値の独立な確率変数とする
ここが間違ってます
Xは確率変数ではありません」
への指摘ですよ。

あなた、論点ずらしですよ（＾＾
私の指摘は、時枝先生が”確率の中心的対象は，独立な確率変数の無限族X1，X2，X3，…である.”（>>683）と書かれた通りですよ
759 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/25(水) 11:54:56.11 ID:y8HhoWvR.net]: >>686
>スレ主は自分じゃ分からないんだから確率の専門家さんに聞いてみたら？

必死の論点ずらし、おつです（＾＾
あなた達こそ、もう少し上級の大学３年レベルの人に聞いてみたらどうですかね？
”確率の専門家さん”なんて、１年も前の無関係な人にムチャぶりしてもだめでしょ

それに、>>683は単なる簡単な国語の話ですよね。小学校の国語の先生でも可ですよ（＾＾
760 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/25(水) 11:56:24.84 ID:y8HhoWvR.net]: >>687
>成立します。>>681の通りです。

笑える（＾＾
下記、”どんな実数を入れるかはまったく自由”、”もちろんでたらめだって構わない”ですからね

35 rio2016.2ch.net/test/read.cgi/math/1497848835/12
時枝問題（数学セミナー201511月号の記事）より
「どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.」

ですから、任意のすべての場合を扱わないといけませんよ

あなたのように、>>681の１例だけ証明できても
”独立な確率変数の無限族X1，X2，X3，…”についての数学的証明ができなければ、
それは証明できたとは言いませんね

問題を勝手に易しくして
「先生、証明できました」か

笑える（＾＾
761 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/25(水) 11:56:39.67 ID:y8HhoWvR.net]: >>683-687
なんだ、すっかり自爆で化けの皮が剥がれるですね（＾＾
762 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/25(水) 12:51:43.39 ID:y8HhoWvR.net]: >>689-691 訂正

>>683
　↓
>>682

リンクずれ
763 名前：１３２人目の素数さん mailto:sage [2017/10/25(水) 18:49:25.64 ID:aLpDIRaW.net]: >>692
> 任意のすべての場合を扱わないといけませんよ

同値類の定義より
「R^Nの任意の元を1つ選ぶ」と「有限数列1つと代表元を1つ選ぶ」が1対1に対応する

解答者は「出題者が1つ選んだ」R^Nの元に対して数当て戦略を適用する

> ”独立な確率変数の無限族X1，X2，X3，…”についての数学的証明ができなければ
>>682
> 確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
だから「有限数列1つと代表元を1つ選ぶ」でOK
764 名前：１３２人目の素数さん mailto:sage [2017/10/25(水) 19:17:42.83 ID:7xM4vtrl.net]: >>689
>>あなたの引用箇所は、”ふしぎな戦略”について述べた箇所ではありませんよ
>「勝つ戦略なんかある筈ない，と感じた私たちの直観は，
> 無意識に(1)に根ざしていた，といえる.
> ”ふしぎな戦略”は，確率変数の無限族の独立性の
>　微妙さをものがたる，といってもよい.」（>>683）
>とありますよ。

この文章も”ふしぎな戦略”の方法について述べた文章ではありませんね
”ふしぎな戦略”について述べた文章は以下の通りです

あなたは一度も読んでいないでしょう？
理解できるまで、何百回、何千回、何万回でも
読み直していただけますでしょうか？

「閉じた箱を100列に並べる。
　箱の中身は私たちには知らされていないが、とにかく
　第1列の箱たち、第2列の箱たち、･･･第100列の箱たち
　は100本の実数列 s^1,s^2,･･･,s^100を為す。
　これらの列はおのおの決定番号を持つ。

　さて1～100のいずれかをランダムに選ぶ。
　例えばkが選ばれたとする。
　s^kの決定番号が他の列の決定番号どれよりも
　大きい確率は1/100に過ぎない。

　第1列～第k-1列、第k+1列～第100列の箱を全部開ける。
　第k列の箱はまだ閉じたままにしておく。
　開けた箱に入った実数を見
765 名前：て、代表の袋をさぐり s^1からs^k-1、s^k+1からs~100の決定番号のうちの 最大値Dを書き下す。 いよいよ第k列のD+1 番目から先の箱だけを開ける。 s^k_D+1,s^k_D+2,s^k_D+3,･･･ いま D>=d(s^k) を仮定しよう。 この仮定が正しい確率は99/100、 そして仮定が正しい場合、上の注意によって s^k_dが決められるのであった。 おさらいすると、仮定のもと 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で勝てる。 （列の数nを増やしてε=1/nとおけば） 確率1-εで勝てることも明らかであろう。」 []: [ここ壊れてます]
766 名前：１３２人目の素数さん mailto:sage [2017/10/25(水) 19:19:03.40 ID:7xM4vtrl.net]: >>696　読んでいただけたでしょうか

引用箇所のどこにも
「R値の独立な確率変数X=(X_1,X_2,…)」
なんて出てこないのは明らかです

確率変数は実はs^iのiだけです
それが分かるのはこの箇所です
「さて1～100のいずれかをランダムに選ぶ。」

もちろんs^1～s^100の中身はどんな実数でも構いません
しかし、確率計算においては、
s^1～s^100は変化させていません
やってることは、どのs^iを選ぶかだけ
つまり変化するのはiだけです

>>690

＞私の指摘は、時枝先生が
＞”確率の中心的対象は，独立な確率変数の無限族X1，X2，X3，…である.”
＞と書かれた通りですよ

その文章も”ふしぎな戦略”の方法について述べたものではありません
つまり、論点をすり替えているのは、あなたです。
767 名前：１３２人目の素数さん mailto:sage [2017/10/25(水) 19:20:09.23 ID:7xM4vtrl.net]: >>692
>「どんな実数を入れるかはまったく自由，
>　例えばn番目の箱にe^πを入れてもよいし，
>　すべての箱にπを入れてもよい.
>　もちろんでたらめだって構わない.
>　そして箱をみな閉じる.」

閉じましたよね？
つまり、箱の中身は変えられない、ということですよ

先に引用した戦略では、変更できるのは
どの列を選ぶかだけです
つまり箱の中身は変更できません

その上で、計算した確率が99/100です
つまり箱の中身が何であれ、
確率変数ではないということです

したがって
P(s^i_{D^i}=s'^i_{D^i})>=99/100
であって
P(X^100_{D^100}=X'^100_{D^100})>=99/100
ではありません

後者の式の意味について述べましょう
とにかく無限列を100個とる
100個目の列について、その前の99個の列の
決定番号の最大値D^100をとって
その項の中身が代表元の対応する項の中身と
一致する確率が99/100というものです

この主張を正当化するには
「積分順序の交換によって値が変化しない」
という前提を立てる必要があるでしょう
しかしこの前提はZFCからは導けません

ただ、時枝記事にはこのような強い主張は不必要です
つまり無限列（もしくはその各項）を確率変数とする必要はありません
768 名前：１３２人目の素数さん [2017/10/25(水) 19:26:25.68 ID:DsrLFaz1.net]: この男のバカさ加減は底知れぬな
みんなお前の小学生以下の間違い（>>663）を手取り足取り教えてやってるのに
反論してどうするｗ
お前を見てると野生のサルに見えるよ
人間が善意で保護してやってるのに必死に身構え抵抗しているところがな
769 名前：１３２人目の素数さん mailto:sage [2017/10/25(水) 20:55:13.52 ID:PmONnNzs.net]: > みんなお前の小学生以下の間違い（>>663）を手取り足取り教えてやってるのに

>>663の凄いところは突っ込みどころのない文が1つもないところ。
770 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/25(水) 21:17:57.09 ID:W74q7CGQ.net]: 新スレ45 rio2016.2ch.net/test/read.cgi/math/1508931882/ 立てた
で、まず、このスレを使い切るよ、あと２～３レスで512KB超えだろうから
771 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/25(水) 21:19:06.51 ID:W74q7CGQ.net]: で、落ちこぼれは３人かな？（＾＾
772 名前：１３２人目の素数さん [2017/10/25(水) 21:23:32.16 ID:DsrLFaz1.net]: サル登場ｗ
773 名前：現代数学の系譜工学物理雑談古典ガロア理論も読む mailto:sage [2017/10/25(水) 21:25:20.43 ID:W74q7CGQ.net]: >>698
>つまり箱の中身が何であれ、
>確率変数ではないということです

すごい国語力ですね！（＾＾

時枝先生の文（>>682より）
”確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.”
”n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.”

この文を、そんな風に”こじつけ”解釈をするとは！！（＾＾
わらえる！！（＾＾
774 名前：過去ログ ★ [[過去ログ]]: ■ このスレッドは過去ログ倉庫に格納されています

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

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