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


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

1 名前：現代数学の系譜雑談古典ガロア理論も読む mailto:sage [2018/10/28(日) 08:56:13.27 ID:6dvusTGC.net]: このスレは、皆さまのご尽力で、伝統あるガロアすれは、
過去、数学板での勢いランキングで、常に上位です。

このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで宜しければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな～（＾＾
最近、AIと数学の関係が気になって、その関係の記事を集めています～（＾＾
いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。

スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。

スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。
興味のある方は、過去ログを（＾＾

なお、
小学レベルとバカプロ固定
サイコパスのピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」）
（参考）blog.goo.ne.jp/gr
445 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/11(日) 23:13:23.81 ID:jyf+YT5g.net]: >>388

下記図が分り易い
"F(U)が含んでいる関数は、図でいうと4つあるオレンジのぐにゃぐにゃ。このぐにゃぐにゃのことを、「断面」という。
U=(a,b)をxを含みながらできるだけ狭くしよう。そうすると、なんだか得体の知れなかったぐにゃぐにゃは、緑色の4個の点になる。この緑の点を「xの芽」という。"
但し、「緑色の4個の点」は、より正確な表現としては「緑色の4個の局所（＝開集合の微小極限）」ですかね？（＾＾

https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q11183646356
sei********さん2017/12/2123:41:56 yahoo
数学で芽って、どういう事ですか？特異点の数理の分野で使われていた用語ですが、

ベストアンサーに選ばれた回答
lic********さん 2017/12/2218:37:55
こういうのは具体例で考えた方がいい。
実数全体の集合Rに対し、x∈Rを含む開区間U=(a,b)をとる。
UからRへの連続関数全体の集合をF(U)とする（連続関数とは、開区間を開区間に、閉区間を閉区間に写す関数）。
F(U)が含んでいる関数は、図でいうと4つあるオレンジのぐにゃぐにゃ。このぐにゃぐにゃのことを、「断面」という。
U=(a,b)をxを含みながらできるだけ狭くしよう。そうすると、なんだか得体の知れなかったぐにゃぐにゃは、緑色の4個の点になる。この緑の点を「xの芽」という。
広い範囲ではぐにゃぐにゃして全体像がつかめなかったものも、極限に狭い範囲で局所的に見れば、どこからみても同じ関数になることが、帰納的な極限を考える意義。森を見ずに木を見るのである。
とくにわれわれが注目する価値があるのは、次の2つの条件を満たす状況である：
（１）局所的な関数（緑）は貼りあわせて大域的な関数（オレンジ）にできる。
（２）局所的に０である関数は大域的にも０である。

https://iwiz-chie.c.yimg.jp/im_siggJ.t.Eqpz_gzUfA0ALLU6Qw---x320-y320-exp5m-n1/d/iwiz-chie/ans-449027938

つづく
446 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/11(日) 23:13:54.48 ID:jyf+YT5g.net]: >>403

つづき

ecl********さん 2017/12/2200:29:20
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q139103659...
に、同じ質問がありました
層の stalk 日本語では茎の元ですね

https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1391036593
cho********さん 2012/7/2117:18:48 yahoo
数学（位相）の概念で「茎」「芽」というものがありませが、これについて説明がなされている数学書はありますか？

ベストアンサーに選ばれた回答
pal********さん 2012/7/2120:37:48
「層(sheaf)」の理論で出てくる言葉ですので、
「層」というタイトルの本を調べてみてください。
参考：
ja.wikipedia.org/wiki/%E5%B1%A4_(%E6%95%B0%E5%AD%A6)
(引用終り)
以上
447 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/11(日) 23:33:13.75 ID:jyf+YT5g.net]: >>402
レスありがとう
新しい人かな？

で、悪いが、それ時枝記事の解法と違うよ

Q1．時枝記事の原文（雑誌）を読みましたか？
　（もし、読んでないなら、図書館ででも読んでください）
Q2．時枝記事読めば、
　キーワード極限が出てくるのは、最後の「(2)有限の極限として間接に扱う」のところのみ。解法とは直接関係しない
　キーワード収束は、出てこないよ？
Q3．なので、問題を勝手に作りかえていると思うけど？
以上
448 名前：１３２人目の素数さん mailto:sage [2018/11/12(月) 02:02:27.74 ID:kxfvxefk.net]: >>405
キーワードとして出てこなくても無限を扱う以上そのような考え方が必要になる

有限個を1つずつ増やしても可算無限個にならないのは理解していますか？

可算無限個の箱があって中身は未定である
これは無限公理と同じ

ペアノの公理を適用すると中身が{1, 2, 3, ... }であることが分かる
これは1つずつa1 = 1, a2 = 2と箱の中に入れていくのではなくて
同時に全部の箱に数字を入れることと同じ

それで数当てゲームをするには出題する場合も含めて
(数列のしっぽの)可算無限個の数字をまとめて扱う必要がある

数列のしっぽの可算無限個の数字をまとめて扱うことが極限をとるという意味
収束する = 数列のしっぽの可算無限個の数字をまとめて扱うことが可能

>>396
> 箱に入れた独立確率変数xiを
とスレ主は書いているがしっぽの可算無限個は独立なんですか？
449 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/12(月) 07:56:32.56 ID:P6oha7dw.net]: >>406
レスありがとう
新しい人かな？

「Q1．時枝記事の原文（雑誌）を読みましたか？」
の回答は？　「読んでない」ですね？

>”それで数当てゲームをするには出題する場合も含めて
(数列のしっぽの)可算無限個の数字をまとめて扱う必要がある
数列のしっぽの可算無限個の数字をまとめて扱うことが極限をとるという意味
収束する = 数列のしっぽの可算無限個の数字をまとめて扱うことが可能”

普通の数学では選択公理を仮定しますが？
選択公理をどう考えているの？
選択公理を仮定すれば、収束しない数列も扱えるでしょ
普通の数学では、収束しない数列も考えますよ

>> 箱に入れた独立確率変数xiを
>とスレ主は書いているがしっぽの可算無限個は独立なんですか？

時枝記事の原文（雑誌）を読んでいませんね
回答はYes
（下記より”どんな実数を入れるかはまったく自由”、”もちろんでたらめだって構わない”です）

（引用）
https://rio2016.5ch.net/test/read.cgi/math/1512046472/18
現代数学の系譜工学物理雑談古典ガロア理論も読む47
18 自分返信：現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2017/11/30(木) 22:05:26.79 ID:IqNIthYM
(抜粋)
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる
(引用終り)
以上
450 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/12(月) 08:03:08.48 ID:P6oha7dw.net]: >>398-401

下記は、過去に私が確率論の専門家と呼んだ人の発言だけど
実質これで、数学の議論は尽きているんだ

だが、これでどれだけ自分が納得できるか？
確率過程論を学んだことのない人は、納得できないんだろうなと

そう思うだけです
ご愁傷様です

（引用）
https://rio2016.5ch.net/test/read.cgi/math/1512046472/37
現代数学の系譜工学物理雑談古典ガロア理論も読む47
37 自分返信：現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2017/11/30(木) 22:19:02.03 ID:IqNIthYM
20 rio2016.2ch.net/test/read.cgi/math/1466279209/535-538

535 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:33:06.50 ID:f9oaWn8A [12/13]
>>534
非可測であることに目をつぶって計算することの意味をあまり感じないな
直感的に1/2とするのは微妙．
むしろ初めの問題にたちもどって，無限列から一個以外を見たとこでその一個は決定できないだろうと考えるのが
直感的にも妥当だろう

538 返信：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:54:57.90 ID:f9oaWn8A [13/13]
うーん，正直時枝氏が確率論に対してあまり詳しくないと結論せざるを得ないな

>確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(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)が導かれてしまったので�
451 名前：C 「(1)という強い仮定をしたら勝つ戦略なんてあるはずがない」時枝氏の主張ははっきり言ってナンセンス 確率変数の独立性というのは，可算族に対しては(1)も(2)も同値となるので， ”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ (引用終り) 以上 []: [ここ壊れてます]
452 名前：１３２人目の素数さん mailto:sage [2018/11/12(月) 17:51:03.43 ID:kxfvxefk.net]: >>408
スレ主は時枝記事の内容が極限の類似になっていることは分からないのですよね？
だったら
> （∵n→∞とすればよい）
の内容も分からないわけですよね

そこでn→∞とすることはどういうことなのか比較してみると

[1] 通常の極限 lim_{n→∞} an = a
An: {a1, a2, ... , an, ... } (これを定義したい)
Bn: {a, a, ... , a, ... } (定数列は構成可能)

Cn = {s1, s2, ... , sm, ε, ε, ... , ε, ... }
Dn = {s1, s2, ... , sm, -ε, -ε, ... , -ε, ... }
という2つの数列は構成できる

AnをDn <= An - Bn <= Cnが成立する数列と定義すれば
lim_{n→∞} an = a となるAnの定義になっている

[2] 時枝記事
An: {a1, a2, ... , an, ... } (これをR^Nの元であると定義したい)
Bn: {b1, b2, ... , bn, ... } (R^Nの代表元)

Cn: {s1, s2, ... , sm, 0, 0, ... , 0, ... }
という数列は[1]と同様に構成できる

AnをAn - Bn = Cnが成立する数列と定義すれば
Bnが得られていればR^Nの元を定義することができる

[3] 箱に入れた確率変数xiの独立性 (>>396 >>408)
An: {x1, x2, ... , xn, ... } (これが全て独立であると定義したい)
Bn: {y1, y2, ... , yn, ... } (しっぽが全て独立である確率変数)

Cn: {s1, s2, ... , sm, 0, 0, ... , 0, ... }
という数列は構成できる

AnをAn - Bn = Cnが成立する数列と定義すれば
Bnが得られていればAnの可算無限個全てが独立であると定義することができる

Cn, Dnの中のsmの添字mが有限であればn→∞の極限は収束する
[1]のAnはaに収束する
[2]の時枝記事では収束すれば代表元としっぽが一致するので数当てが可能
[3]では収束すればしっぽが一致するのでBnの確率変数を選ぶことが可能
453 名前：１３２人目の素数さん mailto:sage [2018/11/12(月) 17:52:15.75 ID:kxfvxefk.net]: (上の書き込みの内容をふまえて)
>>408
> これからP(∀i∈N,X_i∈A_i)=Π[i=1,∞]P(X_i)が成立する（∵n→∞とすればよい）

n→∞としてもしっぽの可算無限個は独立なんですか？という問には答えられない

n→∞とできる(= 収束する)には時枝記事の代表元の代わりにしっぽが全て独立である
無限数列を用意しておかなくてはならない

