現代数学の系譜11 ガロア理論を読む33

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


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

1 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/27(土) 13:51:04.26 ID:tKnzoBS7.net]: 小学レベルとバカプロ固定、High level people、サイコパスお断り！High level people はスレ28へどうぞ！sage進行推奨（＾＾；
旧スレが512KBオーバー間近で、新スレ立てる
このスレはガロア原論文を読むためおよび関連する話題を楽しむスレです
（最近は、スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。ガロア関連のアーカイブの役も期待して。）

過去スレ（そのままクリックで過去ログが読める。また、ネット検索でも過去ログ結構読めます）
現代数学の系譜11 ガロア理論を読む
32 rio2016.2ch.net/test/read.cgi/math/1495369406/
31 rio2016.2ch.net/test/read.cgi/math/1494038985/
30 rio2016.2ch.net/test/read.cgi/math/1492606081/
29 rio2016.2ch.net/test/read.cgi/math/1484442695/
28 (High level people が時枝問題を論じるスレ) rio2016.2ch.net/test/read.cgi/math/1480758460/
27 rio2016.2ch.net/test/read.cgi/math/1483075581/
26 rio2016.2ch.net/test/read.cgi/math/1480758460/
25 rio2016.2ch.net/test/read.cgi/math/1477804000/
24 rio2016.2ch.net/test/read.cgi/math/1475822875/
23 rio2016.2ch.net/test/read.cgi/math/1474158471/
22 rio2016.2ch.net/test/read.cgi/math/1471085771/
21 rio2016.2ch.net/test/read.cgi/math/1468584649/
20 wc2014.2ch.net/test/read.cgi/math/1466279209/
19 wc2014.2ch.net/test/read.cgi/math/1462577773/
18 wc2014.2ch.net/test/read.cgi/math/1452860378/
17 wc2014.2ch.net/test/read.cgi/math/1448673805/
16 wc2014.2ch.net/test/read.cgi/math/1444562562/
15 wc2014.2ch.net/test/read.cgi/math/1439642249/
以下次レスへ
604 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/02(金) 06:57:58.41 ID:DtknLDcm.net]: sage
605 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/02(金) 06:58:49.18 ID:DtknLDcm.net]: >>538 補足

大島利雄氏・織田孝幸氏による、Pompeiu 問題の解説と、
>>536 Pompeiu problem. Carlos A. Berenstein (originator), Encyclopedia of Mathematicsとの
登場人物がほとんど一致しないが、まあ、良いんだろう
606 名前：ね Berenstein 氏が書いていて、自分の文献を主に引用しているし 大島利雄氏・織田孝幸氏のは、小林俊行先生の日本数学会春季賞（1999）受賞の業績紹介だから（＾＾ []: [ここ壊れてます]
607 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/02(金) 07:24:49.47 ID:DtknLDcm.net]: >>539-542

繰り返す。おれの立場は>>497に書いた通り
特に、”私より低レベルの人と議論しても、「分からん者同士の低レベルの議論」になり、無価値だと思うから”ってことで、悪しからず！（＾＾

それから、 "日本人の3割しか知らないことくりぃむしちゅーのハナタカ!優越館" >>78なんだ
時枝先生自身が勘違いしている問題だ。だから、そんなに簡単で単純な話じゃない！かなり高度なレベルの勘違いだ

君らのレベルですぐ理解できる話じゃないよってところ。それが、この問題の私にとっての面白さだ（＾＾
（「実用になるならない」ではなく、”多くの人が勘違いする中で、正解を言う”ってところが、面白いと）

君みたいに、わーわー突っかかってくる人が多いほど、こっちは面白いと
そのうち、過去何人か正しい理解者（確率論の専門家さん、与太話と言った方（おそらく院生以上）下記＊）、それに、ID:PqWMwFYKさん>>120 など）が出てきたように、自然にそういう人が増えてくると

正しい方は、悠然と待っていれば良い
突っかかってくる方は、多ければ多いほど面白いので、基本は放置（＾＾；

＊）
rio2016.2ch.net/test/read.cgi/math/1468584649/620
620 名前：１３２人目の素数さん[] 投稿日：2016/08/10(水) 13:14:41.49 ID:4zBVHRJi
時枝解法なんて単なる与太話だし，与太話であることと自体は筆者も認めてるのに
なんでここまで議論が続くのだろう
(引用終り)
608 名前：１３２人目の素数さん mailto:sage [2017/06/02(金) 07:35:42.54 ID:lQmAqS7Y.net]: >>541
> >>535
> ＞「数列が選ばれた時点で、各箱の独立性はなくなります」
> 上記のコメントが、
> 「開けてない列の決定番号が、開けられたｎ－１個の列の決定番号の
> 　最大値よりも大きい確率は１／ｎ」
> を導き出すための前提というなら分かる
> （つまり、すでに空いているのだから定数だろう、という当たり前のことなら）

「開いているから定数」と言っているのではないです。
標本空間がΩ＝R^N×K (K=1,2,3,...,100)なのか、Ω_s＝{s}×Kなのかです。
記事では箱に数字s∈R^Nが収められてから確率ゲームが始まります。
よって標本はΩ_sであり、有限の確率空間になります。
609 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/02(金) 09:14:11.86 ID:DtknLDcm.net]: >>469
>カラビ・マルクス現象

カラビ・マルクス現象か・・。擬リーマン幾何？それはなんですか？（＾＾
www.ipmu.jp/en/node/1880
Kavli IPMU News
www.ipmu.jp/sites/default/files/webfm/pdfs/news25/J03_FEATURE.pdf
局所から大域へ－リーマン幾何を超えた世界で小林俊行 2014
(抜粋)
1980年代の半ばごろより、私はリーマン幾何学の枠組を超えた空間に対する不連続群の一般理論を作ろうという試みを始めました。リーマン幾何とは対照的に、“自然な距離”が存在しない世界では、研究手法そのものも開発する必要があります。当時は興味を示す研究者は殆どおらず、孤独ではありましたが何をやっても新しい発見になりました。
1990年代以降には、いろいろな分野の数学者もこの新しいテーマに参入し、（非可換）エルゴード理論・ユニタリ表現論・微分幾何学など数学の異分野と思いがけない繋がりも生まれてきています。
国際数学年の2000年には、「（非リーマン幾何における）局所均質空間」というテーマが21世紀の新しい数学の挑戦課題の一つとして紹介され（文献［1］）、その後もこのモチーフは深化し続けています。
本稿では、厳密さは多少犠牲にして数学の専門用語をできるだけ持ち込まず、リーマン幾何の枠組を超えた局所均質空間
610 名前：の大域幾何と、最近手がけ始めたスペクトルの研究（大域解析）の雰囲気を伝えてみたいと思います。 擬リーマン幾何は、リーマン幾何や相対性理論の時空を記述するローレンツ幾何を特別な場合として含む概念です。その入り口を紹介しましょう。 定理1 (1)（リーマン幾何）必ず閉じている。(2)（ローレンツ幾何）決して閉じない。 定理1(2)は、第一発見者の名前を取って、カラビ＝マルクス現象と呼ばれています（文献［ 2］）。 定理1と定理2のいずれにおいても、「局所　大域」に関して、リーマン幾何とローレンツ幾何には著しい違いがあることを主張しています。もっと一般の符号(p,q) (p ? q ? 2) に対する擬リーマン幾何についてはどうでしょうか? カラビ=マルクス現象を一般化することにより、正の曲率の場合は閉じた空間形が存在しないことが証明されます。一方、負曲率の場合にはどのような整数 p,q に対して閉じた空間形が存在するかという問題は、まだ完全には解決していない難問です。 []: [ここ壊れてます]
611 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/02(金) 09:23:38.85 ID:DtknLDcm.net]: >>547 補足

小林俊行先生、Kavli IPMUは、>>467 "サークルは物理学研究会に入りました. 「物理学」とありますが，実際には数学愛好者が多数を占めるサークルでした."だから
結局、Kavli IPMUも、”サークル物理学研究会”のノリなんだろうかね（＾＾

で、数学者で、「物理学」かじる人多いね
リーマン幾何とか、「物理学」やっている方が、イメージが広がりやすいだろうね（＾＾
612 名前：１３２人目の素数さん mailto:sage [2017/06/02(金) 09:42:44.61 ID:7mcaypyk.net]: 時枝記事で少しおかしいと思うのは、「数字が当てられる」
というのは解答者が「同値類を代表元によって特定できる。」
ということの中にほとんど含意されているのに
そのことはさらっと書いて、「当てられる」ということの驚異を
ことさらに強調していること。おれは、「選択公理」というより
「同値類を特定できる」ということが手品のタネだと思ってる。
613 名前：１３２人目の素数さん [2017/06/02(金) 09:53:45.03 ID:JvTxhcMj.net]: >>545
「直観以外に論拠は無い」、「なんだかんだいってるけど数学には全然興味ない」
という指摘を素直に認めたら如何か？
それともまた見苦しい言い訳を繰り返しますか？
614 名前：１３２人目の素数さん mailto:sage [2017/06/02(金) 10:23:31.09 ID:7mcaypyk.net]: あと「並べ替え」が任意に行われると、いろいろおかしなことで
起きる可能性はある（級数論にも通じる）から、そこは>>511
のような標準的な並べ替えとしておくべきだった。
それで問題ないように思う。
615 名前：哀れな素人 [2017/06/02(金) 11:10:32.78 ID:uhNHD33g.net]: 話の流れとは無関係な投稿

たとえばわれわれが0.999……という無限小数を書こうとする。
そこで0.999と書く。しかしこれは有限小数だから、
もっと９を書き足さなければならない。
そこで0.99999と書く。しかしこれも有限小数だから、
もっと９を書き足さなければならない。
そこで0.9999999と書く。しかしこれも有限小数だから、
もっと９を書き足さなければならない。
…………………………
どんなに書き足しても決して無限小数にはならない。
有限小数の状態が永遠に続くだけである。
だから無限小数は存在しないし、存在できないのである。
616 名前：１３２人目の素数さん mailto:sage [2017/06/02(金) 11:31:04.90 ID:7mcaypyk.net]: >>552
書けないから存在しないのなら、有限であっても「実質的に書けない」
ならば存在しないのと同じ。

数学のセンスとは、点々々3つ "..." で無限をイメージすること。
あなたにはそのセンスがない。それだけのこと。
617 名前：１３２人目の素数さん mailto:sage [2017/06/02(金) 11:47:22.61 ID:7mcaypyk.net]: なぜ数学者は無限を好むのか？ということの一つとして
「無限の持つ対称性」というのがあると思う。
これはいずれ詳しく論じてみたいと思ってる。
たとえば、|x|<1 のとき 1 + x + … という級数に
(1-x)を掛けると1だけが残る。これを有限級数で
やることもできるが、残余項が出る。
無限で考えた方が、単純で美しくなる
618 名前：のである。 []: [ここ壊れてます]
619 名前：１３２人目の素数さん [2017/06/02(金) 12:26:29.62 ID:JvTxhcMj.net]: コンパスを使っても完全な円は書けない。よって円は存在しない。

　　　　　　　　　　　　　　　　　　　　　　　　　　ド素人
620 名前：１３２人目の素数さん mailto:sage [2017/06/02(金) 12:27:27.55 ID:E1ty2bBo.net]: >>546
Kは集合です。書き方間違えました。
621 名前：哀れな素人 [2017/06/02(金) 12:41:20.49 ID:uhNHD33g.net]: >>553>>555
こういうレスを見ると、
つくづく2chはアホばかりだなと思わせられる（笑

有限小数ならどんなものでも書ける（笑

また物理的に完全な円が書けるかどうか、
というような問題とはまったく関係ない（笑

