TOP カテ一覧 スレ一覧 100～終まで 2ch元 削除依頼
邪馬台国畿内説の角度
【数学者】ID:JtmyZOC7【解析】
ニコ生の東大数学科学生headを特定するスレ
「理論物理学のための幾何学とトポロジー」
高校数学の質問スレPart401
奇数の完全数の存在に関する証明5
未解決問題の証明論文は論文誌には載らない
初等幾何学ってなに
現代数学の系譜11 ガロア理論を読む27
分からない問題はここに書いてね446
現代数学の系譜11 ガロア理論を読む32
- 1 ：2017/05/21 ～ 最終レス ：2017/05/27
- 小学レベルとバカプロ固定、High level people お断り！High level people はスレ28へどうぞ！sage進行推奨（＾＾；
旧スレが512KBオーバーで、新スレ立てる
このスレはガロア原論文を読むためおよび関連する話題を楽しむスレです
（最近は、スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。ガロア関連のアーカイブの役も期待して。）
過去スレ （そのままクリックで過去ログが読める。また、ネット検索でも過去ログ結構読めます）
現代数学の系譜11 ガロア理論を読む
31 http://rio2016.2ch.sc/test/read.cgi/math/1494038985/
30 http://rio2016.2ch.sc/test/read.cgi/math/1492606081/
29 http://rio2016.2ch.sc/test/read.cgi/math/1484442695/
28 (High level people が時枝問題を論じるスレ) http://rio2016.2ch.sc/test/read.cgi/math/1480758460/
27 http://rio2016.2ch.sc/test/read.cgi/math/1483075581/
26 http://rio2016.2ch.sc/test/read.cgi/math/1480758460/
25 http://rio2016.2ch.sc/test/read.cgi/math/1477804000/
24 http://rio2016.2ch.sc/test/read.cgi/math/1475822875/
23 http://rio2016.2ch.sc/test/read.cgi/math/1474158471/
22 http://rio2016.2ch.sc/test/read.cgi/math/1471085771/
21 http://rio2016.2ch.sc/test/read.cgi/math/1468584649/
20 http://wc2014.2ch.sc/test/read.cgi/math/1466279209/
19 http://wc2014.2ch.sc/test/read.cgi/math/1462577773/
18 http://wc2014.2ch.sc/test/read.cgi/math/1452860378/
17 http://wc2014.2ch.sc/test/read.cgi/math/1448673805/
16 http://wc2014.2ch.sc/test/read.cgi/math/1444562562/
15 http://wc2014.2ch.sc/test/read.cgi/math/1439642249/
以下次レスへ
- 2 ：
- >>2つづき
14 http://wc2014.2ch.sc/test/read.cgi/math/1434753250/
13 http://wc2014.2ch.sc/test/read.cgi/math/1428205549/
12 http://wc2014.2ch.sc/test/read.cgi/math/1423957563/
11 http://wc2014.2ch.sc/test/read.cgi/math/1420001500/
10 http://wc2014.2ch.sc/test/read.cgi/math/1411454303/
9 http://wc2014.2ch.sc/test/read.cgi/math/1408235017/
8 http://wc2014.2ch.sc/test/read.cgi/math/1364681707/
7 http://uni.2ch.sc/test/read.cgi/math/1349469460/
6 http://uni.2ch.sc/test/read.cgi/math/1342356874/
5 http://uni.2ch.sc/test/read.cgi/math/1338016432/
4 http://uni.2ch.sc/test/read.cgi/math/1335598642/ スレタイに4が抜けてますが(4)です
3 http://uni.2ch.sc/test/read.cgi/math/1334319436/
2 http://uni.2ch.sc/test/read.cgi/math/1331903075/
1 http://uni.2ch.sc/test/read.cgi/math/1328016756/
- 3 ：
- 大学新入生もいると思うが、間違っても２ＣＨで数学の勉強なんて思わないことだ
このスレは、趣味と遊びのスレと思ってくれ（＾＾；
- 4 ：
- 以下過去スレより再掲
http://rio2016.2ch.sc/test/read.cgi/math/1492606081/7
7 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/19(水) 22:07:49.66 ID:gLi5Ebjw
まあ、過去何年かにわたって、猫さん、別名、￥ ◆2VB8wsVUooさんが、数学板を焼いていたからね
ガロアスレは別として、数学板は焼け跡かな
再生は無理だろう
そもそも、２ＣＨは、数学に向かない
アスキー字に制限され、本格的な数学記号が使えない
複数行に渡る記法ができない
複数行に渡る矢印や、図が描けない（ＡＡ（アスキーアート）で数学はできない）
大学数学用の掲示板を、大学数学科が主体となって、英語圏のような数学掲示板を作った方がいいだろうな、実名かせめてハンドルネーム必須でね、プロないしセミプロ用
- 5 ：
- http://rio2016.2ch.sc/test/read.cgi/math/1484442695/494
494 現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/17(月) 18:01:02.76 ID:mNM7pqkU
前にも紹介したが、新入生もいるだろうから、下記再掲しておく。なお、信用できないに、私スレ主も含めること。定義から当然の帰結だが（＾＾；
https://note.chiebukuro.yahoo.co.jp/detail/n98014
Yahoo 知恵袋
数学の勉強法 学部～修士
ライター：amane_ruriさん（最終更新日時:2012/8/6）投稿日：2012/8/4
ナイス！：5閲覧数：11594
(抜粋)
私は修士1年生ですので、正直に言いますとこの部分はあまり書いているのが正しいとは思えません。趣味で書いているものだと認識していただければ良いのではないかと思っております。大学3、4年に入ってまず怖いのが数学の本の氾濫でしょう。まず何を読んで何をすればいいのか分からなくなります。
そして、自分のやっていることがいかにちっぽけな存在なのかというのを実感させられます。（多分皆がそうでしょう。）そして、結果が問われてきます。ここで、数学科は「入るのは易しいけどプロになるのは難しい」ということが実感させられてきます。
2012年8月3日現在、書泉グランデで有名数学者の薦める本がありました。森重文先生を初めとして本の多さに圧倒されました。（足立恒雄先生は信頼と安心のブレなさ）
2.2ｃｈの内容は信用できるか？
基本的に信用できません。先生＞周りの人＞＞＞2ｃｈや知恵袋の人です。何故かというといつも同じことしか言っていないから。多分きちんと検証していないで想像で議論しているだけではないのかと私は思っています。（まあ、自分もあんまり信用できないけど）
数学をする場合は、問題が解けることも重要なのですが問題設定を作ることが大切です。そういう時に、どういう風に学んできたのかとか、正確な知識がどういう部分でどれだけ持っているのか、調和性や、生まれて来た環境っていうのが重要になってきます。
ただ、それがどうも2ｃｈの人は見られない（し、そもそも偉そうなことを言っている人が本当にできるかどうか分からない。）。こういう類のものは勉強不足ですとか、分かっていませんでしたで済まされるものではないと個人的には思うのですが。
(引用終り)
- 6 ：
- http://rio2016.2ch.sc/test/read.cgi/math/1484442695/338
338 現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/09(日) 23:46:26.46 ID:Rh9CzQs6
スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします
大体、私は、自分では、数学的な内容は、筆を起こさない主義です
じゃ、どうするかと言えば、出典明示とそこらの(抜粋)コピペです
まあ、自分なりに、正しそうと思ったものを、(抜粋)コピペしてます
が、それも基本、信用しないように
数学という学問は特に、自分以外は信用しないというのが基本ですし
”証明”とかいうらしいですね、数学では
その”証明”がしばしば、間違っていることがあるとか、うんぬんとか
有名な話で、有限単純群の分類
”出来た！”と宣言した大先生が居て、みんな信用していたら、何年も後になって、”実は証明に大穴が空いていた”とか
おいおい、競馬じゃないんだよ（＾＾；
https://ja.wikipedia.org/wiki/%E5%8D%98%E7%B4%94%E7%BE%A4
単純群
1981年にモンスター群が構成されてからすぐに、群論の研究者たちがすべての有限単純群を分類したという、合計10,000ページにも及ぶ証明が作られ、1983年にダニエル・ゴレンスタインが勝利を宣言した。
これは時期尚早だった、というのはいくつかのギャップが、特に準薄群（英語版）の分類野中で発見されたからである。このギャップは2004年に1300ページに及ぶ準薄群の分類によって埋められており、これは現在は完璧であると一般に受け入れられている。
- 7 ：
- http://rio2016.2ch.sc/test/read.cgi/math/1492606081/352
352 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/29(土)
みんな、何に価値をおいているか、それぞれだろうが・・
個人的には、数学板で一番価値を置いているのは、確かな情報 つまり 根拠の明確な情報 つまり コピペ
わけのわからん名無しさん（素数さん）のカキコを真に受けるとか、価値をおく人は少ないだろう
きちんと、大学教員レベルの証明があればともかく、匿名板でそれ（名無しカキコに価値をおく）はない
さらに、個人的には、わけわからん名無しさん（素数さん）との議論も、価値を置いていない
その理由は、上記に同じだ
それが、スレ主がコピペでこのスレを埋める理由であり
”小学レベルのバカプロ固定たち”とのつまらん議論で、時間とスレの余白を浪費しない理由さ（＾＾；
まあ、娯楽板ならバカ会話重視なんだろうが
学問板で、それはないだろう・・（＾＾；
- 8 ：
- 以下、過去時枝が数学セミナーに書いた記事（「箱入り無数目」数学セミナー2015.11月号）が話題になったが、それに関連して、前スレより再掲。
（時枝記事への批判詳細は、後述）
http://rio2016.2ch.sc/test/read.cgi/math/1492606081/619
619 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/05(金) 22:57:51.96 ID:ZYeih3Vj
私は、時枝記事が成り立たないことを前提として
時枝記事がなぜ成り立たないか？ なぜ、成り立つように見えるか
そういう議論には参加するが
時枝記事が成り立たないこと前提とするの部分が
共有できない人とは議論しません
あしからず
では、とうぞスレ28へ。下記７でしたね。私は行きませんから（＾＾
ここから見ていますよ。自分達が立てたスレが寂れたからと、這い出してこないようにお願いします（＾＾；
現代数学の系譜11 ガロア理論を読む28
http://rio2016.2ch.sc/test/read.cgi/math/1483314290/7
(抜粋)
7 名前：１３２人目の素数さん[sage] 投稿日：2017/01/02(月) 20:02:42.58 ID:0caOih5s
＊＊＊＊ このスレを訪れた方へ ＊＊＊＊
急ではありますが、このスレは
■時枝問題を語るスレ
になりました。
ただし以下の行為は厳に謹んでください：
・他サイトからのコピペでスレを埋め尽くす行為
・デタラメを述べておきながら間違いの指摘は無視する行為
・明らかな間違いにもかかわらず、数学は自由だから何でもありだろ？、と無理やり正当化する行為
・他人の学歴など個人情報を聞き出す行為
・その他、材料工学分野の研究者/エンジニアの名誉を貶める行為
以上
- 9 ：
- >>8
＜補足＞私の見解
・他サイトからのコピペでスレを埋め尽くす行為：上記>>7のようにどこの馬の骨とも分からない人の発言は、数学的には無価値。真に価値があるのは、根拠のあるURLとそこからのコピペ
・デタラメを述べておきながら間違いの指摘は無視する行為：バカの壁。自分のレベルの低さを自覚せず、勉強せず、延々自分たちの狭い知見の議論を繰り返す（文系）High level people を無視するだけのこと（説明しても理解できないレベルでどうしようもない（＾＾；
https://ja.wikipedia.org/wiki/%E3%83%90%E3%82%AB%E3%81%AE%E5%A3%81 (抜粋)『バカの壁』（バカのかべ）は、東京大学名誉教授・養老孟司の著書。2003年（平成15年）4月10日、新潮新書（新潮社）より刊行された。400万部を超えるベストセラーとなり、同年の新語・流行語大賞、毎日出版文化賞特別賞を受賞。
・明らかな間違いにもかかわらず、数学は自由だから何でもありだろ？、と・・： ”明らかな間違い”は自分達だろ？ なお、現代数学では、定義は自由です。（文系）High level peopleたちの思考は、１９世紀レベルで停止だな。なお、Well-defined の視点は重要だよ https://ja.wikipedia.org/wiki/Well-defined
・他人の学歴など個人情報を聞き出す行為：いくら説明しても、相手が理解できないようなので、相手のレベルを確認したまで。小学生、中学生レベルにこれ以上説明するつもりなく、”勉強してね”というのみ。
せめて高校レベルなら、努力して説明しようかという気にもなる・・。自分よりレベルが高ければ、教えを請うだろう。確認は、普段はしないが、議論がかみ合わなければこれからもありうる（＾＾；
・その他、材料工学分野の研究者/エンジニアの名誉を貶める行為：あんたら、材料工学の何が分かっているのか？ 材料工学を修得した人なら、時枝「箱入り無数目」数学セミナー2015.11月号記事不成立は自明。材料工学では拡散過程や統計力学で、確率論程度は常識だ。時枝記事は確率論に反するってこと！（＾＾
- 10 ：
- 以下過去スレより再掲（無駄な議論の繰り返しを避けるために）
http://rio2016.2ch.sc/test/read.cgi/math/1492606081/238
238 自分返信：現代数学の系譜11 ガロア理論を読む 2017/04/26
(抜粋)
自分でスレ立てて「出て行く」と言っておきながら、
スレ28 (High level people が時枝問題を論じるスレ) が寂れてだれも相手してもらえないと、戻ってきた（いつものことだが）
時枝問題は 過去スレ 20 http://rio2016.2ch.sc/test/read.cgi/math/1466279209/ などにあるし
このスレ >>101-102 辺りにまとめている
>>142 より”時枝問題（「箱入り無数目」数学セミナー2015.11月号の記事） だったよね 発売が、2015.10月だ。つまり、雑誌発売後、およそ１年半前”
読み物としては面白いが、数学の理論としては、ガセ。それを >>101-102 辺りにまとめている
数学の理論として正しければ、それは定理だ。おそらく、どこかに関連論文が投稿されている。arxiv なども含めてどこかにね
数学の理論として正しそうだが、否定される場合は、パラドックスとして扱われる。この場合も、関連論文投稿か講義テキストねたになる
（参考） https://ja.wikipedia.org/wiki/%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9
パラドックス（paradox）とは、正しそうに見える前提と、妥当に見える推論から、受け入れがたい結論が得られる事を指す言葉である。
素人が数学の理論として正しそうと思っても・・、プロが一目見て否定される場合は・・、プロはパラドックスとしては扱わない。当然ゴミ。関連の論文投稿もないし、講義テキストねたにもならない
”時枝問題（「箱入り無数目」数学セミナー2015.11月号の記事） 2015.10月 雑誌発売後、およそ１年半前”、関連論文投稿もテキストねたにもならない状態
英語圏では下記が、2013年から出ているが、これに関して関連論文投稿もテキストねたにもならない状態だ （下記については、著者自ら”puzzle Games”と宣言している ）
http://www.ma.huji.ac.il/hart/index.html#puzzle
http://www.ma.huji.ac.il/hart/puzzle/choice.pdf
Sergiu Hart Choice Games
で、時枝問題が、正しいと思う方は
どうぞ、スレ28 へ。存分に論じてください（＾＾；
- 11 ：
- 埋め立てですかあ？ときた
- 12 ：
- http://rio2016.2ch.sc/test/read.cgi/math/1492606081/239
239 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/26(水) 09:42:54.35 ID:HKIfusLx
前ふりで、確率論、下記をどうぞ
http://www2.math.kyushu-u.ac.jp/~hara/index-j.html
原隆（数理物理学）のホームページ 九州大学
http://www2.math.kyushu-u.ac.jp/~hara/lectures/lectures-nagoya.html
前任校にて原の担当していた学部・大学院の講義について紹介します．2004
http://www2.math.kyushu-u.ac.jp/~hara/lectures/03/agora03.pdf
確率論で見る自然現象 数学アゴラ 高校生向け 講義ノートの改訂版 原隆2003
http://www2.math.kyushu-u.ac.jp/~hara/lectures/02/grad_pr02.html
確率論 I，確率論概論 I 学部４年・大学院向け，2002年度春学期
http://www2.math.kyushu-u.ac.jp/~hara/lectures/02/pr-grad-all.pdf
確率論 I，確率論概論 I 講義のレジュメをまとめたもの (2002.10.08)
http://www2.math.kyushu-u.ac.jp/~hara/lectures/02/omni02.html
確率論（オムニバス）の一部 2003
http://www2.math.kyushu-u.ac.jp/~hara/lectures/02/omnibus030120.pdf
確率論（オムニバス）原の担当分の講義ノート，暫定版 (2003/1/20)（2002 年秋学期，名大三年生向け）
- 13 ：
- http://rio2016.2ch.sc/test/read.cgi/math/1492606081/240
(抜粋)
240 2017/04/26
>>239 補足
で困るのは、確率論の常識がないってこと
時枝問題（「箱入り無数目」数学セミナー2015.11月号） http://rio2016.2ch.sc/test/read.cgi/math/1466279209/2-6
・箱がたくさん，可算無限個ある
・そこに、私がまったく自由に実数を入れる
・もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?
・時枝記事の結論：勝つ戦略はある
・閉じた箱を100列に並べ、無限数列のしっぽで同値類分類する方法で。100列でなく、もっと増やせる
ところで、”まったく自由”だから、>>239で引用した確率論のランダム現象の数理と真っ向対立する
ランダム現象の数理を利用して、私が実数を入れたとする。当然、どの箱の数もランダムで、どう並べ替えようとランダムだろう
もし私が入れる実数を見ていないとか、あるいは、箱にはなんの目印もなく並べ替えたら外見からは違いが分からない・・
まあ、並べ替えたら、なにがなんだか、入れた私にも分からない・・。当てられるはずがない・・
とまあ、”まったく自由に”だから、>>239で引用した確率論のランダム現象の数理と真っ向対立するんだ
そういう、確率論の常識がないってこと
そこらの事情を端的に言ったのが、>>101-102引用の”確率論の専門家”さん
ところが、High level people たち、確率論の常識がないから、彼の言っていることが真に理解できてないんだろう。そのときは、平伏していたのにね・・
で、考えてみると、この記事のネタは、「無限数列のしっぽで同値類分類する方法」ってところが、笑いの肝（キモ）なんだろうね
大学数学科１年とか２年で、無限をおそわって代数の商集合（同値類分類）が、ちょっと分かってきたあたりの人に受ける
でも、大学数学科３年とか４年で、確率論の常識が分かると、もう面白くもなんともない
当時チョウチンをつけていた大学数学科１年とか２年たち、進級してレベルアップしていったんだろう
まあ、 >>239 あたりを読んでください
大学数学科など、良質な情報に触れる機会もないから、いつまでもそのままだ・・
それが分からない人たちは、どうぞ、スレ28 へ
- 14 ：
- 埋め立てではないよ、テンプレです
- 15 ：
- 以下過去スレより再掲（無駄な議論の繰り返しを避けるために）
http://rio2016.2ch.sc/test/read.cgi/math/1492606081/566
566 自分返信：現代数学の系譜11 ガロア理論を読む 2017/05/04(木) 23:47:10.49 ID:x3HFcyPu
ああ、やっと欲しい話がヒットしたね（＾＾；
http://www.math.sci.osaka-u.ac.jp/staff/sugita.html
大阪大学大学院理学研究科数学専攻・理学部数学科
杉田 洋 (Hiroshi SUGITA) 研究分野 確率論
URL http://www.math.sci.osaka-u.ac.jp/~sugita/
私の専門は確率論です。とくに無限次元確率解析、モンテカルロ法、確率論的数論といった分野に興味を持っています。ここでは、モンテカルロ法について書くことにします。
現代確率論が2年次で習う「確率・統計」よりどこが進歩しているか、を一言でいうと「無限個の確率変数を扱えるようになったこと」ということができます。たとえば「確率・統計」でN回のコイン投げの確率モデルが出てきますが、現代確率論では無限回のコイン投げの確率モデルを実現します。
じつは驚くべきことに、確率論のすべての対象は（非可算個の独立確率変数を考える、などというマニアックな場合を除いて）原理的には「無限回のコイン投げ」を基にして作り上げることができます。
この原理はモンテカルロ法において生かされます。すなわち、モンテカルロ法では、まず、シミュレートしたい確率変数Sをコイン投げのサンプルの関数として構成します。
そして、コイン投げのサンプル…疑似乱数生成器と呼ばれるコンピュータプログラムを用いて算出されます…をその関数に放り込むことによっ て、Sのサンプルを計算するのです。
そこで重要な問題は「疑似乱数生成器をどのように構成するか」ということです。長い間、ランダムな数列を生成するプログラムなど存在しない、という理由で、そもそも完全な疑似乱数生成器は存在しない、と信じられてきました。
それが1980年代に提案された「計算量的に安全な疑似乱数生成器」という概念は、完全でない疑似乱数生成器でも確率変数Sのシミュレートを事実上完全に実行し得る可能性があることを人々に信じさせました。
近年、私は大数の法則を利用して確率変数の平均値をモンテカルロ法によって求める場合に限っては、完全な疑似乱数生成器が存在し、実際にコンピュータで実現することができることを証明しました。
- 16 ：
- http://rio2016.2ch.sc/test/read.cgi/math/1492606081/567-568
567 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/04(木) 23:56:37.02 ID:x3HFcyPu
>>566 つづき
１）思考実験として、仮に、杉田 洋先生が、完全な疑似乱数生成器を使って、可算無限個の箱に乱数を入れたとしよう（杉田 洋先生「証明しました」という）
２）それを、時枝先生が、100列に並べ替えて、ある箱の数を、確率99/100で当てられるとしよう（数学セミナー記事にあるように「時枝解法の数学的に厳密な証明はない」。つまり”選択公理を使ったから非可測集合になって・・（厳密な確率論ではない）”と言い訳を書いているので証明になっていない！）
１）と２）は、明らかに数学的に矛盾する。どちらを選ぶか、大学数学科高学年になれば・・、明白だろう（＾＾
568 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/05(金) 00:05:16.09 ID:ZYeih3Vj
>>567 つづき
時枝解法が成立しないことは、明白だ
つまり、確率論的に、「完全な疑似乱数生成器が存在し、実際にコンピュータで実現することができる」という証明と真っ向矛盾するよ
だから、私の興味は、成立しない話が、なぜ成立するように見えるのかだ
その観点から、「極限の扱い」を論じるなら、話に乗るが
時枝解法を正当化するための議論には乗らないよ
私の「極限の扱い」が間違っている可能性は否定はしない。が、つまらん議論に巻き込まれて、「時枝解法が成立」なんてへんな方向に引き摺られないように用心しているだけさ（＾＾；
- 17 ：
- 前スレより再掲（無駄な議論の繰り返しを避けるために）
http://rio2016.2ch.sc/test/read.cgi/math/1492606081/573
573 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/05(金) 08:02:26.08 ID:ZYeih3Vj [4/13]
>>572 つづき
http://mathsoc.jp/publication/tushin/1802/1802sugita.pdf
確率と乱数 杉田洋 日本数学会 数学通信 2013
(抜粋)
乱数とは
そもそも「ランダムである」とはどういうことでしょうか．この問いに答えるために考
え出されたのが「乱数」という概念です．突き詰めれば，確率論の第一の目的は「乱数の
性質を詳しく調べること」ということになります．
これからお話しする乱数の定義は，1960 年代にコルモゴロフ，チャイティン，ソロモノ
フらがそれぞれ独立に与えたものです．それを現代風にアレンジしてご紹介します．
情報の圧縮とランダム性
コルモゴロフらは乱数を次のように定義しました．
定義1 長い{0, 1}-列で，どのような方法でもほとんど圧縮することができないものを
ランダムな{0, 1}-列，すなわち乱数という．
4.2 ベルヌーイの定理|{大数の法則
硬貨投げは表と裏がそれぞれ同じ確率1=2 で出る，
5 モンテカルロ法
ここではベルヌーイの定理の応用としてコンピュータを用いたモンテカルロ法を紹介します．
(引用終り)
- 18 ：
- http://rio2016.2ch.sc/test/read.cgi/math/1492606081/574-575
574 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/05(金) 08:25:48.39 ID:ZYeih3Vj [5/13]
>>573 つづき
時枝記事については、>>238-240ご参照（特に>>240）
で、話を簡単にするために、箱に入れる数を{0, 1}に限定しましょう。いわゆるブール値です
杉田先生のように、コンピュータを用いたモンテカルロ法でも良いし、実際に硬貨を使っても良い
箱に順番に、数{0, 1}（0か1のどちらか）をランダムに入れる。可算無限の数列ができる
100列に並び変える。ここは、空箱を100列に並び変えて、列名をR1～R100として、各列先頭の箱に入れて、それが終われば各列２番目に・・・と繰り返せば、数学的には同じこと
各列R1～R100が、ランダムであることは自明
で、時枝記事は、ある箱を確率99/100で当てる方法があるという。これは、ランダム数列のある箱（どの箱であれ）の確率1/2に反する
時枝は、この方法は、”非可測集合を経由したから、良いのだ～”という
つづく
575 返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/05(金) 08:27:41.41 ID:ZYeih3Vj [6/13]
>>574 つづき
>>101-102に示すように
2016/07/04に”確率論の専門家”さんが来て、”そもそも時枝氏の勘違い”だと（”当てられっこないという直感どおり，実際当てられないという結論が導かれる”ともいう）
そのときは、High level people たち、「ありがとう、勉強させてもらった」、「貴方がもっと早く現れていれば無駄な議論を重ねずに済んだのだが」と平伏していた
が、十分な理解が出来てないんだろうね、スレ28を自分達で立てたが、行き詰まってしまって、いまスレ28は廃墟
で、廃墟から、またこのスレにはみ出してきて、このスレで時枝記事をねちねちやってんだが・・、困るのは、確率論の常識がないってこと（>>240）
まあ、杉田先生の本でも読んでみたらどうだ？ まあ、確率論を学んで「時枝解法不成立」をしっかり納得できるレベルに達したら、数列の極限でもなんでも議論しましょうということだよ（＾＾
おわり
- 19 ：
- 過去スレより再掲（無駄な議論の繰り返しを避けるために）
http://rio2016.2ch.sc/test/read.cgi/math/1492606081/241-244
241 自分返信：現代数学の系譜11 ガロア理論を読む 2017/04/26(水)
>>240 つづき
このスレの準常連の￥さんからは、”現在の確率論の定番、コルモゴロフの公理化”への問題提起が、時枝記事の趣旨だろうと、過去レスがあった
私は、そういう常識は無かったが、しらべると、下記 hiroyukikojimaの日記 2007/12/11 があった（過去レスで紹介した二番煎じだが）
http://d.hatena.ne.jp/hiroyukikojima/20071211
もういいかげん、確率論の新しい時代に入ろう - hiroyukikojimaの日記 2007/12/11
(抜粋)
イカレ仲間である友人、物理学者の田崎晴明さんがぼくの始めたばかりのこのブログ
をご自身のHP( これ) で紹介してくださったので、
なんかあっという間にアクセス数が100倍くらいになった。
今回は、その田崎推奨記念ということで。
田崎さんとは、ネット内のとある場所で、いろいろな議論をさせて
いただいていて、話題は多岐にわたるけど、大好きなアイドル談義は
今回はおいといて、彼との数々の議論の中から確率論の話題を取り上げようと思う。
これは、お互いに忙しくて現状ペンディングになっているものだ。
それは、「もうそろそろいいかげん、確率論の新しい時代に入ろうよ」
とぼくが提案したことから始まった議論である。
現在の確率論の定番は、コルモゴロフの公理化したもので、
次のような公理から成るものだ。
243 自分返信：現代数学の系譜11 ガロア理論を読む 2017/04/26(水)
>>241 まあいい。要するに、”現在の確率論の定番、コルモゴロフの公理化”への問題提起として
現代数学では、時枝とは無関係に、いろいろな試みがすでに始まっているってこと
244 自分返信：現代数学の系譜11 ガロア理論を読む 017/04/26(水)
>>241 だから、時枝記事程度の確率論問題提起の話だと、数学記事としては、 hiroyukikojimaの日記 ”もういいかげん、確率論の新しい時代に入ろう ”よりずっと落ちるんだ、質的にも
つまり、数学セミナーの記事として、ガセだと
- 20 ：
- 埋め立てではないよー
- 21 ：
- 過去スレより http://rio2016.2ch.sc/test/read.cgi/math/1494038985/24
>>8 補足
>あんたら、材料工学の何が分かっているのか？ 材料工学を修得した人なら、時枝「箱入り無数目」数学セミナー2015.11月号記事不成立は自明。材料工学では拡散過程や統計力学で、確率論程度は常識だ。時枝記事は確率論に反するってこと！（＾＾
まあ、下記でも
材料工学に拡散理論＝確率論の応用 は、必須だよ。まあ、下記でも見てね（＾＾
ああ、常識の無い人に注意しておくが、拡散と熱伝導なほぼ同じ現象なんだよね、数理物理としてはね（＾＾
もちろん、熱伝導もやります。材料工学では
http://nikkanbookstore.net/it15/?p=241
ITソリューション企業総覧2015Web
日刊工業新聞社のソリューション企業総覧のサイト
新日鉄住金ソリューションズ
(抜粋)
製鉄業で培った技術とノウハウで
24時間365日稼働続ける堅牢・高信頼システム
～多様な業界で導入進む～
（2）鉄の熱伝導の数理モデルを金融分野に応用
また、製鉄業で培った数理モデルの活用ノウハウが活かされたものとして、大手金融機関向けにわが国初の「デリバティブシステム」が納入された事例がある。
熱伝導の場合、大きな反応や刺激が発生すると、さまざまな方向に広がっていくが、金融の世界でもさまざまな要素が入ったときに、どのような変化が起こるのかシミュレーションをする必要がある。
熱伝導方程式を基礎とした鉄の熱伝導の数理モデルと、金融工学でデリバティブの価格を決定する数理モデルの類似性を見つけ出した一例だ。
このように、全く異なる業種でも本質的な共通性を見出し、鉄で培った経験やノウハウを活用し、いまでは、金融デリバティブシステムといえばNSSOLといわれるほどまで業界での評価も高まっている。
- 22 ：
- 過去スレより再掲（無駄な議論の繰り返しを避けるために）
http://rio2016.2ch.sc/test/read.cgi/math/1492606081/101
101 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/23(日) 07:53:46.56 ID:cvHfhso/ [5/35]
>>99
どうも。スレ主です。
>>まあ、高校レベルの間違いをしているのかもしれないが。それと、「時枝記事が”ガセ”」という結論とは無関係だからね（＾＾
>間違っているのは、スレ主だ～。
おっちゃんにそう言って貰えると、心強い
スレ主はトンデモ野郎と思われているかもしれないが、おっちゃんも「いつも間違っている間違いおじさん」と思われているから・・（＾＾
まあ、時枝問題については、High level people たちは、”確率論の専門家”が来たとき、平伏していたんだよね（下記 2016/07/04）
それを忘れて、”確率論の専門家”が居なくなったら、また「時枝記事正しい」とか言い出したんだ・・（＾＾
過去スレ 20 http://rio2016.2ch.sc/test/read.cgi/math/1466279209/541-565
(抜粋)
541 名前：１３２人目の素数さん[sage] 投稿日：2016/07/04(月) 00:04:35.65 ID:hgUPmIoq [1/10]
>>538
> 可算族に対しては(1)も(2)も同値となる
ありがとう、勉強させてもらった
このスレにはそこまで理解している人間はいなかった
貴方がもっと早く現れていれば無駄な議論を重ねずに済んだのだが
542 名前：１３２人目の素数さん[] 投稿日：2016/07/04(月) 00:06:31.30 ID:1JE/S25W [1/3]
時枝氏の主な主張は次の２つだろうだろう
1. 確率論を測度論をベースに展開する必要が無い
2. 無限族の独立性の定義は微妙
しかし1に関していうと時枝氏の解法は，現在の測度論から導かれる解釈のほうが自然．
（当てられっこないという直感どおり，実際当てられないという結論が導かれる）
2に関して言うとそもそも時枝氏の勘違い．
時枝氏の考える独立の定義と，現代の確率論の定義は可算族に対しては同値である
つづく
- 23 ：
- >>22 つづき
http://rio2016.2ch.sc/test/read.cgi/math/1492606081/102-103
102 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/23(日) 07:55:25.87 ID:cvHfhso/
http://rio2016.2ch.sc/test/read.cgi/math/1466279209/541-565
544 返信：１３２人目の素数さん 2016/07/04(月) 00:19:16.71 ID:EwZDjjf/
>>542
＞2に関して言うとそもそも時枝氏の勘違い．
＞時枝氏の考える独立の定義と，現代の確率論の定義は可算族に対しては同値である
ここに関しては「任意の有限部分族が独立のとき、独立」という定義そのものが有限の極限として扱うって立場だろうってことだと思う
だから同値なのは当たり前
そうじゃなくて"有限個のときみたいに無限個を全部眺めて独立性を判断する"ような扱いをすれば直観に根ざした結論が得られるだろう
…と思ったけど(1)と(2)の二つの方針が可能であるって言ってるから読み違えてる気がしてきた
545 名前：１３２人目の素数さん 2016/07/04(月) 00:42:34.67 ID:hgUPmIoq [3/10]
>>542
時枝氏の考察の不備はともかく、パラドックスの出来は秀逸だと思ったが。
貴方みたいに確率論に詳しいと全く面白くないのだろうか笑
564 名前：１３２人目の素数さん[] 投稿日：2016/07/04(月) 22:05:22.22 ID:1JE/S25W [3/3]
>>563
ごめん，少し誤解があった
時枝氏の方法は「確率は計算できない」が今の確率論の答えだと思う．
確率0というのは，可測となるような選び方をしたら，それがどのような選び方でも確率は0になるだろうってこと
残す番号を決める写像Nが可測で，また開けた箱から実数を決める写像Yが可測ならば
P(X_N=x)=0が導かれるだろう
565 名前：１３２人目の素数さん 2016/07/04(月) 22:43:48.47 ID:hgUPmIoq
>>564
レスありがとう
ここから先、話が数学的ではなく恐縮なんだけど、
率直にどんな感想をもつか貴方のコメントがもらえたらと思う
（以下略）
(引用終り)
103 自分返信：現代数学の系譜11 ガロア理論を読む 2017/04/23(日)
High level people たち、数学的でない話をしているんだ・・（＾＾
だったら、スレ 28でやってくれよ。 28 (High level people が時枝問題を論じるスレ)
- 24 ：
- >>23
つづき
スレ20より追加再掲
http://rio2016.2ch.sc/test/read.cgi/math/1466279209/538
538 返信：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:54:57.90 ID:f9oaWn8A [13/13]
うーん，正直時枝氏が確率論に対してあまり詳しくないと結論せざるを得ないな
>>6
>確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(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)も同値となるので，
”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ
- 25 ：
- ＜だめ押し＞
1) >>19 http://mathsoc.jp/publication/tushin/1802/1802sugita.pdf
確率と乱数 杉田洋 日本数学会 数学通信 2013
(抜粋)
突き詰めれば，確率論の第一の目的は「乱数の性質を詳しく調べること」ということになります．
2) >>16 http://www.math.sci.osaka-u.ac.jp/staff/sugita.html
大阪大学大学院理学研究科数学専攻・理学部数学科
杉田 洋 (Hiroshi SUGITA) 研究分野 確率論
(抜粋)
近年、私は大数の法則を利用して確率変数の平均値をモンテカルロ法によって求める場合に限っては、完全な疑似乱数生成器が存在し、実際にコンピュータで実現することができることを証明しました。
3)>>20に書いたように、杉田先生の「完全な疑似乱数生成器」を使って箱に数を入れたら？ 一つを残して他の箱を明けて、残った箱を確率99/100で的中させる方法などあるはずがない。
もしあれば、杉田洋先生の「実際にコンピュータで実現することができることを証明しました」がガセだということになる（＾＾；
4)まあ、盾と矛。「完全な疑似乱数生成器」 vs 時枝解法（勝ってに入れた数を箱を空けずに当てますという）。
5)ここで、杉田洋先生は研究分野 確率論。片や、”正直時枝氏が確率論に対してあまり詳しくないと結論せざるを得ない”>>30 と言われてしまった
6)どちらを信用するのか？ それは皆さん次第だが。私は、当然杉田洋先生。（文系）High level people は、時枝先生・・
- 26 ：
- 埋め立てとちがうよ
- 27 ：
- >>25 補足
>突き詰めれば，確率論の第一の目的は「乱数の性質を詳しく調べること」ということになります．
コルモゴロフ流確率論であれ、非可測集合まで拡大した確率論であれ
”確率論の第一の目的は「乱数の性質を詳しく調べること」”であれば
どんな確率論であれ、「乱数」を扱えなければ、まっとうな確率論とはいえまい
どんな確率論であれ、その理論の中で、「乱数」を定義し、「乱数」の存在を許容するとすれば
時枝解法において、箱の中にその「乱数」の定義から、どんなことをしても、一つ残して他の箱を空けて、他の箱から残った一つの箱の数を当てるなど不可。そういう結論にならざるを得ない
これが、多少でも確率論を学んだ者の常識だよ
可測集合か非可測集合か
そんなことは関係ない
その確率論が、「乱数」を扱えるか否かで決まること
「乱数」を扱えない確率論だ～？？
それは、スレ28でやってくれ
（文系）High level people たちで、ぞうぞご勝手に。つまらん議論に巻き込まないでくれ（＾＾
- 28 ：
- >>27 つづき
私スレ主の興味は、なぜ時枝解法が成り立たないのか？ なぜ成り立つように見えるかだ
数列の連接も、成り立たない時枝解法がなぜ成り立つように見えるかの議論として出した話だ
時枝解法成立の理由付けのために議論しても、話はかみ合わない
数学は、ディベートじゃない。時枝解法が成立するというなら、どうぞスレ28で、その証明をお願いします
http://rio2016.2ch.sc/test/read.cgi/math/1483314290/
個人的には、>>34で示したように
それは、全く不可能なことだろうと思うよ（＾＾；
- 29 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/38
38 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/06(土) 13:57:30.67 ID:CQDDuI3B
>>33
おっちゃん、どうも、スレ主です。
>時枝問題には数学的意義や価値はないだろうから、
純数学的価値は低いが
1)時枝正という有名人が書いた記事
2)数学セミナーという日本では有名数学雑誌に載った記事
この二つの理由が、このスレで取り上げた理由だ
>私が思うには、高校レベルの確率と極限との複合問題に帰着出来る問題の1つということで終わりだ。
そして、おっちゃんが、そのようにして、（文系）High level people たちの側（時枝解法成立側）に立ってくれることは
私には、大いに吉だね（＾＾
- 30 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/39
39 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/06(土) 14:06:22.15 ID:CQDDuI3B
>>36-37
時枝解法不成立を認めた？
まあ、乱数の定義は >>17 にあるよ
それから、 杉田洋先生も書いているように、 自然界でもコイントスの{0，1}モンテカルロ法による数列
あるいは、ホワイトノイズ https://ja.wikipedia.org/wiki/%E3%83%9B%E3%83%AF%E3%82%A4%E3%83%88%E3%83%8E%E3%82%A4%E3%82%BA
時枝解法不成立を認めて、”なぜ時枝解法が成り立たないのか？ なぜ成り立つように見えるか”という議論なら乗っても良いが
時枝解法成立 or 不成立 という議論には参加しないよ
- 31 ：
- 削除依頼を出しました
- 32 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/48
48 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/06(土) 18:22:07.27 ID:CQDDuI3B [30/33]
>>45-47
香ばしい議論をしてますね（＾＾；
https://ja.wikipedia.org/wiki/%E4%B9%B1%E6%95%B0%E5%88%97
乱数列
(抜粋)
乱数列（らんすうれつ）とはランダムな数列のこと。 数学的に述べれば、今得られている数列 x1, x2, ..., xn から次の数列の値 xn+1 が予測できない数列。乱数列の各要素を乱数という。
https://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%B3%E3%83%80%E3%83%A0
ランダム
(抜粋)
ランダム（Random）とは、でたらめ（乱雑）である事。何ら法則性（規則性）がない事、人為的、作為的でない事を指す。
また、通常、サイコロの目などのように、各出現項目の出現確率が均等もしくはほぼ均等である状態を意味する。
https://ja.wikipedia.org/wiki/%E6%93%AC%E4%BC%BC%E4%B9%B1%E6%95%B0
(抜粋)
擬似乱数（ぎじらんすう、pseudorandom numbers）は、乱数列のように見えるが、実際には確定的な計算によって求めている擬似乱数列による乱数。擬似乱数列を生成する機器を擬似乱数列生成器、生成アルゴリズムを擬似乱数列生成法と呼ぶ。
真の乱数列は本来規則性も再現性も無いものであり、その定義から、確定的な計算によって求めることはできない（例：サイコロを振る時、今までに出た目から次に出る目を予測するのは不可能）。
主な擬似乱数生成法[編集]
様々な擬似乱数生成法が知られている。
一般的生成法（方式と過去の出力が既知であれば、未来の出力を予測可能）
古典的生成法 - 平方採中法、線形合同法（乗算合同法・混合合同法）、線形帰還シフトレジスタ
新しい生成法 - メルセンヌ・ツイスタ、キャリー付き乗算、Xorshift、Lagged Fibonacci 法
暗号学的に安全な生成法（方式と過去の出力から未来の出力が予測困難で、現在の状態から過去の出力が予測不可能）
BBS(Blum-Blum-Shub)、Fortuna
（参考）擬似乱数ではない、真の乱数の生成法
ハードウェア乱数生成器 - サイコロ、熱雑音、宇宙線などを利用する物理乱数
- 33 ：
- >>31
運営おつ
その１行レスがありがたい
ヘビーな連投を続けると、「埋め立てだ」などと規制がはいるのでね
- 34 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/49
49 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/06(土) 18:40:42.71 ID:CQDDuI3B [31/33]
広島大 松本 眞先生の乱数 メルセンヌ・ツイスターの話
過去スレでも出したが、（文系）High level people たちには理解できないんだろうね
記憶にも残っていないんだろうね（＾＾
http://www.math.sci.hiroshima-u.ac.jp/~m-mat/TEACH/ichimura-sho-koen.pdf
あなたの使っている乱数、大丈夫？ -危ない標準乱数と、メルセンヌ・ツイスター開発秘話- 松本 眞 広島大学理学研究科数学専攻 第50回市村学術賞記念 先端技術講演会2014/11/18
http://www.math.sci.hiroshima-u.ac.jp/~m-mat/TEACH/sentan_sugaku2014.pdf
代数と乱数 松本 眞 前期「先端数学」プロジェクタ資料 広島大数学科 2014
http://www.math.sci.hiroshima-u.ac.jp/~m-mat/TEACH/0407-2.pdf
2003-2004年度集中講義「擬似乱数と代数」 「擬似乱数と代数（pdfファイル・46ページ）」
（関連）
http://www.math.sci.hiroshima-u.ac.jp/~m-mat/
松本眞 まつもと まことのホームページ 広島大数学科
http://www.math.sci.hiroshima-u.ac.jp/~m-mat/TEACH/teach.html
授業など教育活動関連 講義ノート
- 35 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/50
50 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/06(土) 18:42:00.55 ID:CQDDuI3B [32/33]
どこの馬の骨ともしれん連中との、数学ディベートもどきより
URLとコピペやPDFの方によほど価値を見いだすスレ主です（＾＾；
- 36 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/52
52 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/06(土) 19:29:27.30 ID:CQDDuI3B [33/33]
>>49 関連
大阪大学 杉田洋 先生の乱数資料
http://www.math.sci.osaka-u.ac.jp/~sugita/Public/imath/ipaper/MCM_SS_digest.pdf
杉田洋，「モンテカルロ法の数学的定式化」，(3)の邦訳抜粋版(2012.11.22改訂)
http://www.math.sci.osaka-u.ac.jp/~sugita/Public/imath/ipaper/MCM_SS.pdf
杉田洋，「モンテカルロ法，乱数，および疑似乱数」，(3)の邦訳改訂版 (ver. 20160624)
http://www.math.sci.osaka-u.ac.jp/~sugita/mcm.html
モンテカルロ法，乱数，および疑似乱数 杉田 洋 大阪大学大学院理学研究科数学専攻
http://www.math.sci.osaka-u.ac.jp/~sugita/mathematics.html
杉田 洋 大阪大学大学院理学研究科数学専攻
- 37 ：
- やはりID:7KmWiftbは片割れだったか（笑
こいつはこれからも毎日出てきて嫌がらせ投稿をするぞ（笑
とにかく何年間も僕に執拗に粘着している変質者なのだ（笑
毎日毎日僕に対して攻撃的レスを書き続けている男である（笑
しかしお前らはあいかわらず何にも分ってないな（笑
>√2は有限小数で書き表せるということになるが
そんなことを僕がどこかで主張したか？（笑
無理数は有限小数でも無限小数でも表せない、と言ったはずだが（呆
お前らはホントに人のレスを読んでいるのか（呆
- 38 ：
- ケーキを食べ尽くすことはできない。
紙を切り尽くすことはできない。
↑とにかくこんなことも分らないようでは話にならないのである（泣
1/2＋1/4＋1/8＋……は１にはならない。
↑こんなことも分らないようでは話にならない（泣
こんなことは高校生でも分っているのだ（泣
せめてこれくらいのことは分ってくれ（泣
- 39 ：
- >>38
＞ケーキを食べ尽くすことはできない。
太郎君はケーキを買ってきました。
半分に切って消費する、という行為を 1/2^1 秒で済ませました。
残りの半分を切って消費する、という行為を 1/2^2 秒で済ませました。
また残りの半分を切って消費する、という行為を 1/2^3 秒で済ませました。
…………
これを続けると、1秒後にはケーキが無くなっている。
「ケーキを消費する」という動的な行為は明らかに「時間」を意識している。
というか、時間と無関係にどうやって「ケーキを消費する」という動的な行為に及ぶつもりなんだよ。
時間の消費がゼロでケーキが消費できるとでも言うつもりか？
だったら、時間の消費がゼロでケーキの断片すべてを一気に消費できるだろｗ
というわけで、ケーキを消費するという行為は時間と無関係には語れない。
そして、時間とセットにするならば、上で書いたようにすれば、１秒後にはケーキが無くなっている。
「では実際にケーキを食べてみろ」とか言うなよ？
実際に、とはどういうことだ？現実世界の話ではないんだろ？抽象的な脳内での話だろ？
脳内での話なら、「１秒後」と書けば１秒後だよ。そして、そのときケーキは無くなってるよ。
はい論破。
- 40 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/189-190
189 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/09(火) 07:38:09.38 ID:Bzdtws/g
>>174-177
いやはや、（文系） High level people たち（ ID:jEMrGWmk さん含め）の、数学ディベートもどきは面白いですね（＾＾；
”手強い？”とは・・、まさに、ディベートですね
私ら、理系の出典（URL)とコピペベース、ロジック（論証）＆証明重視のスタンスと、ディベートもどきスタイル（２ＣＨスタイル？）とは、明白に違いますね
私ら、（文系） High level people たちとの議論は、時間とスペースの無駄。レベルが高すぎてついていけませんね。典拠もなしによく議論しますね。よく分かりましたよ（＾＾；
190 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/09(火) 07:45:01.03 ID:Bzdtws/g
私ら、理系は、一応従来の議論は調べて、その上でしか議論はしません
そうしないと、大概二番煎じですし、車輪の再発明ですから
典拠もなしによく議論しますね～。よく分かりましたよ（＾＾；
私とは、議論がかみ合わないわけだ・・
”他サイトからのコピペでスレを埋め尽くす行為”>>8 なんて非難されましたけどね～（＾＾；
ディベートに勝ちたいからそういう発言なんですね～。典拠もなしで、出した典拠も読まない議論か・・。よく分かりましたよ（＾＾；
- 41 ：
- >>38
＞紙を切り尽くすことはできない。
ここに一枚の正方形の紙があります。
それを半分に切って片方を捨てる、という行為を 1/2^1 秒で済ませました。
残りをまた半分に切って片方を捨てる、という行為を 1/2^2 秒で済ませました。
残りをまた半分に切って片方を捨てる、という行為を 1/2^3 秒で済ませました。
…………
これを続ければ、1秒後には切るべき紙が無くなっている。
「紙を切る」という動的な行為は明らかに「時間」を意識している。
「切り尽くすことはできない」というお前の主張は、より明らかに「時間」を意識している。
というか、時間と無関係にどうやって「紙を切る」という動的な行為に及ぶつもりなんだよ。
時間の消費がゼロで紙が切れるとでも言うつもりか？
だったら、時間の消費がゼロで紙の切り刻みが一気に終わるだろｗ
というわけで、紙を切るという行為は時間と無関係には語れない。
そして、時間とセットにするならば、上で書いたようにすれば、
１秒後には切るべき紙がなくなっている。
「では実際にやってみろ」とか言うなよ？
実際に、とはどういうことだ？現実世界の話ではないんだろ？抽象的な脳内での話だろ？
脳内での話なら、「１秒後」と書けば１秒後だよ。そして、そのとき切るべき紙はなくなっているよ。
はい論破。
- 42 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/192
192 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/09(火) 09:25:59.34 ID:Bzdtws/g
私ら、理系の常識として、確率論>>12とか確率過程がありまして
そういうランダム現象>>13とか、乱数列>>15や>>32は、当然かつ常識です
乱数列を箱に入れていけば、当てられない>>32
他の箱を空けても当てられない。時枝自身が記事に書いて有るとおり（「箱入り無数目」数学セミナー2015.11月号） http://rio2016.2ch.sc/test/read.cgi/math/1466279209/2-6
2016/07/04に”確率論の専門家”さんが来て、”そもそも時枝氏の勘違い”だと（”当てられっこないという直感どおり，実際当てられないという結論が導かれる”ともいう）>>18
”確率論の専門家”の目からは、ガセ記事で、当たり前すぎてパラドックスにもなにもなりはしない。勿論、数学的価値はない
そこらまでは、確率論の初歩。>>12の入り口辺りをちょっと読めば書いてある話だ。が、典拠を示すと、”他サイトからのコピペでスレを埋め尽くす行為”>>8 なんて非難されましたけどね～（＾＾；
従来の確率論の議論を無視して、熱く語る数学ディベートもどきの（文系） High level people たち。レベルが高すぎて、まったくついて行けませんね～（＾＾；
- 43 ：
- 以上、スレ主の見苦しいコメントでした。
- 44 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/309
309 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/10(水) 21:41:01.62 ID:nXQAoWxu
>>308
シカトー
粘着 （文系）High level peopleは、どうぞ スレ28へ
28 (High level people が時枝問題を論じるスレ) http://rio2016.2ch.sc/test/read.cgi/math/1480758460/
補足
時枝は、数学セミナー201511月号の記事の後半で
「このふしぎな戦略を反省してみよう.
・・・
R^N/～の代表系を選んだ箇所で選択公理を使ってい
る.その結果R^N →R^N/～の切断は非可測になる.
・・・
現代数学の形式内では確率は測度論によって解釈される」
と言い訳を書いている。
つまり、”現代数学の形式内では確率は測度論によって解釈される”のに対し、この解法は、非可測集合を経由しているから、”厳密な数学になっていない”と反省しているのだ。
そこを、現代数学の形式を拡張して、”厳密な数学にしよう”（数学的に証明しよう）というのが、スレ28だったろう？
どうぞ、お願いします！（＾＾
一つ注文を付けさせてもらえれば、現代数学の形式のどこをどうを拡張したのか？ そこを明示してもらえればありがたい
（通常の測度論では、内測度と外測度の一致が必要だが、不一致で良いというのがスレ28論点だったと記憶している。そこはどうなったんだ？）
- 45 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/348
（部分編集あり）
348 返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/11(木) 07:03:11.91 ID:Xdy/KOT2
>>309 一言補足しよう
>>9-12 & >>13-19 & >>22-25 & >>27-28 & >>32 ご参照
特に、>>18 は反例構成なんだ
>>18より
(引用開始)
で、話を簡単にするために、箱に入れる数を{0, 1}に限定しましょう。いわゆるブール値です
杉田先生のように、コンピュータを用いたモンテカルロ法でも良いし、実際に硬貨を使っても良い
箱に順番に、数{0, 1}（0か1のどちらか）をランダムに入れる。可算無限の数列ができる
100列に並び変える。ここは、空箱を100列に並び変えて、列名をR1～R100として、各列先頭の箱に入れて、それが終われば各列２番目に・・・と繰り返せば、数学的には同じこと
各列R1～R100が、ランダムであることは自明
で、時枝記事は、ある箱を確率99/100で当てる方法があるという。これは、ランダム数列のある箱（どの箱であれ）の確率1/2に反する
時枝は、この方法は、”非可測集合を経由したから、良いのだ～”という
(引用終り)
どんな拡張された確率論であれ、ランダム現象や乱数列が定義され、それを扱うことができる
一方、時枝解法は、乱数列であっても、確率99/100で当てる方法があるという。が、その解法は、乱数列の存在に反する（反例が存在する）
だから、私スレ主の立場は、可算無限長のランダム現象や乱数列が定義される確率論であれば、時枝解法に反例が存在するのだと
それは、可測非可測を問わずだ。極めてシンプルな話だ
で、時枝解法成立を認める新確率論が出来るなら、ランダム現象や乱数列が定義から見直さなければならないだろうと思う
そんな新確率論が、果たして可能なのか？ 非可測まで拡張したらできる？？ そう思うなら、スレ28へどうぞ。High level people 同士で存分に論じてください（＾＾；
一方で、”時枝解法に反例が存在する”ということを認めて、なぜ不成立なのか？ なぜ成立するように見えるのか？ その認識を共有できるなら、このスレで話し合う価値ありだと
それが、私スレ主の立場です・・（＾＾
- 46 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/397
（部分編集あり）
397 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/11(木) 22:47:57.42 ID:Xdy/KOT2
>>385
シカトー（＾＾
１．このスレでは、時枝解法不成立を前提とした議論しか、しない！
２．時枝解法成立の議論は、スレ28でどうぞ。なお、時枝解法成立の証明は未完と認識している。なので、どうぞ証明を完成願います！
＜さて、上記を前提として>>348の反例について＞
１．>>348の反例は、乱数列の定義>>32から直ちに出る
”ランダム（Random）とは、でたらめ（乱雑）である事。何ら法則性（規則性）がない事、人為的、作為的でない事を指す。
通常、サイコロの目などのように、各出現項目の出現確率が均等もしくはほぼ均等である状態を意味する。”>>32だ
２．だから、仮にもし箱にサイコロの目１～６を入れるならば、当てられる確率は1/6となる。これは、確率論の乱数列の定義だ
３．一方、時枝解法が正しいとすれば、それは定理と呼ばれるべきものである。定義から演繹によって導かれるのが定理だ
もし、定理が定義に反するなら、それは定理が間違っていることを意味する。逆はありえない！
定理を成り立たせたいなら、定義を変えるしかない。それが数学としての筋でしょ？
４．ところで、乱数列の定義をどう変えたら、サイコロの目で確率1/6であるべきところ、他の箱を開けて99/100で的中できる数学的定義が可能なのか？
どうぞスレ28で、証明願います。証明を見てみたいです～（＾＾
繰り返すが、私スレ主の興味は、なぜ時枝解法が成り立たないのか？ なぜ、成り立つように見えるのか？ だ
”時枝解法不成立”を前提とした議論なら参加するが、そうでないなら、参加はしない
どうぞ、（文系）High level people 同士で、スレ28で証明お願いしますよ
- 47 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/398
398 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/11(木) 22:54:43.69 ID:Xdy/KOT2
>>396
哀れな素人さん、どうも。スレ主です。
>時枝問題とやらには何の興味もないから読んでいないが、
>全員がスレ主を嘲笑しているからスレ主が間違っているのかな、
>と思っていたが、このスレの連中の信じがたいアホさを思うと、
>もしかしたらスレ主が正しいのかもしれないと思えてきた（笑
その通りですよ
「スレ主が正しい」が正解ですよ>>397
そして、”全員が”のところは、どんどん人数が減って、現在は例のおっちゃん以外では、２～３人に減りました
彼らは、（文系）High level people と呼ばれる人たちです
- 48 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/679
（部分編集あり）
679 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/19(金) 17:42:13.26 ID:6Ff/CjsZ
>>443
>「ランダムだから数当てはできっこない。よって時枝記事は間違っている。」
>という短絡的思考と同様、～だから・・・・という演繹を感覚ですっ飛ばしてはダメなのであるｗ
(文系)High level people さま、お疲れです
全く立場が逆ですよ。
素人さん：(文系)High level people ＝(文系)High level people ： 時枝記事ガセ（スレ主）
>>46（397）をどうぞ（＾＾
１．(文系)High level peopleさま、饒舌だが、時枝解法成立の証明は未完。どうぞ証明を完成願います！
２．”ランダムだから数当てはできっこない”：これ、確率論の根幹の定義そのもの。ランダム現象を扱えない確率論は、寡聞にして私はしらない。
そんな理論（ランダムな数列が並べ替えで的中できる）が存在すると妄想できるのは、(文系)High level peopleたちだけだ
３．理想的なサイコロ（各目の確率1/6）の存在と、そのサイコロを使い箱に数を入れることと、可算無限回の数を入れることと、この３つだけを認めれば、原理的に（あるいは定義として）数当てはできない。どの箱であれ、原理的に確率1/6が、定義からの帰結。時枝のいう99/100の確率は導けない
４．>>18”2016/07/04に”確率論の専門家”さんが来て、”そもそも時枝氏の勘違い”だと（”当てられっこないという直感どおり，実際当てられないという結論が導かれる”ともいう）
そのときは、High level people たち、「ありがとう、勉強させてもらった」、「貴方がもっと早く現れていれば無駄な議論を重ねずに済んだのだが」と平伏していた”
全く立場が逆ですよ。
素人さん：(文系)High level people ＝(文系)High level people ： 時枝記事ガセ（スレ主）
- 49 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/680
（部分編集あり）
680 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/19(金) 17:50:00.15 ID:6Ff/CjsZ
>>679 補足
実際、時枝記事に当時チョウチンを付けていた 数学科らしき連中は、きれいさっぱり、時枝記事不成立を納得して引いていった
だが、なぜ不成立なのに、時枝記事は成立するように見えるのか？
そこは、まだ議論の余地があると思う
おそらく、可算無限数列のしっぽでの同値類分類から、代表元から決定番号を導くあたりのどこかに、数学的ギャップがあるとおもう（＾＾
非可測集合経由だからという理由付けは分かり易い
が、違うと思う。それでは、>>10 Sergiu Hart Choice Games の GAME 2 の不成立が説明できないから（＾＾
- 50 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/712
712 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/20(土) 16:57:22.96 ID:3Hw2+kSW
>>681
全く立場が逆ですよ。
素人さん：(文系)High level people ＝(文系)High level people ： 時枝記事ガセ（スレ主）
>お前の文章は数学的に無意味だ。
そっくり、お返しするよ、その言葉を（＾＾
>問題は当てる確率が1に近づくと言えるかどうかだが、これはお前が揶揄している別スレで深く議論されている。
「深く議論」：？ 客観性ゼロ！ 二人だけで議論して、他にだれも参加していない！
そして、スレ28の議論についての他者言及ゼロ！ つまり、だれも評価していないってことじゃないですか？（＾＾
（そもそもがさ、あんた達二人、せめてAとかBとか、コテを付けて識別できるようにしたら良かったよね。あだ名や仮名でも良いけど。あれじゃ、だれも読まないと思うよ（＾＾
で、スレ28の議論なんて、「深く」理解しようとは思わないが・・
チラ見で、”外測度”だけを使って議論したように見えるが、違うかね？
さらに聞くが、なぜルベーグは自分の測度の定義で、「外測度と内測度の一致」を求めたのか？ それを数学的に深く考えたことがありますか？
「”外測度”だけを使って議論した。それで良いのだ～！」と。そんな粗雑な議論を認める数学の専門家や数学科の学生がいたら、お目に掛かりたいね
勿論、ルベーグ測度以外での確率論とか可能だし、「”外測度”だけ」を使った確率論も可能かも知れない
だが、その数学的な基礎付けが無いなら、単なる素人の思いつきにすぎない
>無限が扱えるとする限り、当てられないとする理由はなにもない。
「当てられないとする理由はなにもない」：？ そうではない。 貴方たちがなすべきことは、確率99/100で「当てられる」という数学的証明をすること
どうぞ、”非可測集合を経由して、コルモゴロフ測度によらない確率の定義づけ”からやり直してほしい
「当てられないとする理由はなにもない」なんて言説は、数学の証明からはほど遠い主張だよ（＾＾
- 51 ：
- 埋め立てですかあ No！
- 52 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/714
714 返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/20(土) 17:44:12.97 ID:3Hw2+kSW [3/6]
>>549
ID:UBaOhC4mさん、どうも。スレ主です。
呼んだ？（＾＾
（Q&A）
・上から目線：(文系)High level peopleのひが目か、劣等感でしょ。自分の目線は水平だけど。まあ、理系の工学系数学は講義（偏微分方程式からテンソルまで）があったし、ガロア本は書棚の肥やしだ。文系とは当然レベルに差がにじみ出るさ（＾＾
・基本がガタガタ：多分大当り（＾＾；
・数式が大嫌い＆証明が大嫌い：ここにそれらを書くなと。読みにくいから。印刷本の数式と証明はOKだ
（もし、既出なら出典を示せ（書いても良いが出典も明記せよ）。そちらを見るから。もし、初出なら？ それはきっと間違っているだろう。 間違っている数式や証明を読めと？？・・（＾＾
・数学の問いを物理的に考える：小平先生や佐藤幹夫先生が、物理を勉強した故事を知らないらしいね。21世紀数学でも物理など数学隣接分野大事だよ（＾＾
・教科書は一切読まない：確率論を読まないのはどっちだ？>>13-15
・答えに窮すると逃げる：”全く立場が逆ですよ。素人さん：(文系)High level people ＝(文系)High level people ： 時枝記事ガセ（スレ主）”だな。
（正しいことをこちらが言っても理解できないだけで、辟易しえいる・・（＾＾
・一度たりとも称賛されたことがない：Yes！ 多分当り（＾＾；
・アホ：Yes！ 多分当り（＾＾；
- 53 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/715
715 名前：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/20(土) 17:57:55.94 ID:3Hw2+kSW [4/6]
>>608
哀れな素人さん、どうも。スレ主です。
>このスレで、多少ともまともな学問的投稿をするのは
>メタ男（互除法男）だけだ。
>スレ主はコピペの嵐で逃げ回るだけ（笑
おれの考えは全く逆でね
こんなバカ板の学問的投稿なんてのは、ゴミだと思っている
しかるべき出典やURLからのコピペにこそ価値あると思っている
それはどういうことか？
情報の選別と集約だ
確かに、検索に時間を掛ければ、コピペは見つかるだろう
が、自分が「検索しよう」という意思と、かなりの時間と、そして「適切なキーワード」が無ければ、情報を得ることはできない。ヒットした数百万のサイトを全部見ることは、個人ではできない
このスレで、多少フィルターされた出典やURLとそこからのコピペを見て、もしなにか興味があれば、そこからキーワードを得て、自分独自に検索すれば良い
このスレ（２CHバカ板）の使い方は、それが一番じゃないかね？
おれ？ おれにとっては、”出典やURLとそこからのコピペ”は自分のメモです
備忘録でね。スレタイとキーワードで、自分の書いた情報がぐぐれるので便利なんですよ（＾＾
- 54 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/727
727 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/20(土) 23:22:59.56 ID:3Hw2+kSW [6/6]
>>718
全く立場が逆ですよ。（＾＾
素人さん：(文系)High level people ＝(文系)High level people ： 時枝記事ガセ（スレ主）
>君がいうランダム列はこの問題には関係ないしな。
(引用開始)
http://rio2016.2ch.sc/test/read.cgi/math/1466279209/2
（現代数学の系譜11 ガロア理論を読む18）
１．時枝問題（数学セミナー2015.11月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.
(引用終り)
「たらめだって構わない」ということだから、ランダム列を”この問題には関係ない”と排除できません！（＾＾
>問題は有限の確率空間で議論できるから証明は終わってると思うけど。
(文系)High level people とは、数学的議論は無理だね。「可算無限個ある」と時枝が書いているのに、”問題は有限の確率空間で議論できるから証明は終わってる”とは？？
全く立場が逆ですよ。（＾＾
素人さん：(文系)High level people ＝(文系)High level people ： 時枝記事ガセ（スレ主）
- 55 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/733
733 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/21(日) 08:15:31.19 ID:yJJJjKga
>>731-732
全く立場が逆ですよ。
素人さん：(文系)High level people ＝(文系)High level people ： 時枝記事ガセ（スレ主）
(文系)High level people とは、数学的議論は無理だね（＾＾
>そもそもR^Nは確率変数ではない。
>箱に収められて確定しているのだから。
>ゲームはR^N確定後に始まるのである。
(引用開始)
http://rio2016.2ch.sc/test/read.cgi/math/1466279209/3
２．続けて時枝はいう
私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^N
http://rio2016.2ch.sc/test/read.cgi/math/1466279209/6
数学セミナー201511月号P37 時枝記事より
「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
(略)
素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
(引用終り)
いやはや、「s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^N 」とあるのに、”そもそもR^Nは確率変数ではない”ですと？
それなら、「n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら」の文は、どう解釈したんだ？
- 56 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/734
734 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/21(日) 08:17:16.87 ID:yJJJjKga [2/13]
>>733 つづき
>そもそもR^Nは確率変数ではない。
>箱に収められて確定しているのだから。
>ゲームはR^N確定後に始まるのである。
（＾＾
微笑ましい言訳だが
数学でいう「確率変数」の意味が、分かっているのかね？
全く立場が逆ですよ。
素人さん：(文系)High level people ＝(文系)High level people ： 時枝記事ガセ（スレ主）
(文系)High level people とは、数学的議論は無理だね（＾＾
- 57 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/735
735 自分：現代数学の系譜11 ガロア理論を読む 2017/05/21
>>731-732
>君との議論は終わりだ。
>上の話はスレ28に書いてあることだ。
>読めば分かるが分からないなら無理に分かる必要はない。
>気を悪くしたなら悪かったね。
お言葉に甘えて、一つ注文を付けさせて貰おう
(引用開始)
http://rio2016.2ch.sc/test/read.cgi/math/1483314290/51-52
現代数学の系譜11 ガロア理論を読む28
(抜粋)
51 名前：１３２人目の素数さん[sage] 投稿日：2017/01/10(火) 23:12:11.90 ID:q3tPENQ6
・・・
私はパラドクスを説明するのには普通の測度論的確率論で十分できて
新たな確率論は必要ないと思っています。
改めて私の考えを述べると
・・・
52 名前：１３２人目の素数さん 2017/01/10(火) 23:12:29.26 ID:q3tPENQ6
・・・
数列が選ばれた時点で、各箱の独立性はなくなります。
・・・
p1は実数値として確定しないってだけですね。
私はパラドクスに関与しないと思ってます。
・・・
(引用終り)
１．これを見ると、(文系)High level people のソクラテスメソッド（問答法）（下記）レベルだよね。（＾＾
２．だが、数学では証明が求められる。未証明の状態と見たが、違うかね？
３．どうぞ、証明を完成させてください。きちんと、確率変数の定義から初めてね・・（＾＾
４．そうそう、是非”独立性”の定義と、”確率”の定量的定義も、お願いします。
引用
http://gengo21.com/archives/412
ソクラテスメソッド 投稿日: 2014年11月11日 投稿者: Mr. Nomad 言語21世紀塾
(抜粋)
ソクラテスメソッド(Socratic Method) という方法がある。これは教員と学生との間で対話を続けながら結論を導いていく方法である。
https://ja.wikipedia.org/wiki/%E5%95%8F%E7%AD%94%E6%B3%95
(抜粋)
問答法または対話法は、広義では質問と討論の形式による思想の叙述である。これは古代ギリシアの哲学や戯曲、また孔子の『論語』や仏教の諸経典においても認められる。狭義には古代ギリシアの哲学者ソクラテスが用いた真理探究もしくは教育の手法を指し、現在これは心理療法でも応用されている。
- 58 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/736
736 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/21(日) 08:31:25.52 ID:yJJJjKga
>>735
>君との議論は終わりだ。
>上の話はスレ28に書いてあることだ。
>読めば分かるが分からないなら無理に分かる必要はない。
>気を悪くしたなら悪かったね。
お言葉に甘えて、私からも、(文系)High level peopleとの時枝問題の議論は、このスレでは終りに致したいと思います。（＾＾
どうぞ、証明を完成させてください。きちんと、確率変数の定義から初めてね・・（＾＾
「数列が選ばれた時点で、各箱の独立性はなくなります」>>735か・・（＾＾
理系の私には、この陳述は、さっぱり理解できません・・（＾＾
気を悪くすることはありません
が、”(文系)High level people とは、数学的議論は無理だね”とあらためて、強く、思いましたね（＾＾
全く立場が逆ですよ。
素人さん：(文系)High level people ＝(文系)High level people ： 時枝記事ガセ（スレ主）
追伸
繰り返しますが、どうぞ、スレ28で証明を完成させてください。きちんと、確率変数の定義から初めてね・・（＾＾
証明を完成を待って、スレ28で、証明のギャップ探しと指摘をさせて頂きますので、よろしくね・・（＾＾
- 59 ：
- 埋め立てでなく、テンプレです
- 60 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/755
755 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/21(日) 10:41:50.12 ID:yJJJjKga [8/13]
>>52(714)
>・数式が大嫌い＆証明が大嫌い：ここにそれらを書くなと。読みにくいから。印刷本の数式と証明はOKだ
> （もし、既出なら出典を示せ（書いても良いが出典も明記せよ）。そちらを見るから。もし、初出なら？ それはきっと間違っているだろう。 間違っている数式や証明を読めと？？・・（＾＾
＜補足説明＞
１．もし、初出の証明なら、どこか書き間違いや、勘違い、ギャップが存在する可能性大。∵レフェリーによる査読を経ていないから
そんな証明を読まされる身にもなってみろよ。こっちはたまらんぜ・・（＾＾
２．もし、既出なら出典を示せ：このバカ板では、通常の教科書などで使う高等数学の記号がほとんど使えない（代用記号を使うことに）。よって、視認性が著しく落ちる。書く側もそうだろう・・
だったら、出典を示してもらえれば、そちらを読む方が、余程良いってこと。出典が示されれば、関連のページも読めるしね （書き写しの誤記も無いしね・・（＾＾
- 61 ：
- >>39>>41
はっきりいうが、お前ほどの○○は、そうざらにいない（笑
いや、別の掲示板にOne Stoneという○○がいて、
お前とそっくりなアホレスを連発しているが（笑
- 62 ：
- >>61
時間の概念を持ち出さずに「食べ尽くせない」と言ってみたところでナンセンス。
ケーキの例では、無限回のケーキ消費イベントが時系列に沿って用意されているが、
もし「ケーキを消費する」という行為を時間と関係なしに行ってよいのならば、
それぞれのケーキ消費イベントは時系列を無視して実行できることになるので、
全てのケーキ消費イベントを経過時間ゼロで一気に実行すればよい。
そうすれば「食べ尽くせる」ことになり、お前の主張は破綻する。
結局、「食べ尽くせない」と主張するためには、
まず時間の概念を前提としなければならない。
実際、ケーキの場合は
ケーキを買ってきた → まず半分を食べた → 残りのうち半分を食べた → ・・・
という順番で話が進むが、隣り合った２つのシーンの間には
明確な時系列・因果律があり、明らかに時間の概念を前提としている。
しかし、時間の概念を前提とするなら、>>39, >>41 のようにすれば
「１秒後にはケーキが無い」「１秒後には紙が無い」ということになるので、
お前の主張はどちらにせよ破綻する。
あるいは、「ケーキの例と紙の例はただの比喩にすぎない」と逃げるつもりならば、
お前はもう二度とこれらの比喩を使えないので、なんにせよ、お前の主張は破綻する。
はい論破。
- 63 ：
- >>62
アホレス乙（笑
お前のような○○はそうざらにいないぞ（笑
では実際にやってみればいいのである（笑
ケーキを買ってきてやってみろ（笑
あるいは新聞のチラシ広告の紙でもいい。
長方形の紙でもかまわないのだ。
それをハサミで半分に切っていってみろ。
切り尽くせるか？（笑
残りをゼロにすることができるか？（笑
どんな子供でも、そんなことはできないことが分る（笑
- 64 ：
- >>63
実際に、とはどういうことだ？現実世界の話ではないんだろ？抽象的な脳内での話だろ？
脳内での話なら、「１秒後」と書けば１秒後だよ。そして、そのときケーキはなくなっているし、
切るべき紙はなくなっているよ。
はい論破。
- 65 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/756
756 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/21(日) 11:35:27.98 ID:yJJJjKga
>>55(733) 補足 （まあ、時枝記事が分からないと、スレの住人も困るだろうから）
＜時枝記事の概要＞
(参考URL http://rio2016.2ch.sc/test/read.cgi/math/1466279209/2-7 ）
（数学セミナー2015.11月号 箱入り無数目 時枝 正 P36 の記事）
１．設問：「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.勝つ戦略はあるでしょうか?」
と始まる
２．(抜粋)「問題に戻り，閉じた箱を100列に並べる.実数列の集合 R^Nを考える.Qのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似て、
ある番号から先のしっぽが一致する、実数列 R^Nの同値s ～ s'を定義。～は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
このことを利用して、いま D >= d(S^k) を仮定しよう.この仮定が正しい確率は99/100，そして仮定が正しいばあい，上の注意によってS^k(d)が決められるのであった.」
３．２項が時枝の記す解法だが、この解法を時枝自身は100％信じているわけではない
４．例えば「R^N/～ の代表系を選んだ箇所で選択公理を使っている.その結果R^N →R^N/～ の切断は非可測になる.」
「現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎， と数学者は信じがちだ.だが，測度論的解釈がカノニカル， という証拠はないのだし，そもそも形式すなわち基礎， というのも早計だろう.」
などと言訳を並べている
つづく
- 66 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/758
758 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/21(日) 11:37:07.59 ID:yJJJjKga
>>65(756) つづき
５．「もうちょっと面白いのは，独立性に関する反省だと思う.」「素朴に，無限族を直接扱えないのか? 扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい.」
６．上記の５項が、時枝記事の”落ち”だ。が、落語ならともかく、”落ち”があるから許されるというものではない。また、数学セミナー記事としては、あまり笑えない。（数学初心者にはもう少し親切であるべきだと）
大学レベルの確率論を知らない初心者で”時枝記事を真に受けた”者を、笑えるとしてもだ・・（＾＾
ここらは、>>13-14に書いた大学レベルの確率論を勉強すれば、ガセ記事だとすぐ分かる話だ
確率論は大学３～４年で勉強すると思うがね（＾＾
おわり
- 67 ：
- >>64
いや、だから実際にやってみればいいのである（笑
1/2＋1/4＋1/8＋……は１にならないことは考えれば分ることだ。
お前はそれが分らないようだから、実際にやってみろと言っているのだ。
数学の問題というのは現実と無関係なことではないのだ。
1/2＋1/4＋1/8＋……が１になるかならないかは、
上のようなことを実際にやってみれば分るのだ。
さあ、やってみろ。
このスレに投稿する前に、実際に広告の紙を切っていってみろ。
そしたら分る（笑
- 68 ：
- >>67
だからさあ、実際に、とはどういうことだ？
本当に現実世界の話をしたいのか？
だったら、敢えて現実世界の話に乗ってやるが、
その場合は、前スレ>>673の
＞ケーキを半分に切っていくと、最後に素粒子となり、切ることができない。
＞半分に切り続けること自体が出来なくなるため、仮説自体が崩壊し、
＞哀れな素人君の意見自体が成立もしないし、何も論証できていない。
という指摘により、哀れな素人の話は破綻するｗｗ
よって、哀れな素人君の話が効力を発揮するには、
現実世界の話ではなく「抽象的な脳内での話である」とせざるを得ない。
しかし、脳内での話なら、>>39, >>41, >>62, >>64 によってお前の主張は破綻する。
はい論破。
- 69 ：
- >>67
＞このスレに投稿する前に、実際に広告の紙を切っていってみろ。
＞そしたら分る（笑
ここにも一応レスしておくが、本当に現実世界の話をしたいのなら、>>68と同じく、
「広告の紙を切っていくと、最後に素粒子となり、それ以上は切ることができない。
つまり、切り続けること自体が出来なくなるため、仮説自体が崩壊し、
哀れな素人君の意見自体が成立もしないし、何も論証できていない」
ということになり、哀れな素人の話は破綻するｗｗ
よって、哀れな素人君の話が効力を発揮するには、
現実世界の話ではなく「抽象的な脳内での話である」とせざるを得ない。
しかし、脳内での話なら、>>39, >>41, >>62, >>64 によってお前の主張は破綻する。
はい論破。
- 70 ：
- >>68
お前のようなアホを相手にするのは限がない（笑
お前は延々とアホを晒し続けているのである（笑
世間の大多数の人は、お前の投稿を読んで、
何とアホな奴だろう、と思っているぞ（笑
何度も言う。実際にやってみろ。
実際にやってみて、分るまでは出て来るな。
紙を切るのがめんどくさいなら、
長さ１の線を書いて、半分のところに点を打って行ってみろ。
一番右端の１のところに最終的に点を打てるかどうか、やってみろ（笑
- 71 ：
- >>70
お前の話は
・ ケーキ消費イベントが 無 限 個 ある
・ 紙を切るというイベントが 無 限 個 ある
・ 点を打つというイベントが 無 限 個 ある
という部分に話のキモがあるのであって、現実世界では
・ ケーキ消費イベントが途中から実行不可能になり、本当の有限回で終わってしまう
・ 紙を切るというイベントが途中から実行不可能になり、本当の有限回で終わってしまう
・ 点を打つというイベントが途中から実行不可能になり、本当の有限回で終わってしまう
というマヌケなオチにしかならないので、
「仮説自体が崩壊し、哀れな素人君の意見自体が成立もしないし、何も論証できていない」のだよ。
つまり、哀れな素人の話は破綻するんだよ。
＞何度も言う。実際にやってみろ。
＞実際にやってみて、分るまでは出て来るな。
逃げるなよマヌケ。現実世界で本当にやっていったら
「素粒子になってしまって、それ以上はイベントが実行不可能」
というマヌケなオチにしかならず、お前の話は破綻するんだよ。
はい論破。
- 72 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/799
799 名前： ◆QZaw55cn4c [sage] 投稿日：2017/05/21(日) 19:18:47.94 ID:4qUyyAJ5
なんだかスレが乱れているね‥私がお邪魔しだしたときはそうでもなかったんですが
(返信)
C＋＋さん、どうも。スレ主です。
”スレが乱れている”というが、所詮２CHなんて、バカ板ですからね（＾＾
２CHなんて、適当に流して、息抜きに使って下さいね
勉強頑張って下さい！（＾＾
- 73 ：
- AIメモ
http://gauc.no-ip.org/~hi_saito/MPS/mps_yokohama.html
数学的基礎から学ぶ Deep Learning
(抜粋)
はじめに
このテキストは Morning Project Samurai1 - Yokohama にて開催している「数学的基礎から学ぶ Deep Learning」を斉藤が分かるように書き下したメモです。
略
- 74 ：
- >>70
＞何度も言う。実際にやってみろ。
＞実際にやってみて、分るまでは出て来るな。
もしかしてお前は、次のような分かりきったツッコミをしてほしいのか？
「紙を切るイベントを現実世界で実際にやってみましたが、素粒子レベルに到達した段階で、
それ以上紙を切ることが不可能になりました。従って、現実世界では、紙を切るイベントは
ここで終了となり、「終わらない」と主張する哀れな素人は間違っています」
どのみち、「終わらない」と言っていたお前の主張は間違っていることになるぞｗｗ
お前に逃げ場は無いんだよ。
抽象的な脳内での話だとすると、>>39, >>41 によって論破されるし、
現実世界での話だとすると、上に書いたような分かりきったツッコミによって論破される。
今までお前は、現実世界での話と抽象的な脳内での話をわざと混同して詭弁を
繰り広げてきたわけだが、そのような詭弁の手口はもう通用しないんだよ。
はい論破。
- 75 ：
- AIメモ
https://ja.wikipedia.org/wiki/%E3%83%87%E3%82%A3%E3%83%BC%E3%83%97%E3%83%A9%E3%83%BC%E3%83%8B%E3%83%B3%E3%82%B0
(抜粋)
ディープラーニング、深層学習（英: deep learning）とは、多層構造のニューラルネットワーク（ディープニューラルネットワーク、英: deep neural network）を用いた機械学習である[1]。
歴史
今日のディープラーニングにつながる世界的に最も先駆的研究として、日本の福島邦彦(NHK放送技術研究所、その後大阪大学基礎工学部生物工学科）によって1979年に発表されたネオコグニトロン[25]が挙げられる[26][27]。
ネオコグニトロンには自己組織化機能があり、自ら学習することによってパターン認識能力を獲得(概念の形成)していく。応用例として、福島らは手書き文字データベース（ビッグデータ）から自己学習によって手書き文字認識能力(各文字の概念)が獲得されることを実証した。
しかし、当時は「手書き文字認識方式の一つ」と誤解され、その重要性についての認識が世間に広がらなかった。
技術的課題
ディープラーニングにはデータの適切な前処理やたくさんのパラメータの調整を必要とするアルゴリズムが多いが、2015年の時点で、ディープラーニングシステムを調節できる技術者が少ない[46]。
また、ニューラルネットワークの多層化により、時間とコストがかかるという問題点があったが[47]、近年のコンピュータの高性能化、特にGTX TITAN X等の高性能GPUの登場により、ほぼ克服されつつある[48][49]。
GPUを利用することで性能あたりの価格や消費電力を100分の1に抑えることができるとされ[50]、これにより、GPUの市場の拡大が期待されている[31]。
また、ディープラーニングはアルゴリズムよりもデータの質と量が重要(ビッグデータ)と言われており、それが大量に確保できない場合は良好な結果を出すことができない。そのため、莫大なデータを確保できない企業、国家(日本も含む)は機械学習の研究開発では大きく後れを取ることになったという評価がある[51]。
https://en.wikipedia.org/wiki/Deep_learning
Deep learning
(抜粋)
3 History
Other Deep Learning working architectures, specifically those built from artificial neural networks (ANN), date back to the Neocognitron introduced by Kunihiko Fukushima in 1980.[26]
- 76 ：
- まったくこのID:jwljHBXeという男は何と○○なのだろう（笑
普通の者なら、素粒子になるまで切らなくても、途中で、
（あ、そうか）と分るはずなのに（笑
紙を切るのがめんどくさいなら
長さ１の線に点を打て、と言ってるだろう（笑
それをやってみろ（笑
- 77 ：
- 物理的に不可能だというなら、頭の中でやってみろ（笑
紙に線を書いて、鉛筆で点を打っていくのではなく、
頭の中に数直線をイメージし、０と１の中間に点を打ち、
次にその点と１との中間にまた点を打ち、
さらにまたにその点と１との中間にまた点を打ち、
……………
ということを続ければ、最後に１のところに点を打てるかどうか、
頭の中でイメージして考えてみろ。
そしたら分る（笑
- 78 ：
- >>76
＞紙を切るのがめんどくさいなら
＞長さ１の線に点を打て、と言ってるだろう（笑
＞それをやってみろ（笑
現実世界に本当の「点」は打てない。点を打ったつもりでも、大きさを持った●になってしまう。
限界まで●の大きさを小さくすると「素粒子を置く」という行為にはなるが、現実世界ではこれが限界である。
となれば、点を打つ場合も同じことで、素粒子レベルまで到達すればそこで点を打つイベントが終了となり、
「終わらない」と主張する哀れな素人は間違っていることになるｗｗ
- 79 ：
- >>78
>>77をやってみろ（笑
- 80 ：
- >>77
＞物理的に不可能だというなら、頭の中でやってみろ（笑
そうだよ。物理的には不可能だよ。
途中でイベントが終了してしまうのだからな。
そして、頭の中でやるならば、
０と１の中間(すなわち 1/2 の位置)に点を打つ、という行為を 1/2 秒で行う。
その点と１との中間(すなわち 1/2＋1/4 の位置)にまた点を打つ、という行為を 1/4 秒で行う。
さらにまたその点と１との中間(すなわち 1/2＋1/4＋1/8 の位置)にまた点を打つ、という行為を 1/8 秒で行う。
………
ということを続ければ、１秒後には右端点に到達しているので、
その時点で右端点に点を打てばよい。
はい論破。
- 81 ：
- >>63
＞では実際にやってみればいいのである（笑
では1/2という数が存在することを実証するために、ケーキを買ってきて
正確に半分に切ることを実際やってみて下さい。
もちろん素粒子1個分の誤差も許されません。何故なら誤差があればそれ
は1/2ではなく1/2のようなものだからです。
君がもし「現実にケーキを切ることと数学上の概念は別だ」と言うのなら
＞では実際にやってみればいいのである（笑
という言葉に自ら背いたことになるね。
- 82 ：
- >>67
＞数学の問題というのは現実と無関係なことではないのだ。
つまり君はケーキを正確に半分に切れるということでおｋ？
もし不可能なら君は1/2という数の存在を否定しなければならなくなるから、がんばって切ってね～
- 83 ：
- 論破ルーム
『き』で始まるものの名前を答えてくださいです。
http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1120180571
- 84 ：
- >>80
>１秒後には右端点に到達しているので
だから到達していないのである（笑
>>81
お前もあいかわらずアホレス連発だな（笑
物理的に実際に可能かどうかはどうでもいいのだ（笑
1/2＋1/4＋1/8＋……が１にならないことを理解させるために、
こういう比喩を出しているのである（笑
で、分らないなら実際にやってみろと言っているのだ（笑
正確に半分に切れなどとは言っていないのだ（笑
適当でいいからやってみろ。そしたら分るのだ（笑
とにかくここの連中のアホさときたら、想像を絶している（笑
- 85 ：
- >>84
＞>１秒後には右端点に到達しているので
＞だから到達していないのである（笑
頭の中のイデアの世界の話なんだから、
「１秒後」と書けば１秒後なのであり、そのとき右端点に到達している。
別の言い方をしよう。
もし１秒後に右端点に居ないのであれば、
右端点より手前のどこかの位置にいることになる。
その位置を x とする。このとき、>>80 での設定の仕方により、
「どんな正整数 n に対しても Σ[k＝1～n] 1/2^k ＜ x 」・・・ (1)
が成り立つことになる。ここから 1≦x が厳密に証明できるので、
結局、x＝1 になるしかなく、右端点に居ることになる。
はい論破。
- 86 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/746
746 現代数学の系譜11 ガロア理論を読む 2017/05/21
現代数学では、”無限”は、「無限公理（Axiom of infinity)」で定められるのが、標準です
そこらが、 (文系)High level people たちも分かってないようです・・（＾＾
ここを、すっとばして議論している・・（＾＾
まあ、”無限”＝神 みたいなものです。だから、神学論争です。神＝全知全能で無限の能力を持つ存在で、人にできないことをなんでもできるのだと
神の存在（＝無限）を認めるかどうか？ 現代数学では定義です
が、(文系)High level people たちにとって、恰好の神学論争です・・（＾＾
どうぞ、存分にお願いします
神学論争は、大事です。「どの公理系を選ぶか？」は、大事な議論ですからね・・（＾＾
”現代数学では、”無限”は、「無限公理（Axiom of infinity)」で定められるのが、標準です”を忘れて、無邪気な論争
理系としては、微笑ましく見守っていますよ・・（＾＾
http://ameblo.jp/n-cubed/entry-10849357210.html
公理的集合論 一度整理します。 【Ⅷ】 ～無限の公理～ n－cubedのブログ 20110402
(抜粋)
続いて、無限の公理を見ていきます。
■無限公理（Axiom of infinity)
∃ｘ （φ∈ｘ ∧ ∀ｙ （ｙ∈ｘ ⇒ ｙ∪｛ｙ｝∈ｘ））
無限の公理とは
ある集合ｘ が存在して、
条件「φ∈ｘ かつ、任意の集合ｙ について
『ｙ∈ｘ ならば ｙ∪｛ｙ｝∈ｘ』が成り立つ」を満たす
ということを主張しています。
つまり、この集合ｘ とは、集合ｘ の任意の元ｙ を取ります。
無限公理からｙ∈ｘ ⇒ ｙ∪｛ｙ｝∈ｘ
長くなりますので、ｙ∪｛ｙ｝を ｙ’と書くことにします。
続いて、ｙ’集合ｘ の元ですので、
無限公理から
ｙ’∈ｘ ⇒ ｙ’∪｛ｙ’∪｛ｙ’｝｝∈ｘ
同様に、ｙ”＝ｙ’∪｛ｙ’｝
更に続けて、 ｙ”も集合ｘ の元ですので、
・
・
無限公理でいう集合ｘ の元は限りなくあるということです。
まさにぼくたちが普段使用している”無限”という言葉の意味そのものです
※集合ｘ の元の数は”無限”
- 87 ：
- >>85
毎度アホレス乙（笑
ｋ→∞のとき1/2^k→0であって1/2^k＝0ではないぞ（笑
分っているのか？（笑
1/2^kはかぎりなく０に近づくが０にはならないのである（笑
分っているのか？（笑
Σ[k＝1～n] 1/2^k ＜ x 」・・・
イミフな変な式だが、
この式のｘに＝は付いていないだろうが（笑
- 88 ：
- 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/752
752 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/21(日) 10:25:49.97 ID:yJJJjKga [7/13]
>>86(746) 補足
なぜ、無限は公理なのか？ それは公理系からの”独立”という概念（下記）を理解しないといけない
現代数学の基礎論の基本なんだが
まあ、公理系からの”独立”という概念が、確立されてきたのは、20世紀になってからかな
(文系)High level people たちの議論は、微笑ましいですね・・（＾＾
どうぞ、存分にお願いします
理系としては、微笑ましく見守っていますよ・・（＾＾
http://park20.wakwak.com/~ichikawa-clinic/2-indepenndent.htm
◆ 独立命題
(抜粋)
「ある公理系Ｚがあり、ある命題Ｐがあるとする。ＺからＰを導き出す証明が存在せず、また、￢Ｐを導き出す証明も存在しないとき、この命題Ｐは公理系Ｚから独立しているというのだ。このとき、命題Ｐのことを独立命題ともいうぞ」
「独立命題Ｐの真偽は、公理系Ｚで決定することが不可能なんだね～」
「そうだ。わかったか？」
「わかったよ。その独立命題とは、主に公理系Ｚの外にある命題だよ～」
・・・
そこで、ミーたんは聞きました。
「独立した命題には、どんなものがあるの？具体例をあげてください」
「平行線公理だ。平行線公理は、ユークリッド幾何学の他の公理から独立しているぞ」
「平行線公理が独立であることはどうやって証明されたの？」
「モデルを作ったのだぞ」
「どんなモデル？」
「非ユークリッド幾何学のモデルだ。・・・」
- 89 ：
- >>88
現代数学としては、無限は公理なので
公理系として、無限を認めるか認めないか
無限を認めれば、それは公理だから議論の余地がない
もし、無限を認めない公理系なら、命題の独立性から、他の公理を用いて無限の存在を導くことはできない
- 90 ：
- >>87
誤解が無いように、以下の例で説明する。
おそらくお前は、この例に対しても全く同じ反論をよこすだろうが、
それでも構わないので、とりあえず書く。
――――――――――――――――――――――――――――――――――――――――
頭の中のイデアの世界で、以下のようにして線分を左から右に向かって描くことにする。
まず、紙の上にペンを置いて、そこを左端点と考える。
以後、ペンは紙の上にずっと乗せたままにする。
さて、現状の左端点から出発して、右に向かって長さ 1/2 の線分を 1/2 秒で書く。
次に、そこから出発して、右に向かって長さ 1/4 の線分を 1/4 秒で書く。
次に、そこから出発して、右に向かって長さ 1/8 の線分を 1/8 秒で書く。
………
これを続けると、１秒後には閉区間 [0, 1] が線分として出来上がっており、
ペン先は点１の場所にある。
――――――――――――――――――――――――――――――――――――――――
しかし、お前の言い分によれば、１秒後にペン先は点１の場所には存在していないことになる。
すると、点１より手前のどこかの位置にペン先が存在していることになる。
その位置を x とする。このとき、設定の仕方により、
「どんな正整数 n に対しても Σ[k＝1～n] 1/2^k ＜ x 」・・・ (1)
が成り立つことになる。ここから 1≦x が厳密に証明できるので、
結局、x＝1 になるしかなく、ペン先は点１の場所に居ることになる。
はい論破。
- 91 ：
- >>89
ここらは、過去スレで、渕野論文を引用したと思う（＾＾
- 92 ：
- >>91
無限の存在が、数学では、他の命題から独立であって、公理として認めるしかない
そういうことが分かってきたのは、20世紀になってかららしい
なので、(文系)High level people たちの議論は、微笑ましいです・・（＾＾
19世紀のデデキントやヒルベルトの時代の議論でしょうかね？・・（＾＾
- 93 ：
- >>92
哀れな素人もあれだけど、相手している(文系)High level people さんも、無限公理が他の公理からだと知らないから、他の数学の例を引いて必死にディベート
まあ、(文系)High level people さんらしい。当人は、しごく真剣なんだろうけどね（＾＾
知っている人（無限公理と他の公理からの独立を）からみれば、どっちもどっち・・（＾＾
- 94 ：
- >>93 訂正
無限公理が他の公理からだと知らないから、他の数学の例を引いて必死にディベート
↓
無限公理が他の公理から独立だと知らないから、他の数学の例を引いて必死にディベート
- 95 ：
- >>90
懲りないアホレス乙（笑
>Σ[k＝1～n] 1/2^k ＜ x 」・・・ (1)
>が成り立つことになる。ここから 1≦xが厳密に証明できるので
だから(1)式のｘは＜ xとなっているだろが（笑
≦xとはなっていないだろが（笑
だから1≦xは証明できないのである（笑
（そもそも1≦xはx≦1の間違いではないのか？（笑））
分るか？（笑
とりあえずここで中断（笑
- 96 ：
- >>94 （以前にも書いたと思うが（＾＾
ご参考
https://ask.fm/ytb_at_twt/answers/105450565194
有限主義ってなんですか？直観主義とは違うのですか？ About ytb Ask.fm December 22, 2013
有限主義とは「有限的な数学的対象」のみの存在を認める立場です。ベースとなる論理は、古典論理でもかまいません（排中律とかそういうこだわりはありません）。その点で直観主義と大きく異なります。
http://en.wikipedia.org/wiki/Finitism
背景ですが、20世紀、公理的集合論などの無限的理論や無限的手法が広く数学の中で使われるようになりました。無限集合などの無限的対象も広く登場します。
しかし一方で、無限的対象は、かつての無限小のように、一部の「数学の基礎」を気にする数学者にとっては、ものすごく胡散臭いものにうつります。そこで、無限的対象を心置きなく使用できるようにしようと、ヒルベルトらが有限主義を提唱しました。これは二段ロケット方式です。
１）本当に存在する数学的対象は有限的なもの（自然数とか）だけである。疑うヤツには自然数を構成してみせればよい
２）だけど有限的対象だけで数学をやろうとするとえらくメンドイ。だから、略記として無限的対象を導入し、ショートカットをする。
ポイントは（無限小をεδ論法で置き換えた時みたいに）「無限的対象・手法は、やろうと思えばちゃんと有限的なやり方で書ききれるが、しんどいので略記として導入している」というスタンスを貫くことです。
まあ、ホントにどんな有限的対象でも書ききれるのか？とか、逆に「ショートカットをせずにちゃんと書く」ってそもそもどういう事よ、とかいろいろ問題はあるのですが、ともかく、20世紀前半には中心的な立場として広く議論されてきました。直観主義と混同すると、いろいろな人が悲しみますよ？
- 97 ：
- >>90
返答ありがとう。
まずは、(1) が成り立つ理由から説明することにする
(既に分かっているかもしれんが)。
>>90の設定において、現在の時刻は「１秒後」である。
また、その時点でのペン先の位置を x と置いたのだった。
すると・・・
・ 1/2 秒の時点ではペン先は 1/2 の位置にあったが、現在は１秒後なので、明らかに 1/2 ＜ x である。
・ 1/2＋1/4 秒の時点ではペン先は 1/2＋1/4 の位置にあったが、現在は１秒後なので、明らかに 1/2＋1/4 ＜ x である。
・ 1/2＋1/4＋1/8 秒の時点ではペン先は 1/2＋1/4＋1/8 の位置にあったが、現在は１秒後なので、
明らかに 1/2＋1/4＋1/8 ＜ x である。
同様にして、
「 1/2＋1/4＋…＋1/2^n 秒の時点ではペン先は 1/2＋1/4＋…＋1/2^n の位置にあったが、
現在は１秒後なので、明らかに 1/2＋1/4＋…＋1/2^n ＜ x である」
という主張がどんな正整数 n に対しても成り立つ。すなわち、
「どんな正整数 n に対しても Σ[k＝1～n] 1/2^k ＜ x 」・・・ (1)
が成り立つことになる。これが、(1) が成り立つ理由である。
ここまでは、お前も反論は無いはずである。
問題は、なぜ(1)から「1≦x」が証明できるのか、ということであるが、
それは次のレスで説明する。
- 98 ：
- >>92
「無限集合は存在しない」というのが素人君の主張
19世紀の議論？ 馬鹿丸出しｗ
お前は単に集合論の知識（と呼べる代物ではないが）をひけらかしたいだけｗ
上から目線したがって逆に馬鹿を晒すスレ主でしたｗ
- 99 ：
- >>97ではアンカを>>90にしてしまったが、>>95の間違いだ。
>>95
では、ここから先は、(1)を用いて「 1≦x 」を証明することにする。
――――――――――――――――――――――――――――――――――――――――――――――――
補題1：どんな正整数 n に対しても 2^n ＞ n が成り立つ。
証明：nに関する数学的帰納法で簡単に示せる。または、二項定理を使って
2^n＝(1＋1)^n＝Σ[k＝0～n] nCk≧Σ[k＝0～n] 1＝n＋1＞n としてもよい。
補題2：a は実数で、どんな正整数 n に対しても a ＜ 1/n を満たすとする。このとき、a≦0 である。
証明：もし a＞0 とすると、1/a は正の実数である。m＝[1/a]＋1 と置く。
ただし、[ ] はガスウ記号とする。一般に [x]＋1 ＞ x が成り立つので、[1/a]＋1 ＞ 1/a である。
すなわち、m＞1/a である。式変形して、a＞1/m である ・・・(i)
m は正整数であることに注意して、問題文の仮定
「どんな正整数 n に対しても a＜1/n が成り立つ」
により、a＜1/m である。これは(i)に矛盾する。以上より、a≦0 である。
定理：>>90の x について、1≦x である。
証明：>>90 の(1)により、どんな正整数 n に対しても Σ[k＝1～n] 1/2^k ＜ x である。
Σ[k＝1～n] 1/2^k ＝ 1－1/2^{n＋1} に注意して、1－1/2^{n＋1} ＜ x である。式変形して、
1－x ＜ 1/2^{n＋1} である。補題1から 1/2^{n＋1} ＜ 1/(n＋1) ＜ 1/n であるから、1－x ＜ 1/n である。
まとめると、「どんな正整数 n に対しても 1－x ＜ 1/n である」ということになる。
a＝1－x と置けば、「どんな正整数 n に対しても a ＜ 1/n である」ということになる。
補題2より、a≦0 となる。すなわち、1－x≦0 となる。よって 1≦x である。
――――――――――――――――――――――――――――――――――――――――――――――――
以上より、確かに 1≦x である。
- 100 ：
- >>84
＞1/2＋1/4＋1/8＋……が１にならないことを理解させるために、
＞こういう比喩を出しているのである（笑
数学に比喩など不要、お前はスレ主かｗ
きちんと1にならないことを証明しなさいｗ
100～のスレッドの続きを読む
数学者になりたいけど無理そうだったらAIに携わる仕事に就きたい場合数学科は良い選択ですか？
【有効数字】9=9.0ってどうなの？【数学】
教育学部から東大大学院理学部数学科を目指したい
皆本健太郎の東方project
奇数の完全数の存在に関する証明は正しいはず
なぜ数学板は廃墟と化したのか
大学の数学科はぜんぶ潰すべき
「何の役に立つんですか？」をタブー視する老害wwww
代数幾何学ビナギーズスレット（4°）
■初等関数研究村■
--------------------
▼ 習近平 と 統一協会・安倍晋三 ▼
最近、夏に暑い暑い騒ぎすぎ
【芸能】岡村隆史「コロナが収束したら､お金に困った可愛い娘が風俗に流れてくる。 それまで風俗は我慢しましょう」と呼びかけ ★28 [１号★]
入院して体力が落ちた奴いるだろ？
【韓国】慰安婦被害者の65%、（心的）外傷後ストレス深刻･･･「いまだに苦痛」[05/23]
足ｸﾘｽﾏｽ
2020卒 ゲーム業界就活スレ part3
あきスレ戦死者に対して哀悼の意を表しあきまん敬礼
安田章大（関ジャニ）、 国仲涼子 と熱愛発覚！！
生田、小坂、森田、山下みたいな顔が好きなんだけど
【俺妹】黒猫(五更瑠璃)・田村麻奈実アンチスレ
【ハゲ】多様性のビッグバンか、マテル社から髪のないバービー人形が発売される
跳関十段 ★ 青木真也 part11
AKB宮脇咲良「日本は韓国と違って世界では通用しない」
【天才】松山千春を語ろう6【衆院選出馬へ】
【89.9MHz】Kiss-FM KOBE 6【神戸】
【静岡】１歳児を熱中症で死なす。パチンコ店の駐車場で車内に放置、容疑の父親を逮捕
【Opera】DSブラウザー&Wiiブラウザスレ10
【かっさん】加藤純一ID無しスレpart1809【BAD BOYS】
楽天市場総合 Part300
TOP カテ一覧 スレ一覧 100～終まで 2ch元 削除依頼