n→∞として言えるのはしっぽが全て独立であるような無限数列があれば
しっぽが一致することから全ての可算無限個が独立であると定義できるということ
454 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/12(月) 23:21:57.44 ID:P6oha7dw.net]: >>404
関連
https://www.jstage.jst.go.jp/article/sugaku1947/49/2/49_2_144/_article/-char/ja/
岡潔先生の数学
不定域イデアルの誕生
西野利雄
数学 / 49 巻 (1997) 2 号 / 書誌
https://www.jstage.jst.go.jp/article/sugaku1947/49/2/49_2_144/_pdf/

https://www.jstage.jst.go.jp/article/emath1996/1996/1996/1996_1996_55/_article/-char/ja/
日本数学会総合講演・企画特別講演アブストラクト / 1996 巻 (1996) 1996 号 / 書誌
岡潔先生の数学 -不定域イデアルの誕生-
西野利雄
https://www.jstage.jst.go.jp/article/emath1996/1996/1996/1996_1996_55/_pdf
455 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/12(月) 23:26:29.96 ID:P6oha7dw.net]: >>409-410
レスありがとう
新しい人かな？

何度も聞いているが
Q1．時枝記事の原文（雑誌）を読みましたか？

YesかNoか
まず、この問いに答えて欲しい
全てはそれから
456 名前：１３２人目の素数さん [2018/11/12(月) 23:46:17.93 ID:32V4as12.net]: >>412
レスありがとう
スレ主かな？

何度も聞いているが
Q1．大学一年生用の教科書を読みましたか？

YesかNoか
まず、この問いに答えて欲しい
全てはそれから
457 名前：１３２人目の素数さん mailto:sage [2018/11/13(火) 01:06:09.47 ID:EcMbIY5N.net]: >>412
Yes
>>405
Q2.については>>409
Q3.についてはNo (>>409)

これで質問は締め切ります

>>407
> 選択公理をどう考えているの？
別に否定していませんよ
R^Nの代表元を得るのに使います (>>409の[2]のBn)

> 普通の数学では、収束しない数列も考えますよ
時枝記事では全て収束する (>>409)
よって余分な設定をつけなくても数当てが成功する

> ”どんな実数を入れるかはまったく自由”、”もちろんでたらめだって構わない”
代表元のしっぽが独立かは関係ない
458 名前：１３２人目の素数さん [2018/11/13(火) 01:18:24.43 ID:NNsnaw+p.net]: >>407
＞回答はYes
時枝記事の原文（雑誌）を読んでいませんね　もしくは　読めていませんね
459 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/13(火) 06:50:24.33 ID:zBQY1xmc.net]: >>413-415
コテハンがないから、だれがだれか分らないが
どもありがとう（＾＾
460 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/13(火) 06:54:43.72 ID:zBQY1xmc.net]: >>414
まずこれから

時枝記事の原文（雑誌）を読んだと

では
「時枝記事では全て収束する (>>409)」
と
時枝記事の文
”どんな実数を入れるかはまったく自由”、”もちろんでたらめだって構わない”
とは
矛盾します。

∵”どんな実数を入れるかはまったく自由”ですから
収束しない数列を箱に入れることで
「時枝記事では全て収束する (>>409)」の反例構成ができますから
461 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/13(火) 06:56:37.48 ID:zBQY1xmc.net]: >>413
Yes
大学のころに読みました
高校で「大学の教科書」と書いてある本を読みました
以上
462 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/13(火) 07:16:12.92 ID:zBQY1xmc.net]: >>415
どうぞ
解釈はご勝手に

なお、下記スレ28は、まだ生きていますよ
えーと、こうでしたね（下記引用）
ここに、私は参加していません
スレが105番で止まっていますよ

https://rio2016.5ch.net/test/read.cgi/math/1483314290/6-7
現代数学の系譜11 ガロア理論を読む28
(抜粋)
6 名前：１３２人目の素数さん[sage] 投稿日：2017/01/02(月) 19:55:48.57 ID:VW7bBLUp

このゲームの場合、プレーヤー２が勝つ事象は非可測なので、積分の順序によって積分値が変わってもおかしくありません。

7 名前：１３２人目の素数さん[sage] 投稿日：2017/01/02(月) 20:02:42.58 ID:0caOih5s

時枝氏の記事、Hart氏の記事の内容に興味がある方はどなたでもご参加ください。
ただし以下の行為は厳に謹んでください：
・他サイトからのコピペでスレを埋め尽くす行為
・デタラメを述べておきながら間違いの指摘は無視する行為
・明らかな間違いにもかかわらず、数学は自由だから何でもありだろ？、と無理やり正当化する行為
・他人の学歴など個人情報を聞き出す行為
・その他、材料工学分野の研究者/エンジニアの名誉を貶める行為
以上
(引用終り)

つづく
463 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/13(火) 07:17:51.18 ID:zBQY1xmc.net]: >>419

つづき

（>>408）「非可測であることに目をつぶって計算することの意味をあまり感じない」
に満足できたいない人たちが
非可測集合を扱う確率論を議論しようというスレでしたね

スレ28は、これで終りですか？
尻切れトンボにみえるのですが
だれも、賛同する人が居ないようですね

で、これ、纏めて論文で書かれたらどうですか
「非可測集合を扱う確率論」とか
時枝先生に見て貰ったどうですか、喜ばれると思いますよ

以上
464 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/13(火) 07:28:55.15 ID:zBQY1xmc.net]: >>420 補足

外からは、こう見られています
数学科生は、多くは、確率論と確率過程論を履修するのでしょう
（数学科生に限らず、物理系などもそうでしょうが）

私は、時枝記事の議論は、終わったと
このスレのテンプレ>>13に
「ほぼほぼ、時枝は、「ぷふ」さんのおかげで完全終了です！」と書いた通りです

トンデモさんたち、むりやり「議論しよう」って言ってくる
ってことです
（おそらく確率過程論を学んだ人たちからは、トンデモさんだと）

（>>325より再録）
https://rio2016.5ch.net/test/read.cgi/math/1541001291/360
Inter-universal geometry と ABC予想 34
360 名前：１３２人目の素数さん[sage] 投稿日：2018/11/09(金) 10:21:15.60 ID:O6lq68Fq
トンデモってむりやり「議論しよう」って言ってくるよね。
ガロアスレもそうだけど。
多分議論がされている（ふうに装っている）あいだは間違いと言う烙印を押されない、と思ってるんだろうが、
それはただのネットバトルのルール（？）であってアカデミックな場のルールじゃないから。
(引用終り)

以上
465 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/13(火) 08:01:27.35 ID:zBQY1xmc.net]: >>419-420 補足の
466 名前：補足 １．スレ28を立てた人たちは、時枝記事が、通常の可測集合を扱う確率論から外れていると そこまでの認識はあるんだ ２．では、非可測集合を扱う確率論があるのか？ おそらくは、Noでしょう （>>408 「非可測であることに目をつぶって計算することの意味をあまり感じない」ですから） ３．だから、「時枝記事は、まっとうな数学の範囲外」だと ４．だから、スレ28を立てた人たちこそ、東大に限らず、どこでも 確率論か確率過程論を専門に研究している人を訪ねて、大学へ行かれたらどうですか？ （おそらく、東大出身者もおられると思いますよ） 以上です []: [ここ壊れてます]
467 名前：１３２人目の素数さん [2018/11/13(火) 08:47:25.46 ID:NNsnaw+p.net]: あのー御託はいいんで、時枝記事の間違い箇所を具体的に指摘してもらえませんか？
できませんか？
468 名前：１３２人目の素数さん [2018/11/13(火) 08:53:28.38 ID:NNsnaw+p.net]: これだけは言っておくわ
お前は他人のレスを鵜呑みにして大きな勘違いをしている
当てられっこないという直観に直接間接に味方してくれそうな他者の発言に縋ってる
だけで、お前自身は何もわかってない
469 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/13(火) 10:29:40.42 ID:7skoTD8D.net]: >>423-424
別に「何もわかってない」に縋りたければどうぞだ
が、話は逆と思う

上記（>>422）のごとく
１）時枝記事が非可測集合を扱っている
（これは、時枝記事自身に書いてある
https://rio2016.5ch.net/test/read.cgi/math/1512046472/21
現代数学の系譜工学物理雑談古典ガロア理論も読む47 の21より
(抜粋)
「R^N/～の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/～の切断は非可測になる.
(引用終わり)）

２）通常の確率論は、可測集合を扱うので、時枝記事の解法はその範囲外
（同
https://rio2016.5ch.net/test/read.cgi/math/1512046472/21
現代数学の系譜工学物理雑談古典ガロア理論も読む47 の21より
(抜粋)
現代数学の形式内では確率は測度論によって解釈される
(引用終わり)）

３）ここまでは、スレ28を立てた人を含め、時枝記事自身も一致している。それは、私もだが
　　（時枝記事に書いてある通りです）

４）では、現代数学の標準的な測度論による確率論の外で、時枝記事が正当化できるかが問題となる

５）ここから先で見解が分かれる
　　スレ28を立てた人たち（二人）は、正当化できるという
　　私はできないと思うし、
　　>>408のID:f9oaWn8Aさんも「非可測であることに目をつぶって計算することの意味をあまり感じない」
　　だし
　　あと、”ぷふ”さんもそう。
　　あと、過去何人か、正当化できないと書いていった

６）で、これ以上やりたいなら、アカデミックな場で議論されたらどうですか
　　「非可測集合の確率論として、時枝記事を正当化できる」という持論を
　　大学の場でやれば良い

以上
470 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/13(火) 11:31:30.00 ID:7skoTD8D.net]: >>311
PSI/PIM のスペックを詳しく知らないが
石も進化していますね
（メモリー系はもっとか）

https://pc.watch.impress.co.jp/docs/news/1152750.html
最新CPUはPentium D、Core 2 Duoの何倍速いのか? TEXT:石川ひさよし PCWatch 2018年11月12日 11:00
(抜粋)
https://pc.watch.impress.co.jp/img/pcw/docs/1152/750/02_l.png
Pentium D 960 2006年5月発売

それではスコア対決!

とんでもないスコア差が付いている。笑うしかないが、Pentium DのCINEBENCH R15のCPUスコアは56cb。「Core i9-9900KはPentium D 960の36倍速い」と言われてもピンと来ないかもしれないが、Intel CPUは12年でこれだけ進化したわけだ。CPU(シングルコア)は31cbなので、こちらも7倍という結果だった。

発売中のDOS/V POWER REPORT2018年12月号の特集は「CPU、8コア標準時代、到来」。Intelの第9世代Coreシリーズの登場により、2007年から2016年まで長きにわたって4コアが標準だったメインストリームCPUのコア数は、2年余りで一
471 名前：気に2倍の8コアに。本格的なメニーコア時代の到来です。 []: [ここ壊れてます]
472 名前：１３２人目の素数さん mailto:sage [2018/11/13(火) 18:21:13.08 ID:EcMbIY5N.net]: >>417
矛盾していない