一体どんな大学のどんな学部を出ているのだ、ここのアホどもは（笑
622 名前：１３２人目の素数さん mailto:sage [2017/06/02(金) 12:53:09.32 ID:7mcaypyk.net]: 「爺は無視するに限る」だったな。
623 名前：１３２人目の素数さん [2017/06/02(金) 13:09:21.01 ID:JvTxhcMj.net]: 物理的に完全な無限小数が書けるかどうか、というような問題とはまったく関係ない。
よって無限小数は存在する。

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　ド素人
624 名前：１３２人目の素数さん mailto:sage [2017/06/02(金) 13:10:36.48 ID:7mcaypyk.net]: 時枝問題では実数の無限列 s∈R^N から、同値類 R^N/～の代表元
r∈R^N,s～r を特定して取り出すことができるとされている。
その方法は定かではないが、それを認めれば、s-r∈R^N は途中からは
すべて0の実数列。確実に0である箱を開けないまま推定したいが
開けない箱は1つだけ残せばいいのだから、開けない箱を少しずつ
残しながらほとんど開けていったとき、途中から、開けた部分が
すべて0になっていれば開けてない部分も0である蓋然性が高いと
推定されるというだけのことでしょ。
625 名前：１３２人目の素数さん mailto:sage [2017/06/02(金) 13:33:42.93 ID:7mcaypyk.net]: まだ考えが足りないところがある。あとでまた考えてみる。
626 名前：１３２人目の素数さん mailto:sage [2017/06/02(金) 14:13:52.79 ID:7mcaypyk.net]: 確かに選択公理によって、R^N/～の代表系が「あらかじめ選ばれている」
ということが効いてるのか。
627 名前：哀れな素人 [2017/06/02(金) 16:48:30.56 ID:uhNHD33g.net]: このID:JvTxhcMjという男は、このスレ最大の馬鹿だろう（笑
628 名前：１３２人目の素数さん mailto:sage [2017/06/02(金) 18:17:33.68 ID:YHMdyS/K.net]: 真性のバカにはまともな人間は全て馬鹿に見えるらしい
629 名前：１３２人目の素数さん mailto:sage [2017/06/02(金) 18:31:24.79 ID:6CDz5QAx.net]: >>545
確率あるいは測度論以前の話として
スレ主の言う「確率論の専門家さん」が「n→∞とすればよい」と書いたからスレ主は定義を一切書かずに

> サイコロを振って、箱に数を入れる
> 数列　X1,X2,・・・Xi,・・・Xn　n→∞で、

としているのでしょうけれど極限を定義するのに「無限数列のしっぽで同値類分類する」必要がありますよ
630 名前：１３２人目の素数さん mailto:sage [2017/06/02(金) 19:04:15.68 ID:2zBXnabR.net]: ところで100列つくった場合100人がそれぞれ違う列を開けない選択をしたとする
その場合、運悪く最大値の列を選んだ人を除けば、みな予測できるわけだ
このことは否定しようがないな
631 名前：１３２人目の素数さん [2017/06/02(金) 19:11:24.60 ID:nK/5quMs.net]: 素人爺さんが言う無限小数は、ただの文字列の事のようだ
632 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/02(金) 22:01:25.40 ID:DtknLDcm.net]: >>350>>354 遠隔レスすまん
>同意。物理の原理と解釈を明確に示したところが革命的だったと

関連下記
https://kotobank.jp/word/%E3%83%95%E3%82%A3%E3%83%83%E3%83%84%E3%82%B8%E3%82%A7%E3%83%A9%E3%83%AB%E3%83%89%3D%E3%83%AD%E3%83%BC%E3%83%AC%E3%83%B3%E3%83%84%E5%8F%8E%E7%B8%AE-1403009
フィッツジェラルド=ローレンツ収縮コトバンク出典株式会社日立ソリューションズ・クリエイト世界大百科事典第２版朝日新聞
(抜粋)
…マイケルソン=モーリーの実験は，絶対静止系(エーテル系)の存在を否定するものであったが，H.A.ローレンツはなおエーテル説との両立を求め，エーテルに対して速度
633 名前：vで動く物体は，光速度をcとすると，その方向にの割合で短くなると考えればよいことを示した(1893)。 この仮説をローレンツ収縮，またはローレンツ短縮という(G.F.フィッツジェラルドも独立にこの仮定を立てており，フィッツジェラルド=ローレンツ収縮ともいう)。 https://ja.wikipedia.org/wiki/%E3%82%B8%E3%83%A7%E3%83%BC%E3%82%B8%E3%83%BB%E3%83%95%E3%82%A3%E3%83%83%E3%83%84%E3%82%B8%E3%82%A7%E3%83%A9%E3%83%AB%E3%83%89 ジョージ・フィッツジェラルド (抜粋) フィッツジェラルドの名前は、マイケルソン・モーリーの実験の否定的な結果を説明すべくローレンツと独立に導入したフィッツジェラルド‐ローレンツ収縮仮説（1889年）で広く知られている。これは厳密には正しくなかったが、後にアインシュタインの特殊相対性理論において異なる解釈を与えられ、彼は相対論の先駆者の一人とみなされることとなった。 つづく []: [ここ壊れてます]
634 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/02(金) 22:02:31.01 ID:DtknLDcm.net]: >>568 つづき

生涯と業績

古典物理学がほとんど完成に近づいていた当時、波動である光は何らかの媒質を伝わると考えられていた。「エーテル」と名づけられていたその仮想物質は、光が真空を伝わることからあらゆる空間に充満しているはずだった。
1881年、マイケルソンとモーリーは共同で地球がエーテルに対してどのように運動しているのかを検出するための実験を行った。互いに直角な二方向で光速度を測定したが、エーテルに対する地球の速度の影響は検出されなかった。
この実験結果を受けてフィッツジェラルドは1889年、帯電物体が電磁場中を移動するとき電気力が変化することから類推し、物体がエーテル中を移動するとき分子間力が変化してその物体が変形するのではないかと推測した。
そして、それによって高速で移動する物体は移動方向に長さが縮み、光速度の変化が見た目上は現れないのではないかという仮説を立てた。彼は移動速度が物体の物理的な大きさにどう影響するかを表す式も提出した。これは当初あまり注目されなかったが、1895年にローレンツが同様の仮説を発表し広く知られるようになった。
1901年にフィッツジェラルドが死去した4年後、アインシュタインは特殊相対性理論を発表した。その中でフィッツジェラルド‐ローレンツ収縮は、物体の変形ではなく空間そのものの収縮という新しい意味を与えられた。

https://ja.wikipedia.org/wiki/%E3%83%AD%E3%83%BC%E3%83%AC%E3%83%B3%E3%83%84%E5%A4%89%E6%8F%9B
ローレンツ変換（フィッツジェラルド＝ローレンツ収縮から転送）
(抜粋)
歴史
ローレンツはこの変換がマクスウェル方程式を不変な形で変換することを、1900年に発見した。ローレンツは導光性エーテル仮説を信じており、この変換に適切な基礎を提供する相対性理論を発見したのは、アルベルト・アインシュタインであった。
ローレンツ変換は1904年に初めて発表されたが、当時これらの方程式は不完全であった。フランスの数学者アンリ・ポアンカレが、ローレンツの方程式を、今日知られている整合性の取れた 4 つの方程式に修正した。
(引用終り)
635 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/02(金) 22:08:11.66 ID:DtknLDcm.net]: 「それでも地球は動く」
https://ja.wikipedia.org/wiki/%E3%81%9D%E3%82%8C%E3%81%A7%E3%82%82%E5%9C%B0%E7%90%83%E3%81%AF%E5%8B%95%E3%81%8F
それでも地球は動く

「それでも地球は動く」（それでもちきゅうはうごく、イタリア語：E pur si muove エ・プル・スィ・ムオーヴェまたは Eppur si muove エップル・スィ・ムオーヴェ）は、イタリアの天文学者ガリレオ・ガリレイが、1633年に開かれた2回目の異端審問（宗教裁判）の際につぶや
636 名前：いたとされる言葉。 ガリレオは1632年、地球が動くという旨を書いた著書『天文対話』を発刊した。それに対する罪で1633年に裁判が開かれ、有罪が告げられ、地動説を放棄する旨の異端誓絶文を読み上げた後につぶやいたとされる。 日本語には「それでも地球は動いている」「それでも地球は回る」「それでも地球は回っている」などと訳されることもある。ただし、「E pur si muove」は直訳すれば単に「それでも動く」であり、「地球」（terra）という語は含まれていない。仮に「地球」という語を入れれば「E pur la terra si muove」となる。 発言の実否について ガリレオはこの言葉をつぶやいていないとする説 裁判で有罪判決が出た状況からして、ガリレオはこの言葉をつぶやいておらず、後に彼の弟子が地動説の宣伝効果を得ようとして、彼がつぶやいたという情報を捏造したというもの。 ギリシア語でつぶやいたという説 ガリレオは周りの人たちがわからないように、あえてギリシア語でつぶやいたという説もある。その言葉をイタリア語に訳すと「E pur si muove」となったという。 ガリレオは異端誓絶文に署名する直前、独り言を言っていたようで、「それでも地球は動く」はその独り言の一部とも考えられている。 []: [ここ壊れてます]
637 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/02(金) 22:26:57.83 ID:DtknLDcm.net]: >>545
>"日本人の3割しか知らないことくりぃむしちゅーのハナタカ!優越館" >>78なんだ
>時枝先生自身が勘違いしている問題だ。だから、そんなに簡単で単純な話じゃない！かなり高度なレベルの勘違いだ
>君らのレベルですぐ理解できる話じゃないよってところ。それが、この問題の私にとっての面白さだ（＾＾

いまどき（21世紀に）、地動説を言ってもなんの面白みもない
だが、1632年当時、地動説を唱えたガリレオは偉大だった！（＾＾

これと同様に、全員が
「時枝解法なんて単なる与太話」>>545
「正直時枝氏が確率論に対してあまり詳しくないと結論せざるを得ないな」>>531
「時枝氏の出した確率99/100は大きな論理の飛躍ですなぜなら可測関数に対してのみ主張できる結果を、証明なしに非可測関数に適用しているからです」>>120
と言い出したら、こちらとしては、大して面白くない

宗教裁判望むところですよ～（＾＾
騒ぎは、大きいほど面白い～（＾＾
（文系にとって、数学とは論争らしいね～（＾＾）
638 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/02(金) 23:05:35.63 ID:DtknLDcm.net]: >>571

ああ、ご心配なく
私ら、異端誓絶文に署名でもなんでもしますよ。わからんやつには、説明しても無駄だと。無益な論争はしませんよ。時間が無駄

時枝先生自身が勘違いしている問題だ。だから、そんなに簡単で単純な話じゃない！かなり高度なレベルの勘違いだ
君らのレベルですぐ理解できる話じゃないよってところ。確率論の知識があるレベルに達しないと、理解できないと思うよ

せめて、>>91 原隆先生の確率論 I，確率論概論 I 講義の最初の部分くらいは読んで貰わないとね
639 名前：１３２人目の素数さん [2017/06/02(金) 23:17:16.91 ID:JvTxhcMj.net]: 時枝解法は不成立です
理由は確率の専門家さんがそう言ってたからです

　　　　　　　　　　　　　　　　　　　スレ主
640 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 01:03:01.97 ID:5ptSKiT3.net]: 以下の文章を読んで問に答えよ

スレ主がサイコロを6回振ったらその出目は順に2, 3, 3, 1, 6, 4となり6個の箱にその順番で数字を1つずつ入れた

(問) サイコロの出目はそれぞれ独立であることを踏まえて4番目の箱に入っている数字が1である確率を答えよ

(スレ主によるヒント)
> 任意の箱には、確率1/6で、各１～６の数が入る

> が、定義から、箱の数を的中できる確率は1/6だ。これは矛盾だろう。だから、反例が存在すると
641 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 02:30:44.36 ID:YbwQeVvS.net]: >>571-572
残念だけど選択公理を使って
無限列から決定番号への非可測関数を構築すれば
「箱入り無数目」解法による予測は避けられないよ

逆に
「X1，X2，X3，・・・がまるまる無限族として独立なら絶対に当てられない」
と言い切るなら、必然的に
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」
といわざるを得なくなる

「X1，X2，X3，・・・がまるまる無限族として独立」の定義から
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」が
証明できるのかい？

