20/02/12 07:51:53 8axgfTbD.net
>>266 補足
>要するに、任意の有限地図 (有限グラフ) に対する４色定理から
>コンパクト性定理により、「４色定理は無限個の国を持つ地図でも成立する」ってこと
>だから、>>246より 任意の有限部分族が独立のとき→確率変数の無限族は独立
>（「”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ」）
簡単な話です
”任意の有限部分族が独立のとき→確率変数の無限族は独立”という定義は
コンパクト性定理が裏付けになるから
「”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ」
任意の有限地図 (有限グラフ) に対する４色定理から
コンパクト性定理により、「４色定理は無限個の国を持つ地図でも成立する」と同じ話です
301:１３２人目の素数さん
20/02/12 07:53:59 xOqnz3XM.net
>>288
フェルマー予想のことは殆ど知らないこともあり、
URLﾘﾝｸ(ja.wikipedia.org)
を参考にして>>278を書いただけなのに、>>283を書く人間が出て来て困る。
302:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 08:04:40 8axgfTbD.net
>>32
戻る
時枝さん、あの記事で４つくらい外している
1つは、確率変数の無限族の独立性
スレ20 ｽﾚﾘﾝｸ(math板:538番)
”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ
も1つは、非可測の話
時枝さん、ヴィタリの話をしているが
本当は、ジムの数学徒氏（>>6）が言った下記なんだ
スレ80 ｽﾚﾘﾝｸ(math板:271番)
”確率論の公理の要請に反してしまう”ってこと
さらに、時枝氏自身が、あの記事の前半の戦略が不成立であることを
しっかりと認識しないで、
そこをぼかして書いたこと
あと、追加で>>22 >>211 に書いているが、下記の＜時枝記事の可算無限数列の数当て定理 ”もどき”＞不成立
スレ80 ｽﾚﾘﾝｸ(math板:51番)
時枝問題（数学セミナー201511月号の記事
(引用開始)
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s ～ s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から�
303:謌齟vする. ～は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく. 幾何的には商射影 R^N→ R^N/～の切断を選んだことになる. 任意の実数列s に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ. sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す. つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる. 更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・ が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり， 結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう. (補足) sD+1， sD+2，sD+3，・・・：ここでD+1などは下付添え字 (引用終り)
304:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 08:15:12 8axgfTbD.net
>>290
>フェルマー予想のことは殆ど知らないこともあり、
>URLﾘﾝｸ(ja.wikipedia.org)
>を参考にして>>278を書いただけなのに、>>283を書く人間が出て来て困る。
おっちゃん、どうも、スレ主です。
それが、”うかつ”でしょ
wikipediaには、多くの初等的な失敗は書かれていない
良く知らないのに、初等的な失敗を繰返して
カキコすると
まずいよね（＾＾；
305:１３２人目の素数さん
20/02/12 08:23:10 xOqnz3XM.net
>>292
フェルマー予想の初等的証明は有名な数学のトンデモの1つに挙げられている。
そういうことからも、私は元々無理な挑戦をしていた訳。
306:１３２人目の素数さん
20/02/12 08:34:10 xOqnz3XM.net
>>283のような偉そうなことを書くなら、>>283にはフェルマー予想の初等的証明をしてみてほしい。
多分ムリな話で終わる。
307:１３２人目の素数さん
20/02/12 09:16:49 NeiqDepY.net
>>293
認めるなら「γの有理性を証明した」が誤りであることも認めろ
これまでに自分が証明した数学上の新しい成果など皆無であることを認めろ
それ以前に証明・推論がめちゃくちゃでやってる内容が全く数学になってないがな
肝心なところは認めないで、数学的な真実より自我を優先している点で
乙と瀬田は共に知の欺瞞者である。
308:１３２人目の素数さん
20/02/12 09:23:44 xOqnz3XM.net
>>295
すぐキレた。やはりフェルマー予想の初等的証明は幾ら何でもムリ。
「γの有理性」はまだ論文にしていないので、公式には証明されていないことになる。
309:１３２人目の素数さん
20/02/12 09:29:35 xOqnz3XM.net
一般には、現在は、直観主義の論理は使わない。
直観主義の論理で議論して証明するには、逆に前提知識に数理論理の知識が必要になるようだしな。
310:１３２人目の素数さん
20/02/12 09:29:53 NeiqDepY.net
FLTとか難問は言うまでもないことだが
初等的に解ける「練習問題」さえ解けないのが乙。
未解決問題では「誰もが（あるいはほとんどのひとが）解けない」という点で平等だが
おまえが「数学ができない」という事実はそんなレベルの話じゃない。
311:１３２人目の素数さん
20/02/12 09:37:42 xOqnz3XM.net
>>298
>初等的に解ける「練習問題」さえ解けないのが乙。
5チャンに丁寧に解答を書いている人物はどちらかというと少ない。
多くの人は、紙で準備した後にそれを基にして答案を書く。
312:１３２人目の素数さん
20/02/12 09:43:09 NeiqDepY.net
つまり乙と瀬田は似たもの同士で慣れ合ってるのがお似合いなんだが
このスレは一旦閉じて、目立たないところでやるべきだな。
313:１３２人目の素数さん
20/02/12 09:49:13 xOqnz3XM.net
「知の欺瞞者」とかソーカル事件に関するようなことを書くと、場合によっては誰か特定されかねない。
314:１３２人目の素数さん
20/02/12 09:59:43 xOqnz3XM.net
ID:NeiqDepYは、私と◆e.a0E5TtKEを同レベルの脳ミソの人物で扱いたいようです。
315:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 10:07:51 Qa5sLjJG.net
>>287
>>>270
>＞ ０．００００…０＝０．００００…１はあらゆる計算「のルールで正しい
>なるほど、極限を取る話か
>lim n→∞ ０．００００…０＝lim n→∞ ０．００００…１
>は正しいな
これは、考えると結構 >>22及び>>291に対するエレガントな回答の一つのような気がする
つまり、現代数学では
1.000・・・＝0.9999・・・ (1)
と考える
これを書き直すと
lim n→∞ 1.00・・0 ＝lim n→∞ 0.99・・9 (2)
となる
(2)式の辺々を 1 ＝ 1 の式から 引くと
lim n→∞ 0.000・・0 ＝lim n→∞ 0.00・・1 (3)
となって、上記冒頭の式が得られる
ところで、時枝の数列のシッポの同値類の視点からは
(3)の左辺と右辺は異なるので、現代数学の標準的な見方とは、合わないし
その上
1/9＝0.111・・・ ＝lim n→∞ 0.11・・1
という循環小数を考えると
lim n→∞ 0.11・・1と (3)の右辺 lim n→∞ 0.00・・1 とは
同じ同値類と考えられる
このとき、lim n→∞ 0.11・・1と lim n→∞ 0.00・・1
との決定番号dは、d→∞ に発散する
つまりは、決定番号dを使った、有限の大小比較が
怪しいという結論が導かれることになる！！（＾＾
316:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 10:10:03 Qa5sLjJG.net
>>302
おっちゃん、どうも、スレ主です。
ID:NeiqDepYは、おサルで、統合失調症の薬を飲んでいるらしい（>>2）
被害妄想がひどいので、相手にするな（＾＾；
317:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 11:24:58 Qa5sLjJG.net
メモ
URLﾘﾝｸ(biz-journal.jp)
Business Journal
2020.02.11
三菱UFJ、数学科出身社長就任の衝撃…“IT銀行化”と180店舗削減で果敢な改革断行
文＝真壁昭夫／法政大学大学院教授
(抜粋)
1月17日、三菱UFJフィナンシャル・グループ（以下、MUFG）が代表執行役の人事を発表した。最も注目されるのが、理系出身の亀澤宏規副社長が社長兼最高経営責任者（CEO）に就任することだ。この人事には、MUFGの危機感が表れていると考えられる。
数学のバックグラウンドを持つ亀澤氏が、どのようにして収益を落ち着かせ、デジタル技術などを用いた新しい銀行のビジネスモデルを確立するかに注目が集まるだろう。
318:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 11:28:50 Qa5sLjJG.net
URLﾘﾝｸ(headlines.yahoo.co.jp)
センター試験の歴史に幕 過去5年をデータで振り返る 平均点、志願者数 2/8(土) 福井新聞 Yahoo
(抜粋)
大学入試センターがまとめた2020年センター試験の平均点の最終集計と2016年から5年間の推移を見ると、2020年の数学1・Aの平均点51・88点（100点満点）は5年間で最も低かった。
2020年の志願者数は55万7699人で、2016年から5年間で最も少なかった。受験率は94・51％で減少傾向のまま最後のセンター試験を終えた。
URLﾘﾝｸ(www.fukuishimbun.co.jp)
センター試験平均点、５年間の推移
2016～2020、最後の数1Aは最も低く
2020年2月7日 福井新聞
319:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 11:33:59 Qa5sLjJG.net
メモ
URLﾘﾝｸ(www.bloomberg.co.jp)
Bloomberg
武漢の新型ウイルス感染拡大はピーク近くか－数学モデリングが示唆
Jason Gale
2020年2月10日 11:50 JST
(抜粋)
新型コロナウイルスの発生地である中国・湖北省武漢市では、数週間後に感染拡大がピークに達するまでに感染者数が少なくとも50万人に達する可能性がある。ウイルス感染拡大についての英ロンドン大学衛生熱帯医学大学院（ＬＳＨＴＭ）の分析が示唆している。
「2019ーｎＣｏＶ」と呼ばれることになった新型ウイルスが昨年終わりに発生した武漢市は１月23日から封鎖され、市民1100万人の移動が制限されている。
同市で報告された感染者数の最近の傾向は、ＬＳＨＴＭが新型ウイルスの感染動態を予測するため使用している予備的な数学モデリングをおおむね裏付けている。
・ピークは２月中旬から下旬と予測、20人に１人が感染か－ＬＳＨＴＭ
・ピーク時までに少なくとも50万人が感染の可能性、感染率５％なら
320:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 11:41:04 Qa5sLjJG.net
メモ
「ビリギャル」（＾＾；
URLﾘﾝｸ(headlines.yahoo.co.jp)
アリの行列なぜ渋滞ない ビリギャルが驚いた数学の力 2/9(日) NIKKEI STYLE
(抜粋)
ギャルの女子高生が慶応大に合格するまでを描いた「ビリギャル」のモデルとなった小林さやかさんが、様々な分野の専門家に率直な疑問をぶつけます。今回は数学編。大学院生になったビリギャルが、あなたにかわって勉強してきます。
大人になってから「数学は役に立つ」って思ったことある人、どれくらいいるんだろう？
サイン、コサイン、タンジェントって便利だなあと、思ったことある？
わたしのまわりではあまりいないんだ。
でもね、AI（人工知能）の時代は数学が不可欠だといわれると、やっぱり気になるなと思っていたら、小学生に微分積分を理解させたすごい先生がいるという噂が飛び込んできた。東京大学先端科学技術研究センターの西成活裕教授。早速お話を聞きに行ってきたよ。
―正直に言います。数学は中学のときから超苦手で、数学を勉強しようというモチベーションすら湧いたことが一瞬もありません。勉強する意味が全然わからなくて、あんなの知らなくても生きていけると自信満々だったし、実際大人になってからも「数学って使えるな」って思ったことがまだないんです。
「数学って課題解決に使えるんですよ。実際、私は世の中のために数学を役立ててきました。例えば僕の専門の一つは『渋滞学』。数学を駆使して、渋滞を解消する方法を考えるんです。だから、私のところにはいろいろなお困りごとの相談が舞い込んできます」
321:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 11:55:42 Qa5sLjJG.net
メモ
URLﾘﾝｸ(gendai.ismedia.jp)
鶴亀算で誰でも体感できる数学の「威力」と「限界」
抽象性の「恐ろしさ」を見極めるには
竹山 美宏筑波大学数理物質系教授 講談社 20200204
(抜粋)
URLﾘﾝｸ(gendai.ismedia.jp)
抽象性と汎用性
抽象的な数学の話を突然はじめたので、やや難しく感じたかもしれない。たしかに、抽象的であることは数学の難しさの要因ではある。しかし、同時に強みでもあるのだ。
たとえば、数学には数列の漸化式を扱うためのさまざまな手法がある。その手法は、定期預金でも花粉症の薬でも、数列の漸化式で記述される状況でさえあれば、具体的な文脈によらず使える。
URLﾘﾝｸ(gendai.ismedia.jp)
数学の怖さを知るということ
私自身は、正直に言うと、現実世界の問題から数理モデルをつくった経験がほとんどないし、純粋に数学で書かれた問題を扱うほうが慣れている。
数学者になること、もしくは、数学を趣味にすることが目的なのであれば、それでもよいかもしれない。学問としての数学を発展させる原動力は、やはり楽しさであるから、数学そのものから喜びを得られるのであれば、それを追求するのがよいのだろう。
しかし、たとえ数学を楽しめなくても、数理モデルがつくられるプロセスを知ることには、大きな意味があると思う。なぜなら、鶴亀算の解法が「鶴の立ち姿の美しさ」などを考慮に入れないように、数理モデルが記述するのは現実世界のすべてではなく、一部分だからである。
数理モデルを通して、数学は私たちの生活や社会に影響を及ぼす。
数理モデルの作成者は、自分の目的に応じて考慮すべき量や関係を設定する。本稿で挙げた三つの例題は、問題を解く練習をするためのものだから、数理モデルのつくり方に選択の余地はほとんどない。
しかし、現実世界の問題を解く場面では、作成者によって数理モデルは異なり得る。そして、作成者の偏見が埋め込まれた数理モデルが大きな影響力をもつと、私たちの社会は壊れてしまいかねない。
有害な数理モデル
この点について、冒頭で紹介した『あなたを支配し、社会を破壊する、AI・ビッグデータの罠』から例をひとつ挙げよう。
322:１３２人目の素数さん
20/02/12 12:01:32 UvpDJSC3.net
>>303
極限なくても位取り記数法で証明されてるよ
Ｃ＝０．９９９… ｄ＝１
１０ｃ＝９．９９９…
１０ｃ－ｄ＝８．９９９…
１００ｃ－１０ｄ＝８９．９９９９…
１００ｃ－１０ｄ－８０＝９．９９９…
１０Ｃ＝１００ｃ－９０
０＝９０ｃ－９０ ｃ＝１
323:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 12:02:43 Qa5sLjJG.net
メモ
URLﾘﾝｸ(www.bilibili.com)
『宇宙と宇宙をつなぐ数学』加藤文元先生インタビュー 第1回 「IUT理論の現在地」
影??告・??
2020-02-04 10:26:36
URLﾘﾝｸ(www.youtube.com)
数学界のみならず、世界に激震をもたらした宇宙際タイヒミュラー（IUT)理論。京都大学の望月新一教授によって2012年に提唱されたこの理論は、数学界に残された超難問「ABC予想」の解決をも含むとされ、その難解さと斬新さから「未来から来た論文」などと称されました。
この理論の独創性を一般向けに紹介した加藤文元さんの書籍『宇宙と宇宙をつなぐ数学 IUT理論の衝撃』は発売直後から大きな話題を呼び、発売即重版となりました。
324:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 12:36:10 Qa5sLjJG.net
>>310
どうもスレ主です。
レスありがとう
あなたのエレガンスな回答で、時枝記事の前半の戦略は、不成立で決着です（＾＾
325:１３２人目の素数さん
20/02/12 12:38:37 ZjrtYJ9G.net
>>229
「同じ数字は同じ文字で表す」
って決まってる訳でもないんですか？
２つの自然数 a=b
aとbは同じ数字を違う文字で表記してるんですか？
326:１３２人目の素数さん
20/02/12 13:20:58 UvpDJSC3.net
>>3
327:10 ９・９９…＝ｃ ｃの１０倍＝９０＋０．９９９９…＋１０回 ｃの１０倍ーｃを１０回＝０．９９９９…＋１０回－ｃを１０回＋９０ ｃの１０倍ーｃを１０回＝０．９９９９…＋１０回－０．９９９９＋１０回 ｃの１０倍＝０．９９９９…＋１０回－０．９９９９＋１０回＋ｃを１０回 ０．９９９９…＋１０回－０．９９９９＋１０回＋ｃを１０回 ＝９０＋０．９９９９…＋１０回 －０．９９９９…＋１０回＋ｃを１０回＝９０ １０＝ｃと仮定すると ０．９９９９…＋１０回＝１０ ９０＋０．９９９９…＋１０回＝１０＋９０ ＝ｃの１０倍＝１００ １０＝９・９９…
328:１３２人目の素数さん
20/02/12 13:25:37 UvpDJSC3.net
>>314
無数の桁に対する位ごとの操作（つまり、掛け算や引き算）を一斉に行うことなく証明
329:１３２人目の素数さん
20/02/12 13:34:17.18 UvpDJSC3.net
>>315
９・９９…＝ｃ
ｃの１０倍＝９０＋０．９９９９…＋１０回
－０．９９９９…＋１０回＋ｃを１０回＝９０
１０＝ｃと仮定すると
０．９９９９…＋１０回＝１０
９０＋０．９９９９…＋１０回＝１０＋９０
＝ｃの１０倍＝１００
となるので仮定は正しい
１０＝９・９９…
330:１３２人目の素数さん
20/02/12 13:36:27.84 UvpDJSC3.net
>>316
９・９９…－９＝０．９９…
有限の桁に対する位ごとの操作
331:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/12 13:51:10 Qa5sLjJG.net
>>313
>２つの自然数 a=b
>aとbは同じ数字を違う文字で表記してるんですか？
自然数は大きな問題はないが
実数になると、超越数とかが入ってくる
そうすると、複雑になります。有理数でも小数展開したとき、二通りの表現ができる
例えば、>>303より "1.000・・・＝0.9999・・・"
逃げるわけじゃないが、下記PDFでもどうぞ
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
平成29年度(第39回)数学入門公開講座テキスト(京都大学数理解析研究所，平成29年7月31日～8月3日開催
超準解析入門
－超実数と無限大の数学－
磯野優介
数学入門公開講座
平成 29 年 7 月 31 日～8 月 3 日
概要
「無限に大きい数」は存在しません．どんな数を持ってきても，それに 1 を足せば，
より大きな数が出来るからです．同様に「無限に小さい数」も存在しません．このよう
な無限数は，数学的に厳密に定義出来ないにもかかわらず，古くから研究に用いられて
きました（いわゆる「無限小解析」）．その後 19 世紀に入り，厳密さを備えた ε-δ 論法
が登場し，無限小解析は歴史から姿を消します．
超準解析とは，「無限に大きい，小さい数」を，数学として厳密に定式化し，取り扱
う学問です．この枠組みでは，無限数を用いた計算や証明が可能で，現代数学を用いた
無限小解析の再現とも言えます．この講義では，そのような無限数を含む「超実数」を
構成し，それを用いて解析学の基礎的な定理を実際に証明してみようと思います．
目 次
1 イントロダクション 2
1.1 記号の復習 3
2 実数 R の構成 4
2.1 ε-δ 論法による収束の定義 . 4
2.2 コーシー列を用いた実数 R の構成 5
3 超実数 *R の構成 8
3.1 基本的な考え方と問題点 . . 9
3.2 フィルターと超フィルター . 10
3.3 超積を用いた超実数 ?R の構成 . . 12
4 超実数を用いた解析学の展開 15
4.1 数列の収束 15
4.2 連続関数 . . 18
5 超積とフォンノイマン環 21
5.1 関数解析とフォンノイマン環 21
5.2 フォンノイマン環の超積とその応用 . . 23
332:１３２人目の素数さん
20/02/12 14:52:17.60 YGFbscX3.net
>>318
ありがとうございます。
333:１３２人目の素数さん
20/02/12 14:53:34.29 YGFbscX3.net
>>319
ID変わりましたが>>313を書き込んだ者です。
334:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 16:01:35.27 Qa5sLjJG.net
>>318 補足
下記、磯野優介先生
”注意 4.8. この定理が証明されれば，最初から limn→∞ an = a の定義を，aω =～ a が全ての
無限大超自然数 ω に対して成立する事としてもよい事になる．これは「数列の ∞ 番目がい
つも同じ数」という意味であり，
335:より直感的な収束の定義である．” なるほど この超準解析の視点は、時枝記事の戦略のトリックを端的に突いている気がする つまり、「数列の ∞ 番目が同じ数」というのが、 時枝記事の戦略のトリックを支えるキーだと看破しているような記述だね（＾＾； http://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H29-isono.pdf 平成29年度(第39回)数学入門公開講座テキスト(京都大学数理解析研究所，平成29年7月31日～8月3日開催 超準解析入門 －超実数と無限大の数学－ 磯野優介 数学入門公開講座 平成 29 年 7 月 31 日～8 月 3 日 (抜粋) P15-16 4 超実数を用いた解析学の展開 4.1 数列の収束 定義 4.1. 超実数 α が超自然数であるとは，自然数からなる数列 (an)n を用いて α = (an)n と書ける事である．この時もし α が無限大超実数ならば，無限大超自然数という．超自然数 の集合を *N で表す．以後は分かりやすさのため，超自然数は ω, λ 等の記号で表す事が多い． 次の定理は，数列の収束という ε-δ 論法における概念を，超実数のみを用いた条件に言い 換えるものです． 定理 4.7. 実数列 (an)n と実数 a ∈ R に対して，limn→∞ an = a である事の必要十分条件は どんな無限大超自然数 ω に対しても aω =～ a となる事である． 注意 4.8. この定理が証明されれば，最初から limn→∞ an = a の定義を，aω =～ a が全ての 無限大超自然数 ω に対して成立する事としてもよい事になる．これは「数列の ∞ 番目がい つも同じ数」という意味であり，より直感的な収束の定義である．
336:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 16:05:50.17 Qa5sLjJG.net
>>319-320
ID:YGFbscX3さん、どうもスレ主です。
ご丁寧にありがとうございます。
「a=b」という単純な式が
超準解析というフィルター
を通してみると＊）、違った風景が見えるということ
あと、時枝戦略も、超準解析というフィルター をとした方が良いと思えて来ましたね
注：
＊）ダジャレです（＾＾
337:１３２人目の素数さん
20/02/12 16:32:38.29 xOqnz3XM.net
>>304
>>295で「数学的な真実より自我を優先している」や私が「知の欺瞞者」だと書いていることから察するに、
ID:NeiqDepY はオイラーの定数γが無理数だろうと予想している節がある可能性はあるが、
ごく普通の背理法でγの有理性が示せているから、問題ない。ただ、計算が大変。
338:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 16:59:19.27 Qa5sLjJG.net
>>323
おっちゃん、どうも、スレ主です。
>ID:NeiqDepY はオイラーの定数γが無理数だろうと予想している節がある可能性はあるが、
>ごく普通の背理法でγの有理性が示せているから、問題ない。ただ、計算が大変。
逆らうようで悪いが
私スレ主も、「オイラーの定数γが無理数だろうと予想している」んだ
証明は難しいらしく、いまだ数学界では予想だがね
「普通の背理法でγの有理性が示せているから」というと
”γのが無理数と仮定すると、矛盾が起きる”って筋になるけど
それ示すのは、かなり斬新なアイデアと理論が必要な気がするな
追伸
下記、オイラーの定数
γ：＝ lim n→∞ {（Σ k=1～n（1/k） -ln(n)}
で、ｎ有限で、（Σ k=1～n（1/k） は、有理数。ln(n)は無理数（超越数）。
有理数－無理数（超越数）＝無理数（超越数）
は自明。
それが、lim n→∞ で、有理数に収束することがイメージできない
イメージが貧弱と言われれば、その通りだが（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
オイラーの定数
γ：＝ lim n→∞ {（Σ k=1～n（1/k） -ln(n)}
339:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 17:04:32.60 Qa5sLjJG.net
>>324 補足
>で、ｎ有限で、（Σ k=1～n（1/k） は、有理数。ln(n)は無理数（超越数）。
>有理数－無理数（超越数）＝無理数（超越数）
>は自明。
>それが、lim n→∞ で、有理数に収束することがイメージできない
逆パターンで
lim n→∞ で、有理数が、無理数に収束するのは、普通にあるが
”有理数－無理数（超越数）＝無理数（超越数）”で
lim n→∞ {（Σ k=1～n（1/k） -ln(n)}だと、どうなのでしょうかね。イメージできない （＾＾；
340:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 17:11:25.26 Qa5sLjJG.net
>>322 タイポ訂正
あと、時枝戦略も、超準解析というフィルター をとした方が良いと思えて来ましたね
↓
あと、時枝戦略も、超準解析というフィルター を通した方が良いと思えて来ましたね
分かると思うが（＾＾；
341:１３２人目の素数さん
20/02/12 17:21:51 xOqnz3XM.net
>>324
証明は150行どころか250行は優に超える。300行以上はある筈。
342:１３２人目の素数さん
20/02/12 17:27:02 xOqnz3XM.net
それじゃ、おっちゃんもう寝る。
343:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 17:33:16.57 Qa5sLjJG.net
>>327
>証明は150行どころか250行は優に超える。300行以上はある筈。
おっちゃん、どうも、スレ主です。
300ページは必要と思うけどねｗ（＾＾；
根拠レスだが
344:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 17:38:04.54 Qa5sLjJG.net
>>328
おっちゃん、どうも、スレ主です。
ありがとう
お休みなさい
なお
論文の投稿をお待ちしています。
345:１３２人目の素数さん
20/02/12 19:12:10.62 Sxg0ZY+g.net
>>288
>おっと、おっちゃんは、文献読まない主義だったな（＾＾；
と、教科書も読まないバカが申しております
346:１３２人目の素数さん
20/02/12 19:20:04 Sxg0ZY+g.net
>>291
>も1つは、非可測の話
>時枝さん、ヴィタリの話をしているが
>本当は、ジムの数学徒氏（>>6）が言った下記なんだ
>スレ80 ｽﾚﾘﾝｸ(math板:271番)
>”確率論の公理の要請に反してしまう”ってこと
ジムくんの発言は大外しですね、時枝戦略の確率空間を�
347:�解しているので。 >さらに、時枝氏自身が、あの記事の前半の戦略が不成立であることを >しっかりと認識しないで、 >そこをぼかして書いたこと まったくぼかしてないですね。 証明のギャップがあるなら具体的にお願いしますね >あと、追加で>>22 >>211 に書いているが、下記の＜時枝記事の可算無限数列の数当て定理 ”もどき”＞不成立 大外しですね、時枝戦略は当てずっぽう戦略ではないので。 ということで不成立をまったく示せてませんので、スレ閉鎖して下さい 約束は守りましょうね？
348:１３２人目の素数さん
20/02/12 19:30:12 SjIye1YG.net
>>289
>”任意の有限部分族が独立のとき→確率変数の無限族は独立”
>という定義はコンパクト性定理が裏付けになる
いや、裏付けにならないでしょ
わけわからないこといってるね
349:１３２人目の素数さん
20/02/12 19:30:58 SjIye1YG.net
>>303
>これは、考えると結構エレガントな回答の一つのような気がする
また、間違ったか 瀬田君
しかも今度は明らかなトンデモに食いついたね
>現代数学では
>1.000…＝0.999… (1)
>と考える
ここは正しい
>これを書き直すと
>lim n→∞ 1.00…0 ＝lim n→∞ 0.99…9 (2)
>となる
ここも正しい
>(2)式の辺々を 1 ＝ 1 の式から 引くと
>lim n→∞ 0.00…0 ＝lim n→∞ 0.00…1 (3)
>となって、
ここも正しい
しかし…
>上記冒頭の式
>0.0000…0＝0.0000…1
>が得られる
これは誤り
実はどの桁にも1が立たない
つまり>>265は誤り
350:１３２人目の素数さん
20/02/12 19:31:48 Sxg0ZY+g.net
>>303
>lim n→∞ 0.11・・1と (3)の右辺 lim n→∞ 0.00・・1 とは
>同じ同値類と考えられる
ちょっと何言ってるか分かりません。
時枝記事の同値関係の定義分かってますか～？
>このとき、lim n→∞ 0.11・・1と lim n→∞ 0.00・・1
>との決定番号dは、d→∞ に発散する
発散しませんね、決定番号は自然数ですから。∞は自然数ではありません。
発散すると思えるのはそもそも時枝記事の同値関係の定義を理解してないからでしょうね。
>つまりは、決定番号dを使った、有限の大小比較が
>怪しいという結論が導かれることになる！！（＾＾
導かれたのはあなたの学力の怪しさですね！！（＾＾
351:１３２人目の素数さん
20/02/12 19:33:32 Sxg0ZY+g.net
>>304
>被害妄想がひどいので、相手にするな（＾＾；
と、いつも妄想の激しいバカが申しております（＾＾；
352:１３２人目の素数さん
20/02/12 19:37:41.35 Sxg0ZY+g.net
>>312
>あなたのエレガンスな回答で、時枝記事の前半の戦略は、不成立で決着です（＾＾
不成立と主張したいなら反例もしくは証明のギャップを提示しましょうね～（＾＾
まああなたの場合その前に同値類と選択公理を勉強した方が良いでしょうね、記事を読むことすらできませんから（＾＾；
353:１３２人目の素数さん
20/02/12 19:39:13.58 SjIye1YG.net
>>321
>超準解析の視点は、時枝記事の戦略のトリックを端的に突いている・・・
>つまり、「数列の ∞ 番目が同じ数」というのが、
>時枝記事の戦略のトリックを支えるキーだと看破している・・・
瀬田君、全くのトンデモに成り下がったね
「任意の自然数ｎ番目で不一致で、∞番目だけ一致する列がある」と言い切った瞬間、
自然数の定義を真正面から否定する完全無欠なトンデモになったよ 瀬田君はｗ
354:１３２人目の素数さん
20/02/12 19:41:51.17 SjIye1YG.net
>…は、統合失調症の薬を飲んでいるらしい
瀬田君は、自己愛性人格障害だから、
抗精神病薬も効かないだろうなあ
355:１３２人目の素数さん
20/02/12 19:42:47.73 Sxg0ZY+g.net
>>321
>なるほど
>この超準解析の視点は、時枝記事の戦略のトリックを端的に突いている気がする
突いてません、というか突き得ません、時枝戦略は解析学を使ってないので（＾＾；
>つまり、「数列の ∞ 番目が同じ数」というのが、
>時枝記事の戦略のトリックを支えるキーだと看破しているような記述だね（＾＾；
数列に∞番目はありません、∞は自然数ではないので（＾＾；
356:１３２人目の素数さん
20/02/12 19:43:39.67 Sxg0ZY+g.net
>>322
>あと、時枝戦略も、超準解析というフィルター をとした方が良いと思えて来ましたね
妄想ですね（＾＾；
357:１３２人目の素数さん
20/02/12 19:47:50.99 SjIye1YG.net
＞普通の背理法でγの有理性が示せている
恒例の初歩的な誤りでしょうな
358:１３２人目の素数さん
20/02/12 20:07:27.13 SjIye1YG.net
瀬田君の「確率０」は
「99列の決定番号の最大値がDの条件での
100列目の決定番号dがd<=Dとなる確率」
したがって条件付き確率
しかし条件付き確率はいろいろ想定できて
「100列の決定番号の最大値がDの条件での
100列目の決定番号dがd<=Dとなる確率」
というのも想定できるしこれは99/100以上になる
Non-conglomerableな場合には、条件付き確率から
無条件の確率を求められないという意味ではどっちも同じ
ちなみにThe Riddleはそもそも確率の話ではないので無条件に成立する
359:１３２人目の素数さん
20/02/12 20:39:15.50 VOr7V6wh.net
高砂の～ 翁&嫗
なりぷっ様とゴルゴⅠ3(-AⅠg/jrpo)様は このままいつまでも仲睦まじく
お歳を重ねられてゆくんでしょうね...
羨ましいです。。。
いいなぁ...あさっては💖バレンタインデー💗だしな。。。
あっ、せっかく
㈏
360:8;おふたりだけ💖で💞ｲﾁｬｺﾗ💓中 のとこ、お邪魔して申し訳ありません...
361:１３２人目の素数さん
20/02/12 20:41:08.21 VOr7V6wh.net
でも笑笑のお局様がちょっとお可哀想。。。
362:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 20:46:39.79 8axgfTbD.net
>>291 <再まとめ>
時枝さん、あの記事で４つくらい外している
1つは、確率変数の無限族の独立性
スレ20 ｽﾚﾘﾝｸ(math板:538番)
”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ
根拠は、>>247のコンパクト性定理 URLﾘﾝｸ(ja.wikipedia.org)
”一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。”
（ >>262より 無限地図の４色定理が、コンパクト性定理で証明できるよ ）
も1つは、非可測の話
時枝さん、ヴィタリの話をしているが
本当は、ジムの数学徒氏（>>6）が言った下記なんだ
スレ80 ｽﾚﾘﾝｸ(math板:271番)
”確率論の公理の要請に反してしまう”ってこと
（>>215より 細かいが、実際使う同値類は有限個に過ぎないので、選択公理のフルパワーは必要としないことも附言しておく）
3つには、>>22 >>211 に書いているが、下記の＜時枝記事の可算無限数列の数当て定理 ”もどき”＞不成立
補強で、>>321 ”注意 4.8. この定理が証明されれば，最初から limn→∞ an = a の定義を，aω =～ a が全ての
無限大超自然数 ω に対して成立する事としてもよい事になる．これは「数列の ∞ 番目がい
つも同じ数」という意味であり，より直感的な収束の定義である．”
つづく
363:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 20:48:19.19 8axgfTbD.net
>>346
つづき
（参考）
スレ80 ｽﾚﾘﾝｸ(math板:51番)
時枝問題（数学セミナー201511月号の記事
＜時枝記事の可算無限数列の数当て定理 ”もどき”＞
(引用開始)
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s ～ s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
～は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/～の切断を選んだことになる.
任意の実数列s に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められる
(引用終り)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
平成29年度(第39回)数学入門公開講座テキスト(京都大学数理解析研究所，平成29年7月31日～8月3日
超準解析入門 －超実数と無限大の数学－ 磯野優介 数学入門公開講座
(抜粋)
P15-16
定理 4.7. 実数列 (an)n と実数 a ∈ R に対して，limn→∞ an = a である事の必要十分条件は
どんな無限大超自然数 ω に対しても aω =～ a となる事である．
注意 4.8. この定理が証明されれば，最初から limn→∞ an = a の定義を，aω =～ a が全ての
無限大超自然数 ω に対して成立する事としてもよい事になる．これは「数列の ∞ 番目がい
つも同じ数」という意味であり，より直感的な収束の定義である．
(引用終り)
4つには、時枝氏自身が、あの記事の前半の戦略が不成立であることを
しっかりと認識しないで、
そこをぼかして書いてしまったこと
以上
364:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 20:49:34.90 8axgfTbD.net
>>344-345
どうも。スレ主です。
レスありがとうございます（＾＾
365:１３２人目の素数さん
20/02/12 20:51:49.07 Sxg0ZY+g.net
a>b 且つ a<b を満たす自然数の組 a,b は存在しないので、100個の決定番号の集合の単独最大は複数個にはなり得ない。
つまりハズレ列はたかだか1列。
よって100列のいずれかをランダムに選択したとき、それがアタリ列である確率は99/100以上。（＾＾
もしこれを否定したいなら、 a>b 且つ a<b を満たす自然数の組 a,b を提示して下さいね～（＾＾；
366:１３２人目の素数さん
20/02/12 20:52:08.81 VOr7V6wh.net
すう板常連の理系の皆様の性別比率はちょうど１:１(？)。。。
解は「笑笑様のみぞ知る」ですね...
主様 笑笑様
I3AIg/jrpo様 なりぷっ様
でも数学科に限るとなりぷっ様・笑笑様(？):I3AIg/jrpo様で、２:１。。。
笑笑様しか正解を知らないけど、、、
もしかして...女性の方が、２倍？
意外でした。。。
367:１３２人目の素数さん
20/02/12 20:56:54.05 VOr7V6wh.net
一石(I3AIg/jrpo？)様が羨ましい。。。両手に🌺花🌹でモテモテで。
いいなぁ...＊モテモテ運＊を分けていただきたいなぁ。。。
368:１３２人目の素数さん
20/02/12 21:02:21.52 Sxg0ZY+g.net
>>346
>時枝さん、ヴィタリの話をしているが
>本当は、ジムの数学徒氏（>6）が言った下記なんだ
>スレ80 ｽﾚﾘﾝｸ(math板:271番)
>”確率論の公理の要請に反してしまう”ってこと
ジムくんは時枝戦略の確率空間を誤解しているので無意味ですね～（＾＾；
>（>215より 細かいが、実際使う同値類は有限個に過ぎないので、選択公理のフルパワーは必要としないことも附言しておく）
時枝戦略には選択公理が必須です、不定な代表から情報はもらえませんので（＾＾；
>3つには、>22 >211 に書いているが、下記の＜時枝記事の可算無限数列の数当て定理 ”もどき”＞不成立
時枝戦略は当てずっぽう戦略ではないので無意味ですね～（＾＾；
>補強で、>321 ”注意 4.8. この定理が証明されれば，最初から limn→∞ an = a の定義を，aω =～ a が全ての
>無限大超自然数 ω に対して成立する事としてもよい事になる．これは「数列の ∞ 番目がい
>つも同じ数」という意味であり，より直感的な収束の定義である．”
数列に∞番目はありません。∞は自然数ではありませんから（＾＾；
ちなみに時枝定理とその証明は極限を使ってませんので、極限を語っても無意味ですね～（＾＾；
369:１３２人目の素数さん
20/02/12 21:04:01.56 VOr7V6wh.net
なんだか哀しくなってきた。。。
いつもの
💓バレンタイン💖
&
ハッピー🎂バースデー💐
⤵ブルー⤵
なんだ。。。
今日のボヤキ終わりｯ！っと。
失礼いたしました。。。 (。⊃Д`)
370:１３２人目の素数さん
20/02/12 21:07:43.54 Sxg0ZY+g.net
>>347
>4つには、時枝氏自身が、あの記事の前半の戦略が不成立であることを
>しっかりと認識しないで、
まったく認識してないですね、戦略は成立ですから（＾＾；
>そこをぼかして書いてしまったこと
ぼかす必要は無いですね、実際時枝先生は
「ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある. 」
と明記してます、1㍉もぼかしてません（＾＾；
371:
20/02/12 21:08:45.75 SjIye1YG.net
トリップ I3AIg/jrpo の出し方
#Bernoulli
372:Mara Papiyas
20/02/12 21:09:56.56 SjIye1YG.net
こっちはそう簡単じゃないぞ
373:１３２人目の素数さん
20/02/12 21:11:39.56 Sxg0ZY+g.net
早く反例なり証明のギャップなりを示してほしいですねえ～
もう妄想は飽きました（＾＾；
374:１３２人目の素数さん
20/02/12 21:12:40.93 VOr7V6wh.net
あ、主様、ちょっと早いんですけど、
いつもいつもお世話になっております。
○/💝>>348
/
Ｌ
375:１３２人目の素数さん
20/02/12 21:13:51.44 VOr7V6wh.net
>>355-356
知ってる。ﾏﾗ・ﾊﾟﾋﾟﾔｽってだれですか？
376:１３２人目の素数さん
20/02/12 21:15:02.92 VOr7V6wh.net
一石様でもいいんですか？
ムダグチ博士様でも？
377:１３２人目の素数さん
20/02/12 21:18:31.95 VOr7V6wh.net
一石様には義理💝ﾁｮｺなんて必要ないですよね。
気持ちチョコざ２ｐは押さえてあるんだから。。。
世の中不公平ですよね。
その分、絶滅しちゃう男性がいるんだから。
他人事ﾄ思ｴﾅｨ。。。＊゜(ノД`)゜。
378:１３２人目の素数さん
20/02/12 21:19:08.34 Sxg0ZY+g.net
待てど暮らせど反例もギャップも示されず
示されるのは妄想ばかり（＾＾；
ここは数学板です、そろそろ妄想は勘弁して下さい（＾＾；
379:１３２人目の素数さん
20/02/12 21:20:11.20 VOr7V6wh.net
>>361
↑訂正です。
＞チョコざ 誤
チョコが 正
哀しすぎて入力ミスです。。。
380:１３２人目の素数さん
20/02/12 21:22:08.89 VOr7V6wh.net
なりぷっ様が羨ましいよー！
。 °＊。 ＊゜(ノД`)゜。
変態もバレンタインイブまでに
＊素敵な彼氏＊が欲しかった。。。
381:１３２人目の素数さん
20/02/12 21:32:24.68 VOr7V6wh.net
>>362
ごめんなさい。。。
🌺ハッピー💐
💖バレンタインデー💓イブイブ💞
🌸おめでとうございます🌹
笑笑様のことはお気になさらずに
堂々と勝ち誇ってください。
笑笑様なら、苦笑いで許してくださるとおもいます。
遠慮なさらずにめいっぱい、幸せになっちゃってください。
羨ましいけど、応援してます。。。
💒ジューンブライド🔔💏🔔。。。
今からじゃ予約難しそうですね。。。
あ、嫌がらせで言ってみたわけじゃないんです...
。。。明後日のチョコ💝。。。
。。。もう手作りされましたか？。。。
お休みなさい。
変態は明日のバレンタインデーｅｖｅは
とどめにお誕生日なんですよ( ´_ゝ`)
＊*回目の。
今年もまた１つ、
ムダに歳をとってしまいましたーっ！
あ.なりぷっ様はお気になさらないで
お幸せになってください。
カップルの💞ｲﾁｬｺﾗ💞を
お邪魔してみましたー！
お休みなっさーいっ！！！！
382:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 21:33:58.93 8axgfTbD.net
メモ
URLﾘﾝｸ(www.nikkei.com)
テスラ分解 EVの「頭脳」、トヨタやVWを6年先行 2020/2/12 日経
(抜粋)
米テスラの技術力はどれほどのものか―。実力を確かめるため、日経BPのプロジェクトチームはテスラ初の本格量産車「モデル3」を購入して分解した。内部から飛び出した最大の驚きは、自動運転だけでなく車両全体を制御する統合ECU（電子制御ユニット）だ。3キログラムに満たない「頭脳」はテスラの強さの源泉となると同時に、自動車部品のサプライチェーン（供給網）をがらりと変える影響力を持つ。
「うちの会社にはできない」。ある国内自動車メーカーの技術者が、テスラの車載コンピューターを見て白旗を揚げた。
テスラは量産中の電気自動車（EV）である「モデル3」や「モデルS」などに、「HW3.0」と呼ぶ車載コンピューターを搭載する。内蔵する半導体を自社開発し、自動運転とインフォテイメントなどの機能を統合制御するECUの役割を一任した。
モデル3が搭載する統合ECU「HW3.0」。2枚の基板を搭載する。1枚は独自開発した人工知能（AI）チップを実装する自動運転用で、もう1枚はインフォテイメントシステムなどを制御するMCU（メディア・コントロール・ユニット）。基板間に水冷ヒートシンクを配置した（撮影:日経Automotive）
車載電子プラットフォーム（基盤）の中核に高性能なコンピューターを据えるアーキテクチャーは「中央集中型」と呼ばれる。自動車業界の関係者は異口同音に「実用化は2025年以降」と説明してきた。
一方のテスラがHW3.0を導入したのは19年春。他社を6年以上も先行したことになる。テスラは自動運転システムの進化に合わせて車載電子基盤を刷新。14年9月に第1世代を投入して以降は、2～3年という極めて短いサイクルで開発を進めている。
テスラは2～3年ごとに自動運転システムを強化している（図:日経Automotiveが作成）
圧倒的なスピードで構築したテスラの中央集中型の車載電子基盤は、他の自動車メーカーのみならず、業界全体にとっての脅威になる。長い歳月をかけて積み上げてきた既存の部品サプライチェーンを崩壊させる可能性を秘めるからだ。
383:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/12 21:35:18.84 8axgfTbD.net
>>358
どうも。スレ主です。
ありがとうございます（＾＾；
384:Mara Papiyas
20/02/12 21:42:26.53 SjIye1YG.net
マーラ（Māra）は、釈迦が悟りを開く禅定に入った時に、瞑想を妨げるために現れたとされる悪魔、魔神。
愛の神カーマと結び付けられ、カーマの別名又はカーママーラとして一体で概念されることがある。
マーラを降すことを降魔という。
385:魔王マーラ・パーピーヤス（Māra Pāpīyās、天魔波旬、魔羅、天魔、悪魔などの漢訳がある）。 マーラの語義は「殺すもの」であるとも、「死」の人称形とも言われる。 パーピーヤスは「より以上悪いもの」の意。 仏伝には天（deva、神）であるとの記述があり、「天」魔と呼ばれるのは、ここに由来する。 そのためインドにおける肌の黒い被支配者が崇拝した神々を起源とする説もある。
386:１３２人目の素数さん
20/02/12 21:44:56.68 VOr7V6wh.net
あ、忘れてました。
主様も羨ましいよー！
奥様から毎年本命チョコ貰えて。。。
みんなずるいよーーーっ！
° 。°＊。 ゜(ノД`)゜。
387:１３２人目の素数さん
20/02/12 22:39:07 9H+xmq79.net
>>368
魔王がお好きなんですね。
愛の神って、ハンネでモテモテ自慢だったんですか。。。？
非モテから呪われちゃいますね。。。？
＊されないように気をつけてくださいね♪
ごきげんよう((✋))
388:１３２人目の素数さん
20/02/13 01:19:58.55 v2TIc5o5.net
反例も証明のギャップも示せないんじゃスレ閉鎖するしか無いね 残念！
389:１３２人目の素数さん
20/02/13 02:07:46.13 v2TIc5o5.net
>>22
>ところが、iid(独立同分布)を仮定して、1つのサイコロの目の数を入れると
>1つの的中確率1/6
>n個の的中確率1/6^n
>的中できる数n=100 なら、的中確率1/6^100≒0
これって当てずっぽうで当てようとした場合の確率じゃんｗ
これで何を示した気になってるの？ バカ過ぎｗ
390:１３２人目の素数さん
20/02/13 05:06:15 9yDFIPOD.net
>>356
#球体ホモトピー？
391:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/13 08:03:04 r2opBcOW.net
>>110 戻る
下記、「この研究所の望月新一さんもこの予想に取り組んでいます」か
平成19年は、2007年ですね。当時から、望月新一さんがABC予想に取り組んでいることは、知られていたのか（＾＾；
いや、Frey 曲線と abc 予想の結びつきが面白いと思ったんだ
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
平成19年度(第29回)数学入門公開講座テキスト(京都大学数理解析研究所，平成19年7月30日～8月2日開催)
R = T 定理の仕組みとその応用
安田 正大
(抜粋)
Fermat 予想の反例と Frey 曲線とを結びつける発想を一般化して, 0 でない 3 整数 a, b, c に関する等式
a + b = c と, 楕円曲線 y^2 = x(x ? a)(x + b) とを結びつけて考えることもできます, このとき Szpiro 予想
が何を意味するのかを考えることによって, Masser と Oesterl´e は abc 予想と呼ばれる次の予想に到達しま
した3
予想 1.2. 任意の実数 ε > 0 に対して実数 C(ε) > 0 が存在して次を満たす: 正の整数 a, b, c が a + b = c
を満たし, さらに a と b の最大公約数が 1 であるとき, a, b, c のいずれかを割り切る素数の積を N とす
ると, 不等式
(1.3) c < C(ε)N^(1+ε)
が成立する.
この予想が正しいとすると Fermat 予想が十分大きな n について正しいことがわかります. この abc 予
想には, 不等式 (1.3) にいくつかのバリエーションがあり, もっと精密な評価を与えるものもあります.
この研究所の望月新一さんもこの予想に取り組んでいます.
注
3：予想 1.2 の主張中の N^(1+ε） を N^(6/5+ε) に弱めたものが, y^2 = x(x ? a)(x + b)
の形に表せる楕円曲線 E に制限した Szpiro 予想と同値になります.
(引用終り)
392:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/13 08:04:36 r2opBcOW.net
>>369
＞奥様から毎年本命チョコ貰えて。。。
奥様からは、本命なのでしょうが、チョコは来ません（＾＾；
393:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/13 12:11:47.07 Di2gg/DV.net
>>324 補足
オイラーの定数の定義式の前半のΣ k=1～n（1/k）は、いわゆる調和数 Hnであり
これのある予想（下記 Lagariasなど）が、Riemann Hypothesisと等価だという
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
オイラーの定数
γ：＝ lim n→∞ {（Σ k=1～n（1/k） -ln(n)}
URLﾘﾝｸ(en.wikipedia.org)
Euler?Mascheroni constant
URLﾘﾝｸ(ja.wikipedia.org)(%E7%99%BA%E6%95%A3%E5%88%97)
調和数 (発散列)
(抜粋)
数学において、n-番目の調和数（ちょうわすう、英: harmonic number）は 1 から n までの自然数の逆数和
H_n=1+1/2+ 1/3+・・・ + 1/n=Σ k=1～n (1/k)
である。これは、1 から n までの自然数の調和平均の逆数の n-倍に等しい。
調和数は遥か昔から研究され、数論の各分野において重要である。調和数の極限は、調和級数と呼ばれ（しばしば調和数も含めて一口に調和級数と呼ぶこともある）、リーマンゼータ函数と近しい関係にあり、また種々の特殊函数のさまざまな表示に現れる。
URLﾘﾝｸ(mathworld.wolfram.com)
Riemann Hypothesis
(抜粋)
By modifying a criterion of Robin (1984), Lagarias (2000) showed that the Riemann hypothesis is equivalent to the statement that
Σ(n)<=H_n+exp(H_n)lnH_n, (5)
for all n>=1, with equality only for n=1, where H_n is a harmonic number and sigma(n) is the divisor function (Havil 2003, p. 207).
URLﾘﾝｸ(mathworld.wolfram.com)
The plots above show these two functions (left plot) and their difference (right plot) for n up to 1000.
URLﾘﾝｸ(www.math.lsa.umich.edu)
An Elementary Problem Equivalent to the Riemann Hypothesis JC Lagarias (July 29, 2001 version)
URLﾘﾝｸ(ja.wikipedia.org)
リーマンゼータ関数
394:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/13 14:25:43 Di2gg/DV.net
>>376 つづき
さて、上記から見ると、オイラー定数γのうち、後半の -ln(n) 部分は初等関数なので、比較的素性は分かっているとして
調和数 Hn について、初等的かつ簡単な考察をしてみる
１．いま、γが有理数か無理数かの問題なので、Hnの小数部分に注目する
FR(x)＝x-[x] という関数を考えよう。
[x]は、いわいる階段関数で、実数ｘに対し、ｘを超えない最大整数とする（ガウス記号）で、x 正として FR(x)＝x-[x] は小数部分を表す
２．FR(Hn)＝Hn-[Hn] は、その式の形から、ｎ有限で有理数であって、分子/分母 の形になることは自明
分母に着目すると、単純に通分して、1*2*3・・・n となるが、一方 オイラー積を考えると
近似としては、分母は Πpi とできるだろう（素数の積で、 i＝1～m ここに、piはn以下の素数の全て)
３．いずれにせよ、nが大きくなると、分母に来る素数piも増えて、FR(Hn)は循環小数として、周期がどんどん長くなる
n→∞では、周期も無限大になり、無理数になると予想される
その出自から、有限次数の代数方程式の根なるとも思えないから、おそらくは超越数
４．同様に、後半のFR(ln(n))＝ln(n)-[ln(n)] を考察すると、任意 n>=2で超越数なので（下記 リンデマン）
n→∞でも、超越数になると予想される
５．そうすると、オイラー定数γは、全く出自の違う ２つの数 FR(Hn)-FR(ln(n)) が
n→∞で、超越数t1－超越数t2 となると予想される
直感的に、t1－t2 が有理数となるとすれば、t1とt2との間に、何か特別な関係があるはずと予想される
逆に、t1とt2との間に、特別な関係がないと予想されるならば、普通は超越数になるだろうと予想される
６．あるHnのn→∞の極限の値が、Riemann Hypothesisと等価だというから、数学的には Hnが 数学的に深い存在でしょう
ということは、FR(Hn)-FR(ln(n)) が有理数であるという証明は、簡単に済むとは思えないのです（＾＾；
もし、γが 有理数にしろ、無理数にしろ、はっきりするとすれば、調和数 Hnの深い研究から出てくる気がする
７．なので、γを直接狙わずに、調和数 Hnの方から攻めた方が、
論文ネタも多くあるだろうし、結果として、遠回りに見えて近道かもしれないと思う今日この頃（＾＾；
つづく
395:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/13 14:26:06 Di2gg/DV.net
>>377
つづき
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
オイラー積
(抜粋)
式に形式的に s=1 を代入すると
ζ (1)= 1／{(1- 1/2)(1- 1/3)(1- 1/5)(1- 1/7)・・・ ｝
ここで左辺は調和級数であり、正の無限大に発散するので右辺も同様に発散すると考えられる。このことから素数の個数は有限ではないことが導かれる
URLﾘﾝｸ(ja.wikipedia.org)
超越数
初等関数の特殊値が超越数となる例
・代数的数 α≠0,1 に対する、log α (リンデマン)
(引用終り)
以上
396:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/13 14:29:32 Di2gg/DV.net
>>376 タイポ訂正
Σ(n)<=H_n+exp(H_n)lnH_n, (5)
↓
σ(n)<=H_n+exp(H_n)lnH_n, (5)
まあ、原文見てください（＾＾；
397:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/13 18:02:42.81 Di2gg/DV.net
>>377 補足
おれだったら、研究するなら、最低でも下記は読み込むけどね
（2013年なので、これでは足りないけどね）
URLﾘﾝｸ(arxiv.org)
EULER’S CONSTANT: EULER’S WORK AND MODERN DEVELOPMENTS
JEFFREY C. LAGARIAS Date: October 10, 2013.
(抜粋)
Abstract. This paper has two parts. The first part surveys Euler’s work on the constant γ = 0.57721... bearing his name, together with some of his related work on the
gamma function, values of the zeta function, and divergent series. The second part
describes various mathematical developments involving Euler’s constant, as well as
another constant, the Euler-Gompertz constant. These developments include connections with arithmetic functions and the Riemann hypothesis, and with sieve methods,
random permutations, and random matrix products. It also includes recent results on
Diophantine approximation and transcendence related to Euler’s constant.
Contents
1. Introduction 2
2. Euler’s work 4
2.1. Background 4
2.2. Harmonic series and Euler’s constant 5
2.3. The gamma function 11
2.4. Zeta values 13
2.5. Summing divergent series: the Euler-Gompertz constant 22
2.6. Euler-Mascheroni constant; Euler’s approach to research 27
3. Mathematical Developments 28
3.1. Euler’s constant and the gamma function 28
3.2. Euler’s constant and the zeta function 32
3.3. Euler’s constant and prime numbers 35
3.4. Euler’s constant and arithmetic functions 36
3.5. Euler’s constant and sieve methods: the Dickman function 39
3.6. Euler’s constant and sieve methods: the Buchstab function 42
3.7. Euler’s constant and the Riemann hypothesis 44
3.8. Generalized Euler constants and the Riemann hypothesis 46
3.9. Euler’s constant and extreme values of ζ(1 + it) and L(1, χ?d) 48
3.10. Euler’s constant and random permutations: cycle structure 51
略
4. Concluding remarks 77
398:１３２人目の素数さん
20/02/13 20:43:48.76 v2TIc5o5.net
バカ>>372に反論できず
反論できないということは敗北を認めたということなので、約束守ってスレ閉鎖して下さい
399:１３２人目の素数さん
20/02/13 21:20:24.66 li72tyeH.net
選択公理を使わずに
第3者が箱の中を覗いて100列の代表元を作った場合
時枝解法を実行すると、解答者は結局
その第3者が箱の中身と一致させた番号の箱を
99/100の確率で選ぶことになって
「当てられるのは当たり前となる」
という理屈は理解できましたか？
400:１３２人目の素数さん
20/02/13 21:30:03.21 li72tyeH.net
もう一点。
代表元を作ってくれる第3者がいないとき
あなたの言う"フルパワー"の選択公理は必要である。
なぜならば、100列に分けた中に
もし代表元が予め選ばれていない同値類に属する元があったら
解法は実行できないから。
したがって「どんなR^Nの元を出題されても解法が実行できる」
と言うためには、R^N/～のすべての同値類から
代表元が予め選ばれていることが必要。
401:１３２人目の素数さん
20/02/13 23:37:36.04 3fZQkZti.net
選択公理を試行として使うことはできない
402:１３２人目の素数さん
20/02/13 23:38:44.33 3fZQkZti.net
間違えた
選択関数を試行として使うことはできない
403:１３２人目の素数さん
20/02/14 00:05:24.83 8cT1yPek.net
>選択関数を試行として使うことはできない
試行は100列の中からランダムに1列選ぶことであり、選択函数は使っていません。
選択函数は単なる存在ではなく、値を知ることができると仮定されています。
404:１３２人目の素数さん
20/02/14 00:27:48 8cT1yPek.net
「選択函数は存在するが、値を知ることはできない」
と仮定しても、時枝解法は成立しない。
405:１３２人目の素数さん
20/02/14 00:54:38.14 Ktcqg9G/.net
選択関数を使って値を知るという事が試行になるんじゃないの？
しかしその試行は選択公理が試行の区別を無くしてしまうため無効になってしまう
406:１３２人目の素数さん
20/02/14 01:15:10.30 8cT1yPek.net
>>388
何か当てずっぽうで適当なこと言ってないですか？
「箱入り無数目」の時枝記事は読まれました？
読んでないなら読まれてから発言してください。
試行は出題された無限列を100列に分けてランダムに1列選ぶことであって
選択公理は一切関係ありません。
>しかしその試行は選択公理が試行の区別を無くしてしまうため無効になってしまう
意味不明なので、記事を読まれた上で詳しく自論を説明してください。
407:１３２人目の素数さん
20/02/14 01:15:21.09 KhbHkail.net
選択公理を仮定 ⇒ 選択関数が存在する ⇒ 代表系が存在する ⇒ どの実数列の決定番号も自然数
ここで各実数列の決定番号の値は不明だが、それでも「100列の決定番号の集合の単独最大元はたかだか一つ」が成立することに注意すれば、選択公理 ⇒ 時枝定理 が言えることが分かる。
時枝戦略にとって選択関数はただ存在するだけで必要十分。具体的にどんな関数かは不問。
408:１３２人目の素数さん
20/02/14 01:39:46.71 8cT1yPek.net
>試行は出題された無限列を100列に分けてランダムに1列選ぶことであって
>選択公理は一切関係ありません。
失礼。決定番号100本をΩとするなら、関係ありますね。
ちょっと混乱してきました。
記事にある数当てまでするとすれば、選択函数の値まで知ることが必要と思います。
409:１３２人目の素数さん
20/02/14 01:51:34.73 KhbHkail.net
>各実数列の決定番号の値は不明
は、我々には不明という意味ね。我々は代表系の存在しか分かってないから。
「各類から代表を選び，代表系を袋に蓄えておく.」が時枝戦略の手順なので
戦略の実行者は具体的な値を知ることができる設定。
410:１３２人目の素数さん
20/02/14 01:55:07.91 KhbHkail.net
>>391
>記事にある数当てまでするとすれば、選択函数の値まで知ることが必要と思います。
数当てする人は知ることができる設定ですよ。
「各類から代表を選び，代表系を袋に蓄えておく. 幾何的には商射影 R^N→ R^N/～の切断を選んだことになる.」
ですから。
411:１３２人目の素数さん
20/02/14 02:04:54.03 KhbHkail.net
この数当てする人って、数列の無限項すべてを見通せるとか、商射影 R^N→ R^N/～の切断を決定できるとか、人智を超えた能力を持っているのですｗ
だから我々の直観と異なる結果になっても実は不思議じゃないのです。数学が分かる人にとっては。
数学がダメな直観頼みな人は拒絶反応を示しますけどねｗ 実際このスレにも一人いますｗ
412:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 07:35:04.18 lUy1Die6.net
>>394
>この数当てする人って、数列の無限項すべてを見通せるとか、商射影 R^N→ R^N/～の切断を決定できるとか、人智を超えた能力を持っているのですｗ
正しい
選択公理とか、グロタン宇宙を作るとか、望月宇宙を作るとか、現実を超えた世界の話で、それが数学の力でしょ
>だから我々の直観と異なる結果になっても実は不思議じゃないのです。数学が分かる人にとっては。
正しい
そういう正しいパラドックスもある
>数学がダメな直観頼みな人は拒絶反応を示しますけどねｗ 実際このスレにも一人いますｗ
間違っている
将棋でも囲碁でも、トッププロは直感でソフト推奨の正解手が浮かぶ
へぼは、直感で、へぼ筋が浮かぶ
数学も同じ。レベルが上がれば、直感で正解が浮かぶ
数学へぼは、直感で不正解が浮かぶ。確率論を知らない人は、時枝読んで騙される
413:１３２人目の素数さん
20/02/14 07:36:20.07 HsY58hvJ.net
お早うございま～す！
皆様さわやかな💗バレンタイン💖の
朝をお迎えでしょうか？
え？普通？それは良かった！(´∇｀*)
変態は二日酔いで～す(││Д│)ｹﾞｯ!
昨日のお誕生日のシャンパン２杯で
悪酔いしましたー！
来年こそは勝利のバレンタインに向けて心機一転、出直しまーす！
そこでまず、気がつきましたが、
名前が「変態」ってまずいです...
なぜ「変態」だの「ゲイ野郎」だの
身覚えのない捨て台詞を吐かれてしまったのか...？遡ってみて、たぶん、
ガルちゃんスレのキティ仲間の
虹女ちゃんが数板にくっついて来て、
出張嵐を敢行なさってらした時の
変態書き込みが名無しの仕業？って
ドン引きされちゃったのかな？って。。。
「変態」の異名を賜った理由がそれなら、全然勘違いですよ～だ。
虹女ちゃんのホモへの興味がどこから湧くのかは永遠の謎でしょうが、
名無しは＊常連喪女スレ＊参加者必修の
ホモビ(ホモＡＶ)講座も受講してないぐらいのもぐりだから、あんな変態用語駆使しようが無いんです...
虹女ちゃんと名無しのホモ学での実力差は、ホモ学修士とホモ大学不合格ぐらいの差なんです...
なので、「変態」(←ホモ博士・プロホモ研究者並み)なんて、とんでもござらんので「気持ち悪い絵文字使い」で
「キ文字」に改名します。
きもじ、しめじっぽい。来年こそ明るい💝バレンタイン💗の朝を迎えるぞ～！
お騒がせしました。。。＠きもじ＠でしたー。。。
414:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 07:44:49.11 lUy1Die6.net
>>389-390
時枝における選択公理の役割については、賛成する
つまり、下記のSergiu HartのPDFで、時枝と類似のことを扱っている
GAME1が、選択公理を使う場合
GAME2が、選択公理を使わない場合
どちらも、ロジックは同じと、Sergiu Hartは言っている
これが正しいとすると、
１．フルパワー選択公理は必ずしも必要がないこと
２．フルパワー選択公理を使わないGAME2には、非可測集合は関係しないから、この点で時枝記事の後半の非可測議論は外れです
（参考）
URLﾘﾝｸ(www.ma.huji.ac.il)
Sergiu Hart
Some nice puzzles:
100 Cards
Choice Games ← これが問題のPDF URLﾘﾝｸ(www.ma.huji.ac.il)
(引用終り)
415:１３２人目の素数さん
20/02/14 07:45:02.01 HsY58hvJ.net
>>396
↑訂正します。
＞ホモ大学 誤
ホモ女学院大学 正
(女子大でした。。。)
416:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 07:45:41.15 lUy1Die6.net
>>396
どうも。スレ主です。
レスありがとう（＾＾；
417:１３２人目の素数さん
20/02/14 07:50:36.36 HsY58hvJ.net
主様、お早うございましたー。
今年も🌺奥様💐と
良い💖バレンタインデー💗です様に。。。
🌺パートナー💗の方に恵まれてらして
羨ましぃ。。。
きもじも来年は主様みたいに
💗カップリング💞出来る様に頑張りまーす！
418:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 07:52:10.48 lUy1Die6.net
>>377 補足
(引用開始)
５．そうすると、オイラー定数γは、全く出自の違う ２つの数 FR(Hn)-FR(ln(n)) が
n→∞で、超越数t1－超越数t2 となると予想される
(引用終り)
ちょっと気付いたので補足しておく
lim n→∞ FR(Hn) が、収束するかどうかが、非自明
つまり、調和数Hnは、発散級数で n→∞になる
FR(Hn)はその小数部分を取り出したものだが、これが収束するかどうかが、非自明です
でも、n→∞ で、ｎ有限で長い循環小数（＝有理数）で、”循環周期が無限大になる”ことに限れば、証明できると思う
419:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 07:53:33.61 lUy1Die6.net
>>401 タイポ訂正
つまり、調和数Hnは、発散級数で n→∞になる
↓
つまり、調和数Hnは、発散級数で n→∞ Hn→∞ になる
420:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 07:54:32.55 lUy1Die6.net
>>400
はい、ご健闘をお祈りします（＾＾
421:１３２人目の素数さん
20/02/14 09:58:02 frNPW5Ql.net
>>389
＞何か当てずっぽうで適当なこと言ってないですか？
お前が名
422:１３２人目の素数さん
20/02/14 13:00:56 Xeh8yllg.net
動画リンク
URLﾘﾝｸ(youtu.be)
ファイル名
令和のコペルニクス.mp4
六角アミダって有りそうで無いので自作しました。
423:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 14:39:21.58 TWX3ywPC.net
>>405
どうもスレ主です。
ありがとう
見た
意味わからんかったなｗ（＾＾；
0.25倍速で繰り返し見たよ(゜ロ゜;
424:１３２人目の素数さん
20/02/14 15:52:05.06 qY/rwOYr.net
>>406
ソースコードはこちら。
URLﾘﾝｸ(yahoo.jp)
425:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 16:11:52.83 TWX3ywPC.net
>>407
どうもスレ主です。
ご苦労様です。
426:１３２人目の素数さん
20/02/14 18:43:46 Xeh8yllg.net
>>1
>いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。
高校数学から少し難しくなる理由の一つとして、私は無限や収束の概念のように、
完全には可視化することができないコンセプトが入ってくることがあげられると思います。
そんなときにコンピュータを使うことができると、無限を理解する手助けになると思います。
URLﾘﾝｸ(mywarstory.tokyo)
数学の世界はコンピューターの世界だと思う。ユークリッド幾何学なんてのは現実世界に存在しないから。
427:１３２人目の素数さん
20/02/14 19:06:47 KhbHkail.net
>>395
>数学へぼは、直感で不正解が浮かぶ。確率論を知らない人は、時枝読んで騙される
確率論は無関係ですね。The Riddle は確率を使ってませんので。
確率論をもって時枝不成立などと世迷言を言う輩に数学は無理ですね。時枝＝The Riddle+小学校の確率 ですから。
まあ騙されるなどと豪語するからには証明のギャップを示す自信があるのでしょうね。早く示して下さい。待ち草臥れましたよ？
428:１３２人目の素数さん
20/02/14 19:12:02 KhbHkail.net
>>395
>時枝読んで騙される
と豪語するのに証明のギャップを示さないということは
「証明のギャップなんてクソくらえ、数学は直観がすべてだ」
と言いたいんですかね？あなたらしいですね（＾＾；
そんなあなたに数学は無理ですね、諦めてスレ閉じましょう（＾＾
429:１３２人目の素数さん
20/02/14 19:15:41 Xeh8yllg.net
>>395
>将棋でも囲碁でも、トッププロは直感でソフト推奨の正解手が浮かぶ
すると現在のコンピューター囲碁の、トッププロを超える棋力は「直感」？
430:１３２人目の素数さん
20/02/14 19:38:09 8cT1yPek.net
「無限列があれば見通せる、選択函数があればその値を知ることができる」
が
431:解答者の設定だというのは>>392->>394さんのおっしゃる通りですね。
432:１３２人目の素数さん
20/02/14 19:41:34 8cT1yPek.net
>>404
試行は100列からランダムに1列選ぶこと。
アタリ（単独最大決定番号を持たない）ハズレ（単独最大決定番号を持つ）は選択函数に依存するが
試行の度に選択函数（同じことだが代表系）を変えるわけではない。
>しかしその試行は選択公理が試行の区別を無くしてしまうため無効になってしまう
意味不明なので、テキトーでないなら説明して下さい。
433:１３２人目の素数さん
20/02/14 19:45:00 Ktcqg9G/.net
>>409
アルゴリズムで解けない問題とかあるじゃん
434:１３２人目の素数さん
20/02/14 19:47:51 KhbHkail.net
コンピュータ上にはNすら実装できない訳だが
435:１３２人目の素数さん
20/02/14 19:52:24 Ktcqg9G/.net
>>414
お前がいみふｗ
436:１３２人目の素数さん
20/02/14 19:57:58 8cT1yPek.net
直感なんてタネを明かせば神秘性などない。
人類が進化の過程で身に付けてきた（間違うこともあるが）
効率よく答えに到達する「速い思考」でしょう。
ヒューリスティックという言葉もある。
一方で、数学は計算・論理で裏付けられた「遅い思考」に重点があることは確か。
437:１３２人目の素数さん
20/02/14 20:00:58 8cT1yPek.net
>>417
説明できないんですね？ 了解しました。
438:１３２人目の素数さん
20/02/14 20:06:01 Ktcqg9G/.net
↑カッコツケンナ
439:１３２人目の素数さん
20/02/14 22:03:35.39 dnVoJYSz.net
ID:Ktcqg9G/ って中卒DQNだろ
数学板書くな いや 読むな
中卒DQNの貴様には全然理解できねぇから
ギャハハハハハハ（嘲笑）
440:１３２人目の素数さん
20/02/14 22:07:18.37 dnVoJYSz.net
＞選択関数を試行として使うことはできない
中卒DQNが分けも分からず試行とかいうなよ
ギャハハハハハハ（嘲笑）
441:１３２人目の素数さん
20/02/14 22:11:30.67 dnVoJYSz.net
ID:Ktcqg9G/ ってこんなん↓だろ
URLﾘﾝｸ(www.youtube.com)
442:１３２人目の素数さん
20/02/14 22:49:30.72 dnVoJYSz.net
選択公理抜きの問題
１０進自然数 １００個から１個を選ぶ
他の９９個の自然数の最大桁数＋１をＤとすると
選んだ自然数の桁の最大桁数がＤ以上である確率は１／１００以下
443:１３２人目の素数さん
20/02/14 23:03:27.57 Ktcqg9G/.net
キャラ変えてやがるキメー
444:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 23:23:49.85 lUy1Die6.net
(>>110より)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
平成19年度(第29回)数学入門公開講座テキスト(京都大学数理解析研究所，平成19年7月30日～8月2日開催)
R = T 定理の仕組みとその応用
安田 正大
この講座では, Fermat 予想の証明のために Wiles, Taylor-Wiles が確立した R = T 定理に関する最近の
発展と応用についてお話します.
この原稿は数学の専門家でない方を対象にして書かれており, 内容の正確さよりも, 大体の感じをつかん
でもらうことを目標としています. 読者に難解な印象を与えないようにするために, 専門家向けの文章では
許されないようなあいまいな表現の仕方をあえてしている部分があります.
1. Fermat 予想
19. 謝辞
草稿段階の本原稿に目を通してくださり, たくさんの有益な助言を下さいました山下剛さんに感謝いたし
ます.19
(引用終り)
これ、読んでみたけど、結構面白かった
お薦めです（＾＾
445:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/14 23:27:39.07 lUy1Die6.net
>>425
ID:Ktcqg9G/さん、どうも。スレ主です。
ご参考に、>>2-4を読んでおいてね
サイコパスにご注意ください
446:１３２人目の素数さん
20/02/15 00:05:53 wkbeXV+N.net
>>423
かっこｅ💗
447:１３２人目の素数さん
20/02/15 00:06:46 wkbeXV+N.net
>>425
ほんとに✨ＤＱＮ✨だったんですか？
448:１３２人目の素数さん
20/02/15 00:07:41 wkbeXV+N.net
って、すう板にいるわけないか。
449:１３２人目の素数さん
20/02/15 00:09:08 wkbeXV+N.net
なりぷっ様はめ～とん君役だったんですか...？
450:１３２人目の素数さん
20/02/15 00:10:10 wkbeXV+N.net
喪女が１人２役のおじさん役。。。
451:１３２人目の素数さん
20/02/15 00:16:00 wkbeXV+N.net
Σ(´Д｀;)ﾊｯ!
まさか、ＤＱＮも？
１人３役、笑笑のお局様まで、４役、、、
まさか、主様まで...
─
452:ガロア座の怪人─ 支配人、ヒロイン、敵役... 全て...なりぷっ様がお１人で...？ ❓
453:１３２人目の素数さん
20/02/15 00:18:54 LSP2yZ16.net
反例まだ～？
☆ ﾁﾝ ﾏﾁｸﾀﾋﾞﾚﾀ～
ﾏﾁｸﾀﾋﾞﾚﾀ～
☆ ﾁﾝ 〃 ∧＿∧
ヽ＿＿_＼(＼･∀･)
＼＿／ ⊂ ⊂＿)
／￣￣￣￣￣ ／|
|￣￣￣￣￣￣| |
| 愛媛みかん |／
￣￣￣￣￣￣
454:１３２人目の素数さん
20/02/15 00:19:15 LSP2yZ16.net
証明のギャップまだ～？
☆ ﾁﾝ ﾏﾁｸﾀﾋﾞﾚﾀ～
ﾏﾁｸﾀﾋﾞﾚﾀ～
☆ ﾁﾝ 〃 ∧＿∧
ヽ＿＿_＼(＼･∀･)
＼＿／ ⊂ ⊂＿)
／￣￣￣￣￣ ／|
|￣￣￣￣￣￣| |
| 愛媛みかん |／
￣￣￣￣￣￣
455:１３２人目の素数さん
20/02/15 00:36:09 A11V8WdY.net
º º
＼ ＼
(Д ;)
456:１３２人目の素数さん
20/02/15 00:36:31 A11V8WdY.net
ﾏﾀｽﾞﾚﾀ...
457:１３２人目の素数さん
20/02/15 00:44:11 A11V8WdY.net
お休みなさーいっ！ﾋﾟｭｯΣΣ Σ ΞΞ┃
458:１３２人目の素数さん
20/02/15 01:15:59 LSP2yZ16.net
>>397
>１．フルパワー選択公理は必ずしも必要がないこと
単にgame２は選択関数が構成可能な設定だから選択公理不要なだけ
>２．フルパワー選択公理を使わないGAME2には、非可測集合は関係しないから、この点で時枝記事の後半の非可測議論は外れです
二重に間違ってる。
時枝記事はgame1類似なので選択公理は必要、そのため非可測集合ができる。
しかし時枝戦略の確率は単に100個の（重複を許す）自然数から単独最大元を引かない確率なので非可測性は無関係。よって自称確率論の専門家の指摘は当たらない。
記事後半の「選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.」が外れというのは同意だが、二重の間違いで結果的に一致しただけ。裏の裏は表。
459:１３２人目の素数さん
20/02/15 01:18:33 LSP2yZ16.net
そんなことより早く反例なり証明のギャップなり提示してもらえませんかね？
提示できないなら約束守ってスレ閉じましょうね
サイコパスだから約束は守れない？
460:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/15 06:09:19 tI+VIYb9.net
>>439
同じことを言っていると思うが
>>397で言っていることは
時枝戦略の成立 or 不成立と、フルパワー選択公理の使用 or 不使用 とは無関係ということ
∵ フルパワー選択公理を使わないGAME2が、可算選択公理の下で成立するとすれば、可算選択公理→フルパワー選択公理に変えたGAME1も同様に成立するだろうから
逆に、時枝戦略の成立 or 不成立は、GAME2で考えても同様だってこと。GAME2が不成立なら、GAME1も不成立だろう
だから、時枝氏が記事で書いている、「選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.」は、数学的に無意味
461:１３２人目の素数さん
20/02/15 09:07:40.85 evPrm7Qa.net
GAME2は箱の中身を確率変数とした場合、
独立同分布といえないんじゃね？
なんか瀬田は何も考えてないよな
だいたい選択公理抜きっていいたいなら
>>424でいいじゃん アホか
462:１３２人目の素数さん
20/02/15 09:09:22.93 evPrm7Qa.net
＞ガロア座
ガロアもグロタンディクも
瀬田みたいなどシロウトに
わけもわからず持ち上げられて
いい迷惑だよな
463:１３２人目の素数さん
20/02/15 09:12:32.37 evPrm7Qa.net
＞GAME2が不成立なら、GAME1も不成立だろう
GAME２は成立するよ 代表元が選べるからね
え？瀬田はGAME２も否定すんの？
じゃ、もしかして>>424も否定すんの？
464:１３２人目の素数さん
20/02/15 09:15:39.73 evPrm7Qa.net
ところでセタは瀬田でいいの？
ほかにも世田・畝田・勢田・勢多とかいろいろあるけど
465:１３２人目の素数さん
20/02/15 09:21:38.49 evPrm7Qa.net
>>439
＞時枝戦略の確率は単に100個の（重複を許す）自然数から
＞単独最大元を引かない確率なので非可測性は無関係。
その通り
>>440
＞早く反例なり証明のギャップなり提示してもらえませんかね？
ほんと
あのPrussですらThe Riddleは否定しなかったのにな
瀬田はPrussのNon-conglomerabilityが全然理解できなかったんだな
「箱入り無数目」は箱の中身を確率変数とする場合、
数列の場合分けの仕方でいくらでも確率の値が変わる
そこがパラドックスの源泉だということも理解せずに
●●の一つ覚えで、自分勝手な分割の仕方を
唯一無二の方法と妄想して自分だけが正しいと絶叫
ホント、迷惑な●違いだな 瀬田は
466:１３２人目の素数さん
20/02/15 09:23:40.28 A11V8WdY.net
ＳＥＴＡ様ってかっこいい響きですね
シータっぽいw
467:１３２人目の素数さん
20/02/15 09:28:15.84 evPrm7Qa.net
時枝の「箱入り無数目」で悩ましいのは
毎回、箱の中身を入れ替える場合でも
100人がそれぞれ違う列を選ぶ場合には
99人が当たってしまう点
Prussも確率は計算できないといってるが
その結果100人の確率の対称性が成り立たない
という主張に至っている
100人が100人とも同じ確率になる、といってしまったら
「箱入り無数目」の結論を認めざるを得なくなるから
468:１３２人目の素数さん
20/02/15 09:28:34.26 A11V8WdY.net
でもほんとは 格好良いＳＥＴＡ
じゃないかも知れない...
469:１３２人目の素数さん
20/02/15 09:34:14.16 evPrm7Qa.net
>>447
Seta…SET A…集合A
♪じれったい じれったい
いくつにみえても 私誰でも
じれったい じれったい
私は私よ 関係ないわ
特別じゃない どこにもいるわ
私 集合A
URLﾘﾝｸ(www.youtube.com)
※諸般の事情で唄ってるのは中森明菜ではありませんｗ
470:１３２人目の素数さん
20/02/15 09:38:24.37 A11V8WdY.net
>>450
なりぷっ様、劇団四季でリトルマーメイドやって欲しかった。。。
えもきは前に品川住みだったんです。。。
大井町が最寄りターミナルでリトルマーメイドをままちんと「観たいね～♪」っていって通りすぎてました。。。
女優さんとか、声優さんとか、天職だったんじゃ。。。？( *´艸｀)
471:１３２人目の素数さん
20/02/15 09:42:29.30 A11V8WdY.net
えもきも🌈ガロア座🌈みたいな
１人７役くらいこなせる劇場支配人で
脚本家兼監督兼俳優ってやってみたいw
472:マーラ様(￣ー￣)
20/02/15 09:44:12.66 evPrm7Qa.net
なりぷっ、て誰だ？
我は第六天魔王 Mara Papiyas
数学テロリスト 集合A ＜＜＜＜＜＜＜ 数学板の第六天魔王
URLﾘﾝｸ(www.youtube.com)
473:１３２人目の素数さん
20/02/15 09:46:17.93 A11V8WdY.net
主様の(仮)名がＳＥＴＡ様で良かったです♪
変なお名前つけられちゃってたらイメージダウン⤵しちゃいますもんね。。。
＊ＳＥＴＡ＊様、格好良いです！♪♪
474:１３２人目の素数さん
20/02/15 09:47:13.73 A11V8WdY.net
>>453
ぷっちゃま可愛ｅ💗
( *´艸｀)♪
475:１３２人目の素数さん
20/02/15 09:48:28.61 A11V8WdY.net
>>453
あ、じゃあえもはルシファーで～す♪
w
476:１３２人目の素数さん
20/02/15 09:49:16.92 j5WhwZjA.net
>>442
いや、game1で、独立同分布の確率変数で、反例出せば良い
そうすれば、game2も潰れるよ
477:１３２人目の素数さん
20/02/15 09:54:31.20 zLcVy9s0.net
>>448
毎回箱の中身を入れ替える出題をN回行うことと
N人が一斉に出題することは等価ですね。
100列の分け方は共通として
1題ごとにランダムに1列選ぶ
設定と
N題すべてに共通の1列をランダムに選ぶ
設定が考えられる。
後者の勝率99/100は言えないとして、前者は言えるんじゃないですか？
478:１３２人目の素数さん
20/02/15 09:55:45.74 evPrm7Qa.net
「集合A」君の数学と書けて
日向坂 齊藤京子の料理と解く
その心は・・・
URLﾘﾝｸ(www.youtube.com)
479:マーラ様☆(・ω<)
20/02/15 10:02:33.34 evPrm7Qa.net
>>458
100人が同じ100列の中からそれぞれ異なる列を選ぶのがポイント
そこはずすと「99人当たる」とは言えない
480:１３２人目の素数さん
20/02/15 10:03:19.13 A11V8WdY.net
料理ｸﾞﾁｬｸﾞﾁｬ...
他人事ﾄ思ｴﾅｨ... 。 ゜(。つД｀)。
481:１３２人目の素数さん
20/02/15 10:06:33.59 A11V8WdY.net
「日向坂」ぐぐったら
↓
「日向坂 可愛いくない」
「日向坂 ブスばっかり」
「日向坂 性格悪い」
・・・
汗)これは...？
482:１３２人目の素数さん
20/02/15 10:08:20.38 evPrm7Qa.net
>>4
483:61 集合A君の当スレでのトンデモ発言の後の読者諸氏の叫び ＝齊藤京子の料理破壊工作ｗの後の宮田愛萌の叫び 「ちょっと！何やってんですか！」
484:１３２人目の素数さん
20/02/15 10:09:01.80 A11V8WdY.net
(ちょっと嬉しい。。。
( *>艸<)ﾌﾟﾌﾟﾌﾟｯ!)
ねっ！？なりぷっ様！？
485:１３２人目の素数さん
20/02/15 10:12:09.13 evPrm7Qa.net
>>462
可愛いコもおるで~
しかも大阪のコやで~ 信じられへんｗ
URLﾘﾝｸ(www.youtube.com)
486:１３２人目の素数さん
20/02/15 10:12:33.18 A11V8WdY.net
>>463
なりぷっ様はお料理ダメ女でも
＊＊マッスー女子＊＊だから
格好良くってセーフ！！！
ですね。。。
良かったですね...一芸に秀でる才に恵まれて。。。ｳﾗﾔﾏｼｨ...
487:１３２人目の素数さん
20/02/15 10:14:58.42 A11V8WdY.net
>>465
(なりぷっ様)推しがズレてる理由が
解りましたよ。。。
。。。( ´_ゝ`)ｿﾘｬ ｽﾞﾚﾙﾜｹﾀﾞﾜ...
488:１３２人目の素数さん
20/02/15 10:17:58.80 A11V8WdY.net
また微(妙)少女を...
(...っｗ！((😆))
ごっめんなさ～いっ！)
489:１３２人目の素数さん
20/02/15 10:18:58.78 evPrm7Qa.net
ん？私が日向坂で一番推してるのは実はこのコだが
URLﾘﾝｸ(www.youtube.com)
490:１３２人目の素数さん
20/02/15 10:20:01.36 A11V8WdY.net
なりぷっ様がおじさんだったら
(幸せになれそう。。。)って思えたご趣味でした。。。w
491:１３２人目の素数さん
20/02/15 10:21:27.33 A11V8WdY.net
>>469
「ひなのヲタおじさん」キャラ、、、
王道ですね♪
492:１３２人目の素数さん
20/02/15 10:22:26.26 evPrm7Qa.net
>>468
えー、Seventeenのモデルもやってる小坂がビミョー？
じゃ、君がいう美少女ってどんなんよ？
493:１３２人目の素数さん
20/02/15 10:24:02.95 A11V8WdY.net
Σ(´Д｀;)ﾊｯ!
劇場のお邪魔しちゃってｺﾞﾒﾝﾅｻｨ...
494:１３２人目の素数さん
20/02/15 10:24:44.78 A11V8WdY.net
>>472
(美少女に興味)ないです。
495:１３２人目の素数さん
20/02/15 10:27:29.79 evPrm7Qa.net
>>474
いや、君が美少女に興味あるかどうかなんてどうでもええがな
君が考える美少女ってどんなんか例あげて示せいうとる
さっさとやらんかい ワレｗ
496:１３２人目の素数さん
20/02/15 10:30:39.40 A11V8WdY.net
なぜ大阪弁に。。。？
しいていうなら、、、🤔
って前にもう２例あげました。。。
ﾎﾏｷと上戸彩ちゃんくらいかな？って。
497:１３２人目の素数さん
20/02/15 10:33:08.96 A11V8WdY.net
えもは🐈子猫ちゃんに
💘ｷｭﾝｯ!派です😊
498:１３２人目の素数さん
20/02/15 10:34:23.75 A11V8WdY.net
prettymenに💘って意味です♪
499:１３２人目の素数さん
20/02/15 10:38:38.12 A11V8WdY.net
なりぷっ様はやっぱり、ショルツ様みたいな方が理想MANなんですか？
500:１３２人目の素数さん
20/02/15 10:41:55.10 A11V8WdY.net
ショルツ様はもうお子様もいらっしゃるから、もっち様はいかがでしょうか...
501:１３２人目の素数さん
20/02/15 10:44:15.42 A11V8WdY.net
(再び)Σ(´Д｀;)ﾊｯ!
。。。すす、すう板じゃ
なくなってる。。。❓ﾁｬｯﾄ...
502:１３２人目の素数さん
20/02/15 10:46:36.76 A11V8WdY.net
えもはなりぷっ様が
＊＊もっち夫人＊＊になられたいなら
応援してます...！
ｷﾓﾁﾀﾞｹﾃﾞ ﾓｳｼﾜｹﾅｽ。。。
503:悪魔
20/02/15 10:50:56.10 A11V8WdY.net
板違い嵐失礼しました～！
504:１３２人目の素数さん
20/02/15 10:53:03.89 evPrm7Qa.net
>>476
あ、思い出したｗ そんなんいうてたな
個人的には、デビュー時の小坂は堀北真希の進化版
だと思ったんだが、違うのか
505:１３２人目の素数さん
20/02/15 10:54:31.84 A11V8WdY.net
>>484
(全然違う！)
506:お邪魔
20/02/15 10:59:40.29 A11V8WdY.net
(個人的にﾁｬｯﾄでやれよ！って
キレられちゃうし、大概にしといて
ランチ買いに行ってきますね...(汗
507:お邪魔虫
20/02/15 11:04:41.79 A11V8WdY.net
なりぷっ様、関西弁だと主様と合うかも？ですね♪
では、みなさま
ぜひぜひ素敵な土曜日ランチ
お召し上がりください♪
お騒がせいたしました。
失礼いたします。。。
508:マーラ様☆(・ω<)
20/02/15 11:13:08.98 evPrm7Qa.net
>>485
そうなんだぁ
なにがどう違うのか全然わからんがｗ
>>486
集合Aの数学破壊発言に比べたら全然問題ねぇよｗ
>>487
＞関西弁だと・・・合うかも？
それは絶対ねぇわ！
数学テロリストはこの世から抹殺(￣ー￣)
509:１３２人目の素数さん
20/02/15 11:19:02.67 zLcVy9s0.net
シュールなスレになったなｗ
510:１３２人目の素数さん
20/02/15 11:23:25.88 evPrm7Qa.net
今日のネタ
URLﾘﾝｸ(headlines.yahoo.co.jp)
＞官邸は『女性天皇』の実現についての議論をする気はさらさらない
いよいよ、日本にも革命が起きるな
＞政府内で「安定的な皇位継承の対策案」について、議論を見送る
＞つまり、女性・女系天皇の是非について、国会では話し合わない
国会が無視しても、国民が無視しない
これで、日本革命が起きる
＞「今話し合わないのであれば、
＞ 女性天皇の実現の可能性は
＞ 限りなくゼロに近くなった」
正しくは「合法的に女性天皇が実現する可能性がなくなった」
これで、日本革命が起きる
＞『国論を二分する議論は避けたいから』
＞今の時点では
＞“次の天皇には愛子さまがふさわしいのか”
＞“秋篠宮家からは天皇を出さないのか”
＞を問うことになる
二分はない
大多数の国民は
「次の天皇は愛子様しかない」
「Ａ宮家のクソガキに天皇なんかムリ」
と思ってる
（続く）
511:１３２人目の素数さん
20/02/15 11:32:14 evPrm7Qa.net
＞「眞子さまのご結婚が揺れていることの影響は大きい。
＞ 今後、愛子さまのご結婚相手が現れたら、
＞ その人物について問題が生じないとは言い切れない。
＞ “女性皇族には結婚リスクがある”と、
＞ 制度を話し合うべき政治家が感じてしまった」
”男性皇族には結婚リスクがない”
と思う政治家は男尊女卑のアナクロ爺婆
そもそもマコの件でケチがついたのはA宮家
マコはダメんずとケッコンしたがってる
カコはダンス三昧
別にいいよ みんな好きなことやる権利がある
しかし皇族として認められるかどうかは別問題
それは男女無関係だな
あそこの挙動不審の小僧は何やらかすか分からん
天皇とかいう以前に人間としてヤバいレベル