スレ主は証明を読む前に意味を考えろという趣旨のことを
以前に書いていたがそれすらしていない

> 時枝記事の文
> ”どんな実数を入れるかはまったく自由”、”もちろんでたらめだって構わない”
これはR^Nの元を自由に選べるということです

> 「時枝記事では全て収束する (>>409)」
これの意味はnが有限の場合のR^nの元の極限(n→∞)は
R^Nの元に全て収束するということ

> 収束しない数列を箱に入れること
これは
(1) R^Nの元で実数aに収束しない数列という意味ならばR^Nの元であるので
nが有限の場合のR^nの元の極限(n→∞)がR^Nの元に全て収束する
ということに矛盾していないので反例になっていない

(2) nが有限の場合のR^nの元の極限(n→∞)がR^Nの元に収束しない数列
という意味ならばR^Nの元を選べないのでR^Nの元を出題するという
時枝記事の前提に反する
これは箱の中に複素数を入れれば数当てができないということと同じ
であるので反例になっていない
473 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/13(火) 21:02:11.91 ID:zBQY1xmc.net]: >>427
では聞く
下記の会田茂樹の講義資料中P3
「無限回のサイコロ投げ」で、
試行の結果として、1～6 の数字の無限列が現れる

Q1．この1～6 の数字の無限列を、時枝記事の箱に入れることは許されるか？
Q2．この1～6 の数字の無限列は、収束する数列か？

https://www.ms.u-tokyo.ac.jp/~aida/index-j.html
会田茂樹
東京大学大学院数理科学研究科
https://www.ms.u-tokyo.ac.jp/~aida/lecture/log.html
平成15年度ー29年度講義
https://www.ms.u-tokyo.ac.jp/~aida/lecture/22/lecture.pdf
講義資料 H24年度数理統計学会田茂樹
(抜粋)
P3
(3) 無限回のサイコロ投げ
有限回だけサイコロを振る場合や根元事象の数が有限個のとき, (1), (2) で見たようにラプラス流の確率
で間に合う(根元事象の確率がすべて等しい場合も考えるというふうに一般化していますが). 何回も独立に
サイコロ投げを続けることを考える. その試行の結果として、1～6 の数字の無限列が現れる. この無限列一
つ一つが根元事象とみなせる. すなわちΩはΩ= f｛(a1, a2,・・・, an,・・・) ｜ ai = 1,・・・, 6｝.
F とP の定義は簡単ではないが、うまく定義することができる.
説明すると長くなるので、省略するがこのような無限回の試行を考えるとラプラス流の確率の定義では収まらず、
Kolmogorov 流の確率空間の定義を採用しなければならないのである.
(引用終り)
以上
474 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/13(火) 21:05:15.63 ID:zBQY1xmc.net]: >>428 補足

くどいが、サイコロを１回振って、出た目の数を、一つの箱に入れていく意味な

なお、名古屋大中島誠先生は、コイン投げの無限試行を例示している
（下記PDF）
www.math.nagoya-u.ac.jp/~nakamako/
Makoto Nakashima 中島誠
Graduate School of Mathematics, Nagoya University
www.math.nagoya-u.ac.jp/~nakamako/teaching.html
Teaching(講義・演習)
www.math.nagoya-u.ac.jp/~nakamako/probability.html
確率論・確率論概論 Since 2016 October.
www.math.nagoya-u.ac.jp/~nakamako/Resources/Probability(1002).pdf
確率論講義ノート中島誠 2017/9/29 版
475 名前：１３２人目の素数さん [2018/11/13(火) 21:43:40.74 ID:NNsnaw+p.net]: >>425
>>423
476 名前：１３２人目の素数さん mailto:sage [2018/11/14(水) 02:10:59.38 ID:fYd7wf6p.net]: >>428-429
> Q1．この1～6 の数字の無限列を、時枝記事の箱に入れることは許されるか？
> Q2．この1～6 の数字の無限列は、収束する数列か？

> くどいが、サイコロを１回振って、出た目の数を、一つの箱に入れていく意味な

Q1. 全ての数字が決まった特定の無限数列であれば許される

箱の中身をサイコロ(数字が書かれた六面体)に対応させると
箱の中身は六面体の各面にそれぞれ1から6が書かれたサイコロ{1, 2, 3, 4, 5, 6}
でなくて六面体の全ての面に同じ数字が書かれたサイコロ{a}(aは1から6のどれか)に対応する

Q2. 全ての数字を決めるには(時枝記事の内容の意味での)収束しないと当然困ります
477 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/14(水) 07:14:10.01 ID:WJ7ga7rS.net]: >>430

>>423
>>425
な
478 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/14(水) 07:23:13.1 ]: [ここ壊れてます]
479 名前：0 ID:WJ7ga7rS.net mailto: >>431
"> Q1．この1～6 の数字の無限列を、時枝記事の箱に入れることは許されるか？
> Q2．この1～6 の数字の無限列は、収束する数列か？
くどいが、サイコロを１回振って、出た目の数を、一つの箱に入れていく意味な
Q1. 全ての数字が決まった特定の無限数列であれば許される
箱の中身をサイコロ(数字が書かれた六面体)に対応させると
箱の中身は六面体の各面にそれぞれ1から6が書かれたサイコロ{1, 2, 3, 4, 5, 6}
でなくて六面体の全ての面に同じ数字が書かれたサイコロ{a}(aは1から6のどれか)に対応する”
(引用終り)

それって
サイコロ試行の場合で
数列のしっぽが、
・・・,a ,a ,a ,a ,(以下a がつづく)
具体的には例えば
・・・,3 ,3 ,3 ,3 ,(以下3 がつづく)
ってこと？

それだと、サイコロを振るという（>>428 会田茂樹先生の講義資料にもある）
確率論頻出の試行さえ適用外？

時枝記事の原文（>>407より）
”どんな実数を入れるかはまったく自由”、”もちろんでたらめだって構わない”
ですから、
時枝記事の原文通り読めば
確率論頻出のサイコロ試行を否定することはできませんよ

問題の改変は、試験の場では、御法度です。
研究の場では、研究対象に制限を加えて、有意な結果を導くという手法はありです
あるいは、一般の場合でなく、ある特定の場合に限定した解を求めるとかもありですが

なので、時枝記事の考察として、ある条件を付加して研究することはありですが
しかし、それで時枝記事の一般の場合まで解けたとは、言えませんね。

>Q2. 全ての数字を決めるには(時枝記事の内容の意味での)収束しないと当然困ります

「収束」って、数列のしっぽが、ずっと同じ数になって続いていくってこと？
”当然困ります”って、自分勝手に条件を付加して問題を改変することはダメですよ

以上です []: [ここ壊れてます]
480 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/14(水) 08:00:46.57 ID:WJ7ga7rS.net]: >>404

層の茎（下記）は、茎ｘ=aで、f(a)の周りの微小開集合を含めた関数f(x)の情報を含んでいる
つまり、茎からちょっと芽をだしている植物というイメージなんでしょうね
https://ja.wikipedia.org/wiki/%E8%8C%8E_(%E6%95%B0%E5%AD%A6)
茎 (数学)
(抜粋)
層の茎（けい，くき，英: stalk, ストーク）は，与えられた点のまわりでの層の振る舞いを捉える数学的構成である．

目次
1 動機づけと定義
1.1 別の定義
2 注意
3 例
3.1 定数層
3.2 解析関数の層
3.3 滑らかな関数の層
3.4 準連接層
3.5 摩天楼層
4 茎の性質

動機づけと定義
層は開集合上定義されるが，基礎位相空間 X は点からなる．X の固定された一点 x における層の振る舞いを分離しようとすることは合理的である．概念的に言えば，点の小さい近傍を見ることでこれをする．x の十分小さい近傍を見れば，その小さい近傍上での層 Fの振る舞いはその点での F の振る舞いと同じはずである．
もちろん，1つの近傍だけでは十分小さくはなく，ある種の極限を取らなければならない．

正確な定義は以下のようである： F の x における茎は，通常 F_x と書かれ，

解析関数の層
例えば，解析的多様体（英語版）上の解析関数の層において，点における関数の芽は点の小さい近傍において関数を決定する．
その理由は，芽は関数の冪級数展開を記録し，すべての解析関数は定義によりその冪級数に等しいからである．
解析接続を用いて，点における芽が関数がいたるところ定義できるような任意の連結開集合上関数を決定することが分かる．
(引用終り)
以上
481 名前：１３２人目の素数さん [2018/11/14(水) 08:53:26.41 ID:eag+icKq.net]: >>432
>>425のどこに時枝記事の間違い箇所が書いてあるの？
482 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/14(水) 11:18:33.08 ID:0gruIbQc.net]: >>435
>>>425のどこに時枝記事の間違い箇所が書いてあるの？

では、上記（>>425）のより
１）時枝記事が非可測集合を扱っている
（これは、時枝記事自身に書いてある)
２）通常の確率論は、可測集合を扱うので、時枝記事の解法はその範囲外
（同）
３）従って、これは時枝記事自身に書いてある。
　が、時枝はぼかしている。具体的には下記
https://rio2016.5ch.net/test/read.cgi/math/1512046472/21
現代数学の系譜工学物理雑談古典ガロア理論も読む47 の21より
(抜粋)
”非可測集合を経由したからお手つき，と片付けるのは，面白くないように思う.
現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎，と数学者は信じがちだ.
だが，測度論的解釈がカノニカル，という証拠はないのだし，そもそも形式すなわち基礎，というのも早計だろう.
確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).”
(引用終わり)

つづく
483 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/14(水) 11:19:23.37 ID:0gruIbQc.net]: つづき

４）さてここで、一般論としては、「確率はコルモゴロフ流の測度論的解釈に限定されない」というのは正しい。
　　（過去スレでそういう理論の例をいくつか紹介した。ベイズ確率もその一つだろう）
　　だから、時枝の解法を正当化するには、きちんとした「非可測集合の確率論」をもってしなければいけない。
　　だが、時枝はそこの「非可測集合の確率論」に触れずに、その解法を正当化できるような言辞を弄している。
　　そこが、第一の間違い
５）第二の間違いは、確率変数の独立性の解釈だ
　　>>408に引用したように、
　”>確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
　の認識が少しまずい”ってこと
　「任意の有限部分が”xx”のとき，（全体が）”xx”，と定義される」という言い方は、数学で結構頻出と思う
　”xx”＝黒いとしてみよう
　「任意の有限部分が黒いとき，（全体が）黒い，と定義される」となる
　つまり、特に全体が無限集合のとき、この言い方が有効に機能する。
　そして、どの確率論のテキストでも、採用されている。
　私は、この「任意の有限部分族が独立のとき，独立」という定義は、
　これ結構自然で、これ以外の定義はないんじゃないですかね？