これはもう測度論じゃなく集合論の問題だな
642 名前：１３２人目の素数さん [2017/06/03(土) 04:50:32.18 ID:D9d+ki00.net]: 【１月】初っ端から飛ばすと後でばてる。２月から本気を出す
【２月】まだまだ寒い。これではやる気が出ない。３月から本気出す
【３月】年度の終わりでタイミングが悪い。４月から本気を出す
【４月】季節の変わり目は体調を崩しやすい。５月から本気を出す
【５月】区切りの良い４月を逃してしまった。６月から本気を出す
【６月】梅雨で気分が落ち込む。梅雨明けの７月から本気を出す
【７月】これからどんどん気温が上昇していく。体力温存の為８月から本気を出す
【８月】暑すぎて気力がそがれる。９月から本気を出す
【９月】休みボケが抜けない。無理しても効果が無いので１０月から本気を出す
【１０月】中途半端な時期。ここは雌伏の時。１１月から本気を出す
【１１月】急に冷えてきた。こういう時こそ無理は禁物。１２月から本気を出す
【１２月】もう今年は終わり。今年はチャンスが無かった。来年から本気出す
643 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/03(土) 08:57:14.63 ID:RuRaSwaT.net]: >>573 訂正

時枝解法は不成立です
理由の一つは確率の専門家さん”も”そう言ってたからです。私も、ずっと以前から同じことを言っていますよ！（＾＾

　　　　　　　　　　　　　　　　　　　スレ主
644 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/03(土) 09:10:28.77 ID:RuRaSwaT.net]: >>577 補足
>理由の一つは確率の専門家さん”も”そう言ってたからです。

正直、確率の専門家さんの証明は、鮮やかだと思うよ（＾＾

>>529より、時枝先生
rio2016.2ch.net/test/read.cgi/math/1466279209/6
「確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)
しかし，素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる，といってもよい.」
(引用終り)

>>531より、確率の専門家さん
rio2016.2ch.net/test/read.cgi/math/1466279209/538
538 2016/07/03
うーん，正直時枝氏が確率論に対してあまり詳しくないと結論せざるを得ないな

>確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
の認識が少しまずい．
任意有限部分族が独立とは
P(∀i=1,…n,X_i∈A_i)=Π[i=1,n]P(X_i∈A_i)ということだけど
これからP(∀i∈N,X_i∈A_i)=Π[i=1,∞]P(X_i)が成立する（∵n→∞とすればよい）
これがきっと時枝氏のいう無限族が直接独立ということだろう．
ということは(2)から(1)が導かれてしまったので，
「(1)という強い仮定をしたら勝つ戦略なんてあるはずがない」時枝氏の主張ははっきり言ってナンセンス
確率変数の独立性というのは，可算族に対しては(1)も(2)も同値となるので，
”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ
(引用終り)
645 名前：１３２人目の素数さん [2017/06/03(土) 09:37:17.17 ID:FWu1pGtv.net]: スレ主さん
>>574に直接答えるなり、>>574が無意味だと思うなら何故そう思うか答えるなりしては？
どんなに他人のレスを引用したところで、あなたは>>574からは逃れられないよ
646 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 09:43:26.01 ID:/Rl1jahk.net]: >>578
時枝の記事は、前半の戦略の妥当性の説明と後半のコメントに分かれている
コメントが的外れだという指摘が正しかったとしても、それが戦略に不備があることの指摘にはならない
スレ主は、なぜこんなことも分からないのか
647 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/03(土) 09:47:06.52 ID:RuRaSwaT.net]: >>579
どうも。スレ主です。
直接の答えになっていないのはご容赦

１．去年（2016）のいまごろは、天動説（時枝記事が正しい）を支持する人は、いまよりずっと多かった
２．だが、最近、地動説（時枝記事は間違い）を支持する人が、増えてきたように思う
３．過去、天動説（時枝記事が正しい）を
648 名前：唱える人は、”数学的帰納法に例外がある”なんて珍説を主張してね（＾＾ さすがの私も、「えっ！」と動揺したよ。まあ、すぐガセと見抜いたけどね（＾＾ ４．今年は、どんな珍説が、天動説（時枝記事が正しい）を唱える人たちから、提唱されるのか楽しみにしていますよ ５．基本は、全部スルーですが、悪しからず>>8 []: [ここ壊れてます]
649 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 09:47:33.22 ID:/Rl1jahk.net]: >>578
俺自身は、戦略自体は正しいが時枝のコメントは的外れだと思っている
650 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/03(土) 09:50:55.11 ID:RuRaSwaT.net]: >>581 補足

"逃れられない"? 面白いことを言いますね（＾＾
珍説を微笑ましく眺めて、楽しんでいますよ。そして、晒しています。他の人がどう反応するかを見たいのでね。まあ、ゆっくりしていってください（＾＾
651 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 09:57:56.48 ID:YbwQeVvS.net]: >>578
「確率の専門家」さんは何も証明してないな

そもそも「箱入り無数目」は
選択公理を使って非可測関数を構成した時点で
確率論とか測度論とかの問題じゃなくなってる

「選択公理を使って代表元をとることはできない」
というなら選択公理を否定することになるね

ということで、無限族の独立性（１）と選択公理から
矛盾を導いてくださいね
ちなみに測度論じゃなくて集合論の問題だから
652 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/03(土) 10:02:41.25 ID:RuRaSwaT.net]: >>580>>582
どうも。スレ主です。

>コメントが的外れだという指摘が正しかったとしても、それが戦略に不備があることの指摘にはならない
>俺自身は、戦略自体は正しいが時枝のコメントは的外れだと思っている

この前文は、ロジックとしては正しい
が、私は、時枝先生は、「戦略が数学的に完全に正しい」とまでの確信を持っていなかったんじゃないでしょうかね

だから、後半のコメントを書いたのだと
つまり、前半の戦略部分は、数学的な証明がなく（時枝先生の言葉では「非可測集合を経由するゆえ」）、従って、時枝先生も「数学の定理」という扱いをしていない

最初に、単なる「茶飲み話」だと、断っている
だが、時枝先生は、どちらかと言えば、「戦略が数学的に正しいのではないか」という立場で、「戦略が数学的に正しい」というところに重心をおいてこの記事を書いたのでしょう

だが、私は、数学セミナーという大学１～３年の、まあいわばどちらと言えば大学数学初心者向けの記事としては、不適切な書き方ではなかったかと
もっとはっきり、「この戦略は、まだ数学として定理になっていない」ということを、書かれるべきだったと

そう思っています
653 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/03(土) 10:05:53.62 ID:RuRaSwaT.net]: >>585 訂正

が、私は、時枝先生は、「戦略が数学的に完全に正しい」とまでの確信を持っていなかったんじゃないでしょうかね
　↓
が、時枝先生は、「戦略が数学的に完全に正しい」とまでの確信を持っていなかったんじゃないでしょうかね
654 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 10:18:58.34 ID:YbwQeVvS.net]: だいたい
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
が同じなら、否定されるのは
「(1)という強い仮定をしたら勝つ戦略なんてあるはずがない」
なのであって否定されるのはスレッド主の立場だろう

だからスレッド主としては
・（１）は（２）とは異なる
・（１）は選択公理と矛盾するから、（１）を前提すれば
　同値類から代表元をとる関数は存在しない
というしかない

証明責務を負っているのは
「予測できるわけがない！」
と云いだしたスレッド主のみ
ま、頑張ってください　
あと測度論だけ勉強してもダメですよ
集合論勉強しないとね　大変だね
655 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 10:28:32.78 ID:YbwQeVvS.net]: >>581
「箱入り無数目」記事は正しい、というのは選択公理を認める立場
「箱入り無数目」記事は誤り、というのは選択公理を認めない立場

もちろん、選択公理を認めようが認めまいが随意である
平行線公準を認めようが認めまいが随意であるのと同じこと

ただ、選択公理を否定するなら、その根拠を示してほしい
具体的には「無限族の新たな独立性」の定義を示すことだな
656 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 10:33:53.32 ID:YbwQeVvS.net]: >>585
大学１～３年の数学科の学生むけの記事なら適切
選択公理も知らない他学科の人むけの記事ではないな

後半のコメントは暗に
「無限族の強力な独立性を仮に定義できたとしたなら
　おそらく選択公理を否定するものになるだろう」
という含みがある
657 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 10:45:25.58 ID:YbwQeVvS.net]: >>580
＞スレ主は、なぜこんなことも分からないのか

分かりたくないんでしょう

プライドの高い人は実は自己評価が低いといわれてます
自己評価が低いから無理矢理高くしようとするわけです
そこが俗
658 名前：にいう「痛々しさ」の源です ただ世間一般の人は数学に大した価値を認めてません 彼らにとってはエレキギターが弾けるとか サッカーが得意とかいうほうが価値がある たかが数学如きでムキになるとか阿呆だなと思うばかり 世間的にはそれが健全な態度ってもんだろうな []: [ここ壊れてます]
659 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 11:33:02.73 ID:zbDoOxrv.net]: おっちゃんです。
スレ主が無視すれば終わる話だったのに、まだ時枝問題のことやっていたのか。
せっかく他の話に移したというのに。
660 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 12:33:29.36 ID:DyXQvp/y.net]: >>585
> >コメントが的外れだという指摘が正しかったとしても、それが戦略に不備があることの指摘にはならない
> この前文は、ロジックとしては正しい

スレ主は『「確率の専門家」さんの発言は、戦略の不成立を意味しない』ということを認めた
ということでよろしいですね
661 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 12:41:18.00 ID:zbDoOxrv.net]: >>571
>宗教裁判望むところですよ～（＾＾
それじゃ、スレ主のためにおっちゃんが裁判官になってあげましょう。裁判します。

数セミは、気軽に読めて誰しもが読み得る記事を載せたような雑誌である。
数セミに載せられた時枝問題は、高校性(中学？)以降の全員の目に留まり、
場合によっては、目に留まった読者なら読み得るような記事である。
時枝問題の記事もそのような記事の1つである。
時枝問題の記事は、内容や書かれ方は比較的初等的ではあるが、注意深く読まないと誤解を招く恐れがある。
事実、訂正して読める力が必要な記事であり、確率が1という結論自体は比較的簡単な数学で出せる。
結論を出すには、一見測度論が必要でありながら、実は必要とはならないのである。
つまり、内容としては比較的簡単な数学になっているのである。
著者の時枝が、もっとしっかりと分かり易く丁寧に書いていれば、こんなに議論は延びなかったと思われる。
読者にとって長い論議が必要となるような書き方をした責任は、どちらかというと時枝側にある。
この書き方では、パソコンがなかったり地方にいるような読者が独力で読むことは困難だと思われる。
以上のことから、今回の件の責任は比較的時枝側にあると思われる。
これは、混乱を招くような書き方をした時枝側が悪い。よって、責任は著者の時枝自身にあり。
662 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/03(土) 12:46:48.33 ID:RuRaSwaT.net]: >>591
おっちゃん、どうも、スレ主です。

>スレ主が無視すれば終わる話だったのに、まだ時枝問題のことやっていたのか。
>せっかく他の話に移したというのに。

おっちゃん、悪い（＾＾；
（文系）High level people って、数学を、ソクラテスメソッドでやろうとしているようだね（下記）

さすが文系！だけど、数学は、きちんとした証明も必要なんだよね
その根本を抜きにして、相手に論争や攻撃を仕掛けても、数学では自分の正しさの証明にはならない！

その原理原則を忘れている・・（＾＾

d.hatena.ne.jp/redips/20070605/1181046867
ソクラテス・メソッド Footprints 2007-06-05
(抜粋)
ソクラテス・メソッドは，ロースクールの授業の代名詞ともいえるものである。詳しい定義はわからないが，通常の大学の講義のように，講師が一方的にしゃべるのではなく，学生との対話形式によって進める方式をいう。
663 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/03(土) 12:54:54.92 ID:RuRaSwaT.net]: >>593
おっちゃん、どうも、スレ主です。

裁判官さま、裁定ありがとう
おっちゃん裁定を要約すると、下記だね

１．時枝記事の内容は、そう難しく考えるほどのこともなく、高校数学の極限が分かれば、「確率が1という結論自体は比較的簡単な数学で出せる」と
２．但し、記事の書き方が、不十分で、簡単なことが、読み取りにくくなっているだけだと