つづく
484 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/14(水) 11:21:40.04 ID:0gruIbQc.net]: >>437

つづき

６）もし、「非可測集合の確率論」があった（出来た）としても
　確率変数の独立の定義で、
　”任意の有限部分族が独立のとき，独立，と定義”したとすれば、
　定義より、確率変数xiは、サイコロ振り試行なら1/6などのように、その１回の試行と同じ確率になる
　定義だから、これを定理で覆すことはできない
　よって、どんな解法も、時枝解法を正当化できない
　よって、それが可能なように書いた時枝記事の第二の間違いがここにある
７）時枝記事が間違っているという私の主張は、上記２点

８）さて、では、上記の確率変数の無限族の独立の定義を書き換えるか、
　あるいは先験的な独立の定義をしないか
　そういう理論で、かつ、非可測集合を扱う確率論が可能なのか？
　過去￥さんが、発言していたのも、そういうことかもしれないが
　なので、時枝記事に拘らずに、コルモゴロフ流確率論を拡張する試みは数学として正当だと思うが

つづく
485 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/14(水) 11:26:31.67 ID:0gruIbQc.net]: >>438

つづき

９）しかし、考えてみると
　会田茂樹の講義資料などにもあるように
　確率変数の無限族は、すでに既存のコルモゴロフ流確率論において、取り扱われて
　既述のように、確率変数xiは１回の試行と同じ値だと
　もし、拡張された「非可測集合まで扱える確率論」が出来たとしても、
　既存のコルモゴロフ流確率論と整合しない結論は、導けないと思う。
　あたかも、量子力学が古典力学を包含するがごとく。
　なので、「非可測集合まで扱える確率論」が出来たとして、
　コルモゴロフ流確率論の成果を否定することはないだとろうと。
　あたかも、コルモゴロフ流確率論の成果が否定されるごとく書いたことが、
　時枝記事の第三の間違いだろうと思う。

（もちろん、古典力学の外で、量子力学独自の結果を導くとしても、
　既存の古典力学の結果を否定することはできない。
　（ボーアの指導原理（下記））
https://kotobank.jp/word/%E5%AF%BE%E5%BF%9C%E5%8E%9F%E7%90%86-90840
対応原理
ブリタニカ国際大百科事典小項目事典の解説コトバンク
(抜粋)
ミクロの世界を探究するためにニールス・ボーアが提案した指導原理。
古典物理学は，マクロの世界の物理現象をきわめて正確に記述することが十分確かめられているので，ミクロの世界で説明できない現象が見つかったからといって，簡単に捨て去るべきではなく，むしろ，古典物理学では説明できないミクロの世界の現象を支配する物理法則はある極限で古典物理学に対応しなければならない，というのがボーアの考えである。
対応原理は，ウェルナー・K.ハイゼンベルクが行列力学を創始したときも指導原理となった。
(引用終わり)）

１０）なので、あるいはベイズ確率論で、非可測集合を扱える、面白い確率論が可能かも知れない
　だが、サイコロ振り1/6を、99/100にできる確率論が可能かと言えば、私は否定する方に
486 名前：賭けますよ 以上 []: [ここ壊れてます]
487 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/14(水) 11:36:00.67 ID:0gruIbQc.net]: >>439 補足

現状のベイズ確率が、時枝を扱えるとは、決して思いませんが、
未来は分かりません

https://ja.wikipedia.org/wiki/%E3%83%99%E3%82%A4%E3%82%BA%E7%A2%BA%E7%8E%87
ベイズ確率

ロナルド・フィッシャー以降の推計統計学等で前提とされる「頻度主義」、すなわちランダムな事象が生起・発生する頻度をもって「確率」と定義する考え方と対比されることが多い[1]。

ベイズ主義と頻度主義とで同じ結論が得られる問題も多い。

統計学的仮説検定について、ベイズ主義と頻度主義との差が現れやすい。
頻度主義では推定したいパラメータは一つの真の値をとると考えるが、ベイズ主義においてはパラメータは確率変数であると考える。

ベイズ確率の応用
ベイズ確率は現在いろいろな方面で応用されている。一方で頻度主義に基づく統計学の理論体系に対しては、かえって実用性を犠牲にしているとのベイジアンからの批判がある。
むしろベイズ主義のほうが人間の思考様式になじむというわけである。
ベイズ推定は、まず複数の仮説について尤もらしさ（信念の度合）を考え、実験や観測により新しい情報（データ）を収集し、それらを組み合わせてベイズの定理によってその確率を改訂するという点で、科学的方法のモデルとしても提案されている。
488 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/14(水) 11:38:52.57 ID:0gruIbQc.net]: >>439 補足の補足

時枝記事を数学としてでなく
パズルとしてみた時
よくできていると

上記のように、「当たらない」ものを
あたかも「当たる」ように見せる
それを、「非可測だから」の一言で片づけずに

もう少し突っ込んでみようと
それが、過去スレに書いてあることです
489 名前：１３２人目の素数さん mailto:sage [2018/11/14(水) 17:32:14.21 ID:fYd7wf6p.net]: >>433

> それって
> サイコロ試行の場合で
> 数列のしっぽが、
> ・・・,a ,a ,a ,a ,(以下a がつづく)
> 具体的には例えば
> ・・・,3 ,3 ,3 ,3 ,(以下3 がつづく)
> ってこと？

違う
同じサイコロを無限回つかうのでなくて箱ごとに使うサイコロ(この場合6種類ある)は異なる
ただしその無限個のサイコロ試行では必ず同じ数列(通常のサイコロ試行で得られる事象の1つ)が得られる

数当ての数字を選ぶことにサイコロをつかっても当然構わないが
数当ての数字にサイコロで選ばれたという情報は当然含まれない
490 名前：１３２人目の素数さん mailto:sage [2018/11/14(水) 17:59:17.21 ID:fYd7wf6p.net]: もう少し補足すると

> くどいが、サイコロを１回振って、出た目の数を、一つの箱に入れていく意味な

サイコロを無限回振ってその無限数列を無限個の箱に入れるとしても同じ
要は無限個の箱に全く同じ無限数列のコピーを作るということ

スレ主がおそらく意図している確率論頻出のサイコロ試行では
全く同じ無限数列のコピーを作る確率は0になる
491 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/14(水) 21:00:45.85 ID:WJ7ga7rS.net]: >>442-443

楽しいことを考えられますね～（＾＾
下記にも面白いサイコロが沢山紹介されていますね

私は、頭が悪いので、普通の日本のサイコロしか理解できませんので
あしからず。どなたか、頭の良い人とお願いします
https://ja.wikipedia.org/wiki/%E3%82%B5%E3%82%A4%E3%82%B3%E3%83%AD
サイコロ
(抜粋)
https://upload.wikimedia.org/wikipedia/commons/thumb/6/6a/Dice.jpg/250px-Dice.jpg
サイコロ（ピップ）

https://upload.wikimedia.org/wikipedia/commons/thumb/e/e6/Transparent_dice.jpg/250px-Transparent_dice.jpg
サイコロ（算用数字）

https://upload.wikimedia.org/wikipedia/commons/thumb/6/6d/Sixsided_Dice_inJapan.jpg/220px-Sixsided_Dice_inJapan.jpg
日本製のサイコロ（天一地六東五西二北三南四: 雄）

https://upload.wikimedia.org/wikipedia/commons/thumb/8/85/DnD_Dice_Set.jpg/450px-DnD_Dice_Set.jpg
各種ダイス（左から4面、6面、8面、12面、20面、10面、10面（2桁））

https://upload.wikimedia.org/wikipedia/commons/thumb/5/5e/D60_60men-saikoro.JPG/120px-D60_60men-saikoro.JPG
60面ダイス（凧形六十面体）

�
492 名前：ﾀ用的な多面ダイス https://upload.wikimedia.org/wikipedia/commons/thumb/1/15/Zocchihedron2.jpg/110px-Zocchihedron2.jpg 100面ダイス（ゾッキヘドロン） 多面化の問題点 https://upload.wikimedia.org/wikipedia/commons/thumb/9/95/D34_trapezohedron_dice.JPG/120px-D34_trapezohedron_dice.JPG 34面ダイス（ねじれ双十七角錐） 出目に関する各種の値 任意の面数を持つサイコロを、任意の回数ないし個数振る際の各種の値は、・・・各回の出目の和を合計値とすると、一般に以下の式で求められる。 (引用終り) []: [ここ壊れてます]
493 名前：１３２人目の素数さん [2018/11/14(水) 21:51:20.72 ID:eag+icKq.net]: >>436
いや、俺は解法、つまり「めでたく確率99/100で勝てる.」までの部分のどこに
間違いがあるのかを問うているんだが。
解法は「勝てる」と言い切ってるんだから、スレ主が勝てないと主張するなら解法
の間違い箇所を指摘できるはずだよね？
494 名前：１３２人目の素数さん mailto:sage [2018/11/14(水) 22:02:03.02 ID:fYd7wf6p.net]: >>444
そうやって変形サイコロだけを見て重要な部分に気づかずに逃げるのは
スレ主の通常のスタイルだけれどもちゃんと考えないとダメだよ

無限数列のコピーを作ることができないと数当ての成否は判断できない

サイコロを振ってたとえば1がでた
しかし箱の中に同じ数字のコピーをつくることができない
スレ主は箱の中に1が入っていないことを根拠に
時枝戦略は間違いであると主張していることと同じ

無限数列Anのコピーを作るというのは要は別の無限数列A'nを構成して
無限個全ての値が等しいことを示す手段があるということであり
このことは誤差εを含めれば通常の極限やサイコロ試行でも同様である

通常のサイコロ試行だとn回振った場合に2つの出目が
全て一致する確率は有限数列{1/6, 1/6^2, ... , 1/6^n}で表せる
試行回数を増やしていくと0に収束するということは>>409の[1]と同じで

代表元を使わずに構成した(当然同じ数列をつくることは可能)
{1/6, 1/6^2, ... , 1/6^m, ε, ε, ... , ε, ... }
{1/6, 1/6^2, ... , 1/6^m, -ε, -ε, ... , -ε, ... }
を使えばしっぽの無限個をまとめて扱える

しっぽが{ε, ε, ... , ε, ... }と{-ε, -ε, ... , -ε, ... }の間に
値を取る無限数列のどれかに必ず一致してmが有限であれば
それより先の値が誤差εで0であることが必ず当てられることから
lim_{n→∞} 1/6^n = 0が得られる
495 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/15(木) 00:01:17.21 ID:77uFGJVQ.net]: >>445
悪いが
数学としては、>>436-441で尽きていると思う
なので、私はどこに間違いがあるかという思考はしない
非可測の対象を、あたかも可測集合のごとく扱ったことに、根本の間違いがあるのだと

「当たらないのに、なぜ、当たるように見えるか」という思考はする。
時枝記事のトリックの種明かしとしてね

過去スレに書いた通り
面倒なので詳しくは繰返さない

が、大雑把に言えば、決定番号は確率として有限の範囲に来ない
なのに、100列の決定番号の大小比較ができるが如く見せているところ

これが「当たらないのに、なぜ、当たるように見えるか」のトリックだと思っている
なお、この話も過去スレに書いた

以上
496 名前：１３２人目の素数さん [2018/11/15(木) 02:25:16.12 ID:zyHWSgeM.net]: >>447
＞決定番号は確率として有限の範囲に来ない
つまり決定番号＝∞であると？
それ本気で言ってますか？
497 名前：１３２人目の素数さん mailto:sage [2018/11/15(木) 03:03:12.62 ID:SjhWGnFn.net]: デタラメコピペを大量に流してさらに過去レスに書いたとかいういつもののスレ主の常套手段
もう相手するのがうんざりするするまで延々とトンデモ話を続ける

これ似非科学の人も使ってる手段なのよね
皆気をつけよう
498 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/15(木) 07:40:31.37 ID:77uFGJVQ.net]: >>448-449
数学としては、>>436-441で尽きていると思う
これは、この議論の当初から言っている

（>>437より）
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義される
つまり、
499 名前：（>>408より） 任意有限部分族が独立とは P(∀i=1,…n,X_i∈A_i)=Π[i=1,n]P(X_i∈A_i) これから導かれることは、P(X_i)は、 例えばサイコロなら一回の試行の確率1/6になる １～n番の札をランダムに引くなら1/nになる これは定義だ 一方、時枝を含めて、なにかP(X_i)を推定する方式を考えたとしよう それは定理だ。 定義から出発して、いろんな推論を組み合わせて結論を導くということ 従って、定義に矛盾する定理はありえない だから、確率変数の無限族の定義を上記に取る限り、 P(X_i)は一回の試行の確率以外には成り得ない つづく []: [ここ壊れてます]
500 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/15(木) 07:42:57.55 ID:77uFGJVQ.net]: つづき

なので、時枝記事の解法なるものは、最初からデタラメだ（根本から間違っている）と
さらに附言すれば、時枝解法は、列の数をｋとして、列の数にしか依存していない
100列だから、99/100（＝1-1/100）.
列の数がｋなら、1-1/ｋだ
が、普通に考えれば、それは１回の試行の確率にも依存するはず

例えば、コイン投げなら1/2、
サイコロなら1/6、
１～n番の札をランダムに引くなら1/n、・・・

１回の試行の確率をｐとしよう
時枝記事のような解法では、
その確率は、関数として列数ｋと１回の試行の確率ｐとの二変数になるべき
ｆ（ｋ，ｐ）となるべき。
ところが、時枝解法ではｆ（ｋ）と一変数になっている
これは、根本から間違っていることの傍証である

なので、時枝記事は根本から間違っているので、
（非可測の対象を、あたかも可測集合のごとく扱ったことに、根本の間違いがある >>447）
時枝記事が正しいとか、
あるいは間違っているかどうか不明の前提で
「どこに間違いがあるかという」議論は、無意味
根本が間違っているのだから、
それを踏まえて「当たらないのに、なぜ、当たるように見えるか」という議論のみが意味がある

つづく
501 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/15(木) 07:46:03.75 ID:77uFGJVQ.net]: >>451

つづき

さて、その上で、時枝記事の決定番号を考えてみると
（スレ46 https://rio2016.5ch.net/test/read.cgi/math/1510442940/18 より）
まず、列の長さをｎとする
二つの列
s = (s1，s2，s3 ，・・・，sn-1，sn )，s'=(s'1， s'2， s'3，・・・，s'n-1，sn )∈R^n
で、シッポ snが一致する（sn＝sn）同値類として同値s ～ s'が成り立つ
同値類の代表を選ぶのに、特に制約はないので、代表をs'とする
代表と対比する列s において、sn-1＝s'n-1 となる確率は
サイコロの場合では、ゾロ目になる確率（二つの目がそろう確率）なので1/6
同様に、１～n番の札をランダムに引くなら1/nだ

さて、ここでは、後の便宜のために、Sergiu Hart氏のPDF（>>364）の
by choosing the xi independently and uniformly on [0, 1]
つまり、[0、1]はこの区間の任意の実数を、箱に入れるとする
そうすると、二つの数がそろう確率は0だ（Sergiu Hart氏のPDF（>>364）にある通り）

従って、sn-1＝s'n-1 となる確率は0。
つまり、決定番号が１～n-1になる確率は0。
決定番号がnになる確率は１。

この場合において、
n→∞として、可算無限長の数列を考えると
決定番号が１～n-1になる確率は0。
つまりn→∞で
決定番号が有限になる確率は0。
QED

以上
502 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/15(木) 07:50:36.47 ID:77uFGJVQ.net]: >>452 追加

附言すれば、
決定番号が有限になる確率は0
なのに
決定番号の大小比較をして
確率99/100などと議論していることが
「当たらないのに当たるように見せている」
仕掛けということ

これが、手品のタネだね
503 名前：１３２人目の素数さん mailto:sage [2018/11/15(木) 17:46:17.08 ID:h+WlCZeN.net]: >>453
完全代表系の定義からそれは無限個の箱の全てに実数が入っている確率が0
ということだから時枝戦略の間違いにはならないよね

箱の全てに実数が入っていなければ決定番号の大小比較はできない (これは正しい)
ということは
数当てゲームの出題ができないということで数当ての方法以前の問題
504 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/15(木) 18:32:03.89 ID:6L/Nsc2I.net]: >>454
極限を取っています
「n→∞として、可算無限長の数列を考える」（>>452）

そして、これは、「可算無限長の数列」をどう考えるかの、数理哲学の問題でもあり
可能無限、実無限の話になっていくのでは？（下記、�
505 名前：ｻ田　利一先生ご参照） なお、 ”だから時枝戦略の間違いにはならないよね”は、Yesです もともとの時枝の間違いの数学的な議論は、>>450です。 >>453は、パズルや数学マジックとしての解説です http://mathsoc.jp/publication/tushin/index21-4.html 日本数学会 数学通信第２１巻第４号目次 Feb 20, 2017 http://mathsoc.jp/publication/tushin/2104/2016sunada.pdf 数学の発展と展望砂田　利一明治大学総合数理学部 Feb 2017 (抜粋) カントルはユダヤ系と言ったが，正確にはユダヤ人の血が混じっているというこ とであり，むしろ彼は宗教的には敬虔なカトリック教徒であった．彼の時代を画す業績 は，一対一対応を基礎として，「実無限」を許容する集合論を創始したことである（実無 限については，次節で述べる） 2 　無限の概念 ここで，カントルの理論の背景にある，無限概念についての歴史を振り返ろう． 無限を最初に扱ったのは，古代ギリシャのアナクシマンドロス（前610 頃{前546 頃） である．彼は「アペイロン」（限りがない）という概念を導入し，それを万物の根源（ア ルケー）とした．その後アナクサゴラス（前510 頃{前428 頃）により「無限大，無限小」 について語られたが，19 世紀後半まで歴史の中で大きな影響を与えたのはアリストテレ ス（前384{前355）である．彼は，無限には「実無限」と「可能無限」の2 種類があっ て，可能無限は認められるが，実無限は存在しないと考えた．カントルの集合論は，ま さにアリストテレスに対するアンチテーゼなのである． 念のため，「実無限」と「可能無限」の意味を与えておく． 可能無限：無限を把握出来るのは，限りがないということを確認する操作が 存在していることだけで，無限全体というのは認識出来ないとする立場 実無限：無限の対象の全体性を把握して，無限が実際に存在しているとする 立場 (引用終わり) []: [ここ壊れてます]
506 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/15(木) 18:40:00.54 ID:6L/Nsc2I.net]: 突然ですが
https://www.nikkei.com/article/DGXMZO37752760U8A111C1000000/
「高専生は日本の宝」　AI時代を引っ張る強みあり
松尾豊・東大特任准教授に聞く
日経産業新聞コラム（ビジネス）
2018/11/15 6:30
(抜粋)
ニッポンの産業界の浮沈に関わるとも言われるディープラーニング（深層学習）や人工知能（AI）分野の人材育成。この分野に詳しい松尾豊・東京大学大学院特任准教授は「高専生の能力をもっと生かすべき時が来ている」と強調する。なぜ、高等専門学校生をそれほどまでに高く評価しているのか。松尾氏の研究室に訪ねて聞いた。

――身近に優秀な高専出身者がいるのですか。

https://www.nikkei.com/content/pic/20181115/96958A9F889DE1E5E5E7E0E5E4E2E3E6E3E3E0E2E3EAE2E2E2E2E2E2-DSXMZO3775295014112018XY0001-PN1-10.jpg
まつお・ゆたか　1975年生まれ。東京大博士（工学）、特任准教授。専門はウェブ工学、人工知能

「いる。研究室で『優秀な学生だな』と思い、『どこの出身？』と聞くと『どこどこ高専です』『高専でロボコンやってました』と答える学生が多い。これまでに研究室には高専出身者が10人ほどいて、本当に外れがなくて優秀だ」

つづく
507 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/15(木) 18:40:33.86 ID:6L/Nsc2I.net]: >>456

つづき

――専門のディープラーニングと高専出身者の能力は親和性があると。

「その通りだ。ディープラーニングの研究はロボティクスのような機械などのリアルな世界の方向に進んでいる。自動運転、医療画像、顔認証など画像認識にはイメージセンサーやカメラが必要だ。電気や機械の基礎知識を習得した高専出身者は強みを発揮できる」

「ディープラーニングを学んでから電気や機械を学ぶよりも、逆の順の方がはるかに簡単で身につきやすい。電気や機械の基礎を学ぶには1、2年はどうしてもかかるが、ディープラーニングはあっという間にできるようになることがある。これからのAI時代の三種の神器は電気、機械、ディープラーニングだ」

「高専出身者は、とにかく手が動く。普通に東大に入学した学生は口はうまいが、やらない。高専出身者はとにかくやってみて、結果を私のところに持ってくる。こちらも的確な指導ができて、次のチャレンジにどんどん進んでくれる。いろいろなモノを使えるようにする実装力がある。プロジェクトのリーダーとしてもふさわしい」

――高専の教育システムがよかったのですか。