だが、”時枝記事の内容は、・・・高校数学の極限が分かれば、・・・結論自体は比較的簡単な数学で出せる”には、（文系）High level people たち同意しないだろうね（＾＾
664 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 13:04:14.86 ID:9NbXeEz1.net]: 何の確率が1なんだい？当てられる確率なら"1-ε"にできるとしか書いてない。
選択公理が出てくるんだから、高校レベルとは言えないだろう。
誤解を招くというのはそうかもしれんが、考える材料になるなら
十分価値のある記事でしょう。仮に誤りがあっても数学をやってる
ひとなら、ちゃんと読めば自分で訂正できるだろう。（永田雅宜が
自著の誤植を指摘されてそんなことを言ったとか。）
665 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 13:08:22.70 ID:zbDoOxrv.net]: >>595
記事を読んだ後は、もはや時枝問題は、
基本的には、どのようにして確率の列の極限に結び付けてその極限を1と出すかという問題になる。
確率を求めるのに、測度論なんかは使わない。初等的な確率の考え方で済む話。
666 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 13:12:01.95 ID:zbDoOxrv.net]: >>596
かなり前に、私が「1-ε」は「1」の間違いと指摘した。
667 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/03(土) 13:15:51.74 ID:RuRaSwaT.net]: >>592
>> >コメントが的外れだという指摘が正しかったとしても、それが戦略に不備があることの指摘にはならない
>> この前文は、ロジックとしては正しい
>スレ主は『「確率の専門家」さんの発言は、戦略の不成立を意味しない』ということを認めた
>ということでよろしいですね

そう短絡されても困るんだよね、悪いけど（＾＾

いいかな、>>578から引用すると「扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，当てられっこないではないか－」だ

ここで、この後段の時枝コメントは、”「独立な確率変数の無限族 X1，X2，X3，…」を、前段のゲームの箱に入れることができる”と、いうことを前提としていると読める
つまり、”「独立な確率変数の無限族 X1，X2，X3，…」を、前段のゲームの箱に入れることができる”を認める

すると、時枝解法は不成立だ
つまり、「独立な確率変数の無限族 X1，X2，X3，…」→ランダムな値の例としてサイコロの１～６を入れる→Xnの的中確率は1/6となる ∵Xnは、独立な確率変数の無限族だから

なので、”「独立な確率変数の無限族 X1，X2，X3，…」を、前段のゲームの箱に入れることができる”を認めるかどうか。そこはキモだろう（＾＾
もし、認めないなら＊）、お説の通り（もちろん、おれは認める派だけど）

注＊）例えば、>>574とか>>546
668 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 13:18:01.73 ID:YbwQeVvS.net]: >>591
＞スレ主が無視すれば終わる話
いいえ、スレッド主が無視すれば続く話ですよ

>>593
＞（予測）確率が1（に限りなく近づけられる）
＞という結論自体は比較的簡単な数学で出せる。
しかしスレッド主には出せませんでしたね

＞一見測度論が必要でありながら、実は必要とはならないのである。
(n-1)/nのところは高校までの数学のレベルである

上記の点に基づけば、無駄な議論の責任は記事の著者ではなく
すべていいだしっぺのスレッド主にある　といわざるを得ない
669 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 13:23:40.01 ID:9NbXeEz1.net]: >>598
>かなり前に、私が「1-ε」は「1」の間違いと指摘した。
1-εを1にするためには、"100列"のところを"∞列"に変えて
しかも、1列を除いたすべてを比較して最大の決定番号を取り出せる
とする必要があるから、相当飛躍があると思うが。
その値が有限値になるとも限らんし。
だから、簡単には信じられん。おっちゃんやスレ主が
1と1-εの区別も付かないという方が尤もらしいｗ
670 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 13:23:41.79 ID:YbwQeVvS.net]: >>596
＞選択公理が出てくるんだから、高校レベルとは言えないだろう。
レベルの件はおいておくとしても、「箱入り無数目」記事の真意は
「無限類の”強い”独立性は、選択公理とは相容れないのではないか？」
にあるから、この点を看過した読解は無意味だと思う
671 名前：１３２人目の素数さん [2017/06/03(土) 13:29:29.45 ID:YbwQeVvS.net]: >>601
もし100列を可算列に変えたら戦略は破綻する
なぜなら、開いた列全体の決定番号の上限が
存在しない可能性が高いから
つまりいくらでも大きなｎについてｎ列の議論はできるが、
ｎを∞とすることはできない
672 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/03(土) 13:32:25.92 ID:RuRaSwaT.net]: >>599 追加
>スレ主は『「確率の専門家」さんの発言は、戦略の不成立を意味しない』ということを認めた
>ということでよろしいですね

「確率の専門家」さんの発言は、もう一つあるよ
”しかし1に関していうと時枝氏の解法は，現在の測度論から導かれる解釈のほうが自然．
（当てられっこないという直感どおり，実際当てられないという結論が導かれる）”と（下記>>531引用）

>>531 より
rio2016.2ch.net/test/read.cgi/math/1466279209/542
(抜粋)
542 名前：１３２人目の素数さん[] 投稿日：2016/07/04(月) 00:06:31.30 ID:1JE/S25W
時枝氏の主な主張は次の２つだろうだろう
1. 確率論を測度論をベースに展
673 名前：開する必要が無い 2. 無限族の独立性の定義は微妙 しかし1に関していうと時枝氏の解法は，現在の測度論から導かれる解釈のほうが自然． （当てられっこないという直感どおり，実際当てられないという結論が導かれる） 2に関して言うとそもそも時枝氏の勘違い． 時枝氏の考える独立の定義と，現代の確率論の定義は可算族に対しては同値である (引用終り) []: [ここ壊れてます]
674 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 13:33:55.03 ID:YbwQeVvS.net]: >>599
＞　「独立な確率変数の無限族 X1，X2，X3，…」
＞→ランダムな値の例としてサイコロの１～６を入れる
然り
＞→Xnの的中確率は1/6
否
正しくは「１～６の各値がXnに入る確率は1/6」
的中できるか否かは独立性とは無関係
675 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 13:38:38.01 ID:YbwQeVvS.net]: >>604
＞時枝氏の解法は，現在の測度論から導かれる解釈のほうが自然．
＞（当てられっこないという直感どおり，実際当てられないという結論が導かれる）

上記は「可測関数を使う限り予測できない」の意味
逆に「非可測関数なんて存在し得ない」といいたいのなら選択公理を否定するしかない
無限族の”強い”独立性を定義してみせた上でそこから選択公理を否定してごらん
それがあなたが負った証明責務
676 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/03(土) 13:43:23.07 ID:RuRaSwaT.net]: >>600
どうも。スレ主です。
ID:YbwQeVvS さん多弁だね～

（文系）High level people って、数学を、ソクラテスメソッドでやろうとしているようだね>>594
さすが文系！だけど、数学は、きちんとした証明も必要なんだよね>>594

えーと、>>584”そもそも「箱入り無数目」は
選択公理を使って非可測関数を構成した時点で
確率論とか測度論とかの問題じゃなくなってる”
でしたか？

”選択公理を使って非可測関数を構成した時点”が未達成だな。どうぞ、”選択公理を使って非可測関数を構成”よろしく
（宝くじ買った。一等当選で大金持ち。おれは大金持ち、みたいなロジックだよね（＾＾）

すばらしいよね。構成できていないものを、「構成した」と夢想
一等当選で大金持ち、おめでとう！！（＾＾

スレ28での「選択公理を使って非可測関数を構成」を待ってますよ
よろしくね
677 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 13:53:14.13 ID:YbwQeVvS.net]: >>607
＞数学を、ソクラテスメソッドでやろうとしているようだね
いいえ
＞さすが文系！
私は数学科の出身ですが何か？
＞だけど、数学は、きちんとした証明も必要なんだよね
ええ、だから前提を示した上であなたの主張を証明してください

＞＞そもそも「箱入り無数目」は
＞＞選択公理を使って非可測関数を構成した時点で
＞＞確率論とか測度論とかの問題じゃなくなってる
今の確率論は測度論に基づいているので、
測度論に基づかない議論は、狭義の意味で確率論の枠外です

＞”選択公理を使って非可測関数を構成した時点”が未達成だな。
選択公理を存じないようですが、単に関数の存在を主張するだけで
関数が具体的に構成できるとは述べておりませんし構成は必要ありません

＞構成できていないものを、「構成した」と夢想
あなたこそ選択公理のステートメントを確認しましょう

＞スレ28での「選択公理を使って非可測関数を構成」を待ってますよ
待つ必要ありません
どの同値類も空集合ではないのだから、
そこから１個づつ代表元をとる関数が存在する
それが選択公理ですから
あなたが選択公理を嫌うのは随意ですが、
否定するなら、このスレでその根拠を述べてください
待ってますよ　夜露死苦！
678 名前：１３２人目の素数さん [2017/06/03(土) 13:53:47.24 ID:FWu1pGtv.net]: スレ主さん不成立と言い張らなければ証明義務負わなくて済んだのに
まあがんばって証明するしかないわな、不成立と言い張る限りは
679 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 13:56:38.86 ID:DyXQvp/y.net]: >>599
時枝記事後半のコメント部分にいくらケチをつけても、前半部分には何も影響しないですよ
戦略の不成立を言いたいなら、前半の解説部分にケチつけないと

> つまり、”「独立な確率変数の無限族 X1，X2，X3，…」を、前段のゲームの箱に入れることができる”を認める
これはどういう意味？
箱を開けるときに、その中の実数が決まるということですか？
それなら
> すると、時枝解法は不成立だ
当然ですね

でも、時枝記事のゲームは箱を開ける前からその中の実数が決まってますよ
あなたは、そのような区別ができないのですね
680 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/03(土) 14:01:24.98 ID:RuRaSwaT.net]: >>584
どうも。スレ主です。
遠隔レス失礼
ID:YbwQeVvS さん多弁だね～

(引用)
そもそも「箱入り無数目」は
選択公理を使って非可測関数を構成した時点で
確率論とか測度論とかの問題じゃなくなってる
「選択公理を使って代表元をとることはできない」
というなら選択公理を否定することになるね
(引用終り)

これ、今年の新説（珍説）かも
おれも、確率論は詳しくないが、おかしな点を指摘しておく
１．>>607で書いたように、”選択公理を使って非可測関数を構成した時点”が未達成だ
２．なお、「非可測関数ならなんでも良い」ってことじゃないと思う。つまり、「新しい非可測関数による確率論」として、矛盾なく使える関数でなければならない
３．ところで、なぜ現代確率論が、可測関数限定なのか？　その一つの理由は、「新しい非可測関数による確率論」は簡単な話じゃないってことだと思うよ
４．もし、簡単にそんな新確率論が構築可能なら、とっくにだれやっているだろうと
５．もし、できたなら、DR論文１本書けるんじゃないかな？　ID:YbwQeVvS さん、いっちゃ悪いが、あんたには(DR論文１本は)むりじゃね？勿論、おれにはとても無理さ（＾＾
681 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 14:04:57.84 ID:YbwQeVvS.net]: >>610
＞記事のゲームは箱を開ける前からその中の実数が決まってますよ

そうだな　>>566みたいに100人がそれぞれ別の列の選んで
他人と情報共有せずに自分のゲームを行った場合、
決定番号が最大値の1列を選んだ人以外は確実に予測できる
このことをスレッド主が否定するのは随意だが
もしそうしたならその後は数学板ではおミソ扱いだろう
682 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 14:13:30.51 ID:YbwQeVvS.net]: >>611
＞おれも、確率論は詳しくないが
詳しくないのは確率論だけじゃないでしょう

＞”選択公理を使って非可測関数を構成した時点”が未達成
あなたは「実際に計算できる関数」を達成しろといってるようですが
集合論における関数というのはグラフであって計算アルゴリズムではありません
グラフは存在すればいいのであって具体的に書いて見せる必要すらありません

（蛇足）
＞なぜ現代確率論が、可測関数限定なのか？
非可測関数では成り立たないことがあるからでしょう
683 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/03(土) 14:32:40.38 ID:RuRaSwaT.net]: >>608-609
どうも。スレ主です。

>私は数学科の出身ですが何か？

それはお見それした。じゃ、>>488で書いた「>>486さん、新しい人」ですかね？
なら、”ここで、私に議論を要求するなら、数学セミナーの記事の原文を読んでほしいね。できれば、原文のコピーかPDFでも手元においてほしいね”はどうですか？
それから、”（もっとも、原則は上記「時枝記事が成り立たないこと前提とするの部分が共有できない人とは議論しませんあしからず」だが）”とも書いたけど読んだ？