「ぼくからすると、この日のために高専があるといってもいいくらいだ。『よくぞ（日本固有の高専教育を）作ってくれていたなぁ』と思う。高専は高度成長期に製造業の現場を強くしようとする目的で作られた。今のイノベーションの素養と高専教育が一致している。聞けば聞くほどよくできたシステムだ」
(引用終わり)
以上
508 名前：１３２人目の素数さん [2018/11/15(木) 18:42:58.18 ID:h+WlCZeN.net]: >>455
> パズルや数学マジックとしての解説です
その解説自体が間違っているという話です
509 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/15(木) 20:40:10.39 ID:77uFGJVQ.net]: >>458
じゃ、どうぞ
自分の納得できる説明をすれば？

繰返すけど>>453は
”「当たらないのに当たるように見せている」仕掛”
についての議論ですから

ここで議論しても、時枝は救えません
「当たる」「当たらない」方の議論は、>>450です

どうぞ、非可測を扱える集合論を作って、
アカデミックな議論を、
大学でも、学会でも、なされたら良いと思います

その結果だけを、このスレにご報告頂ければ
私はそれで結構です
”アカデミックな議論”には、私はついていけませんから。あほバカですから
510 名前：１３２人目の素数さん mailto:sage [2018/11/15(木) 21:19:36.69 ID:h+WlCZeN.net]: >>459
それもスレ主お得意の論点のすり替えで

> 繰返すけど>>453は
> ”「当たらないのに当たるように見せている」仕掛”
> についての議論ですから

だから「仕掛け」の話ですよ
>>451-452に書いてある内容は間違ってますよ
511 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/15(木) 21:29:00.63 ID:77uFGJVQ.net]: >>460
>>>451-452に書いてある内容は間違ってますよ]

はい、よく存じ上げてますよ
実に、アカデミックですね。
香ばしいですね
こうでしたね（下記引用）。

どうぞ、大学で見て貰って下さい
非可測集合の確率理論を！！
先生方は、歓迎されると思いますよ
私などを、相手にぜずにね

(引用開始)
現代数学の系譜11 ガロア理論を読む28
(抜粋)
https://rio2016.5ch.net/test/read.cgi/math/1483314290/1
７．ここで、極限を考える。n→∞だ。d = d(s) = nだった
　lim (n→∞)d で、d→∞。そして、極限を考えても、同値s ～ r は不変だ

https://rio2016.5ch.net/test/read.cgi/math/1483314290/2
問題追加
lim[n→∞]s_n はどんな数列か？

https://rio2016.5ch.net/test/read.cgi/math/1483314290/6
普通の確率での事象は可測なので、フビニの定理から積分の順序によらず積分値は同じですが、
このゲームの場合、プレーヤー�
512 名前：Qが勝つ事象は非可測なので、積分の順序によって積分値が変わってもおかしくありません。 https://rio2016.5ch.net/test/read.cgi/math/1483314290/15 したがって、プレーヤー２が勝つ確率は次の式になる： pA = ∫[K]{∫[E_k]dμ(s)}dν(k) = ∫[K]{μ(E_k)}dν(k). これらの積分値は同じだろうか？ 事象Ｅが可測ならフビニの定理より同じになるが、非可測なら同じとはいえない。 https://rio2016.5ch.net/test/read.cgi/math/1483314290/20 ・非可測集合ではouter measureで議論する必要がある ・通常の確率的直感は役に立たない というTaoのコメントを読んだことがあります。 つづく []: [ここ壊れてます]
513 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/15(木) 21:29:54.80 ID:77uFGJVQ.net]: >>461

つづき

https://rio2016.5ch.net/test/read.cgi/math/1483314290/27
d∈Nの性質から確率は1/2以上と即答したいところ。
しかし実際にはdが可測ではなく、事象d(r1)≦d(r2)を含む加法族で
確率空間を構成することはできないと思います。
この部分を測度論的確率論で説明可能と言うには、
やはりここでも内測度の議論が必要になるのではないでしょうか？

https://rio2016.5ch.net/test/read.cgi/math/1483314290/28
>>27のような単純な問題に対し確率論が普通の意味での確率を
与えないことこそがこの問題の本質と捉えていました。
（そこを一歩進んでinner/outer measureの議論に入らないかぎり、
まったく進歩がないわけですが）

https://rio2016.5ch.net/test/read.cgi/math/1483314290/32
確率空間は(R^N,μ)×(R^N,μ)、事象d(r1)≦d(r2)はR^N×R^Nの部分集合E={(r1,r2)|d(r1)≦d(r2)}。
この場合、Eは非可測なので>>15と同様に考えると、
r1,r2∈R^Nを選ぶ順序によって確率P(d(r1)≦d(r2))は変わることになります。
r1を先に選ぶなら確率１、r2を先に選ぶなら確率０。
同時に選ぶなら、選び方の条件を追加つまり非可測集合にも(非加法的)測度を与えなければ
確率は定まらないですね。
でも、このようなことはGAME1での混合戦略には関係ないでしょう。

https://rio2016.5ch.net/test/read.cgi/math/1483314290/33
>>27はHart氏のいう単純戦略、あるいは>>15のGAME-Aでの混合戦略の確率μ(E_k)に対応するものですね。
GAME1での混合戦略では出題後の勝つ確率はν(E_s)。
確率的選択の順序を(無意識のうちに)入れ替えてしまう(GAME1とGAME-Aなどを混同してしまう)誤りが
「当てれるのに、当てれないと思ってしまう」ことの原因である、というのが私の主張です。
非可測集合の内測度・外測度を考えたり、非加法的測度を与えたりするのは、
確かに普通の(可測集合しか扱わない)確率論ではないかもしれません。
でもそれはちょっとした発展であって、別の確率論というものではないでしょう。

つづく
514 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/15(木) 21:31:29.74 ID:77uFGJVQ.net]: >>462

つづき

https://rio2016.5ch.net/test/read.cgi/math/1483314290/34
で、今は「当てれるのに、当てれないと思ってしまう」ことの説明の方です。
無限列を見極める超越的能力がプレーヤー２にあることを前提としているので、
そこがその時とは違いますね。

https://rio2016.5ch.net/test/read.cgi/math/1483314290/35
無限を認識する超越的能力はgame1と2において共通の前提です。

https://rio2016.5ch.net/test/read.cgi/math/1483314290/43
> あきらかにGAME-Aでは当てられないと考えておられますね。
いえ、当てれるかもしれないし当てれないかもしれない。神様次第です。

https://rio2016.5ch.net/test/read.cgi/math/1483314290/46
私も不勉強で申し訳ありません。
標準的な考え方では、測度を持たない非可測集合に対し
その内測度や外測度は考えることは出来ないですが、
標準的な考え方でそのような測度を与えることは出来るのですか？
もしそのようなことが標準的な考え方に基づいた確率論で出来て、それが正当化されるなら、
確率論どころか、一般化して実解析でも同様のことが出来るでしょう。
ただ、このようにして実解析を根底から覆すような理論を築くことは難しいと思われます。

つづく
515 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/15(木) 21:32:19.70 ID:77uFGJVQ.net]: >>463

つづき

https://rio2016.5ch.net/test/read.cgi/math/1483314290/51
(1)に反論する人たちがいます。その人たちは箱の独立性や決定番号の分布などを持ち出します。
それらは箱を出題に関する確率変数として、それを用いて定義されますが、
問題が出題されたら箱の中身は決定され確率変数ではなくなるので、
箱の独立性や決定番号の分布で勝ち負けを決
516 名前：めることは、戦略が実行され始めてから箱の中身を決めていくことになります。 これはGAME1のやり方に反しており、このままでは反論にならない。 きちんとした反論にするためにはプレーヤーたちの選択の順序が確率に影響しないことを言わなければならないですが、 これは>>15のように測度論では事象が非可測の場合には成り立たない。 つまり結局は箱の独立性や決定番号の分布などを持ち出す反論は、少なくとも測度論的確率論での>>15のモデルでは誤りだということです。 他の測度論でのモデルや他の確率論のモデルでも(1)が成立するからには反論が正しくなることはないでしょう。 https://rio2016.5ch.net/test/read.cgi/math/1483314290/52 > 特にgame1の独立性はどこへ行ってしまったのか？ > 通常の確率論では各箱の数字は独立だが、 数列が選ばれた時点で、各箱の独立性はなくなります。 > 任意のs∈R^Nに対してν(E_s)≧99/100であれば通常の意味での確率p1≧99/100が > ただちに成り立ってしまうように見える。 > 測度論を知らない人は「なんで確率p1≧99/100が言えないの？」と考えそうです。 p1は実数値として確定しないってだけですね。 私はパラドクスに関与しないと思ってます。 つづく []: [ここ壊れてます]
517 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/15(木) 21:32:55.78 ID:77uFGJVQ.net]: >>464

つづき

https://rio2016.5ch.net/test/read.cgi/math/1483314290/53
確率は積分順序に依るというのはよく分かったのですが、
・人は直感的に、GAME-1では数字を当てられるがGAME-Aでは数字を当てられない、と思う
・GAME-Aでは確率が0となる、または外積分で小さく押えられる
の2点をみたさないと「なぜ人は数字を当てられないと思ってしまうのか？」
の説明にはなっていないと思うんですが、どうなんでしょう？
> 内積分という言葉を使ったせいで新しい確率論を使っていると誤解されたかもしれないですが…。
私にとっては非可測で計算できないはずのp1に確率解釈>>25を付けただけでも十分新しいですね・・

https://rio2016.5ch.net/test/read.cgi/math/1483314290/57
しかし普通の確率論でp1≧99/100が言えないことと、
一見して必敗なゲームで論理的に勝ちと証明されることは、
どうにも不可分に結びついているような気がしてなりません（その証明はありませんがｗ）

https://rio2016.5ch.net/test/read.cgi/math/1483314290/61
>>15の積分 ∫[R^N]{∫[E_s]dν(k)}dμ(s) の内側の積分 ∫[E_s]dν(k) を計算する際は s は固定されており確率変数ではなく、
外側の積分 ∫[R^N]{f(s)}dμ(s) (f(s):=ν(E_s))を計算する際は確率変数ですが箱の独立性はf(s)に関係しません。
というのも、f(s)は100面サイコロを振って1以外が出る確率を表してても同じことだからです。

つづく
518 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/15(木) 21:33:36.96 ID:77uFGJVQ.net]: >>465
つづき

https://rio2016.5ch.net/test/read.cgi/math/1483314290/62
私の"普通"はレベルが低いので、"事象E"と言ったら"(普通の)確率事象E"のことで、
Eが可測であることを仮定として含んでいます。
（"普通"とは何かを不毛に争いたいわけではないです。）
そういうわけで私の感覚では下記のコメントに？？となってしまいました。
私の感覚ではEは"普通"の事象ではないからです。