>ええ、だから前提を示した上であなたの主張を証明してください

さんざん書いたよ。>>488-497、>>527-533を読んでね（＾＾

>選択公理を存じないようですが、単に関数の存在を主張するだけで
>関数が具体的に構成できるとは述べておりませんし構成は必要ありません

これについては、>>611の反論をご参照
なお、「構成は必要ありません」？ ”構成”という用語を使ったのは、あなた自身だよ（>>584”選択公理を使って非可測関数を構成した時点で”と書いたでしょ）。食言は如何なものか？
構成は不要かも知れないが、「新確率論」（その非可測関数が確率計算に使えることの立証）は、必要と思うよ>>611

>スレ主さん不成立と言い張らなければ証明義務負わなくて済んだのに
>まあがんばって証明するしかないわな、不成立と言い張る限りは

それは、過去スレでも出た、立証責任とか証明責任と言われるもので、主に法律用語だな
が、数学では立証責任は、お互いにあると思うよ

どうぞ、数学科なら、スレ28で、時枝解法成立の証明を。お得意の集合論と選択公理と非可測関数で、お願いします
数学科を名乗るなら、特にだ！（それができないから、このスレでとぐろを巻いているのだろ？）
https://ja.wikipedia.org/wiki/%E8%A8%BC%E6%98%8E%E8%B2%AC%E4%BB%BB
(抜粋)
証明責任とは、裁判をするにあたって裁判所又は裁判官がある事実の有無につき確信を抱けない場合（真偽不明、non liquet）に、その事実の有無を前提とする法律効果の発生ないし不発生が認められることにより被る、当事者一方の不利益のことをいう。挙証責任、立証責任ということもある。
684 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 14:37:03.66 ID:DyXQvp/y.net]: >>604
> 「確率の専門家」さんの発言は、もう一つあるよ
> ”しかし1に関していうと時枝氏の解法は，現在の測度論から導かれる解釈のほうが自然．
> （当てられっこないという直感どおり，実際当てられないという結論が導かれる）”と（下記>>531引用）

理由がなにもかいてないじゃん
「当てられっこないという直感どおり，実際当てられないという結論が導かれる」ということを、現在の測度論から導いてよ
685 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 14:38:17.17 ID:DyXQvp/y.net]: >>615 もちろんスレ主がね
686 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 14:46:42.95 ID:YbwQeVvS.net]: >>614
＞数学セミナーの記事の原文を読んでほしいね。
読んでますよ

＞原文のコピーかPDFでも手元においてほしいね
ええ、スキャンしたPDFを持ってますよ

＞＞前提を示した上であなたの主張を証明してください
＞さんざん書いたよ。
あなたの「感想」は読みましたが、
どれもこれも証明ではありませんね

＞”構成”という用語を使ったのは、あなた自身だよ
あなたが「あんなの計算できないし構成できてない」というから
あなたの求めるような構成は数学では求められないと述べたまで

＞数学科なら、スレ28で、時枝解法成立の証明を。
＞お得意の集合論と選択公理と非可測関数で、お願いします

記事で解法は示されてます　
数学的にも無限列から同値類の代表元および
決定番号への関数の存在は証明されてます

選択公理についてあなた自身の学習のため
お得意のwikipediaの引用でもされたら如何ですか？ <
687 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 14:47:25.76 ID:zbDoOxrv.net]: >>601
>1と1-εの区別も付かないという方が尤もらしいｗ
時枝記事では「ε」には何の説明もなく、唐突に「ε」が出て来て「1－ε」と書かれている。
εが 0＜ε＜1 を満たすとして読むと、当たる確率は、1や0とは異なり例えば
当たるか外れるかの二者択一の観点から考えて「ε＝1/2」でもよくなってしまう。
場合によっては当たる確率が定義されるのかという問題になりかねない。
なのだから、文脈上は、εを「ε＝0」として読んで解釈するのが違和感が生じない。
688 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 14:50:51.99 ID:YbwQeVvS.net]: >>618
εは1/n（ｎ列の場合）であって、
ｎはいくらでも大きくできるから
εもいくらでも小さくできる

１－εで、「１にいくらでも近づけられる」
とはいってるが「１にできる」とはいってない
これを些細なことだという人は
数学に興味を持たないほうがいい
689 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 14:55:28.87 ID:YbwQeVvS.net]: スレッド主へ

選択公理
https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86

「選択公理（せんたくこうり、英: axiom of choice）とは公理的集合論における公理のひとつで、
　どれも空でないような集合を元とする集合（すなわち、集合の集合）があったときに、
　それぞれの集合から一つずつ元を選び出して新しい集合を作ることができる
　というものである。
　1904年にエルンスト・ツェルメロによって初めて正確な形で述べられた。」
690 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 15:00:42.15 ID:zbDoOxrv.net]: >>619
それならやはり、ややこしい問題を含ませた記事がいい加減ということになるな。
691 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 15:43:09.73 ID:YbwQeVvS.net]: >>621
生まれてから一度も「自分が馬鹿だった」と思ったことないでしょ
692 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 15:55:19.28 ID:1nIoe1k5.net]: >>622
おっちゃんはいじめないであげてw
693 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 15:58:47.45 ID:zbDoOxrv.net]: >>622
>>619の
>εは1/n（ｎ列の場合）であって、
>ｎはいくらでも大きくできるから
>εもいくらでも小さくできる
>
>１－εで、「１にいくらでも近づけられる」
>とはいってるが「１にできる」とはいってない
の部分は、ε→0 とすることが出来るが 1－ε→1 ではないと主張していることになる。
これは、ε→0 と出来るなら、1－ε→1 となることに反する。
この点をどう説明するんだ？　私には不可解だが。
694 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 16:01:36.08 ID:YbwQeVvS.net]: >>623
別にいじめてない　あなたの感覚がおかしい
695 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 16:03:39.64 ID:YbwQeVvS.net]: >>624
＞ε→0 とすることが出来る
ともいってないが

あなたが読み間違ってるだけ
696 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 16:12:20.20 ID:5ptSKiT3.net]: >>595
> ”時枝記事の内容は、・・・高校数学の極限が分かれば、・・・結論自体は比較的簡単な数学で出せる”には、
>（文系）High level people たち同意しないだろうね（＾＾

過去スレを見ると実際には「比較的簡単な数学」を用いた説明を受け入れることができなかったスレ主が
「（文系）High level people」とレッテル貼りを始めたわけなのだが
697 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 16:16:28.97 ID:1nIoe1k5.net]: >>625
君は新参者だから知らないだろうが。

背理法を数十年間勘違いしていたお茶目な一面もある、可愛らしいマスコットなんだよおっちゃんは。
「豊富な知識」と「論理力の欠如」という類まれなアンバランスが彼の魅力なのです。
698 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 16:20:06.02 ID:zbDoOxrv.net]: >>626
>>619の
>εは1/n（ｎ列の場合）であって、
>ｎはいくらでも大きくできるから
>εもいくらでも小さくできる
の部分を単純に読んで解釈してみよう。
ε＝1/n だと、1－ε＝1－1/n となる。
nはいくらでも大きく出来るなら、n→+∞ とすることが出来るということになる。
そうであれば、n→+∞ とすると、ε→0 になる。
n→+∞ とすると 1－1/n→1 で、
結局、n→+∞ とすると、ε→0 でこのとき 1－ε→1 になる。
何も解釈におかしな点はないと思うが。
699 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 16:21:27.32 ID:YbwQeVvS.net]: >>628
”おっちゃん”がどういう人かだいたい想像はつく
記憶力はあるが論理的推論能力は乏しい
数学にはもっとも向かないタイプだな

数学には大した記憶力は必要ない
しかし論理的推論能力はずば抜けている必要がある
残酷なようだがそれが現実
700 名前：１３２人目の素数さん [2017/06/03(土) 16:21:29.73 ID:FWu1pGtv.net]: >>624
>>603を読んだ？
701 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 16:24:20.03 ID:YbwQeVvS.net]: ＞nはいくらでも大きく出来るなら、
＞n→+∞ とすることが出来るということになる。

ならない
あなたはn→+∞を「ｎが∞になる」と云ってる
あなたは１－εを１だといったのだから

しかし、そうはならない

ｎは∞にならない
εは０にならない
だから１－εは１にならない
702 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 16:28:49.62 ID:zbDoOxrv.net]: >>630
>記憶力はあるが論理的推論能力は乏しい
>数学にはもっとも向かないタイプだな
あなたにいわれる筋合いはない。
703 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 16:28:50.66 ID:YbwQeVvS.net]: >>627
スレッド主こそ、このスレッドでもっとも文系的である
おっちゃんもこのタイプだろう
自分に都合のいい文章を丸暗記して飽きることなく繰り返すが
論理は一切展開しない　発言は全て直感による「感想」

公式を丸暗記して計算すれば、小学校中学校高校の算数数学では１００点がとれる　
それで数学が得意だと思い込む人が沢山いるが　全く見当違い
算数や数学は、計算機械を養成する「体育系科目」ではない
704 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 16:40:12.41 ID:1nIoe1k5.net]: >>630
おっちゃんを見ていて思うんだが、論理力が欠如していると分かっていないものを分かっていると脳が勘違いしてしまうのかもしれない。
実際は字面だけを記憶してるだけというオチ。

あなたと同じように
　お前は数学をやめろ
　お前に数学は無理
とおっちゃんの講師役を買って出た面倒見の良い方が説得してたよ。
705 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 16:40:21.37 ID:zbDoOxrv.net]: >>631
なるほどね。>>619の
>ｎはいくらでも大きくできるから
って正整数nが有限であるような状態を指していたのか。
有限の対義語は無限だから、
>ｎはいくらでも大きくできるから
は n→+∞ の状態だとばっかり思っていた。素朴に解釈すると、
「nがいくらでも大きく出来る」って、有限ではないような状態になるだろ。
706 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 16:44:14.78 ID:1nIoe1k5.net]: おっちゃんのいいところは、素直に間違いを認めるところ。
ここがスレ主と違うところ。
だから愛されてるんだよ（たぶん。よくしらんけど）
707 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 16:44:23.00 ID:zbDoOxrv.net]: >>635
こういっても、確率論は決して得意ではないからね。
708 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 16:47:15.58 ID:YbwQeVvS.net]: >>635
同じこという人は少なくないでしょうね

悪意でいってるわけではないのですよ
言葉やら文章やらをいくら記憶したって
楽しくないでしょうということですよ

数学の面白さはそこにはないんですから
自分にとって楽しいことを見つけたほうが
いいじゃないですか　そう思いませんか？
709 名前：１３２人目の素数さん [2017/06/03(土) 16:48:43.91 ID:FWu1pGtv.net]: 時枝戦略は決定番号の最大値を用いている。
列数が有限なら決定番号の最大値が存在するが、無限の場合はその保証がない。
確実なことが言えるためには列数は有限でないと駄目なんだ。
710 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 16:53:14.15 ID:YbwQeVvS.net]: >>636
＞「nがいくらでも大きく出来る」って、有限ではないような状態になるだろ。
なりません

>>637
なるほど・・・でもそんなことで甘やかさないほうがいいんじゃない？
711 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 16:54:39.13 ID:Z+yv/QQx.net]: いや、重要な素質だと思うよ、とくにここでは
712 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 16:57:30.30 ID:YbwQeVvS.net]: ＞確率論は決して得意ではないからね。

「多変数複素関数論は得意なんだがね」
なんていわないでしょうね？

嘘をいって愛されるよりは
本当のことをいって嫌われるほうがいい
別に他人に愛されたいとは思わないから
しかし私は他人を嫌っているわけではない
正直なことをいうのが相手にとって一番いいだろう
相手の気に入ることをいっても
それが嘘なら相手のためにはならない
713 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 17:01:31.20 ID:zbDoOxrv.net]: >>641
このあたりは、もはや単なる国語の解釈の問題だよ。
まあ、正否はともかく、あなたが知らないところで
私はこのスレで長い論理展開をして議論をしたことが複数回あるんだよ。
714 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 17:05:05.54 ID:zbDoOxrv.net]: >>643
>「多変数複素関数論は得意なんだがね」
>なんていわないでしょうね？
そんな下らん誇りは
715 名前：持たんよ。 []: [ここ壊れてます]
716 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 17:12:57.61 ID:1nIoe1k5.net]: >>641
きちんと丁寧に相手をしてやればいつかはきちんと認めるのがおっちゃん。

スレ主や素人さんは違うでしょ？
会話にならんでしょう、彼らとは。

これは決定的な違いで、>>642さんの言うように、2chで会話が成り立つかどうかの重要なポイントなんだよね。
717 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 17:13:21.52 ID:YbwQeVvS.net]: >>645
そうですね　誇りなんて埃みたいなもんです
・・・ゴホゴホ
718 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 17:16:22.43 ID:YbwQeVvS.net]: >>646
＞2chで会話が成り立つ・・・

そういうまともな人は
2chから卒業したほうがいいよ　
719 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 17:33:35.08 ID:1nIoe1k5.net]: >>648
良識を追い払う態度はいかがなものかと。
俺が良識でないというならそりゃそうかもしれんが
720 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 17:48:14.55 ID:zbDoOxrv.net]: >>648
2チャンで自分の思うとおりに相手を制御出来ない一面があることは現実。
721 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 18:17:25.27 ID:YbwQeVvS.net]: >>649
2chに良識はないでしょ
良識ある人は2chに来ない
良識に目覚めたら2chから卒業する
そういうところだよ2chは
722 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 18:25:54.61 ID:1nIoe1k5.net]: >>651
あなたがそういう固定観念に縛られている、というのは理解した。
723 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 18:34:28.45 ID:YbwQeVvS.net]: 　　　　　　　　　　　　　　,,,,,,,,,,,,,,,,,,,,
　　　　　　　　　　　　／": : : : : : : : ＼
　　　　　　　　　　　/-─-,,,_: : : : : : : : :＼
　　　　　　　　　　/　　　　　'''-,,,: : : : : : : :i
　　　　　　　　　 /、　　　　　　/: : : : : : : : i　　　　　＿＿＿＿＿＿＿＿
　　　　　　　　　r-、 ,,,,,,,,,,、　/: : : : : : : : : :i　　　／
　　　　　　　　　L_,　,　　、　＼: : : : : : : : :i　　／　２ｃｈに良識感じたら
　　　　　　　　 /●) (●>　　　|: :__,=-、: /　＜　　　負けかなと思ってる
　　　　　　　　l ｲ　 '-　　　　　|:/　tbﾉﾉ　　　　＼
　　　　　　　　l ,`-=-'＼　　　　 `l ι';/　　　　　＼　もっしゅっしゅメイト（XX・男性）
　　　　　　　　ヽﾄｪ-ｪｪ-:）　　　　-r'　　　　　　　　　￣￣￣￣￣￣￣￣
　　　　　　　　　ヾ＝-'　　　　　／ /
　　　　　＿＿＿_ヽ::::...　　　／ ::::|
　　／￣　::::::::::::::l　`──''''　　 :::|
724 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 18:43:51.59 ID:YbwQeVvS.net]: >>652
固定観念というよりは願望だな
つまり数学について真面目に語るつもりなら
2chなんかに来るなよ、ってこと
725 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 19:02:35.16 ID:1nIoe1k5.net]: >>654
2chの人間に数学的な回答を求める一方で>>608、

良識ある数学の会話をしたい人間は2chから出ていってほしい>>654、

というのは矛盾している。
726 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 19:27:26.98 ID:YbwQeVvS.net]: >>655
身の程を知らぬ奴には責苦を
身の程を知る者には慈悲を
727 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/03(土) 21:00:39.63 ID:RuRaSwaT.net]: >>652

ID:YbwQeVvSさん、どうも。スレ主です。
あんた、面白いね

「私は数学科の出身です」>>608 & 数学セミナーの記事「読んでますよ」＆原文のコピーかPDF「ええ、スキャンしたPDFを持ってますよ」からすると
2017/05/29(月) ID:lK+BAHfy ＆ 2017/05/31(水) ID:fJPHPMP さんと同一人物だね

ところで、>>326>>300
(Q&A)
１．数学科在学ないし卒業生ですか？Ｙ(卒業生)
２．なぜ、このスレにいるのですか？暇なんですね？Ｙ（暇）
３．このスレに不満があるなら別のところへ行くか、自分でスレ立てしたらどうですか？Ｎ
（補足：中学高校の数学教師の資格はとれますね私も持っています　教師だったことはありませんが >>331）

上記質問に答えた貰ったついでに、もう一つ質問をして良いかね。いや、勿論、答えたくなければ、答えなくて良いが・・

４．数学科で確率論の講義があり、単位を取りましたか？Ｙ、Ｎ
728 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/03(土) 21:03:07.24 ID:RuRaSwaT.net]: >>657 訂正
729 名前： 2017/05/29(月) ID:lK+BAHfy ＆ 2017/05/31(水) ID:fJPHPMP さんと同一人物だね ↓ 2017/05/29(月) ID:lK+BAHfy ＆ 2017/05/31(水) ID:fJPHPMPA さんと同一人物だね []: [ここ壊れてます]
730 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/03(土) 21:04:46.85 ID:RuRaSwaT.net]: >>657 訂正 (スマン、リンクも違っていた（＾＾)

>>652
　↓
>>656
731 名前：１３２人目の素数さん [2017/06/03(土) 22:27:03.26 ID:FWu1pGtv.net]: 選んだ1つの決定番号が、他の99個の決定番号より大きい確率は99/100
理由はどの決定番号についても同様の確からしさだから
。。。たったこれだけの話に確率論もクソも無いんだがｗ
732 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/03(土) 23:00:58.16 ID:RuRaSwaT.net]: >>657-659 つづき

ID:YbwQeVvSさん、どうも。スレ主です。
あんた、面白いね

>>643
>嘘をいって愛されるよりは
>本当のことをいって嫌われるほうがいい
>別に他人に愛されたいとは思わないから

>>654
>固定観念というよりは願望だな
>つまり数学について真面目に語るつもりなら
> 2chなんかに来るなよ、ってこと

>>656
>身の程を知らぬ奴には責苦を
>身の程を知る者には慈悲を

ああ、>>653のAA（絵）もあんただね（＾＾
若いんだろうね～
前スレの、サイコパス One Stone 様（ID:1maZ/hoI）と似ている面があるね
いわゆるヒューマンスキルが稚拙で、社会で人間関係で失敗するタイプだね、あんた

ああ、そういえば、「不遇」とか言っていたね。（下記引用）
・「だいたい正常な精神の持ち主は２ｃｈにこないですよｗ２ｃｈに来るのは不遇な人ばかりですね」>>306
・「Wikipediaってなんか分かってない感じの人が無理して書いてるっぽい文章多いなみんななんでリコウぶりたいんだろ？　やっぱ不遇なんだろうな」>>352

これ、”鏡の法則”（後述）だね（＾＾
心理学的には、自分の心の投影だよ（＾＾
733 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/03(土) 23:02:33.71 ID:RuRaSwaT.net]: >>661 補足

”鏡の法則”、ちょっとスピリチュアルだが、下記ご参照
individual.polaris-heart.com/05_rules/mirror/
鏡の法則心のマネジメント幸せな人生は、健全な思考とよい想念を持ち続けることから始まる奥本哲弘 2010
(抜粋)
「鏡の法則」とは、「私たちの人生の現実は、私たちの心の中を映し出す鏡であるという法則です。
つまり、
「自分の人生に起こる問題の原因は、すべて自分自身の中にある」
という考え方です。

認知不協和
この習性は、悲しいかな他人を観るときにも働いてしまいます。
他人の足りない箇所、駄目な箇所に目がいくのです。
人の習性です。
ですから、意図して「良い箇所」「好ましい部分」を観る癖をつける必要があります。
でなければ、人の粗（あら）ばかり探しては不平不満を言うだけの人間になってしまいます。
これはとても哀しいことです。

投影
他人の好きな箇所は、自分の認識している自分の好きな箇所です。
他人の嫌いな箇所も、自分の認識している自分の嫌いな箇所です。
他人の好きな箇所も嫌いな箇所も全て、他人という鏡を通して観る自分自身の良い箇所、嫌な箇所なのです。

これを心理学用語で投影と言います。
他人のあそこが嫌いと言ってみても、実は、他人に投影した自分の嫌な箇所が嫌い、と言っているようなものです。
人の悪口は、自分の悪口でもあります。
同族嫌悪とも言いますね。

人は完璧にして不完全な存在

https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%94%E3%83%AA%E3%83%81%E3%83%A5%E3%82%A2%E3%83%AB
スピリチュアル
(抜粋)
英語のスピリチュアル（英: spiritual）は、ラテン語の spiritusに由来するキリスト教用語で、霊的であること、霊魂に関するさま[1]。英語では、宗教的・精神的な物事、教会に関する事柄、または、神の、聖霊の、霊の、魂の、精神の、超自然的な、神聖な、教会の、などを意味する[2]
734 名前：。 医療・ケア 医療や心理学における用法については、スピリチュアリティを参照。 ターミナルケアやガン治療など終末医療で注目される概念についてはスピリチュアルケアを参照。 []: [ここ壊れてます]
735 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/03(土) 23:10:20.88 ID:RuRaSwaT.net]: >>660
どうも。スレ主です。

キーワード：コーシー分布期待値が収束しない

で、ちょっと検索してみておくれ

そう単純な話ではないと分かるだろう

なお、過去スレ26 に、関連の議論があるよ
736 名前：１３２人目の素数さん [2017/06/03(土) 23:34:29.06 ID:FWu1pGtv.net]: >>663
期待値って何の期待値？
まさか決定番号が上に有界でないから決定番号の期待値が定まらないとか言わないよね？
そんなものこの戦略には不必要ってわかる？
この戦略で必要なのは、ある列の決定番号が他の全ての列のそれより大きいという事象
の確からしさが、全ての列について同様であることだけだよ？
737 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 23:40:03.80 ID:C5LwuQWE.net]: >>656
> 身の程を知らぬ奴には責苦を
> 身の程を知る者には慈悲を

そういう態度ならこちらとしては嬉しいが。。。
おっちゃんは身の程を知っている人間だ。ただ勘違いが多いだけｗ
738 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 23:43:38.24 ID:C5LwuQWE.net]: >>660
> 理由はどの決定番号についても同様の確からしさだから

>>664
> この戦略で必要なのは、ある列の決定番号が他の全ての列のそれより大きいという事象
> の確からしさが、全ての列について同様であることだけだよ？

確率空間を誤解している輩が可測性を持ち出して反論してきそうなので、あらかじめ補足しておきます。

記事の標本空間はΩ_s＝{s}×K, s∈R^N, K={1,2,...,100}であり、同様に確からしいのは
100面サイコロの出る目i (i＝1,2,...100)、つまりP(i)＝1/100 (i＝1,2,...,100)です。
R^Nはsと決まっていますから、i列目の決定番号d_iはiの関数であり可測です。
いかなるsに対しても100個のdのうちMax{d}は1つ以上存在します。
1つのみ存在するときに勝つ確率はたった1つのMAXを選ばない確率に等しく99/100。
2つ以上存在するときに勝つ確率は1。
よっていかなるsに対しても勝つ確率は99/100以上ということになります。

記事の問題設定では決定番号dは有限個の箱のラベルiの関数なので可測です。
一方標本空間をR^N×Kに取ったときは決定番号dはR^N×Kの関数となり、
勝つ事象Eの可測性が言えないことに注意を払う必要が出てきます。

「非可測ゆえに確率は語れない」で終わってもよいのですが、、
いかなるs∈R^Nに対しても確率99/100以上で勝てるならばP(E)≧99/100だろう、
と思うのが（普通の）人間の直感だと私は思います。

スレ28ではその直感を裏切らない考察がなされています。
（rio2016.2ch.net/test/read.cgi/math/1483314290/25）
25の一部訂正⇒（rio2016.2ch.net/test/read.cgi/math/1483314290/51）
（rio2016.2ch.net/test/read.cgi/math/1483314290/52）
739 名前：１３２人目の素数さん mailto:sage [2017/06/03(土) 23:45:51.88 ID:C5LwuQWE.net]: >>666
> 記事の問題設定では決定番号dは有限個の箱のラベルiの関数なので可測です。