https://rio2016.5ch.net/test/read.cgi/math/1483314290/64
結局のところ、固定されたいかなるsでもν(s)≧99/100と言えることがポイントですね。
たとえばR^Nとしてテキトウな分布を、戦略として記事とは別の、性質のよくない有限の混合戦略Sを取ったとする。
その戦略とは、たとえばk∈N, 1≦k≦100をサイコロで選び、101番目の箱の中身r_101がr_kに等しいとする戦略。
あるsではν(s)＝1/100、また別のsではν(s)＝100/100となるかもしれない。
しかしR^Nがフツーの分布であれば、外側の積分（実行できると仮定）を実行したときの値はゼロに近い。
ゼロに近いと結論した外側の積分計算でRの直積分布、つまりは各箱の独立性が顔を出す余地がある。
独立性を考慮すれば、測度計算によりν(s)≧1/100となるsの測度はゼロに近いと即座に言える。
記事の戦略ではν(s)が定数99/100で押さえられているために、外側の積分において独立性は計算に影響を与えない。
(引用終り)
以上です
519 名前：１３２人目の素数さん mailto:sage [2018/11/15(木) 21:45:08.27 ID:h+WlCZeN.net]: >>461
> はい、よく存じ上げてますよ
> 実に、アカデミックですね。
> 香ばしいですね
> こうでしたね（下記引用）。
> どうぞ、大学で見て貰って下さい
> 非可測集合の確率理論を！！

それもスレ主お得意の論点のすり替えで

測度論を使わないような初等的な話の範囲内でも
>>451-452に書いてある内容は間違ってますよ
520 名前：１３２人目の素数さん [2018/11/15(木) 23:41:56.39 ID:zyHWSgeM.net]: >>452を要約してみた
lim[n→∞]n=∞

↑これでスレ主は一体何を示したつもりになっているのだろうか？
521 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/15(木) 23:45:27.72 ID:77uFGJVQ.net]: >>467

えーと、この話は
>>408のID:f9oaWn8Aさんが「非可測であることに目をつぶって計算することの意味をあまり感じない」
と言ったことから（しばらくして）
スレ28で、時枝問題を扱う非可測集合の確率論の議論が始まった(>>461)

その終りは、スレ28のNo64(>>466)の
”結局のところ、固定されたいかなるsでもν(s)≧99/100と言えることがポイントですね”で終わった

ところで、スレ28の「時枝問題を扱う非可測集合の確率論」なるものが、画期的なものであれば、大金星であり私も大変嬉しい
だが、2ch（当時。今5ch）の数学板で、果たして、画期的な理論が生まれるものかどうか？だれしも疑問に思うだろう（私もだが）

ここを、振り返ってみると
１）時枝問題が、通常の可測集合による現代確率論の枠組みからは、はみ出しているという認識はみんなの共通だが
２）現代数学で「非可測集合の確率論」は、いろいろ試みはあるものの、いまだ確たるものはないようだ
３）さらに「時枝問題を扱っている理論」は、知る限り皆無

４）では、スレ28の議論を、どう考えたらいいのだろうか？
６）上記のように、画期的なものであれば、大金星だ
７）が、その確率は、おそらく1/100以下だろう

８）良くて、せいぜいすでに発表あるいは出版されている理論の二番煎じ
９）もし、二番煎じさえないとしたら、十中八九は”ガセネタ”だろうと

厳しい言い方かもしれないが、
それが普通の見方だろう

私は、スレ28のような議論は、他では見たことがない
まあ、ともかく金星の可能性もあるので

あなた方は
早く、大学か学会で
アカデミックなディスカッションをすることをお薦めしますよ
522 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/15(木) 23:48:50.28 ID:77uFGJVQ.net]: >>468
単に、長さｎの数列の極限ｎ→∞ を考えただけです
それだけです
解釈はどうぞ、ご勝手に
523 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/15(木) 23:51:51.31 ID:77uFGJVQ.net]: >>469
ああ、５）番が欠番になったな
まあ、ご容赦
524 名前：１３２人目の素数さん [2018/11/16(金) 00:03:47.93 ID:4O2iqvZY.net]: >>470
では
決定番号は自然数である。（それがどんな分布かは時枝戦略に何の影響も与えない）
よって時枝戦略の確率計算には何もおかしい点は無い。
スレ主の自称傍証は何の傍証にもなっていない。（lim[n→∞]n=∞と言っているに過ぎない）
525 名前：１３２人目の素数さん mailto:sage [2018/11/16(金) 01:13:58.18 ID:Yk/ExuYE.net]: >>469
それもスレ主お得意の論点のすり替えで

> 「当たらないのに、なぜ、当たるように見えるか」という議論のみが意味がある
このような観点でスレ主が考察するのは別に良いのです

>>451-452の内容では間違っているので
「当たらないのに、なぜ、当たるように見えるか」
とは言えないです
526 名前：１３２人目の素数さん [2018/11/16(金) 01:57:53.63 ID:4O2iqvZY.net]: スレ主は直観で当てられっこないと思ってるんだろうけど
そもそも無限個の箱なんて現実世界には存在しないんだし、そういう
数学上の対象の振る舞いについて、直観が当てになるの？

まあそれについてどう思おうとスレ主の勝手だけど、スレ主の主張が
ことごとく間違ってることだけは確かだから
527 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/16(金) 07:19:32.04 ID:P/CFIHr8.net]: >>473
はいはい、良く分かっていますよ
下記ですね
下記より(抜粋)
・「問題が出題されたら箱の中身は決定され確率変数ではなくなる」
・「数列が選ばれた時点で、各箱の独立性はなくなります」
・「「中身を当てる箱が他の箱と独立だから当てられない」とする論法は、
　中身を当てる箱を開ける直前に中身の実数を選ぶ(GAME-Bのような)ことに相当するわけですが、
　順序を入れ替えたということに気づいていないように思います。
528 名前：」 ・「>>15の積分 ∫[R^N]{∫[E_s]dν(k)}dμ(s) の内側の積分 ∫[E_s]dν(k) を計算する際は s は固定されており確率変数ではなく、 外側の積分 ∫[R^N]{f(s)}dμ(s) (f(s):=ν(E_s))を計算する際は確率変数ですが箱の独立性はf(s)に関係しません。 というのも、f(s)は100面サイコロを振って1以外が出る確率を表してても同じことだからです。」 ・「ゼロに近いと結論した外側の積分計算でRの直積分布、つまりは各箱の独立性が顔を出す余地がある。 独立性を考慮すれば、測度計算によりν(s)≧1/100となるsの測度はゼロに近いと即座に言える。 記事の戦略ではν(s)が定数99/100で押さえられているために、外側の積分において独立性は計算に影響を与えない。」 (引用終り) 香ばしいですね 独創的 「問題が出題されたら箱の中身は決定され確率変数ではなくなる」 「記事の戦略ではν(s)が定数99/100で押さえられているために、外側の積分において独立性は計算に影響を与えない」 素晴らしいじゃないですか！ （証明が一つもないけどね） どうぞ、アカデミックな場で議論して下さい 正しければ、論文が一つできるでしょう これは、5chで議論するのは勿体ない つづく []: [ここ壊れてます]
529 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/16(金) 07:20:02.16 ID:P/CFIHr8.net]: >>475

つづき

＜参考＞(引用開始)
現代数学の系譜11 ガロア理論を読む28
(抜粋)
https://rio2016.5ch.net/test/read.cgi/math/1483314290/51
改めて私の考えを述べると
(1)プレーヤー１の任意の出題に対してプレーヤー２は確率99/100以上で当てれること。
これは時枝氏やHart氏の証明があります。それらの証明は有限集合の確率論しか使っていません。
したがって(証明に沿って考えると)直観でも混合戦略はうまくいくと認識される。
しかしながら、(1)に反論する人たちがいます。その人たちは箱の独立性や決定番号の分布などを持ち出します。
それらは箱を出題に関する確率変数として、それを用いて定義されますが、
問題が出題されたら箱の中身は決定され確率変数ではなくなるので、
箱の独立性や決定番号の分布で勝ち負けを決めることは、戦略が実行され始めてから箱の中身を決めていくことになります。
これはGAME1のやり方に反しており、このままでは反論にならない。
きちんとした反論にするためにはプレーヤーたちの選択の順序が確率に影響しないことを言わなければならないですが、
これは>>15のように測度論では事象が非可測の場合には成り立たない。
つまり結局は箱の独立性や決定番号の分布などを持ち出す反論は、少なくとも測度論的確率論での>>15のモデルでは誤りだということです。
他の測度論でのモデルや他の確率論のモデルでも(1)が成立するからには反論が正しくなることはないでしょう。

https://rio2016.5ch.net/test/read.cgi/math/1483314290/52
> 特にgame1の独立性はどこへ行ってしまったのか？
> 通常の確率論では各箱の数字は独立だが、
数列が選ばれた時点で、各箱の独立性はなくなります。

つづく
530 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/16(金) 07:20:41.56 ID:P/CFIHr8.net]: >>476

つづき

https://rio2016.5ch.net/test/read.cgi/math/1483314290/55
「中身を当てる箱が他の箱と独立だから当てられない」とする論法は、
中身を当てる箱を開ける直前に中身の実数を選ぶ(GAME-Bのような)ことに相当するわけですが、
順序を入れ替えたということに気づいていないように思います。

https://rio2016.5ch.net/test/read.cgi/math/1483314290/61
> 一方で>>15のp1の計算においてμの計算が終わるまではsは確率変数ではないですか？
> そうであれば無限直積sを構成するR（箱の中身）の独立性は議論対象になるのではないか？と思いました。
>>15の積分 ∫[R^N]{∫[E_s]dν(k)}dμ(s) の内側の積分 ∫[E_s]dν(k) を計算する際は s は固定されており確率変数ではなく、
外側の積分 ∫[R^N]{f(s)}dμ(s) (f(s):=ν(E_s))を計算する際は確率変数ですが箱の独立性はf(s)に関係しません。
というのも、f(s)は100面サイコロを振って1以外が出る確率を表してても同じことだからです。

https://rio2016.5ch.net/test/read.cgi/math/1483314290/64-65
結局のところ、固定されたいかなるsでもν(s)≧99/100と言えることがポイントですね。
たとえばR^Nとしてテキトウな分布を、戦略として記事とは別の、性質のよくない有限の混合戦略Sを取ったとする。
その戦略とは、たとえばk∈N, 1≦k≦100をサイコロで選び、101番目の箱の中身r_101がr_kに等しいとする戦略。
あるsではν(s)＝1/100、また別のsではν(s)＝100/100となるかもしれない。
しかしR^Nがフツーの分布であれば、外側の積分（実行できると仮定）を実行したときの値はゼロに近い。
ゼロに近いと結論した外側の積分計算でRの直積分布、つまりは各箱の独立性が顔を出す余地がある。
独立性を考慮すれば、測度計算によりν(s)≧1/100となるsの測度はゼロに近いと即座に言える。
記事の戦略ではν(s)が定数99/100で押さえられているために、外側の積分において独立性は計算に影響を与えない。
(引用終り)
以上
531 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/16(金) 07:39:16.57 ID:P/CFIHr8.net]: >>472 >>474
>スレ主は直観で当てられっこないと思ってるんだろうけど