⇒記事の問題設定では決定番号dは有限個の"列"のラベルiの関数なので可測です。

修正です。失礼しました。
740 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 07:11:48.92 ID:OmsU9u8x.net]: >>657
４　Y
>>661

　　　　　　　　　　　　　　,,,,,,,,,,,,,,,,,,,,
　　　　　　　　　　　　／": : : : : : : : ＼
　　　　　　　　　　　/-─-,,,_: : : : : : : : :＼
　　　　　　　　　　/　　　　　'''-,,,: : : : : : : :i
　　　　　　　　　 /、　　　　　　/: : : : : : : : i　　　　　＿＿＿＿＿＿＿＿
　　　　　　　　　r-、 ,,,,,,,,,,、　/: : : : : : : : : :i　　　／
　　　　　　　　　L_,　,　　、　＼: : : : : : : : :i　　／　若いと云われたら
　　　　　　　　 /●) (●>　　　|: :__,=-、: /　＜　　　負けかなと思ってる
　　　　　　　　l ｲ　 '-　　　　　|:/　tbﾉﾉ　　　　＼
　　　　　　　　l ,`-=-'＼　　　　 `l ι';/　　　　　＼　もっしゅっしゅメイト（YOSHIKIと同い年？・男性）
　　　　　　　　ヽﾄｪ-ｪｪ-:）　　　　-r'　　　　　　　　　￣￣￣￣￣￣￣￣
　　　　　　　　　ヾ＝-'　　　　　／ /
　　　　　＿＿＿_ヽ::::...　　　／ ::::|
　　／￣　::::::::::::::l　`──''''　　 :::|
741 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 07:18:41.46 ID:OmsU9u8x.net]: >>666
いい番号だ　メタル好きが好みそうな・・・

何番かは忘れたが、１００人がそれぞれ別の列を選んだら
最大値を選んだ奴以外は当たるだろ、という指摘があったので
それが一番わかりやすいと思う
（注：ただし最大値が二人以上の場合は貴方の指摘通り皆当たる）

ということでスレッド主は「当たるわけがねぇ！」というなら
やっぱり選択公理を否定するしかない
742 名前： ま、サタニストになるのに比べたら全然大したことないが・・・ それでは今日のナンバー Emperor - I Am The Black Wizards https://www.youtube.com/watch?v=ZsQs4RZNiIg []: [ここ壊れてます]
743 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 08:06:32.67 ID:hzeiW7JX.net]: >>669
> 何番かは忘れたが、１００人がそれぞれ別の列を選んだら
> 最大値を選んだ奴以外は当たるだろ、という指摘があったので
> それが一番わかりやすいと思う

海外サイトでは100個の数列と100人の数学者がいて99人は数を当てられる、という設定で紹介されてますよね。
744 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 08:20:30.74 ID:Bct9UQQT.net]: >>664 >>666-667
どうも。スレ主です。

期待値は、下記コーシー分布記載の意味。まあ、普通には平均値と言ったりする
この話は、過去スレ26で書いたけど

コーシー分布を代表として、さまざまな、裾の重い分布（下記）があり、大数の法則が成立しないケース（下記）がある
時枝解法を、多数繰り返したとき、99/100が大数の法則として、成立しない確率分布になっているのではないか？　ここは数学理論として要検証事項だろう

https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%82%B7%E3%83%BC%E5%88%86%E5%B8%83
コーシー分布
(抜粋)
期待値が定義されない理由
確率分布が確率密度関数f(x)を持つ場合、その期待値は以下のように与えられる。
∫(-∞ ～ ∞) xf(x)dx．（注；-∞ ～ ∞の積分を表す）
標準コーシー分布の場合は、
・・・（省略）
となるが、この極限はどのような値でも取り、 R_{1}=R_{2}の関係を保って無限大になるときは0に、 R_{1}=2R_{2}の関係を保って無限大になるときは log(1/4)/πになるなど、2重極限のとしての収束値は存在しない。このため、期待値は存在しない。

大数の強法則など、期待値に関する確率論のさまざまな結果は、このようなケースでは成立しない。

https://ja.wikipedia.org/wiki/%E8%A3%BE%E3%81%AE%E9%87%8D%E3%81%84%E5%88%86%E5%B8%83
裾の重い分布
(抜粋)
裾の重い分布あるいはヘヴィーテイルとは、確率分布の裾がガウス分布のように指数関数的には減衰せず[1]、それよりも緩やかに減衰する分布の総称。また類似の用語に、ファットテイル、裾の厚い分布、ロングテール、劣指数的などがある。

https://ja.wikipedia.org/wiki/%E5%A4%A7%E6%95%B0%E3%81%AE%E6%B3%95%E5%89%87
大数の法則
(抜粋)
大数の法則が成立しないケース
大数の法則は期待値の存在を前提としている。そのため、期待値の存在しない場合に大数の法則を適用することは適切ではない。例えば安定分布において特性指数が α ≦ 1 の場合、期待値は存在しないことから、大数の法則は成立しない。(例：コーシー分布)
745 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 08:43:09.47 ID:hzeiW7JX.net]: >>671
それは反論になってない何度も言われてるでしょ？
繰り返すなよ
746 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 08:47:12.79 ID:hzeiW7JX.net]: >>666
> R^Nはsと決まっていますから、i列目の決定番号d_iはiの関数であり可測です。

スレ主はこの意味が理解できないの？
d(i)＝d_i。これが記事におけるdの分布。
d_iは定数だよ。sが決まってるんだから。
裾は重くないよ。iは有限で1から100までしか取らないから。

コーシー分布だの裾が
747 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 08:47:31.43 ID:r7ZgSgIy.net]: おっちゃんです。
そういえば、一番数学で大事なのは論理ではなく、アイディアだね。
経験談だが、研究でこれで行けるだろうというような定理の方針が中々使えないのだからね。
せっかく示したというのに、挫折。
これを生かせないようでは無意味だったということに終わる。
現在はこれを生かすアイディアを模索中だよ。
意味ある論理は、アイディアと比べたら二の次。
748 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 08:47:38.78 ID:hzeiW7JX.net]: コーシー分布だの裾が重いだの全然関係ないよ
749 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 08:49:17.55 ID:Bct9UQQT.net]: >>666-667
どうも。スレ主です。

あなたたち、スレ28の失敗の一つは、まとめがないことだな rio2016.2ch.net/test/read.cgi/math/1483314290/
スレ28で、数学ソクラテスメソッドをやった。共同研究としてはありだろう。だが、まとめがない

もう一つの失敗は、匿名の名無しさん同士の議論に終始した。外から見て、ぱっと見なにがなにかわけわからん。当事者は分かっているとしても
仮にでも、固定名を付けて、議論したら、ずっと見やすかったろう。が、それは、いまさら言っても仕方がないが

ともかく、スレ28のまとめかレビュー作成をお薦めしますよ（ベストは数学の証明として完成させることだが、それは無理として次善策で）。大人の作法としてね
”まとめ”は、ビジネスでは、レビュー【 review 】と言ったりすることもあるけど（下記）

e-words.jp/w/%E3%83%AC%E3%83%93%E3%83%A5%E3%83%BC.html
レビューとは - IT用語辞典
750 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 08:57:08.34 ID:hzeiW7JX.net]: >>676
まとめがない、ハンドルがない、そんなことしか言えんのかw
751 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 09:08:20.56 ID:Bct9UQQT.net]: >>670
>海外サイトでは100個の数列と100人の数学者がいて99人は数を当てられる、という設定で紹介されてますよね。

どうも。スレ主です。情報ありがとう
類似の話題は、過去スレで出た記憶あり。どこか面倒なので、探さないが、代用下記。こんな感じだったと思う
時枝問題と似ているようでも、違うと思うよ
000013.blogspot.jp/2010/12/99.html
[パズル] 99人の囚人 2010年12月18日
(抜粋)
この問題は、職場の先輩のブログ: にゃんたこす！徒然草。の99人の囚人問題編(数学パズル)という記事に載っていたものです。
yamanity.blog.ocn.ne.jp/nyantacos/2010/03/post_c8c7.html （注：リンク切れだったが）

問題
９９人の囚人がいます。彼らの頭に１～１００までのナンバーカードが貼りつけられた帽子をランダムにかぶせます。
他人の帽子は見ることができても、自分の帽子は見ることができません。
帽子の数は全部で１００なので、一つ使われずに余ります。
そのナンバーは囚人達にはわからないようにしておきます。
この状況で、囚人たちに一斉に自分のナンバーを宣言させて、全員が正解だったら釈放するという賭けをします。
囚人たちには帽子をかぶせられる前に相談タイムが設けられています。
どういう戦略を取れば、助かる確率を最も高くできるでしょうか？

以下では、ヒントと答えを書きます。
752 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 09:10:04.72 ID:Bct9UQQT.net]: >>678 関連

直接関係ないが、類似ヒットしたので貼る（＾＾
logicpuzzle.seesaa.net/
2012年08月05日 100人の囚人と50個の箱パズル（難）論理パズルで楽しく脳トレ
(抜粋)
Quoraという質問サイトで、「What is the hardest logic puzzle ever?」という質問に対して寄せられた問題の一つです。→問題の転載元サイト
www.quora.com/What-is-the-hardest-logic-puzzle-ever
【問題】
100人の囚人がいます。
事前に作戦を相談することができますが、ゲームが始まると互いにコミュニケーションは取れません。
各囚人には固有の名前が付けられています（1から100までの番号でいいでしょう）。

看守が部屋に1から100までの番号がついた100個の箱を用意し、それぞれの箱には囚人の名前が書かれた紙が1枚ずつ入っています。
それぞれの箱には囚人一人の名前が入っていて、また囚人のそれぞれの名前はただ一つの箱に入っています。つまり囚人の名前と箱は1対1に対応しています。トリックはありません。
看守は無作為に囚人の名前を箱に配分しています。

囚人たちは一人ずつ部屋に
753 名前：入ります。ゲーム中には互いにコミュニケーションが取れないので、順番はわかりません。部屋に入ると100個の箱のうち、50個の箱を開けて中を確認します。そして紙に書かれた名前を見て、箱をすべて閉じて最初の状態に戻し、部屋を出ていきます。 すべての囚人が50個の箱のどれかに自分の名前を見つけることができれば、囚人たちは釈放されます。しかし一人でも自分の名前が見つけられなければ、他の囚人の論理パズルでもありがちな設定の通り、囚人たちは処刑されます。 そこで、囚人たちが生き残る確率が高くなるように、30％以上の確率で生き残れる作戦を見つけてください。（問題終わり） []: [ここ壊れてます]
754 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 09:14:28.14 ID:Bct9UQQT.net]: >>677
>まとめがない、ハンドルがない、そんなことしか言えんのかw

大事なことだよ。社会人なら分かるはず
１．ハンドルがない：二人が議論して、錯綜している。分かり易くすべき。分かり易さは大切だぜ
２．まとめがない：まとめがない報告書は、上司から突き返されるだろうね

学生さんは、教員から見て、ある意味お客様だから、汚い字で読みにくいレポートでもなんとか読んでくれるだろう（が、心象は悪いとしても）
だが、社会人のレポートなら、ゴミ箱行きだな
755 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/06/04(日) 09:17:46.03 ID:Bct9UQQT.net]: >>674
おっちゃん、どうも、スレ主です。

>そういえば、一番数学で大事なのは論理ではなく、アイディアだね。

それは、数学以外でも同じだが
数学は、アイディアが軽視されがちだね。日本の数学教育の欠点かもな（＾＾
756 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 09:20:20.35 ID:nga2Q+rd.net]: >>676,678-681
論点を逸らさず、>>670に反論しろよｗ
757 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 09:25:15.05 ID:r7ZgSgIy.net]: >>681
知識云々は、挫折して示した定理を生かすための模索でやっている。
何の研究かはいわないけど、本当にこれは難しいよ。
何かいい方法ってあるのかね。
758 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 09:36:09.69 ID:hzeiW7JX.net]: >>680
> だが、社会人のレポートなら、ゴミ箱行きだな

貴方は社会人だから話の論点をずらし、直接的な回答を避けてはぐらかし、無関係なコピペで誤魔化すわけだ。
p(i)=d_i (i＝1,2,...,100, d_iは定数）という至って簡単な有限の分布に対して
貴方は社会人だから"裾が重い"と馬鹿を言い続けるのか？
俺だったらお前みたいな自称社会人は雇わないな。
759 名前：１３２人目の素数さん [2017/06/04(日) 10:14:23.33 ID:4/LRfMmy.net]: スレ主さん
時枝戦略には決定番号の期待値は不必要
このことを認めますか？YESかNOで答えて下さい
760 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 11:17:31.24 ID:hzeiW7JX.net]: スレ主みたいな馬鹿は無視でいいだろ。数学板なんだから。
761 名前：１３２人目の素数さん [2017/06/04(日) 11:27:42.74 ID:JzAcnbw/.net]: ばか
762 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 12:19:01.49 ID:r7ZgSgIy.net]: >>680
まあ、数学でも公式の場だと最初に大雑把なまとめは必要になるわな。
まとめがなくても済むような内容が本物。それこそ値打ちあり。
763 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 12:23:27.52 ID:hzeiW7JX.net]: >>688
スレ28はおっちゃんやスレ主が読めるように易しく書かれていなくてごめんね。
764 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 12:31:00.71 ID:r7ZgSgIy.net]: >>689
数学でも論文だと最初に大雑把なまとめなどは必要になる。
>>688の「公式の場」というのはこのような意味で書いたんだけど。
765 名前：１３２人目の素数さん [2017/06/04(日) 13:08:07.56 ID:PuSfA6KI.net]: >>669
懐かしいけど、すっかり毒が抜けてしまった
766 名前：１３２人目の素数さん [2017/06/04(日) 14:53:13.58 ID:4/LRfMmy.net]: 1.袋の中に沢山のカードが入っています。
2.どのカードにも1つのユニークな自然数が書かれていて、あらゆる自然数が揃っているとします。
3.袋の中を見ないで1枚カードを取ると、あらゆる自然数から無作為に一つの自然数を選択したことになります。
4.100人で1枚ずつカードを取り、一番大きい自然数を取った人が勝つゲームをすることになりました。
5.ゲームに参加した私が勝つ確率はいくらでしょうか？
6.またその確率を求めるのに、取る自然数�
767 名前：ﾌ期待値を求める必要はあるでしょうか？ []: [ここ壊れてます]
768 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 15:18:55.49 ID:CPDhc7d3.net]: 最低限必要な論理も欠けているスレ主とおっちゃんが
「数学は論理じゃない、アイディアだ」と語り合ってるのも
シュールというか、コントだな。
769 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 15:28:01.64 ID:CPDhc7d3.net]: 論理を持ち合わせてないひとのアイディアに価値はない。
アイディアを強調するのは、せいぜい「自分の考えたこと
なんだから、他人の考えたことよりも大事」という
トンデモにありがちな自己中心。本物のアイディアは
論理の中からしか生まれてこない。
770 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 15:29:04.41 ID:hzeiW7JX.net]: スレ主はアイデアよりも論理よりも前に倫理だろｗ
話を逸らすな、はぐらかすな、ごまかすな
771 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 15:30:54.90 ID:hzeiW7JX.net]: スレ主はアホして逃げ回るサル山の猿にしか見えない
772 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 15:50:40.54 ID:r7ZgSgIy.net]: >>693
>最低限必要な論理も欠けているスレ主とおっちゃん
私のことをそういうなw

>論理を持ち合わせてないひとのアイディアに価値はない。
物理の論理は解析の論理より厳密ではない。
しかし、物理学者の営みから偏微分方程式などのアイディアは生まれる。
解析のアイディアの中には物理的営みから生まれることがある。
そうでなくても、運がよければ些細な営みがアイディアになることがある。
必ずしも論理を持ち合わせていない人のアイディアに価値がないとは限らない。
773 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 15:57:35.18 ID:OmsU9u8x.net]: >>676
選択公理を認める限り、無限列から”しっぽの同値類”の代表元への関数は存在する
無限列と代表元の比較から決定番号も求まる
１００列ある場合には、１００人の数学者がそれぞれ違う列を選べば
決定番号が最大値となる１人を除く９９人は確実にそれぞれの箱の中身を当てられる　
全てこのスレッドでまとめられた（記事を読めば人間であれば誰でも分かることだが）

スレッド主は
「無限列から”しっぽの同値類”の代表元への関数を具体的に示せ」
と絶叫し続けているようだが、選択公理を全くご存じないらしい

スレッド主の「当たりっこない」という主張は、必然的に選択公理の否定を導く
ただそれだけでは元の記事の「選択公理に基づけは、確率１－εで当てられる」
の対偶でしかない

スレッド主こそ「当たりっこない」というなら、その結論を導けるような
「無限類の強力な独立性」の”新公理”を示すべきだろう
それには測度論だけでは不十分であり、集合論の理解が必要だろう
774 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 16:00:38.23 ID:r7ZgSgIy.net]: >>694
>本物のアイディアは論理の中からしか生まれてこない。
あと、ここ日本語になっていない。果たしてここでいう「論理」とはどういう意味だ？
論理より直観が先だ。どこまで先の展開が読めるか。そういう直観だよ。
よく間違えていたけど天才とされる研究者も過去にいただろ。
775 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 16:05:02.04 ID:OmsU9u8x.net]: >>691
これまたいい番号だ　数学的に、だが
www.geocities.jp/ikuro_kotaro/koramu/bell.htm

実のところEmperorはリアルタイムでは聞いてないのだが
単純にいいバンドだと思っている
Black Metalが好きな人にとっては大いに不満だろう、と思うが

Emperor - Inno A Satana
https://www.youtube.com/watch?v=E2-YwnfRC1Y
776 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 16:14:51.23 ID:OmsU9u8x.net]: >>683
＞挫折して示した定理

上記は日本語の文章として間違ってる

ある言明を証明しようとしたが挫折した、というなら
その言明は定理ではない　あくまで”予想”にすぎない
777 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 16:15:11.48 ID:CPDhc7d3.net]: >>699
なぜ、それが必要なのか？なぜ、そう考えるべきなのか？
というのは全部論理だよ。「自分で思いついて、惚れたから」
というのは、論理にならない。理由があって必然的に出て
きたものが役に立たないということはないだろう。
「自分」に拘って、ゴミの使い道を考えても、詮無い。
ただ、「役に立たない」ということを認識できているなら
まだましな方だろう。
778 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 16:19:30.08 ID:CPDhc7d3.net]: >論理より直観が先だ。どこまで先の展開が読めるか。そういう直観だよ。

将棋や囲碁でもそんなことが言われたことがあったが、今や100％論理
で動いているAIに全く歯が立たないけどな。
直観だの読みだの言っても、自惚れに過ぎなかったというわけ。
779 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 16:21:33.08 ID:OmsU9u8x.net]: >>689
工学屋は「関数とは計算手続きのことだ」とナイーブに狂信しているから
「箱入り無数目」記事のように「選択公理によって・・・なる関数が存在する」
という証明が理解できない　選択公理を知らないからだが、知ったとしても
「そんな公理は間違ってる」と云いだすだけだったりする
文章の書き方の問題ではなく、そもそも信仰してる宗教が異なるのである（マジ）
780 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 16:40:28.31 ID:OmsU9u8x.net]: >>680
＞まとめがない報告書は、上司から突き返されるだろうね

ここで起きている状況は以下の通り

「とある社員が規定に基づき作成した文書を、上司が
　「おれはこんな規定認めんぞ！」といって突き返した」

典型的なコンプライアンス違反事例なので
上司が上記の態度をとり続けるならば
ブラック企業でない限り解雇されます

このスレッドは典型的なブラック企業のようですが・・・
781 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 16:44:07.57 ID:r7ZgSgIy.net]: >>701
>ある言明を証明しようとしたが挫折した
その意味ではなく、まだ公表はしていないが、既に定理自体は示せた。
最初は或ること(ここではいわない)にその定理の活用が出来ると考えていたが、
結局この活用法が今のところまだ見い出せなくて挫折した状態である。
有力な定理になるだろうと思ったが、意外にそうではないことが分かり挫折した状態である。
そういう意味で書いた。

>>702
>なぜ、それが必要なのか？なぜ、そう考えるべきなのか？
>というのは全部論理だよ。
これは、論理というより哲学だな。
海外の国の中にはそういうことを日常茶飯事でしているところがあって、
数学に限らず日常生活でも使える考え方だ。

>>703
将棋で羽生とAIとの対局はしたのかい？
それで羽生がAIに負けたのかい？
782 名前：１３２人目の素数さん [2017/06/04(日) 16:48:14.91 ID:4/LRfMmy.net]: スレ主さんの根拠って、論破され済みの
・確率の専門家さんが後段に書かれている時枝氏の確率論に対する認識を批判した
・決定番号の分布は裾が重いから期待値が収束しない
・サイコロの目は確率1/6でしか当てられないから矛盾である
以外に何かある？
783 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 16:50:52.07 ID:CPDhc7d3.net]: 「箱入り無数目」はアルゴリズム的な解釈もできると思う。
問題の設定では、s∈R^N全く任意の元としている。（そうした方が一般的で単純だから。）
これは実数Rの扱いとも似ている。ちなみに佐藤幹夫なんかは、実際には代数的な操作
が必要で大事だけど、Rだのバナッハ空間だのは思い込みで、理論がそれらの
上に乗っかっているとは限らないんじゃね？みたいに言ってる。それはさておき
sが自然数nの「函数」として具体的に与えられている場合を考えてみると
出題者は「しっぽ」によって、函数の正体を見破られてしまう
有限の範囲では攪乱できても無限の彼方ではそれができない、ということと符合している。
選択公理だって数学者の必要から生まれてきたわけで
バナッハ=タルスキの定理も読んでみたが、だから不自然だとは思わなかった。
784 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 16:56:11.96 ID:OmsU9u8x.net]: >>706
＞まだ公表はしていないが、既に定理自体は示せた。

自称”定理”ということですね

＞最初は或ること(ここではいわない)にその定理の活用が出来ると考えていたが、
＞結局この活用法が今のところまだ見い出せなくて挫折した状態である。

１行目と２行目がつながらない　２行目が
「実は活用する�
785 名前：ﾉは前提条件を緩和する必要があるため挫折した」 ならわかるが []: [ここ壊れてます]
786 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 17:02:14.40 ID:OmsU9u8x.net]: >>707
「アルゴリズム的な解釈」の意味が不明

＞sが自然数nの「函数」として具体的に与えられている場合を考えてみると
＞出題者は「しっぽ」によって、函数の正体を見破られてしまう
＞有限の範囲では攪乱できても無限の彼方ではそれができない、
＞ということと符合している。

あなたの”幻聴”と符号しても意味がない
787 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 17:04:53.53 ID:OmsU9u8x.net]: >>710
誤　>>707
正　>>708

数学板に限らず、schizophrenicな人は少なくない
788 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 17:08:35.84 ID:CPDhc7d3.net]: >将棋で羽生とAIとの対局はしたのかい？
羽生自身は対戦してないが、羽生を負かして名人になった
佐藤天彦元名人が、今年2連敗してプロ対ソフト戦は終わっている。
他にもあらゆる状況証拠から、羽生もどんなプロ棋士も
もうソフトには勝てない。対局しても1%勝てないという
ように告白してる若手棋士もいる。だから、「羽生の直観」
にしても、人間の自惚れだったってこと。
789 名前：１３２人目の素数さん mailto:sage [2017/06/04(日) 17:08:49.68 ID:r7ZgSgIy.net]: >>709
>自称”定理”ということですね
まあ、知らない人にとってはそんな感じになるな。

>１行目と２行目がつながらない
いや、或る集合Aと或る集合Bとの間に関数で全単射を与えることは出来た。
その定理で幾何的な対応を与えることは出来る。
これが活用法を見い出そうと考えている定理の内容だが、
まだ活路は見い出せず挫折している状態だと。そういうこと。
最初の方針で貫徹するには、次はとても大変なことをする必要がある。
790 名前：過去ログ ★ [[過去ログ]]: ■ このスレッドは過去ログ倉庫に格納されています

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

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