いいえ。時枝記事における反論のキモは、確率変数の無限族の独立性の定義です。
それは、>>450に書いてあります

>そもそも無限個の箱なんて現実世界には存在しないんだし

物理的な無限個の箱は、現実世界には存在しないとしても
数学世界では、関数として、簡単に実現できます

箱を先頭から連番をつけます(なお、拡張実数として∞を導入します)
1　,2　,3　,・・・,n　,・・・,∞
　↓（単位分数に変換します）
1/1,1/2,1/3,・・・,1/n,・・・,1/∞ ＝0

”1/1,1/2,1/3,・・・,1/n,・・・,1/∞ ＝0”は
区間[０，１]内に実現できました

ここで、関数f(x)を考えると
f(1/1),f(1/2),f(1/3),・・・,f(1/n),・・・,f(0)
となります

数学では，簡単に
普通の関数の議論に直せます
532 名前：学術 [2018/11/16(金) 08:47:03.55 ID:P98bWys9.net]: マホメッド　ハディージャは砂漠の野戦の厳しい戦術家であってさ。
数学賞でもなく、数学者でもない。
533 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/16(金) 09:29:35.89 ID:IBqqyHwA.net]: >>479
はい、宗教家ですね
https://www.y-history.net/appendix/wh0501-005.html
ムハンマド／マホメット
世界史の窓
(抜粋)
６２２年にイスラーム教を創始した預言者。
　日本では以前からマホメットと言われることが多かったが現在では原音に最も近いムハンマドが使われることが多い。

Episode　ムハンマドの妻ハディージャ

　ムハンマドがまだ商人として活動していた２５歳頃、その取引先の一人だった４０歳の未亡人ハディージャと結婚した。その後、ムハンマドは生涯で９人の妻を持つが、彼がイスラーム教の始祖となるにはこのハディージャの存在が大きかった。
(引用)気の弱い一介の商人マホメットを「預言者マホメット」として、しっかと立たせたものは他ならぬハディージャだったのである。……誰一人として彼を信じる人がまだいないうちに彼女だけは全面的に彼を信じ、彼の最初の信者となった。
メッカの商人たちの迫害を受け、絶望と悲惨のどん底に陥ったときも、彼女だけが彼をしっかり支えて離さなかった。ハディージャという妻が傍らにいなかったら、おそらくマホメットは新宗教の始祖にはなれなかったであろう。＜井筒俊彦『マホメット』講談社学術文庫＞
(引用終わり)

https://ja.wikipedia.org/wiki/%E3%83%8F%E3%83%87%E3%82%A3%E3%83%BC%E3%82%B8%E3%83%A3%E3%83%BB%E3%83%93%E3%83%B3%E3%83%88%E3%83%BB%E3%83%95%E3%83%AF%E3%82%A4%E3%83%AA%E3%83%89
(抜粋)
ハディージャ・ビント・フワイリド（アラビア語: Khad?ja bint Khuwailid, 555年? - 619年）は、イスラーム教の預言者ムハンマドの最初の妻。クライシュ族のうちアサド族ハーシム家に属するフワイリド・イブン・アサドの娘。ハディージャの父と預言者ムハンマドの祖父ははとこにあたる。
(引用終わり)
534 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/16(金) 10:19:06.53 ID:IBqqyHwA.net]: >>478
余談ですが
可算無限数列のしっぽの同値類

これ、最近、
上記のように考えると
層の茎の芽（>>434）と
親和性があるかもと
思っています

[0,1/n]を含むように
縮小していく開集合を考えると
「芽 (数学)：芽（め、が、英: germ）とは、その対象に同種の対象を加えて作られた同値類のうち、局所的な性質が共通するように集めてきたものを呼ぶ概念である」
ということらしいので、X=0の周りの芽と

https://ja.wikipedia.org/wiki/%E8%8A%BD_(%E6%95%B0%E5%AD%A6)
芽 (数学)
(抜粋)
数学において、位相空間の中あるいは上の対象の芽（め、が、英: germ）とは、その対象に同種の対象を加えて作られた同値類のうち、局所的な性質が共通するように集めてきたものを呼ぶ概念である。
特に、問題の対象として関数（あるいは写像）や部分集合を考えることが多い。このアイデアの特定の実行において、問題の集合あるいは写像は解析的あるいは滑らかのようないくつかの性質をもつが、一般にはこれは必要とされない（問題の写像や関数は連続である必要さえない）。しかしながら、対象の定義されている空間は、局所的という言葉がなんらかの意味をもつために位相空間である必要がある。
名前は層 (sheaf) のメタファーの続きで cereal germ に由来している。穀物にとってそうであるように芽は（局所的に）関数の「心臓 (heart)」であるからだ。

目次
1 正式な定義
1.1 基本的な定義
1.3 基本的な性質
2 層との関係
4 応用

応用
応用におけるキーワードは局所性 (locality) である：点における関数のすべての局所的な性質（英語版）はその芽を解析することで研究できる。それらはテイラー級数の一般化であり、実際（微分可能な関数の）芽のテイラー級数が定義される：導関数を計算するのに局所的な情報しか必要ない。

芽は相空間の選ばれた点の近くの力学系（英語版）の性質を決定する際に有用である：それらは特異点論（英語版）とカタストロフィー理論において主要なツールの1つである。

考えられている位相空間がリーマン面あるいはより一般に解析的多様体（英語版）のとき、それらの上の正則関数の芽を冪級数と見ることができ、したがって芽の集合を解析関数の解析接続と考えることができる。
535 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/16(金) 11:05:11.63 ID:IBqqyHwA.net]: https://www.youtube.com/watch?v=q1yZnUUpajM
【ダイジェスト】新井紀子氏：AIは恐れず備えよ

videonewscom
2018/05/19 に公開
www.videonews.com/
マル激トーク・オン・ディマンド第893回（2018年5月19日）
ゲスト：新井紀子氏（国立情報学研究所教授）
司会：神保哲生　宮台真司

　AIがちょっとしたブームだ。
536 名前：学術 [2018/11/16(金) 17:54:02.26 ID:P98bWys9.net]: 限りなくゼロに近いということは死の多い縁起のいい数字だよな。
537 名前：学術 [2018/11/16(金) 17:55:24.05 ID:P98bWys9.net]: さいころをふることで
538 名前：六分の一の確率が否定されるし、地球の図相としてや ピザのきり方によっても数学は否定されうる。 []: [ここ壊れてます]
539 名前：１３２人目の素数さん mailto:sage [2018/11/16(金) 17:56:01.29 ID:Yk/ExuYE.net]: >>475
それもスレ主お得意の論点のすり替えで

単に>>451-452の内容が間違っているということです

>>451
> それは１回の試行の確率にも依存するはず
時枝解法はどのようなR^Nの元が出題されても100列に分ければ
当てることができる確率は99/100だから結果は出題される数列に
依存していない

スレ主の立場だと数当てが失敗する数列が1つ存在すれば良いのです

数当てが失敗する数列がたとえば1つなら確率的に選ぶことは無理
しかし数列の選び方は自由なので他の数列と区別できる性質を明らかにすれば良い

出題者が数当てが失敗する数列を毎回選ぶことができるのならば
こちらも1回の試行の確率に依存しない

>>452
> 同値類の代表を選ぶのに、特に制約はないので
これも間違い
単に時枝記事の内容を理解していないということでしょう
おそらく時枝記事での選択公理の適用の仕方も理解していないはず

ついでに横から
>>478
> 箱を先頭から連番をつけます(なお、拡張実数として∞を導入します)
それだけじゃダメですよ
∞を導入しても∞, (∞ - 1), (∞ - 2)からはじめて2, 1, 0で終わるとはできないから
1/(∞ - 1), 1/(∞ - 2)なども定義して連番をつけないと
540 名前：学術 [2018/11/16(金) 17:56:54.60 ID:P98bWys9.net]: 百回さいころをふる習性はだれにも人間以外にもないが、百回の恋愛は
誰でもクリアできるようにならないと。
541 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/16(金) 18:00:34.72 ID:IBqqyHwA.net]: >>483
どうもありがとう
『永遠の0』とかあるらしいね
https://ja.wikipedia.org/wiki/%E6%B0%B8%E9%81%A0%E3%81%AE0
永遠の0
『永遠の0』（えいえんのゼロ）は、百田尚樹による日本の小説、またそれを原作とした漫画・映画。
(抜粋)
目次
1 概要
2 ストーリー
3 登場人物
4 書誌情報
4.1 単行本
4.2 文庫本
5 漫画
6 映画
7 テレビドラマ
8 オーディオブック
10 本作に対する反響
10.1 肯定的評価
10.2 否定的評価

2009年に講談社文庫から文庫化。その後徐々に話題を呼び、2012年10月の『オリコン“本”ランキング文庫部門』で歴代13作目のミリオンヒット作となった[3]。
2013年8月付けで、湊かなえ著『告白』（2010年・双葉社）の254.4万部を超えて文庫部門1位を記録し[4]、同年12月には文庫版の販売部数300万部を突破。歴代のタイトルで300万部超えは、オリコンの書籍全部門を通し、コミック部門の『ONE PIECE』（51巻から70巻までの計20作で獲得）に続いて史上2例目となる[5]。
(引用終わり)
542 名前：学術 [2018/11/16(金) 18:02:42.94 ID:P98bWys9.net]: ゼッケンナンバー０あげるよ。
543 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/16(金) 18:03:23.95 ID:IBqqyHwA.net]: >>486
どうもありがとう
恋愛百回はいらないんじゃない？

まあ、千人切りとかあるらしいけどね
それを恋愛に入れるかどうかが問題だがね
544 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/16(金) 18:04:42.24 ID:IBqqyHwA.net]: >>488
どうもありがとう
ゼッケンは、ガロアの”G”がいいな
545 名前：現代数学の系譜雑談古典ガロア理論も読む [2018/11/16(金) 18:11:25.84 ID:IBqqyHwA.net]: >>484
どうもありがとう
むかし、えらい人が「賽は投げられた」と言ったらしい
その人が、確率という概念を持っていたかどうか不明だが
（というより、”六分の一の確率”という意味ではないみたいだね）

https://ja.wikipedia.org/wiki/%E8%B3%BD%E3%81%AF%E6%8A%95%E3%81%92%E3%82%89%E3%82%8C%E3%81%9F
賽は投げられた

「賽は投げられた（さいはなげられた）」（古典ラテン語：

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

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