20/06/04 07:48
539::32.91 ID:f8QhyC0+.net
540:１３２人目の素数さん
20/06/04 08:03:23.30 flKNrjNn.net
>>492
Taylor Dupuy says.
April 14 2020 at 8.37 pm
Yep, the theta pilot doesn’t map to the actual theta values *on the theta side*. On the q-side it does.
I will check your manuscript again in a bit.
Dinner then bedtime (I am barbecuing).
I want to check again to make sure
I didn’t miss something
2020.4.14.8.37
デュピュイは焼肉を食べて寝ると
言い残しブログから去る。
ショルツがいない時を見計らい
またブログへ戻ってきてワーワーと、、。
日本のドラマをなんとなく
思い出した。
水戸黄門で悪代官と悪徳商人の
手下がすけ
541:さんとかくさんに やっつけられ「おぼえていやがれ」 と吠えながら逃亡、悪徳商人の親分 に「ばかやろう」と怒鳴られて また舞い戻りる、、
542:１３２人目の素数さん
20/06/04 08:11:32.91 flKNrjNn.net
まあDupuyはこの事実を知っているの？
↓
>>114
543:１３２人目の素数さん
20/06/04 08:22:47.72 /zHwzs/n.net
>>499
ノイマンはちょっと毛色が違うかな。純粋数学っていう意味だと。
544:１３２人目の素数さん
20/06/04 09:17:09 cSociVKW.net
>>502
三位かはともかく純粋数学でも成果残しまくってるけどな
545:１３２人目の素数さん
20/06/04 09:55:38.39 6TO0kZat.net
ノイマンは物理や工学にも顔出してるから応用寄りと思われがちだが純粋数学としても強いでしょ
546:１３２人目の素数さん
20/06/04 10:01:56.10 sn6aONYf.net
>>496
>オリラジ藤村
スレちがい すまん（＾＾
もう一人の〇〇しんご： ”森しん” 広森 信吾（ひろもり しんご）、”森しん”つながり：森進一
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
藤森慎吾
藤森 慎吾 (ふじもり しんご、1983年（昭和58年）3月17日 - ) は、日本のお笑いタレント、歌手、俳優。お笑いコンビ・オリエンタルラジオのツッコミ担当。相方は中田敦彦。ダンス&ボーカルグループ・RADIO FISHのメンバーとしても活動している。
URLﾘﾝｸ(ja.wikipedia.org)
森しん
森 しん（もり しん、1953年4月11日[1] - ）は、日本の声優、俳優、ナレーター。鹿児島県出身。シグマ・セブン所属。血液型はA型。本名および旧芸名は広森 信吾（ひろもり しんご）、拡森 信吾。鹿児島県立指宿高等学校卒業[4]。
ラジオ番組
快適生活ラジオショッピング(bayfm)
URLﾘﾝｸ(ja.wikipedia.org)
森進一
森 進一（もり しんいち、1947年11月18日 - ）は、日本の歌手、作曲家、社会福祉活動家。本名・森内 一寛（もりうち かずひろ）。
山梨県甲府市生まれ鹿児島県育ち[1][2]。身長167cm、体重49kg、血液型はO型。 息子にONE OK ROCKのTakaとMY FIRST STORYのHiroを持つ。
昌子との間に誕生した3人の息子のうち、長男森内貴寛はロックバンド「ONE OK ROCK」のボーカリスト、次男はテレビ東京の社員[5]、三男森内寛樹はロックバンド「MY FIRST STORY」のボーカリストである。
547:１３２人目の素数さん
20/06/04 10:12:28 sn6aONYf.net
これもスレチだけど、専用ブラウザのJane Styleが 調子が悪くなって、Win10の再起動で治った話ご参考まで
「ログイン失敗」とか出て、読み書きが出来なくなった
いろいろ（Jane Styleの再インストール含め）やったけ、ダメだった
ほぼ一日放置で、ふと思いついたのが、Win10の再起動の話で、もしやと思ってやると、見事回復しました
Win10の再起動は、完全シャットダウンの効果があるのですね（下記）（＾＾；
（知っている人多いと思うが）
（参考）
URLﾘﾝｸ(www.techdevicetv.com)
Tech&Device TV
2019.05.23
Windows 10 完全シャットダウンの特徴やメリット、やり方を徹底解説
Windows 10 のパソコンを使っていて、調子がよく
548:ないことはないでしょうか。もしかしたら、シャットダウンが関係しているかもしれません。Windows 10 にはシャットダウンのほかに、完全シャットダウンという機能があります。 今回はこれらの2種類のシャットダウンの説明と方法について、わかりやすくご紹介していきます。 1.Windows 10 のシャットダウンは2種類ある Windows 10 には、いわゆる通常のシャットダウンと完全シャットダウンの2つがあります。シャットダウンと完全シャットダウンは何が違うのでしょうか。 1-1.シャットダウン 高速スタートアップを目的としたシャットダウンは、Windows 8 から導入されています。 1-2.完全シャットダウン USB機器なども含めて、電源を完全に落としている状態を指します。操作状況は保持されません。Windows 7 以前は、シャットダウンというとこの完全シャットダウンのことを指していました。
549:１３２人目の素数さん
20/06/04 10:26:06 sn6aONYf.net
>>502-503
ノイマンには、信じられないような逸話が沢山あるよね（下記）（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
ジョン・フォン・ノイマン
逸話
圧倒的な計算能力については数々の逸話が残っている。
・座ってぶつぶつ独り言を言いながら放心したように天井を見つめて暗算し、数分間目を泳がせた後おもむろに口を開き、それを解くことは不可能だと主張する研究者の目の前でスラスラと問題を解いてみせた。
・頭にめぼしい定数や方程式をどっさり覚えていて、それらを総動員して電光石火で問題を解き、(他人の)着想をみるみる膨らませていった。「誰かが一つ提案しようものなら、ひっつかんで、あっという間に五ブロック先まで行ってしまう」、「自転車で特急を追いかける気分でした」と言わしめた。[1]
・さる抜群の実験物理学者とエミリオ・セグレが、ある積分によって定まる問題のことで悪戦苦闘していたところ、部屋の開きっ放しになったドアからフォン・ノイマンが廊下を歩いてくるのが見えた。二人が助けを求めると、彼はドアのところまで来て黒板をチラリと眺めると、その場でいきなり答えを書き取らせて彼らを仰天させた。このような例が1ダースではきかなかったという。[37]
550:１３２人目の素数さん
20/06/04 10:46:35.64 sn6aONYf.net
>>507
ノイマンは、時期的にフィールズ賞とはちょっと年代にずれがあるのです
なお、余談だが 約200万円なので フィールズ賞 最高の権威は過去でしょう
アーベル賞や、京都賞の方が 賞金額上だよね
URLﾘﾝｸ(ja.wikipedia.org)
フィールズ賞
1936年に作られた賞
概要
数学に関する賞では最高の権威を有する
しかし、若い数学者の優れた業績を顕彰し、その後の研究を励ますことが目的であり、「4年に一度」「40歳以下」「2名以上4名以下」という制限がある
近年では、「年齢制限なし」「毎年授与」「高額賞金」などノーベル賞に近い性格を持つ国際的数学賞が次々と現れている
2002年には、ノーベル賞により性格の近いアーベル賞が設立された。フィールズ賞とアーベル賞の両方を受賞した人物も存在する
さらに2014年には、ノーベル賞をも超越する莫大な賞金額を誇る数学ブレイクスルー賞が創設された
比較項目 数学ブレイクスルー賞 ミレニアム懸賞問題 ノーベル賞 アーベル賞 フィールズ賞
第1回 2015年 (創設は2000年) 1901年 2003年 1936年
実施間隔 1年 不定 1年 1年 4
551:年 年齢制限 なし なし なし なし 40歳以下 賞金額 約3億円 約1億円 約1億円 約1億円 約200万円 授賞分野の制限 特になし 特定業績のみ 数学を対象としない 特になし 特になし https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%BC%E3%83%99%E3%83%AB%E8%B3%9E アーベル賞（アーベルしょう）は、顕著な業績をあげた数学者に対して贈られる賞である 賞金額はスウェーデンのノーベル賞に匹敵し、数学の賞としては最高額である。この賞の主な目的は、数学の分野における傑出した業績に国際的な賞を与えることであり、社会における数学の地位を上げることや、子供たちや若者の興味を刺激することも企図している[1]。 2003年4月、初めての受賞者が公表され、ジャン＝ピエール・セールに送られることに決まった（賞金は600万ノルウェークローネ[1]、約1億円）。 https://ja.wikipedia.org/wiki/%E4%BA%AC%E9%83%BD%E8%B3%9E 京都賞 副賞1億円(2017年までは5000万円）が贈られる
552:１３２人目の素数さん
20/06/04 11:34:02 sn6aONYf.net
>>501
>まあDupuyはこの事実を知っているの？
>↓
>>>114
さあ？知っているかどうかは、さておき
DUPUY先生の下記の論文で
”the present paper profited enormously from the generous support・・Next-Generation Geometry located at RIMS”
とあるので、お金貰っているのでは？（＾＾
なお、下記の論文でSS文書を
バッサリ斬っているいるね（下記）（＾＾；
URLﾘﾝｸ(arxiv.org)
PROBABILISTIC SZPIRO, BABY SZPIRO, AND EXPLICIT SZPIRO
FROM MOCHIZUKI’S COROLLARY 3.12
TAYLOR DUPUY AND ANTON HILADO Date: April 30, 2020.
P4
Acknowledgements. This article is very much indebted to many previous expositions of
IUT including (but not limited to) [Fes15, Hos18, Ked15, Hos15, Sti15, Mok15, Moc17,
Yam17, Hos17, Tan18, SS17].
The research discussed in the present paper profited enormously from the generous support
of the International Joint Usage/Research Center (iJU/RC) located at Kyoto Universities
Research Institute for Mathematical Sciences (RIMS) as well as the Preparatory Center for
Research in Next-Generation Geometry located at RIMS.
P14
Remark 3.8.3.
(1) The assertion of [SS17, pg 10] is that (3.3) is the only relation between
the q-pilot and Θ-pilot degrees. The assertion of [Moc18, C14] is that [SS17, pg 10] is
not what occurs in [Moc15a]. The reasoning of [SS17, pg 10] is something like what
follows:
(a) The Θ略～(g)
(2) We would like to point out that the diagram on page 10 of [SS17] is very similar to
the diagram on §8.4 part 7, page 76 of the unpublished manuscript [Tan18] which
Scholze and Stix were reading while preparing [SS17].
P36
References
[SS17] Peter Scholze and Jakob Stix, Why abc is still a conjecture., 2017. 1, 1, 1e, 2, 7.5.3
553:１３２人目の素数さん
20/06/04 12:16:32 lv1FMEAR.net
Dupuyは補題3.12を証明できず
トンデモ大賞が前田文彬
「量子ファイナンス工学入門」か。
確かに文系著者が量子力学.量子場の
素養があると思えない。
URLﾘﾝｸ(www.togakkai.com)
554:isyou_list/index.html 一応、経済へ物理手法を持ち込む 経済物理から見ると、 ・株価の日々の変動グラフは 確率過程のブラウン運動とみなさて きた。 ・ファイナンスでは確率微分方程式のブラックショールズ方程式が基礎方程式。 ・ノイマンは関数解析により量子力学 を定式化したが確率過程量子化も 経路積分量子化もある 結論 「宇宙と宇宙をつなぐ数学 IUT理論の衝撃 」(角川学芸出版）は トンデモ大賞の超有力候補だろう。
555:１３２人目の素数さん
20/06/04 12:30:07.48 lv1FMEAR.net
「ノストラダムス複合解釈」もある
IUT論文は超超有力候補だろ
556:１３２人目の素数さん
20/06/04 12:46:07.50 sn6aONYf.net
>>509
>なお、下記の論文でSS文書を
>バッサリ斬っているいるね（下記）（＾＾；
本来は
こういうのは
山下サーベイの中でも、何か書かれるべきことだと思うよ
山下 ぼーと 生きているじゃないよ！ （by チコちゃん）ｗ（＾＾；
557:１３２人目の素数さん
20/06/04 12:49:28.03 sn6aONYf.net
>>510
誤：Dupuyは補題3.12を証明できず
↓
正：Dupuyは補題3.12を 遠アーベル素人*相手に 証明できず
*) 遠アーベル知らない人には無理
まして、ミスター維新（＝おサル）には無理ですなｗww（＾＾
558:１３２人目の素数さん
20/06/04 12:52:50.77 sn6aONYf.net
>>513
(引用開始)
誤：Dupuyは補題3.12を証明できず
↓
正：Dupuyは補題3.12を 遠アーベル素人*相手に 証明できず
(引用終り)
実際、プロ数学者なら
もし、補題3.12の証明が不完全だと思うなら、そういう論文を書けば良い
そして、もし 証明が修正可能なら、それを修正すれば、あなたの手柄です
もし、修正不可能なら、「修正不可能を証明すれば」、それもあなたの仕事であり、手柄ですよｗw（＾＾；
559:１３２人目の素数さん
20/06/04 12:53:40.81 lv1FMEAR.net
あれ？
Dupuyは遠アーベル幾何学の素人だけど
STIXが専門だな
560:１３２人目の素数さん
20/06/04 12:53:41.21 lv1FMEAR.net
あれ？
Dupuyは遠アーベル幾何学の素人だけど
STIXが専門だな
561:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/04 12:55:28 sn6aONYf.net
あれ？
なんか変と思ったら
コテハン設定が抜けていたな
設定のため投稿する(゜ロ゜;
562:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/04 12:57:01 sn6aONYf.net
>>516
良いんじゃない？
本当にできる人は、分野を超えて、活躍するものだよ（＾＾
563:１３２人目の素数さん
20/06/04 12:58:39 lv1FMEAR.net
誤り活躍 正 暗躍
564:１３２人目の素数さん
20/06/04 13:02:59 +0NOf5ju.net
>>514
りんごは木から落ちる
よって不等式が成り立つ
こういう証明を不完全とする数学の論文は書けない
上の「証明」が認められずに終わるだけ
565:現代数学の系譜 雑談
20/06/04 16:30:52.31 sn6aONYf.net
>>520
IUTのCor3.12の証明を認める認めない
それは、貴方の決めることではないよね
プロ数学者、特に、遠アーベルなど望月数学に近い人たちがどう判断するかですよね
（ショルツ氏は別においといて）
それで、いま、4月3日の記者会見で明らかになった点は
１．玉川氏はIUT証明を是とした（柏原氏も同席をした）
２．査読はOKだった（多分２名以上の数学プロたち）
３．それ以外に、英国フェセンコ一派、米国にDupuy氏とJoshi氏とが、IUTを認めている
４．国内では、望月配下の星、山下が Cor3.12の証明を含めて認めている
５．今年国際会議が予定されていた。新型コロナで中止だが、今後なんらかの形でやられるはず
（∵ 国際会議に向けた論文を各人書いていてはず。その発表の場が必要でしょうから）
我々、素人のヤジウマは、あわてず騒がず、推移を見ましょうｗ（＾＾
566:現代数学の系譜 雑談
20/06/04 16:32:09.99 sn6aONYf.net
>>521 タイポ訂正
（∵ 国際会議に向けた論文を各人書いていてはず。その発表の場が必要でしょうから）
↓
（∵ 国際会議に向けた論文を各人書いていたはず。その発表の場が必要でしょうから）
567:１３２人目の素数さん
20/06/04 16:32:28.51 TYVwvduK.net
>>521
だから大多数の数学者に認められずにと言っ
568:ている 実際、現状RIMSの内輪以外で認めた人はいない
569:１３２人目の素数さん
20/06/04 16:53:39.56 ULwEdFIf.net
なんでこの素人はわけもわからず
望月は絶対正しい と発狂してるんだ
ニッポン最高！の愛国●違いなのか？
570:現代数学の系譜 雑談
20/06/04 17:09:37.93 sn6aONYf.net
メモ
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
京 都 大 学
数理解析研究所要覧
２０１９ 令和元年 8 月 1 日 発行
(抜粋)
P18
15 次世代幾何学研究センター
数論幾何学，特に宇宙際タイヒミューラー理論を中心に広く次世代の幾何学
の研究を推進するため，平成 31 年 4 月 1 日に設置された。
P19
16 予算概要
支出状況
（単位：千円）
区 分 平成 28 年度 平成 29 年度 平成 30 年度
運営費交付金 695,477 671,194 716,594
（内訳）
人 件 費 419,552 399,307 412,545
物 件 費 275,925 271,887 304,049
科学研究費
補 助 金 142,138 115,602 108,934
受 託 研 究・ 受
託 事 業 8,190 9,515 10,176
共 同 研 究 2,032 2,648 3,846
寄 附 金 1,000 553 27,913
合 計 848,837 799,512 867,463
※ 外部資金は間接経費を含めた受入額を計上している。
P21
次世代幾何学センター センター長 （併任） 望 月 新 一
特任教授 京大理博 柏 原 正 樹
特任教授 京大理博 森 重 文
特任助教 東大博（数理科学） 清 水 達 郎
教 授 （併任） 玉 川 安騎男
教 授 （併任） 望 月 拓 郎
571:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/04 17:14:38 sn6aONYf.net
>>523-524
話は逆だ
なんで、ド素人が ショルツの尻馬で、騒ぐのかな？
20200403の記者会見の後に、数論のプロ数学者で
ショルツ以外に実名で IUTを全否定した人皆無
（Woitは物理学者で、ロバーツ氏は数論専門じゃないよ。ケドラヤとか様子見でしょ。おそらく、多くの数論専門家は様子見と見ました）
様子見が普通と思う
ガリレオ 宗教裁判で 天動説を強いられるも
裁判の後で「それでも、地球は動く」と言った
ド素人は騒がずに、じっくり推移を見なさい
天動説か地動説かをｗｗw（＾＾；
572:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/04 17:16:58 sn6aONYf.net
>>526
補足
>様子見が普通と思う
>ガリレオ 宗教裁判で 天動説を強いられるも
>裁判の後で「それでも、地球は動く」と言った
いま、ド素人が 無理矢理
ショルツの尻馬で、騒ぐのは、無意味
「それでも、地球は動く」のかどうか？
推移を見るしかないのですｗｗ(゜ロ゜;
573:１３２人目の素数さん
20/06/04 17:33:47 iTcyiYWo.net
公平に言うと、タオ先生の意見に収束しそう：
多分、望月は正しい。
しかし、たいした仕事ではない。
574:１３２人目の素数さん
20/06/04 17:43:47.91 TYVwvduK.net
>>526
もしIUTが本当にABC予想を解いたなら様子見せず飛びつくだろう
そうはなっていないのは証明されたとは認められないということを意味する
575:１３２人目の素数さん
20/06/04 17:44:55.65 ULwEdFIf.net
>>526
様子見られてる時点でダメだね
RIMSは日本の恥
576:１３２人目の素数さん
20/06/04 19:59:40.59 IoyhZIIr.net
>次世代幾何学研究センター
センター長 （併任） 望 月 新 一
柏 原 正 樹 教授
玉 川安騎男 教授
柏原氏はPRIMS編集委員ではないね。
IUT中心の次世代幾何学研究センターの
玉川教授と柏原
577:特任教授がPRIMS アクセプトの記者会見をした。
578:現代数学の系譜 雑談
20/06/04 21:02:19.59 f8QhyC0+.net
>>528-531
おれは、様子見はありと思うがね
圏論が出てきたとき
１．アブストラクトナンセンスと言った人
２．圏論が、性に合った人 例 グロタンディーク
３．グロタンディークの成功を見て、ついて行った人
IUTもそうなるよ
IUTが性に合わない人は、無理にIUTやらなくてもいいでしょ
ショルツ氏のパーフェクトイドとかラングランズやれば良いでしょ
でも、整数論－ディオファントス近似は、ABCが定理を前提に考えざるを得ない（だれか本スレでが書いていたが、ディオファントス近似の革命です）
579:１３２人目の素数さん
20/06/04 21:12:28.76 IoyhZIIr.net
>グロタンデューク
スレ主はイデアル、ミンコフスキー
の定理ロスの補題どころか
同値関係類別も怪しかったのに、
専門がIUT応援とコピベ集めと大人の都合
だからか
580:１３２人目の素数さん
20/06/04 21:24:53.74 ULwEdFIf.net
望月＝グロタンディク と思ってるのは数学が全く分らん素人だけ
グロタンディクを様子見したヤツなんか皆無
◆yH25M02vWFhP 頭オカシイのか？
581:１３２人目の素数さん
20/06/05 00:15:41.22 9DYguyPqL
瀬田、>>497からまたも逃亡ｗ
582:１３２人目の素数さん
20/06/04 23:38:05 T+8ezTvV.net
>>525
こんなけ使ってたら叩かれても仕方ない
583:現代数学の系譜 雑談
20/06/05 07:19:32.28 s8RZ7bUI.net
＜メモ＞
星 裕一郎 続・宇宙際 Teichm¨uller 理論入門
IUT理解のためのキモは、「§ 3. 多輻的 Kummer 両立系」の部分だね
ようやく、分かってきたな～（＾＾
ここを中心にして 読んで行けば良いんだ！
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
RIMS K?oky?uroku Bessatsu
B72 (2018), 209?307 Received April 27, 2016. Revised June 16, 2017.
続・宇宙際 Teichm¨uller 理論入門
(Introduction to Inter-universal Teichm¨uller Theory,Continued)
By 星 裕一郎 (Yuichiro Hoshi)
(抜粋)
P10（P217）
§ 3. 多輻的 Kummer 両立系
[2] の §4 から §12 までで与えられた説明のとおり, Diophantus 幾何学的不等式 (§26
の冒頭の主張を参照) を得るために, 我々は,
・ (§1 で固定した) 楕円曲線 E に関連する正則的設定の, 2 つの独立した “コ
ピー” を用意して,
・ それら 2 つの正則的設定を
テータ関数の特殊値 {(q1^2v, q2^2v, . . . , q(l＊)^2v )}v∈Vbad (§4, (a), や §7, (b), を参照)
｜Θ→ q パラメータ (の 2l 乗根) {qv}v∈Vbad
という形で結び付けて,
・ この結び付き Θ の “左辺” と “右辺” がそれぞれ定める数論的直線束の次数
を比較
します. 楕円曲線 E に関連するそのような正則的設定に属する
(a) 各々の v ∈ V に対する局所的な対数殻 (つまり, 数論的直線束を定義する
ための局所的加法的整構造 “(OKv)+” の近似 ー [2], §8, を参照),
(b) テータ関数の特殊値 {(q1^2v, q2^2v, . . . , q(l*)^2v )}v∈Vbad (とその (a) への作用),
(c) 数体 Fmod (とその (a) への作用)
というデータからなる 3 つ組を
T
と書くことにしましょう.
�
584:ﾂづく
585:現代数学の系譜 雑談
20/06/05 07:20:41.63 s8RZ7bUI.net
>>537
つづき
Diophantus 幾何学的不等式を得るためにもっとも肝心となる
“数論的直線束の次数の比較” は, 結び付き Θ に対する, この 3 つ組 T の一種の両立性を
用いて実行されます ([9], Corollary 3.12, を参照). そして, この一種の両立性が, 宇宙際
Teichm¨uller 理論の主定理 ([9], Theorem 3.11, を参照) の基本的な内容です:
宇宙際 Teichm¨uller 理論の主定理, つまり, Θ に対する T の一種の両立性
=⇒ Θ の “左辺” と “右辺” の次数の比較 =⇒ Diophantus 幾何学的不等式.
一方, 上述の “Θ” や “T” の説明から,
結び付き Θ は, その “左辺” と “右辺” にそれぞれ対応する正則的設定の正則構
造とは両立的ではないにも関わらず, 3 つ組 T ー の少なくとも従来的な定義/
構成の方法 ー は, T が属する正則的設定の正則構造に強く依存している
という事実を簡単に確認することができます. つまり, (一種の) 両立性を主張したい対象
T は, 正則的な対象であるにも関わらず, 2 つの正則的設定の間の結び付き Θ は, 設定の
正則構造を放棄して単解的設定へ移行しなければ考察することはできないということで
す. この観察により, 所望の両立性を証明するためには,
従来的には正則的である 3 つ組 T を, 結び付き Θ の (その定義から単解的な) コ
ア的対象 (つまり, 結び付き Θ で両立/共有可能な対象 ー [2], §5, を参照) の
観点から記述する必要がある
ということになります. [2], §7, で解説された用語を用いるならば, 所望の両立性を証明す
るためには,
結び付き Θ で両立/共有可能な対象をコア的データとする, 3 つ組 T の多輻的な
表示を確立する必要がある
ということになります:
つづく
586:現代数学の系譜 雑談
20/06/05 07:21:19.66 s8RZ7bUI.net
>>538
つづき
T の多輻的な (＝コア的対象の観点からの) 表示 =⇒ Θ に対する T の一種の両立性.
§2 の冒頭で述べたとおり, 宇宙際 Teichm¨uller 理論では, T の多輻的な表示を確立す
るために, 関心のある様々な対象のエタール的な構造/側面と Frobenius 的な構造/側面を
区別して考察して, そして, それらを Kummer 同型で関連付けます. §2 で行った復習か
ら, 所望の “(Frobenius 的) T の多輻的な表示” を得るためには,
“T” をエタール的出力とする多輻的な単遠アーベル的アルゴリズムを与えて, そ
して, “T” に対する多輻的な Kummer 同型を確立
すれば充分であるということがわかります:
T に対する多輻的 Kummer 離脱
(= 多輻的エタール的 T の構成 + T に対する多輻的 Kummer 同型)
=⇒ T の多輻的な表示.
また, §2 での Kummer 同型の説明で触れたとおり, Kummer 同型は円分剛性同型から生
じます. したがって, T に対する多輻的な Kummer 同型を確立するためには, T に対する
多輻的な円分剛性を確立すれば充分です:
T に対する多輻的円分剛性 =⇒ T に対する多輻的 Kummer 同型.
[2], §6, や [2], §8, で説明されているとおり, T を構成する対象の 1 つである (a) (＝
対数殻) は, そもそも, コア的対象の 1 つです. それでは, (b) (＝テータ関数の特殊値) と
(c) (＝数体) に対する “多輻的エタール的表示” と “多輻的円分剛性” は, どのようにし
て得られるのでしょうか. [2], §11, で説明されているとおり, 我々は, それぞれ (b) と (c)
の多輻的な表示を得るために,
(b′) テータ関数,
(c′) κ コア的関数
の多輻的な表示を経由します. 結論としては,
(b′) の多輻的エタール的表示として, [2], §16, (e), で与えられている表示,
(c′) の多輻的エタール的表示として, [2], §24, (i), で与えられている表示
を用いて,
つづく
587:現代数学の系譜 雑談
20/06/05 07:21:39.93 s8RZ7bUI.net
>>539
つづき
(b′) のそのような表示の “コア的部分と輻的 ([2], §7, を参照) 部分との分離” を,
[2], §16, (h), で与えられている分解によって実現,
(c′) のそのような表示の “コア的部分と輻的部分との分離” を, E の非自明な 2 等
分点から定まる点に付随する分解群による Galois 代入から生じる分解 ([2], §24,
の冒頭の “κ コア的関数” の定義の 3 つ目の “・” を参照) によって実現
して, そして,
(b′) に対する多輻的円分剛性として, [2], §15, で説明された “単テータ環境の円
分剛性性質によって得られる円分剛性同型”,
(c′) の多輻的円分剛性として, [2], §24, で説明された “初等的な事実 Q>0 ∩ Zb× =
{1} から得られる円分剛性同型”
を用います.
我々に残された課題は, 上述の様々な “多輻的 Kummer 離脱に関連する対象たち” を
大域的に編成して, そのような対象たちのなす大きな両立的な系, つまり, “多輻的 Kummer
両立系” を構成することです:
([2] で説明された様々な対象による) “多輻的 Kummer 両立系” の編成
=⇒ T の多輻的な表示 =⇒ Θ に対する T の一種の両立性
=⇒ Θ の “左辺” と “右辺” の次数の比較 =⇒ Diophantus 幾何学的不等式.
§4 から §25 までの間で, そのような複雑な多輻的 Kummer 両立系の編成/設営の説明を行いましょう.
(引用終り)
以上
588:現代数学の系譜 雑談
20/06/05 07:40:52.24 s8RZ7bUI.net
>>534
>グロタンディクを様子見したヤツなんか皆無
そんなことないだろｗ（＾＾；
グロタンディクの通った後は、ぺんぺん草も生えないと言われたらしい
グロタンディクの通り道の前を歩く人は、蒸気機関車のような グロタンディク に轢かれる
だから、グロタンディクに教えて貰える人か、グロタンディクからちょっと離れた場所からつまみ食いする人か
成功したのはそういう人達だったろうね
グロタンディクに近い人は、洪水に溺れるか、バキュームクリナーに吸い込まれるか、機関車に轢かれるかだったろうよ（下記ご参照）
（参考）
URLﾘﾝｸ(twilog.org)
twilog
2019年05月28日(火)
(抜粋)
数学の歩みbot@Auf_Jugendtraum
グロタンディークは，まるで川のない所に洪水を起こすような，バキュームクリナーに大きな機関車をつけて数学の世界を走る回るような人物だった．（広中平祐）
posted at 23:06:40
数学の歩みbot@Auf_Jugendtraum
グロタンディークなどが展開している数学の世界というものは，一つの全体としてのユニバースであって，個々のもの，例えば，数とは何か，函数とは何か，あるいは空間とは何か，それら一つ一つが個別に定義されているのではないのです．全体との関連において相互が意味を持っているのです．（佐藤幹夫）
posted at 22:06:46
数学の歩みbot@Auf_Jugendtraum
問題が解けないのは，その仮定がまだ十分一般的でないために本当はより基本的で「やさしい」はずなのにそれが見えていないからだ，という精神です．この思想と実践の代表格は，かのグロタンディークでしょう．彼によると「大部分の数学者は最も基本的な所を十分考え抜くだけの忍耐力を持っていない」
posted at 21:06:40
数学の歩みbot@Auf_Jugendtraum
赤子のようにならなくては EGA は読めない．（飯高茂）
posted at 20:06:43
589:１３２人目の素数さん
20/06/05 08:03:40 DjuEYg2K.net
>>537-540
古典的な代数曲線論すら全く知らん素人が何ほざいてんだ？
文章も正しく読めない読字障害には無理 諦めろ
590:１３２人目の素数さん
20/06/05 08:10:24 DjuEYg2K.net
>>541
グロタンディクは望月とは全然違うよ
何年も理解されないまま放置されたことは
一度もなかった
591:１３２人目の素数さん
20/06/05 08:24:15.18 DjuEYg2K.net
>>509
DupuyがScholze＆Stixの解釈を否定するのは
望月の不等式（Cor 3.12）を前提したいから
Scholze&Stixのレポートでは、
IUTからCor 3.12は導けない
と断じてるからな
だからといって、Dupuyが望月を支持していると考えるのはアサハカ
Cor 3.12の証明が十分だと考えてるなら、そもそも独自解釈論文を書く必要がない
証明にギャップがある、と考えてるから、独自解釈論文を書いた
ABC予想の解決が、Dupuyにもっていかれる可能性はもちろんある
いや、Dupuyだけではない ScholzeもPerfectoidを使って
ABC予想の完璧な解決を目指してるかもしれんぞ
592:１３２人目の素数さん
20/06/05 08:32:31.33 DjuEYg2K.net
Dupuyであれ、Scholzeであれ、数学者たちが理解できる形で
ABC予想が解決するなら、そのほうが数学界にとって利益がある
日本人に拘る意味なんて全くない
数学はオリンピックじゃないから
表�
593:ｲ台なんかないし国旗の掲揚も国歌の演奏もない https://www.youtube.com/watch?v=0SLqZP4v6SE&t=4m40s
594:１３２人目の素数さん
20/06/05 08:42:14.08 DjuEYg2K.net
フィールズ賞によって表彰されるのは
数学者個人であって決して国家ではない
URLﾘﾝｸ(www.youtube.com)
いまだにこの基本的な事が理解できない人がいるのは大変残念である
595:１３２人目の素数さん
20/06/05 09:01:30 PX7m9wPy.net
>星裕一郎
不正確で本文を読めサーベイの星も
例のB本加藤文元もIUT研究者ではない
・科研費宇宙際幾何学のさらなる展開
山下剛 望月新一
科研費で布教活動.サーベイやパーフェクトイド.RHへ首の突っ込み、なぞの
不等式を振り回すなど活動する。
結果は
「おくれている」
「大きな展望では宇宙際幾何を
Riemannゼータの研究に応用することを最終的な目標にしているが、
そもそもの問題がやはり極めて
難しい問題であるということも
進捗が遅れている理由の１つである」
成果があるはずもなく
IUTの布教活動に使われている、
科研費の打ち切りが妥当だ
596:１３２人目の素数さん
20/06/05 09:24:38 PX7m9wPy.net
>DupuyがScholze＆Stixの解釈を否定
> 独自解釈論文を書いた
日本トンデモ本大賞には
「ノストラダムス複合解釈」がある
IUT論文はトンデモ大賞の超超有力候補だ
597:１３２人目の素数さん
20/06/05 10:15:42.28 AvqbfY18.net
星はIUTの改良版に取り組んでるけど
598:１３２人目の素数さん
20/06/05 10:29:56.18 PX7m9wPy.net
また expect expect expectですかw
599:１３２人目の素数さん
20/06/05 11:54:39.23 /mXSsm5o.net
>>549
本当かよ。
やっぱり不備があったんだな。
餅の立場がどうなるんだろ。
600:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/05 14:40:49 RXfoxQyV.net
>>549
同意
数学に完成はありません
前進あるのみです（＾＾；
601:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/05 15:08:53 RXfoxQyV.net
これ、ちょっと面白い
こういう真面目な動きも出つつあるってことですね（＾＾
URLﾘﾝｸ(www.youtube.com)
IUTを勉強する
903 回視聴?2020/04/04 にライブ配信
梅崎直也
チャンネル登録者数 955人
何かを解説するということではないです。詳しい方いればぜひコメントください。星さんのサーベイを読む予定。飽きたらやめます。
続・宇宙際 Teichm¨uller 理論入門 (Introduction to Inter-universal Teichm¨uller Theory, Continued) By 星 裕一郎 (Yuichiro Hoshi)
602:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/05 15:11:54 RXfoxQyV.net
ついでに（＾＾
URLﾘﾝｸ(www.youtube.com)
現代数学レクチャーシリーズ第3回「代数幾何学の空間概念」講義内容紹介
2,298 回視聴?2020/02/14
株すうがくぶんか
チャンネル登録者数 125人
すうがくぶんか主催東京工業大学理学院協力でお届けする現代数学レクチャーシリーズ第3回「代数幾何学の空間概念」の講義内容紹介です。【オンライン】で講座を開講いたします！
予習回:4月26日, 5月3日, 13:30-16:30
加藤先生の講義:5月10日, 5月17日, 13:30-16:00
お申し込みはこちらのページから！
URLﾘﾝｸ(sugakubunka.com)
講師:加藤文元先生（東京工業大学理学院教授）
講義内容:代数幾何学とはざっくり言って「多項式=0で定義される図形の幾何学」ですが、そこで扱う空間概念によって、その見方ややり方はさまざまです。
代数幾何学で扱う空間概念や点の概念とは、どういうものなのか。直観的に見やすい「平面曲線」から出発して、代数多様体やスキームの理論における空間の概念を概観します。
株式会社
603:すうがくぶんかでは「もっと社会に数学を」を理念に主に社会人に向けた数学や統計学の講座を開講しています。詳しくはこちら web site:https://sugakubunka.com/ twitter:https://twitter.com/sugakubunka facebook:https://www.facebook.com/sugakubunka/ (deleted an unsolicited ad)
604:１３２人目の素数さん
20/06/05 15:14:13 Hotb1Jb/.net
>星はIUTの改良版に取り組んでる
IUTの改良ならIUT論文に致命的な
欠陥があるから
・星は望月と共にショルツスティックス
ミーティングへ出席したがノーコメント
つまり全面的に望月レポへ同意した。
・星はRIMS2020IUTイヤーでIUTワークショップの責任者だった
星には重大な責任がある
605:１３２人目の素数さん
20/06/05 15:23:03.32 Hotb1Jb/.net
woit blog
Taylor Dupuy says.
April 14 2020 at 8.37 pm
Yep, the theta pilot doesn’t map to the
actual theta values *on the theta side*.
On the q-side it does.
I will check your manuscript again in a bit.
Dinner then bedtime (I am barbecuing).
I want to check again to make sure
I didn’t miss something
Dupuyは逃亡したな
606:１３２人目の素数さん
20/06/05 15:33:32.14 nu+Fr9fz.net
>>536
黒板とチョークさえあればできる仕事で七億引っ張れるとかな
607:１３２人目の素数さん
20/06/05 15:58:47 GgR3JoK8.net
男性ホルモン濃そう
剥げてはないけど
608:１３２人目の素数さん
20/06/05 16:00:51 Hn9N6xjf.net
数学掲示板群 URLﾘﾝｸ(x0000.net)
学術の巨大掲示板群 - アルファ・ラボ URLﾘﾝｸ(x0000.net)<)
微分幾何学入門
URLﾘﾝｸ(x0000.net)
609:１３２人目の素数さん
20/06/05 16:16:27 nu+Fr9fz.net
１．高名で年配の数学者が自明であると言った場合、その主張はほぼ間違いない。
またギャップがあると言った場合には、その主張はまず間違っている。
２．査読の限界を測る唯一の方法は、墓場まで持っていくと言われることまでやってみることである。
３．十分に発達した数学は、妄想と見分けがつかない。
610:現代数学の系譜 雑談
20/06/05 16:56:24.86 RXfoxQyV.net
>>557
>黒板とチョークさえあればできる仕事で七億引っ張れるとかな
まあ、そういう時代なのでしょう
＜Proof＞w
１．江戸時代まで、お金とは小判であり、金（”きん”＝黄金のことｗ）
２．明治ころから、紙幣が主になった。お金とは”紙幣”なり
３．21世紀では、お金とは銀行のコンピュータ内の数字なりｗ（＾＾；
４．これからは、”デジタル通貨”の時代と言われる。小銭は、なんとかペイで払う。給料は、銀行振込。紙幣も使わなくなるかもね（＾＾；
５．そういう時代は、東大数学科出身者が社長になる
６．そもそも、21世紀 2020年以降のお金とは 「コンピュータ内の数字」なのですからｗ（＾＾；
QED
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
デジタル通貨
URLﾘﾝｸ(www.nikkei.com)
日経
三菱UFJ、社長兼CEOに亀沢氏 メガ銀で初の理系出身
【イブニングスクープ】
2020/1/15 18:00
611:亀沢氏は指名・ガバナンス委員会の承認を受けて4月に就任する。東京大学の理学部数学科の出身で、1986年に三菱銀行（現三菱UFJ銀）に入行した。為替や債券の売買を担う市場部門に長く在籍した。 融資管理の責任者などを経て、14年から米ニューヨークに駐在し、海外での管理能力も高めた。16年からは持ち株会社、銀行の両方でデジタル戦略の責任者を務める。 亀沢 宏規氏（かめざわ・ひろのり）86年（昭61年）東大院修了、三菱銀行（現三菱UFJ銀行）入行。10年執行役員。19年副頭取、三菱UFJフィナンシャル・グループ副社長。58歳
612:現代数学の系譜 雑談
20/06/05 17:21:25.91 RXfoxQyV.net
>>561
>三菱UFJ、社長兼CEOに亀沢氏 メガ銀で初の理系出身
三菱UFJ 社長の年俸が分からないが、仮に5千万円として
４年で、２億＋退職金が１億以上
あと、会長になるか、関係会社の社長か、顧問に退くかで違うが
個人で七億引っ張れるかもよ（＾＾
613:現代数学の系譜 雑談
20/06/05 17:26:41.37 RXfoxQyV.net
>>560
自分、そんなに疑うなら
Cor3.12のギャップを論文にして、ついでに 修正証明を書けよ
あんた 一躍有名になれるよ（＾＾；
614:１３２人目の素数さん
20/06/05 18:15:50 uR5cjjji.net
>疑う
だいぶ解明も進んできたが
疑うって疑獄事件ということか？
615:１３２人目の素数さん
20/06/05 18:23:41 uR5cjjji.net
>>564
応援団のスレ主が参考とし
>>525を貼った
616:１３２人目の素数さん
20/06/05 19:08:18 zyMsw8vK.net
ギャップを取り上げて論文にするって超めんどくさいし評価されにくいやつじゃん。
他人に勧める前に自分でやれば？
応援としてはこの上ないんじゃない？
617:１３２人目の素数さん
20/06/05 19:56:53 uR5cjjji.net
>>553
>>554
スレ主は参加しろ
>>553について多数の疑問を質問し
深く解明しろよ
618:１３２人目の素数さん
20/06/05 19:59:46 uR5cjjji.net
>>567
ていせい
>>553について→ >>525について
619:粋蕎 ◆C2UdlLHDRI
20/06/05 22:19:59 n7VSCHHP.net
KingOfUniverse ◆667la1PjK2
旧コテハン2003-2004 supermathmania ◆ViEu89Okng時代にて数学板で2ch時代から今も尚続く長寿の
質問スレで起こした回答ミスに対する指摘受け逆切れ問題により伝説にも成ったコテ
mixiにて相変わらず奇人ぶりを見せ付ける
KMの日記
20200512
KM
日本語で書け.
御前に何が分かるというか.
日本語で書け.
御前に何が分かるというか.
07:00
620:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/05 23:19:20 s8RZ7bUI.net
>>566
>ギャップを取り上げて論文にするって超めんどくさいし評価されにくいやつじゃん。
本庶語録「教科書を信じない」「常に疑いを持って本当はどうなんだろうという心を大切にする」「つまり、自分の目で物を見る。そして納得する。そこまで諦めない」
数学でも同じでしょ。でもそれは、ショルツの尻馬に乗る話とは、真逆だよ
そして、その一方で RIMSの記者会見：「査読は完了した」「証明は正しいと思ってもらって良い」と 玉川先生が言った。これもまた事実
ショルツの尻馬でなく、各人しっかり確認しましょうってことです（＾＾
URLﾘﾝｸ(togetter.com)
togetter.com.
2018年10月2日
「教科書を信じない」というノーベル賞 本庶佑先生の金言の真意について
URLﾘﾝｸ(pbs.twimg.com)
読売新聞 編集委員室 @y_sen
621:iorwriters 本庶佑さんの言葉～科学者をめざす小中学生へ：「一番重要なのは、不思議だな、という心を大切にすること。教科書に書いてあることを信じない。常に疑いを持って本当はどうなんだろうという心を大切にする」「つまり、自分の目で物を見る。そして納得する。そこまで諦めない」 (1日夜の記者会見より) pic.twitter.com/SKIxIR3oOA 2018-10-02 13:11:13 https://pbs.twimg.com/media/DofuyqkW4AEddWW.jpg https://pbs.twimg.com/media/Dofuy1KXoAAEhs0.jpg https://pbs.twimg.com/media/DofuzFBWsAA-Gt-.jpg (deleted an unsolicited ad)
622:１３２人目の素数さん
20/06/05 23:46:16.55 ugHvusjI.net
ほんしょさん、226億訴訟か
スケールがちがうな
IUTの経済価値どのくらいだろ
623:１３２人目の素数さん
20/06/05 23:57:55.22 ohUIRwdg.net
報道があって3か月ぐらいたつけど、いつ掲載されるの？
進捗どうなん。
624:１３２人目の素数さん
20/06/06 01:06:01 cg14T5Sp.net
瀬田、>>497からまたもや逃亡ｗ
625:１３２人目の素数さん
20/06/06 07:18:12.48 6i3R8dZd.net
ブンゲンが「数学とはお金のかかる学問である」と書いていたとき
こいつ何言ってんだ、と思った。
数学でかかるお金って人件費とか交通費くらいでしょ。
人件費は質素なもん食べてりゃそんなにかからない
交通費はテレビ会議などを利用すれば抑えられるはず
岡潔は「わたしは数学をやる喜びを食べて生きているようなもの」
と言ってたのに。
626:１３２人目の素数さん
20/06/06 07:25:37.00 FDjhvHjP.net
>>574
> 交通費はテレビ会議などを利用すれば抑えられるはず
じゃあ、例えば、世の中の営業職は全員、交通費いらないですね？
627:１３２人目の素数さん
20/06/06 07:33:51 FDjhvHjP.net
>>574
> 人件費は質素なもん食べてりゃそんなにかからない
これは、数学とほとんど関係ないですね。
肉体労働でなければ、人件費はほとんどかからないと。
その方針で会社経営でもしたらいかがですか？
628:現代数学の系譜 雑談
20/06/06 08:02:42.04 SrYikU2t.net
>>537 追加
星による Corollary 3.12の説明、下記（＾＾
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
RIMS Kokyuroku Bessatsu
B72 (2018), 209?307 Received April 27, 2016. Revised June 16, 2017.
続・宇宙際 Teichm¨uller 理論入門
(Introduction to Inter-universal Teichm¨uller Theory,Continued)
By 星 裕一郎 (Yuichiro Hoshi)
(抜粋)
P218
Diophantus 幾何学的不等式を得るためにもっとも肝心となる
“数論的直線束の次数の比較” は, 結び付き Θ に対する, この 3 つ組 T の一種の両立性を
用いて実行されます ([9], Corollary 3.12, を参照).
そして, この一種の両立性が, 宇宙際
Teichm¨uller 理論の主定理 ([9], Theorem 3.11, を参照) の基本的な内容です:
宇宙際 Teichm¨uller 理論の主定理, つまり, Θ に対する T の一種の両立性
=⇒ Θ の “左辺” と “右辺” の次数の比較 =⇒ Diophantus 幾何学的不等式.
一方, 上述の “Θ” や “T” の説明から,
結び付き Θ は, その “左辺” と “右辺” にそれぞれ対応する正則的設定の正則構
造とは両立的ではないにも関わらず, 3 つ組 T ? の少なくとも従来的な定義/
構成の方法 ? は, T が属する正則的設定の正則構造に強く依存している
という事実を簡単に確認することができます. つまり, (一種の) 両立性を主張したい対象
T は, 正則的な対象であるにも関わらず, 2 つの正則的設定の間の結び付き Θ は, 設定の
正則構造を放棄して単解的設定へ移行しなければ考察することはできないということで
す. この観察により, 所望の両立性を証明するためには,
従来的には正則的である 3 つ組 T を, 結び付き Θ の (その定義から単解的な) コ
ア的対象 (つまり, 結び付き Θ で両立/共有可能な対象 ? [2], §5, を参照) の
観点から記述する必要がある
ということになります. [2], §7, で解説された用語を用いるならば, 所望の両立性を証明す
るためには,
結び付き Θ で両立/共有可能な対象をコア的データとする, 3 つ組 T の多輻的な
表示を確立する必要がある
つづく
629:現代数学の系譜 雑談
20/06/06 08:04:29.11 SrYikU2t.net
>>577
つづき
ということになります:
T の多輻的な (＝コア的対象の観点からの) 表示 =⇒ Θ に対する T の一種の両立性.
§2 の冒頭で述べたとおり, 宇宙際 Teichm¨uller 理論では, T の多輻的な表示を確立す
るために, 関心のある様々な対象のエタール的な構造/側面と Frobenius 的な構造/側面を
区別して考察して, そして, それらを Kummer 同型で関連付けます. §2 で行った復習か
ら, 所望の “(Frobenius 的) T の多輻的な表示” を得るためには,
“T” をエタール的出力とする多輻的な単遠アーベル的アルゴリズムを与えて, そ
して, “T” に対する多輻的な Kummer 同型を確立
すれば充分であるということがわかります:
T に対する多輻的 Kummer 離脱
(= 多輻的エタール的 T の構成 + T に対する多輻的 Kummer 同型)
=⇒ T の多輻的な表示.
また, §2 での Kummer 同型の説明で触れたとおり, Kummer 同型は円分剛性同型から生
じます. したがって, T に対する多輻的な Kummer 同型を確立するためには, T に対する
多輻的な円分剛性を確立すれば充分です:
T に対する多輻的円分剛性 =⇒ T に対する多輻的 Kummer 同型.
[2], §6, や [2], §8, で説明されているとおり, T を構成する対象の 1 つである (a) (＝
対数殻) は, そもそも, コア的対象の 1 つです. それでは, (b) (＝テータ関数の特殊値) と
(c) (＝数体) に対する “多輻的エタール的表示” と “多輻的円分剛性” は, どのようにし
て得られるのでしょうか. [2], §11, で説明されているとおり, 我々は, それぞれ (b) と (c)
の多輻的な表示を得るために,
(b′) テータ関数,
(c′) κ コア的関数
の多輻的な表示を経由します. 結論としては,
(b′) の多輻的エタール的表示として, [2], §16, (e), で与えられている表示,
(c′) の多輻的エタール的表示として, [2], §24, (i), で与えられている表示
を用いて,
つづく
630:現代数学の系譜 雑談
20/06/06 08:04:58.12 SrYikU2t.net
>>578
つづき
(b′) のそのような表示の “コア的部分と輻的 ([2], §7, を参照) 部分との分離” を,
[2], §16, (h), で与えられている分解によって実現,
(c′) のそのような表示の “コア的部分と輻的部分との分離” を, E の非自明な 2 等
分点から定まる点に付随する分解群による Galois 代入から生じる分解 ([2], §24,
の冒頭の “κ コア的関数” の定義の 3 つ目の “?” を参照) によって実現
して,
そして,
(b′) に対する多輻的円分剛性として, [2], §15, で説明された “単テータ環境の円
分剛性性質によって得られる円分剛性同型”,
(c′) の多輻的円分剛性として, [2], §24, で説明された “初等的な事実 Q>0 ∩ Zb× =
{1} から得られる円分剛性同型”
を用います.
我々に残された課題は, 上述の様々な “多輻的 Kummer 離脱に関連する対象たち” を
大域的に編成して, そのような対象たちのなす大きな両立的な系, つまり, “多輻的 Kummer
両立系” を構成することです:
([2] で説明された様々な対象による) “多輻的 Kummer 両立系” の編成
=⇒ T の多輻的な表示 =⇒ Θ に対する T の一種の両立性
=⇒ Θ の “左辺” と “右辺” の次数の比較 =⇒ Diophantus 幾何学的不等式.
§4 から §25 までの間で, そのような複雑な多輻的 Kummer 両立系の編成/設営の説明を
行いましょう.
P301
この §25 の最後に, 上述の多輻的 Kummer 離脱を用いた q 標対象の次数の計算に
ついて, 簡単に説明しましょう. (詳しくは, [9], Corollary 3.12, の証明を参照ください.)
不定性 (Ind1), (Ind2), (Ind3) の作用による ‡ 0Θ 標対象の軌道の和集合の (“‡ の側”
の正則構造による) 正則包 (holomorphic hull ? cf. [9], Remark 3.9.5) ([2], §12, の
後半の議論を参照) の行進正規化対数体積として定義しましょう. すると, 両立的同型
† 0RFrob?→ ‡ 0RFrob の存在から,
† 0Θ 標対象の対数体積は, vol(‡ 0Θ) 以下とならざるを得
ません. したがって, 結論として, 不等式
vol(‡ 0Θ) >= deg(‡ 0q 標対象)
が得られます
(引用終り)
以上
631:現代数学の系譜 雑談
20/06/06 08:16:04.57 SrYikU2t.net
>>573
おサルさー、そろそろ気付けよｗ（＾＾
時枝記事（>>485ご参照）
ここの人達は、大学レベルの確率論・確率
632:過程論を 学んだ人が大半なんだよ だから、時枝先生の数学セミナーの記事（>>485）は 、そのままは成立たないってこと 彼ら（大学レベルの確率論・確率過程論を 学んだ人）には、”それは、一目で分かること”だよ 時枝記事やりたければ、下記のスレ使え！ このスレはIUTスレだよｗｗ 現代数学の系譜 カントル 超限集合論2 https://rio2016.5ch.net/test/read.cgi/math/1576852086/856
633:１３２人目の素数さん
20/06/06 08:23:49.44 MlYkEfP9.net
応援団スレ主コピベ乙
5周おくれのトップランナーだけど
専門がコピベ集めだし、
はやくmath jinの秘密の部屋へ行き
情報公開しろよ
634:１３２人目の素数さん
20/06/06 08:26:47.89 MlYkEfP9.net
>詳しくは, [9], Corollary 3.12, の証明を.参照ください
635:１３２人目の素数さん
20/06/06 09:27:40.89 cg14T5Sp.net
>>580
一目で分かるのになぜかいつまで経っても証明は示さない瀬田ｗ
>時枝記事やりたければ、下記のスレ使え！
なんでおまえはそっちに不成立の証明書かんの？
主張してるのはおまえなのに
636:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/06 09:46:06 SrYikU2t.net
>>583
>>時枝記事やりたければ、下記のスレ使え！
>なんでおまえはそっちに不成立の証明書かんの？
うるせー サルだなｗ
じゃ、一言だけなｗｗ（＾＾
(参考：>>370より)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80
ｽﾚﾘﾝｸ(math板:50番)-51
(抜粋)
時枝問題（数学セミナー201511月号の記事）
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
(引用終り)
＜証明＞
勝つ戦略はありません！
一目ですｗ（＾＾；
QED！！
あと
時枝記事やりたければ、下記のスレ使え！
このスレはIUTスレだよｗｗ
現代数学の系譜 カントル 超限集合論2
ｽﾚﾘﾝｸ(math板:856番)
637:１３２人目の素数さん
20/06/06 09:52:14.71 cg14T5Sp.net
>>584
>＜証明＞
>勝つ戦略はありません！
>一目ですｗ（＾＾；
証明にギャップがありますよ？
>時枝記事やりたければ、下記のスレ使え！
だからおまえがそっちに不成立の証明を書けばいい
不成立を主張してるのはおまえなんだから
638:１３２人目の素数さん
20/06/06 10:59:33 6i3R8dZd.net
ブンゲンが「数学とはお金がかかる」とあえて本に書いたの見て
このひとお金大好きなんだなと思った
639:１３２人目の素数さん
20/06/06 11:01:03 6i3R8dZd.net
宗教にはお金がかかる
教祖はいいもん食べないとやる気が起きないし
信者集めてハイにならないと、信仰が続かないもんねｗｗ
640:１３２人目の素数さん
20/06/06 11:16:56 D0vIqk2k.net
>>586
数学ならば、一億円ぐらいあれば御の字。
１００億ぐらいが普通に動く学問でないと、優秀な学生は入ってこない。
641:１３２人目の素数さん
20/06/06 11:18:21.37 fDRShCP8.net
>>580
そもそも集合論の初歩の∈と⊂すら間違う君に、
確率論も確率過程論も全く分かるわけないがね
選択公理のステートメントを全く読まずに
「全ての集合が整列可能」という整列定理を
選択公理そのものだと誤解する君に数学が分かるわけはない
君は「同じ」と同値が全く区別できない
以前も、正規部分群の定義の中の
（集合として）「同じ」という記述を
（群として）同型写像があるという意味だと取り違えた
それは数学を学ぶ人間としては致命的な誤りだよ
PとQが同値だからといって、
642: 論理式として同じだということにはならない 君は、「箱入り無数目」の記事中の、 箱の中身を自分勝手に確率変数だと誤解し しかも無限個の箱全体が独立だと自分勝手に誤解した 独善的な誤解をやらかし続ける君は数学は一字たりとも理解できない 諦めたまえ
643:１３２人目の素数さん
20/06/06 11:19:06.84 an2/Uu+L.net
Bの奥さんが好きなアニメについて人に話したら「ああ、それってモテない男性が好きなのですよね(笑)」って言われてショック受けた話好き
稼いだお金でBDを買ってあげてほしい
644:１３２人目の素数さん
20/06/06 11:19:56.97 fDRShCP8.net
>>584
「箱入り無数目」の記事こそ勝てる戦略であることを
理解できない人には数学など無理 諦めたまえ
645:１３２人目の素数さん
20/06/06 11:27:50.92 fDRShCP8.net
>>577-579
君のコピペ芸はつまらんね
望月はオリンピック選手ではないんだがね
君のような人がいるから、ドーピングがなくならないんだろうな
ドーピング禁止理由
１．スポーツの価値を損うため
ドーピングは、競技の楽しみや厳しさを奪い、結果としてスポーツの価値を損なうことになる。
２．フェアプレイの精神に反するため
ドーピングは経済的な理由などで使える人が限られるため公平では無い。スポーツは統一したルールのもと、公平に競い合うことが前提である。
３．健康を害するため
ドーピングは、使用者の心身に悪影響を与える副作用が確認されており[7]、競技者等の安全や健康を守るためにもドーピングは禁止されている。
４．反社会的行為であるため、社会や青少年に悪影響を及ぼすため
選手がドーピングに手を染めていれば、ドーピングをよしとする風潮が蔓延してしまう。
望月論文のアクセプトは、数学の価値を損うのみならず
数学における公正（fairness）の精神に反する
646:１３２人目の素数さん
20/06/06 11:34:46.65 fDRShCP8.net
>>574
＞「数学とはお金のかかる学問である」
旅費程度のことでお金がかかるっていっちゃう数学者って
ビル・ゲイツやスティーブ・ジョブズとかからみたら
鼻クソレベルの存在なんだろうな
647:１３２人目の素数さん
20/06/06 11:46:21.98 fDRShCP8.net
>>588
数学ってそもそも金勘定の学問だったんだけどね
ビル・ゲイツは数学専攻の学生だったらしいが
数学どころか情報科学でも何の成果も出してない
（BASICのインタプリタのプログラムを書くなんて
命題論理の充足可能性問題がNP完全だと証明した
なんてのに比べたらまさにハエのフンレベル）
世界一のお金持ちになるのに世界一の頭脳は必要ない
某島国のイケメン気取りの数学者が、たかが旅費程度で
「数学とはお金のかかる学問である」とほざくのは
世間知らずなだけで全く罪もない可愛い話であるが
アメリカの数学で落ちこぼれたマイコンヲタク野郎が
世界一の金持ちになるとかいうのは、実に有害である
648:１３２人目の素数さん
20/06/06 11:56:20.60 fDRShCP8.net
>>590
URLﾘﾝｸ(twitter.com)
「Zoom飲み会で、最近ウチの奥さんがネフリで観まくっているアニメの話を、
とあるその手の業界にも詳しいお方に話したら
「あぁ、あのオタクの男が大好きなヤツですね」と返された。
奥さんはまだ寝込んでいる。」
そもそもBの奥チャンはアニメがどうこういう前に
数学者と結婚した時点で立派な変態(pervert
649:) であることに気づくべきだろう（マジ） (deleted an unsolicited ad)
650:１３２人目の素数さん
20/06/06 12:10:48.32 fDRShCP8.net
余談
仮に、乃木坂の推しメンは久保史緒里！と答えて
「ああ、あのネガティブ思考の乃木坂ヲタクで
ブログにひたすら長文を書くコでしょう？」
と返されたら
「それこそが正しい乃木坂メンバーというものです！
はふーんとかずっきゅん！とかやっちゃうのは俗物！」
と言い返したい
参考
URLﾘﾝｸ(nogiradi.com)
651:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/06 13:18:13 SrYikU2t.net
>>596
今日のミスター維新＝あほサルは、 ID:fDRShCP8 か
自称数学科修士の落ちこぼれさんよ！ｗ（＾＾
652:１３２人目の素数さん
20/06/06 13:18:23 X0vDHMkX.net
Bと奥さんのなれそめ知りたい
653:１３２人目の素数さん
20/06/06 13:19:03 X0vDHMkX.net
てかBは数学者っていってもイケメン寄りだし話も普通だし物腰も柔らかいからモテたんだろうな
654:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/06 13:28:12 SrYikU2t.net
>>594
(引用開始)
ビル・ゲイツは数学専攻の学生だったらしいが
数学どころか情報科学でも何の成果も出してない
（BASICのインタプリタのプログラムを書くなんて
命題論理の充足可能性問題がNP完全だと証明した
なんてのに比べたらまさにハエのフンレベル）
世界一のお金持ちになるのに世界一の頭脳は必要ない
(引用終り)
１．世界一のお金持 vs 世界一の頭脳
の比較の話をしているのかな？
ゴキブリのフン以下の ”オトコ” がよ ｗ （情けないやつ）
２．”アメリカの数学で落ちこぼれたマイコンヲタク野郎が
世界一の金持ちになるとかいうのは、実に有害である”
かｗｗ 数学の落ちこぼれにして 人生の落伍者のおサルさんの嫉妬以外のなにものでもない 語りだなｗ（＾＾
３．いまどき、数学者だって 職業の1つ アカデミックなポストが得られなければ、高校数学教師でも、小学校教員でもなれよ
あるいは、稼ぐ女のヒモとかもあるぜ
だが、おサルは どれも無理だったんだ。それで、 人生の落伍者かなｗ
655:１３２人目の素数さん
20/06/06 13:28:56 6i3R8dZd.net
奥さんがどんなひとか知らないけど、ちょっとだけツイート見た感じだと
虚栄心旺盛な、いかにも大学教授に寄って来そうな
ミーハー女だな、という印象。あくまで印象ねｗ
世間一般ではそういう女をハズレと言う。
656:１３２人目の素数さん
20/06/06 13:29:40 QGciaLcI.net
BGの布教動画を見て最初に受けた印象はIUT教の上祐だったことを告解せねばなるまい
657:１３２人目の素数さん
20/06/06 13:38:37.64 6i3R8dZd.net
>Bと奥さんのなれそめ知りたい
こういう発想は数学板住人にはない。
全然興味ないしどうでもいい話。
メンヘラおばさんは自分に近いものを感じるんだろうなｗ
貴様も当然ハズレだよ、キモがられてるだろｗ
658:１３２人目の素数さん
20/06/06 13:55:28.12 X0vDHMkX.net
>>603
そういう無駄に攻撃的なところが数学板っぽいよね
細かいとこにこだわらず暇潰し会話を楽しむと人生豊かになると思うよ
もっちーさんだってアイドル好きなわけだし
659:１３２人目の素数さん
20/06/06 14:05:24.83 6i3R8dZd.net
数学者の理想の嫁は、鶴の恩返しに出てくる鶴女房みたいな子ｗ
加藤和也が語っていた。
素朴で飾り気のない子がいい。
660:１３２人目の素数さん
20/06/06 14:21:11.61 fDRShCP8.net
>>598-599
Bの奥チャンはヲタク属性満載の人だと思う
>>601
URLﾘﾝｸ(twitter.com)
＞妻「私はあなたに数学を広めるためにいろいろアドバイスするのに、
＞ あなたは何一つやってくれない！
＞ VTuberにもならないし、小説も書く気ないようだし！」
＞私「…」
この発言を見る限り・・・やっぱりヲタク属性満載ですね
フツーの奥様はそもそもVTuberを知りません
（注：Youtuberのことではないですよ 検索
661:しましょうね） (deleted an unsolicited ad)
662:現代数学の系譜 雑談
20/06/06 14:25:52.35 SrYikU2t.net
>>603
おれも、Bと奥さんのなれそめ知りたい ｗ （＾＾；
663:１３２人目の素数さん
20/06/06 14:31:11.63 fDRShCP8.net
>>604
Bの奥チャンが数学科出身者でなさそうなことはわかる
アニヲタかつツッコミキャラ、という特性からするとこんな感じか
URLﾘﾝｸ(www.youtube.com)
ちなみに上記の彼女が乃木坂に入った真の動機は
アイドルをネタにした同人作品が描きたかったから
だと勝手に想像している（ヤバイ）
>>605
いまどきそんな都合のいい女はいませんｗ
664:粋蕎
20/06/06 14:40:50.86 ero6ji90.net
今時でも探せば居るがポーッとし過ぎて詐欺に引っ掛かった経験が有りそうな
おっかなびっくり系な上にトロい雰囲気な上に格好にも疎い不出来系が多い
665:１３２人目の素数さん
20/06/06 14:42:14.66 fDRShCP8.net
理系っぽいアイドル候補生
URLﾘﾝｸ(www.youtube.com)
>>596で名前が出たドルヲタ久保や、
>>608のアニヲタ賀喜と同じ齢
岩手県の出身で高専生だったらしい
ちなみに、さすがに数オリメダリストで
アイドル目指そうってヤツは見ない
666:１３２人目の素数さん
20/06/06 15:05:06.37 fDRShCP8.net
>>609
＞ポーッとし過ぎて・・・トロい雰囲気な上に格好にも疎い不出来系
天才にありがちですね
天然エピソード
URLﾘﾝｸ(www.youtube.com)
ジミエピソード
URLﾘﾝｸ(babymetal-rock.com)
667:１３２人目の素数さん
20/06/06 17:36:47 EWpFkq/J.net
>このスレはIUTスレだよｗｗ
だからこのスレはスレ主のおうち
【閲覧注意】妄想コピベ集【隔離スレ】
自宅療養もあるし
668:１３２人目の素数さん
20/06/06 17:53:58.90 cg14T5Sp.net
>>597
サルでも落ちこぼれでも何でもいけど
不成立の証明からは逃げないでね
669:現代数学の系譜 雑談
20/06/06 19:23:27.44 SrYikU2t.net
>>584
じゃ、もう一言ｗ
「反例の存在証明」
＜まず確認＞
１．箱への数の入れ方は、「どんな実数を入れるかはまったく自由」である
２．したがって、”独立同分布である i.i.d. IID”（下記）で、箱に数を入れることは可能
３．時枝記事の”勝つ戦略”なるものは
「ある1つの箱を残して、他の箱を全て開けることを許せば、
その1つの箱の実数を 確率99％（あるいは確率1-ε（εは任意に小さく取れる））で的中できる」
ということだった
＜反例証明＞
１．”独立同分布 i.i.d. IID”で、箱に数を入れるとする
（可算無限個の確率変数を扱うことは、大学レベルの確率論＆確率過程論の射程内である）
２．IIDとして、サイコロで箱に数を入れれば、的中確率は1/6である
どの箱も例外無し。どの1つの箱も 確率99％にならないので、反例となる
３．区間[0,1]の一様分布から、任意の実数を選んで IIDで 数を入れる
ルベーグ測度では区間[0,1]の１点ｒ( 0 =< r =< 1 ) の測度は0（∵零集合）で、的中確率0
これも、反例となる
QED
（補足：”独立”だから、問題の箱以外を開けても、問題の箱の確率には 何ら影響しない。サイコロなら1/6、区間[0,1]の一様分布内の１点ｒなら的中確率0）
ｗ（＾＾；
この「反例証明」が分からないのは、小学生レベルの”数学落ちこぼれ”ｗｗ
（参考）
URLﾘﾝｸ(www.practmath.com)
実用的な数学を
2019年6月20日 投稿者: TAKAN
独立同分布である i.i.d. IID
(抜粋)
|| 同じ分布のデータは互いに不干渉だよ
これは「確率変数を別々に扱えるよ」という『仮定』です。
これが仮定されていると、非常に計算がしやすくなります。
相関を考えなくて良いので、共分散などを使う必要がありません。
なにせ条件付き確率の発想から分かる通り、独立性は特別なものです。
といっても、そうそうおかしなことにはならないわけですけど。
(引用終り)
あとは
時枝記事やりたければ、下記のスレ使え！
このスレはIUTスレだよｗｗ
現代数学の系譜 カントル 超限集合論2
ｽﾚﾘﾝｸ(math板:856番)
670:現代数学の系譜 雑談
20/06/06 19:30:22.85 SrYikU2t.net
>>609
粋蕎 さん、どうも
まあ、数学科を選んだ時点で、彼女に贅沢言えるのは、ショルツくらいの天才だけですよね
佐藤幹夫先生は、天才度が過ぎたのか、足りなかったのかは知らないが、結婚が非常に遅れた
（数学を考えながら寝て、起きたら即数学なんてやっていると、女を考える時間が無かったか。その点、ショルツは大天才ですな（＾＾）
数学科なら、彼女が出来ただけで
”おんの字”でしょｗ（＾＾；
671:１３２人目の素数さん
20/06/06 19:32:21.55 lkKVc4BQ.net
>>611
該当しないから引き合いに出すな
17歳にしてイギリスのミュージックアワードの授賞式で英語でスピーチしたり、アンチで有名なコワモテ女性評論家をシンパに転向させたり
超有能そのものだよ
Dragonforceのハーマン・リーはSU-METALは通訳より英語が上手いと言ったくらいだしな
凄まじいほどの集中力でものにしてしまうのが彼女の特徴でボーとしてるのは真逆だから
さくら学院当時のは千葉プロデューサーが武藤彩未を推すために中元下げを意図した演出だからね
本気にしないようにな
672:１３２人目の素数さん
20/06/06 20:23:58 fDRShCP8.net
>>616
SU-METALは高校卒業後、NYに住んでるといわれてるので
そりゃ英語も上手くなる
しかし、根本的には天然かつ地味
ちなみにカッコイイ曲でカリスマ感を出してるのに
好きな曲はメタ太郎とOh!Majinai
どっちもカワイイ感じ
URLﾘﾝｸ(www.youtube.com)
ま、でも乃木坂の連中には無理だろうな
久保と賀喜には悪いが、SU-METALは天才だからな
673:１３２人目の素数さん
20/06/06 20:54:01 1ScDVGED.net
ショルツェは結婚はやそ
674:１３２人目の素数さん
20/06/06 23:19:45 N9hPIowj.net
維新がオタ知識披露か
675:１３２人目の素数さん
20/06/07 01:01:44 ll40Vh7Z.net
>>614
不正解。
「サイコロで箱の中身を決めたら確率1/6で当てられる」という主張は「当てずっぽうで当てようとしたら」という前提があって初めて成立する。
時枝戦略には存在しない前提を勝手に置いている時点で不正解。
実際時枝戦略は同値類から情報をもらう戦略であり、当てずっぽうで当てようとする戦略ではないから、時枝戦略に対する反例になっていない。
676:１３２人目の素数さん
20/06/07 09:14:40.21 pdmWlwPF.net
>>614
誤り
【第１の誤り】
「１．「どんな実数を入れるかはまったく自由」」から
「２．”独立同分布である i.i.d. IID”」が云えると思ったこと
箱入り無数目の記事では箱の中身の分布に全く言及してない
なぜなら、箱は確率変数ではないからである
【第２の誤り】
「「ある1つの箱を残して、他の箱を全て開けることを許せば、
その1つの箱の実数を 確率99％で的中できる」を
「ある１つの箱を決めたら、その箱の中身を何度入れ替えても
中身を確率99％で的中できる」と読み違えたこと」
箱入り無数目の記事では実は箱の中身は一切入れ替えない
「選べる箱１００個のうち、１個を選んだ場合
代表元の対応する項と、中身が一致する箱が９９箱ある」
というのが正しい読解
確率変数が分かってないから、読み違える
箱入り無数目の記事における確率変数は
選んだ箱の中身ではなく選べる箱の番号１～１００
677:１３２人目の素数さん
20/06/07 09:31:51 pdmWlwPF.net
>>621
＞区間[0,1]の一様分布から、任意の実数を選んで IIDで 数を入れる
＞ルベーグ測度では区間[0,1]の１点ｒ( 0 =< r =< 1 ) の測度は0（∵零集合）で、
＞的中確率0
＞どの箱も例外無し。どの1つの箱も 確率99％にならないので、反例となる
記事を全く読まずに、自分勝手な理解だけで考えるから間違う
記事の方法で選べる箱は１００個である
そしてその１００個のうち、９９個は代表元の項と中身が一致してしまう
中身が不一致となる箱を２個以上にすることは不可能である
なぜなら、ｎ＞ｍかつｍ＞ｎとなる自然数の組ｎ，ｍは存在し得ないからである
678:１３２人目の素数さん
20/06/07 11:33:40.27 ll40Vh7Z.net
「サイコロで箱の中身を決めたら確率1/6で当てられる」という主張は「当てずっぽうで当てようとしたら」という前提があって初めて成立する。
は
「サイコロで箱の中身を決めたら確率1/6でしか当てられない」という主張は「当てずっぽうで当てようとしたら」という前提があって初めて成立する。
の方が分かり易いかな
679:１３２人目の素数さん
20/06/07 13:40:58.38 pdmWlwPF.net
>>623
サイコロで箱の中身を決めても、
サイコロの目を知ることができれば
確率１で当てられる
逆に箱の中身が必ず１だとしても
箱の中身の情報を１から６のいずれかだと言って
その中身を予想するのにサイコロを用いるなら
当たる確率は１／６
つまり
箱の中身の分布確率＝箱の中身の的中確率
とはいえない
680:現代数学の系譜 雑談
20/06/07 14:42:00.65 Q0Rzcycw.net
>>620-624
ID:ll40Vh7Z ね
ID:ll40Vh7Z がおサルか（下記）
”純粋・応用数学”
ｽﾚﾘﾝｸ(math板:400番)
400 名前：哀れな素人[] 投稿日：2020/06/07(日) 12:49:39.25 ID:0G5Peiut [5/5]
ID:ll40Vh7Z
スレ主よ、こいつは質問少年の真似をしているが、サル石だ(笑
だまされないように(笑
(引用終り)
なるほど
で、もう一人
ID:pdmWlwPFは
”High level people”（下記）の一人 か（＾＾
スレ28 ｽﾚﾘﾝｸ(math板) (High level people が自分達で勝手に立てた時枝問題を論じるスレ)
High level peopleの一人が、時枝記事（数学セミナー2015年11月号の記事『箱入り無数目』）を紹介してくれたなのだが（下記見るとこの人が、スレ28を立てたみたい。この人は、昔Tさんと私が呼んでいた人だと思う）
681:現代数学の系譜 雑談
20/06/07 14:46:35.49 Q0Rzcycw.net
>>620-624
要するに
１．大学教程の「確率論＆確率過程論」が、からっきし理解できていない
２．”箱”？ 大学教程の抽象化された数学では、”箱”でも”袋”でも、あるいは、”目隠し”でも同じですよ
「”箱”だから、うんぬん かんぬん」なんて、小学生ですな、ご両人ｗ（＾＾
あとは
時枝記事やりたければ、下記のスレ使え！
このスレはIUTスレだよｗｗ
現代数学の系譜 カントル 超限集合論2
ｽﾚﾘﾝｸ(math板:856番)
682:１３２人目の素数さん
20/06/07 15:03:48.63 evLjG7tO.net
B本買うか迷ってやめた
683:１３２人目の素数さん
20/06/07 15:15:02.09 pdmWlwPF.net
>>626
無限個の確率変数もIIDも、確率過程論じゃないな
たまたま見つけたページが確率過程について書かれてただけで
「確率過程とは無限個の確率変数だ！ IIDだ！」
と思ったんなら、全然見当違い
＞大学教程の抽象化された数学では、
＞”箱”でも”袋”でも、あるいは、”目隠し”でも同じですよ
これまた、全然見当違い
箱入り無数目の記事で、何を確率事象として扱ってるか分かれば
確率変数が箱の中身ではなく、箱の番号だと分かる
だって、選んでるのは箱であって、中身ではないから
箱の中身を当てる＝確率変数は箱の中身 と脊髄反射するのは考えてない証拠
684:現代数学の系譜 雑談
20/06/07 15:20:53.64 Q0Rzcycw.net
>>626 補足
> １．大学教程の「確率論＆確率過程論」が、からっきし理解できていない
要するに
大学教程の「確率論＆確率過程論」
に無知ってことですね（＾＾；
時枝記事の”勝つ戦略”なるものも
十分、大学教程の「確率論＆確率過程論」の射程内
なのですｗ（＾＾；
685:１３２人目の素数さん
20/06/07 15:31:06.54 pdmWlwPF.net
>>626
＞このスレはIUTスレだよ
君にはIUTどころか、楕円関数論も代数曲線論も無理だよ
686:１３２人目の素数さん
20/06/07 15:34:42 pdmWlwPF.net
>>629
時枝記事の”勝つ戦略”は、同値関係、同値類の定義と
選択公理の使用を除けば、小学生レベルの確率だけどね
１００個中、外れがたかだか１個なら、当たる確率は９９／１００
無限個の箱＝無限個の確率変数 という誤りに気づけないようじゃ、数学は無理
687:１３２人目の素数さん
20/06/07 15:37:20 pdmWlwPF.net
∈と⊂の違いも分からず、公理と公理図式の違いも分からない
そんな素人に、大学数学が分かるわけないよ
688:１３２人目の素数さん
20/06/07 15:50:22 pdmWlwPF.net
>>625
High level people が
数学科�
689:w部卒～修士修了 程度 なら そうだろうな で Very High 博士 Ultra High 講師 Super High 教授 Extremely High フィールズ賞級 とすると、IUTは、Extremely High Levelだから 君のような Medium Level (一般の理工系）にはとても無理 応援団？理解もできずに？そんなんつまんないでしょ？ やめときなって 別の趣味見つけなよ 例えばアイドルとかｗ
690:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/07 15:59:33 Q0Rzcycw.net
>>627
>B本買うか迷ってやめた
おれは、図書館で借りたよ
近くに図書館ないのか？
691:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/07 16:08:55 Q0Rzcycw.net
>>633
言いたいことは、それだけか？
お疲れさまでした
あんたに賛同する人皆無だよ
おサル？ あれは人外だな
言いたいことを言ったら
お引き取りください
あとは
時枝記事やりたければ、下記のスレ使え！
このスレはIUTスレだよｗｗ
現代数学の系譜 カントル 超限集合論2
ｽﾚﾘﾝｸ(math板:856番)
692:１３２人目の素数さん
20/06/07 16:18:46 ll40Vh7Z.net
>>629
>時枝記事の”勝つ戦略”なるものも
>十分、大学教程の「確率論＆確率過程論」の射程内
>なのですｗ（＾＾；
それ、妄想ですよ？
時枝記事の確率は100枚のくじから99枚以上のアタリを引く確率に過ぎませんから
そんなのは小学校の確率です
あなたThe Rddleも不成立の立場なんですよね？
The Riddleは確率を一切使ってません。大学どころか小学校の確率も不要です。
妄想で語るのやめませんか？
693:１３２人目の素数さん
20/06/07 16:19:23.72 pdmWlwPF.net
>>635
君、数学板で何がしたいの？
誰も、君が数学を理解してると思ってないよ
君こそ、ここから出てったほうがいいって
IUT？無理無理
このスレの後始末なら心配しなくていい
アイドルネタでもなんでも書き込んで埋めるから
自分も理解で着ない文章のコピペよりよっぽど面白いから
694:１３２人目の素数さん
20/06/07 16:39:45.30 ll40Vh7Z.net
>時枝記事の確率は100枚のくじから99枚以上のアタリを引く確率に過ぎませんから
には確かな証拠があります。時枝記事の
>さて， 1～100 のいずれかをランダムに選ぶ.
です。
ランダム、すなわち一様分布という確率分布が明示されて、確率計算の基礎付けがされているのです。
確率分布が定められていなければ確率計算はできませんよ？小学校で「同様に確からしい」って習いましたよね？
これで時枝戦略が何を確率変数としているかはっきりしましたね。
695:１３２人目の素数さん
20/06/07 16:45:58.84 pdmWlwPF.net
◆yH25M02vWFhP に贈る歌
URLﾘﾝｸ(www.youtube.com)
さくら学院 科学部で唄ってほしかった・・・
696:１３２人目の素数さん
20/06/07 17:05:28.60 8Z5L4AJL.net
>>634
図書館
予約が40くらいはいってる
697:１３２人目の素数さん
20/06/07 17:23:42.28 evZLx3vD.net
え、ここ見てる人って1700円の本買うかどうか迷うレベルなの？
698:１３２人目の素数さん
20/06/07 17:36:15.86 3FdQvUjW.net
たとえ100円でもドブに捨てるのは嫌でしょ。
699:１３２人目の素数さん
20/06/07 17:39:00.74 3FdQvUjW.net
みんなが触った本なんて読みたくないけどねｗ
買うなら電子書籍だろ。DMMで半額で買えるときがある。
ちゃんと読みたい本は紀伊国屋にするけど。
700:１３２人目の素数さん
20/06/07 17:42:34.99 FlYOJcqd.net
>>641
迷う
まずぶっといからスペースとるし
Kindleでもいいんだけど、このテの本は書籍でページめくりながら読みたいし…
でもぶっとくて邪魔だしなとか考えて、まぁいっか…また次の機会にとなる
701:１３２人目の素数さん
20/06/07 17:44:39.71 3FdQvUjW.net
ぶっちゃけ中身ないから立ち読みで十分だけどなｗ
702:１３２人目の素数さん
20/06/07 17:47:22 FlYOJcqd.net
>>645
そこだよな
Bのにやけた顔がどうしてもちらつくし(他人の業績なのに…)
703:１３２人目の素数さん
20/06/07 17:49:29 kU0QqNn6.net
>>641
ファ
704:ンタジーラノベとしてはちょっと高いかな 負の感情を呼び覚ますにはもってこいだろうけど動画でお腹一杯
705:現代数学の系譜 雑談
20/06/07 20:51:46.21 Q0Rzcycw.net
>>640
>図書館
>予約が40くらいはいってる
おれんときは、去年だったけど、予約20くらいあって
ずっと待った
あと、大手書店でチラ見するとか（＾＾
706:現代数学の系譜 雑談
20/06/07 20:54:51.33 Q0Rzcycw.net
>>641-647
本買うと、お金もあるけど、場所取るし
ずっと、おいといて、読み返す本でもないし・・と思ったので
買えなかった
書店でチラ見したけど
書いてあることが、あまりにも文系向きで
チラ見では、ワケワカだった（＾＾；
707:１３２人目の素数さん
20/06/07 21:22:16 yPGp2nX/.net
困ったときの文系だのみ
708:１３２人目の素数さん
20/06/07 21:33:21.82 KAYEXHWR.net
なぜもっちーが海外で講演しないのか？について、ブログ読めの結論でわろた
709:１３２人目の素数さん
20/06/07 21:43:31 3FdQvUjW.net
もう英語は聴きたくないとか、何か英語圏に対してトラウマがあるんでしょ？
でも、それを本人の言う通りに受け取っていいのか？と疑ってたひとがいたね。
IUTだって、ガロア群の作用とかタイヒミュラー理論の類似とか
基本的な考え方は伝統的な数学なのに、それを地動説と天動説の違いだとか
従来の数学の固定観念を捨てないと理解できないとか、神秘めかせているのが怪しまれている。
710:１３２人目の素数さん
20/06/07 22:02:17 Sales2Iu.net
>>652
青春の頃には誰でも思い出したくないことがあるもんだよ。
周りが金髪ばかりなら、なおさらだろう。
711:１３２人目の素数さん
20/06/07 22:05:10 3iPPMK+k.net
怪しいというか数学無関係の人以外で信じてる人もうほとんどいないんじゃないかな
712:１３２人目の素数さん
20/06/07 22:51:59.02 kU0QqNn6.net
そういうんじゃなくて天才がその気になれば超分かりやすい解説をしてあっという間に話が終わってしまうのに
それでは金にも話題にもならないから回りくどい説明をして煙に巻いてるかんじ
713:１３２人目の素数さん
20/06/07 22:55:43.47 k9CgnfmV.net
Mがそんなセコいことするかな
俺は論文に全部書いてるから、はしょらず丁寧に読み込んでから質問来てよねって言ってるようにしか見えない
714:現代数学の系譜 雑談
20/06/07 23:09:01.93 Q0Rzcycw.net
>>655-656
おれは、本スレのID:gkr1c+wL氏と同じ意見です
もっと、分り易い説明あると思うよ
Inter-universal geometry と ABC予想 53
ｽﾚﾘﾝｸ(math板:509番)-510
509 名前：１３２人目の素数さん[sage] 投稿日：2020/06/07(日) 01:00:17.93 ID:gkr1c+wL [1/2]
>>501
これは本当に疑問なんだよなあ
個人的に見る限り再編成したと表現すべきであって、全く新しいという表現はむしろ理解していない風に見える
例えば圏として抽象化した結果射としていくらか識別できない要素を含むとしても、今時の数学者なら
理屈さえちゃんとしてりゃ処理できるしね
志甫ー加藤ラインでガチのプリント書いたら良いのに。たった10ページでもさ
はっきり言って最初から望月的数学やってるような連中なんかよりこのラインの話を見たいよ
510 名前：１３２人目の素数さん[sage] 投稿日：2020/06/07(日) 01:16:01.75 ID:gkr1c+wL [2/2]
より正確には星ー志甫ー加藤ラインがベストだよね
これでまともなプリントを出せば少なくとも国内、特に東京の受容は一気に変わる
715:１３２人目の素数さん
20/06/07 23:10:49.66 kU0QqNn6.net
>>656
教祖を祭り上げて取り巻きが金儲けに走るというのは新興宗教によくある話
716:現代数学の系譜 雑談
20/06/07 23:13:46.88 Q0Rzcycw.net
>>657 補足
１．望月先生の気持ちは、理解できる
要するに、IUTの500～600ページを ４年ほど掛かって 必死で書き上げた
２．書き上げるのに必死で、
読みやすくとかは、多少は考えるだろうが、まずは書き上げるのが第一です
３．大体、過去例でもそうで、その後に
いろんな人が、工夫して、もっと分り易い証明を考えるもの
これから、そういう動きになると思います（＾＾
717:現代数学の系譜 雑談
20/06/07 23:16:00.65 Q0Rzcycw.net
>>658
＞教祖を祭り上げて取り巻きが金儲けに走るというのは新興宗教によくある話
確かに
既存の宗教でも
仏教では
「お経」とか「念仏」とか
意味ワカランよね
718:１３２人目の素数さん
20/06/07 23:25:19 kU0QqNn6.net
>>660
それを言うならB本は文字通り入門用のバイブルですな
719:１３２人目の素数さん
20/06/07 23:34:36.99 QH8ysnh6.net
お経や念仏の意味がわからないのは君の理解が足りないから
ちゃんと意味あるからしっかり調べてからわからんと言ってよね
時代性もあるんだからね(｀ε´ )
720:１３２人目の素数さん
20/06/07 23:43:32.18 nTGQavmk.net
私に念仏を唱えている人間は頭が悪すぎて反吐が出る
721:１３２人目の素数さん
20/06/07 23:46:07.05 kU0QqNn6.net
たとえ証明が間違いでも学術研究としてはありでそれ自体に犯罪性はないのだから
ましてや証明が正しいのにわざと分かりにくい説明をして聴衆の理解を遅らせ間接的に利益を貪ったとしても
その犯罪性は全く立証できない
まさに天才的な完全犯罪
おみそれしました
722:１３２人目の素数さん
20/06/07 23:53:05 nTGQavmk.net
>>664
誰に書いているんですか？どちらにしても完全な名誉毀損ですけど？
723:１３２人目の素数さん
20/06/07 23:58:18 kU0QqNn6.net
>>665
誰に書いているか分からないのに誰の名誉を棄損しているんですかね？
誰か心当たりでも？
724:１３２人目の素数さん
20/06/08 00:01:04 1KcJsaSC.net
>>666
私は未解決問題を解決したと主張していますから
725:１３２人目の素数さん
20/06/08 00:03:54 IEEsP6eY.net
>>667
あなた
どなたですか
726:１３２人目の素数さん
20/06/08 00:19:23 IS2BUWDt.net
ABC自体がたいした問題ではないわけ。
それにしても望月はもったいつけて、RIMSを巻き込んで、
付加価値をつけたもんだと感心するよ。
これではアインシュタイン級と勘違いする素人が出てくるだろうね。
727:１３２人目の素数さん
20/06/08 00:25:44 +G8ONrV1.net
>>669
そこは半世紀後の物理学で物質の瞬間移動にでも使われるかもしれないと妄想を楽しんでおくさ
言ったもん勝ちだ
728:１３２人目の素数さん
20/06/08 03:07:30.14 1bFBdHhv.net
【閲覧注意】スレ主病気【隔離スレ】
729:１３２人目の素数さん
20/06/08 06:04:03.78 kr07TWn+.net
>>669
前々からABCが大したことないと言ってるバカが一人いるけど
お前が自分の無知を恥じて省みることがないだけ。
ABCは間違いなく超重要問題だよ。そして本当に解けていて新しい方法を
見つけているなら、その衝撃が計り知れないことも事実。
証明になってないと疑問視されていることが問題なんだよ。
730:１３２人目の素数さん
20/06/08 06:35:09.85 O+oGn1xK.net
>おれは、本スレのID:gkr1c+wL氏
と同じ意見です
スレ主尻馬に乗ってアホ丸出しですね
・PRIMS編集委員=RIMS教授がIUT論文の査読中からabc予想は解決と公言した
・IUT論文受理の会見をした玉川柏原
はIUT中心の次世代幾何学研究センター
所属
・加藤文元玉川がIUT
731:は全く新しい 数学と発言。 IUT論文は普通の数学とパラダイムが 異なるから解釈が多数存在する状態 ・IUTを身につけたければRIMSでIUT語を修行しろと開き直り ・数秘術もどきのIUTで「証明」しても 京大RIMS限定の「定理」でしかない
732:１３２人目の素数さん
20/06/08 06:35:29.08 kr07TWn+.net
>>660
お経の意味が分からんのは、もともとサンスクリット語だったのを
中国語に音訳して、それをさらに日本式に読んでいるからでしょ。
意味分からんのに有難がってるのはバカと言えばそう。
ドイツ語圏ではルターとかが聖書を誰でも読める言葉に翻訳したり
ともかく意味が分かることを重要視した。
そこが賢いというか、数学にも通じる考え。
バッハとかオイラーとかの偉人もそういう時代以降に生まれている。
733:現代数学の系譜 雑談
20/06/08 07:21:02.11 lIkO/1JX.net
メモ
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 出張・講演
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
[11] 数論的Teichmuller理論入門 （京都大学理学部数学教室 2008年5月）談話会
（IUTの着想概説）
で§2.リーマン面の一意化の幾何と固有束
でP4 Koebeが出てくる
下記だったんだ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
一意化定理
一意化定理(uniformization theorem)とは、すべての単連結リーマン面は、開円板、複素平面、リーマン球面の 3つのうちのひとつに共形同値であるという定理である。特に、単連結リーマン面は定曲率（英語版）(constant curvature)のリーマン計量を持つ。この定理は普遍被覆リーマン面を楕円型（正の曲率、正の曲がった曲率をもつ）、放物型（平坦）、双曲型(負曲率）として分類する。
歴史
フェリックス・クライン Klein (1883) と アンリ・ポアンカレ Poincare (1882) は、代数曲線（リーマン面）の一意化を予想した。Henri Poincare (1883) では、この予想を任意の多値函数へ拡張し、この条件に合う問題について議論した。一般の一意化定理の最初の厳密な証明は、 Poincare (1907) と Paul Koebe (1907a, 1907b, 1907c) で与えられた。
ポール・ケーベ(Paul Koebe)は後日、いくつかの証明と一般化を与えた。この歴史は Gray (1994) に記述されている。
分類
すべてのリーマン面はその普遍被覆の上の離散群(discrete group)の自由で固有な正則作用の商であり、この普遍被覆は次の中のひとつに正則同型（「共形同値」ということもある）である。
1.リーマン球面
2.複素平面
3.複素平面内の単位円板
つづく
734:現代数学の系譜 雑談
20/06/08 07:21:30.53 lIkO/1JX.net
>>675
つづき
曲面の幾何学的分類
計量の入った曲面は次のように分類される。連結な計量の入った曲面は、次の中のひとつの等長群（英語版）(isometry group)の離散部分群(discrete subgroup)の群作用による商空間である。
1.球面 (曲率 +1)
2.ユークリッド平面 (曲率 0)
3.双曲平面（英語版）(Hyperbolic plane) (曲率 ?1
735:). 第三の場合は、すべての負のオイラー標数の曲面であり、ほとんどすべて(almost all)の曲面が双曲的である。閉曲面に対し、この分類はガウス・ボネの定理と整合していて、ガウス・ボネの定理は、定曲率の閉曲面に対して、オイラー標数の符号と曲率の符号とは一致するはずであるという定理である。 負／平坦／正の分類は、代数幾何学でも対応する複素代数曲線の小平次元 -∞, 0, 1 に対応している。 (引用終り) 以上
736:現代数学の系譜 雑談
20/06/08 08:23:41.51 lIkO/1JX.net
>>640
下記お薦めです
加藤文元氏による動画と
Qiita kubodera氏よる補足解説（こちらをチラ見して動画を見ると良いと思います（＾＾）
（参考）
URLﾘﾝｸ(qiita.com)
Qiita
kubodera
2019年12月19日に更新
Nextremer Advent Calendar 201919日目
宇宙際タイヒミュラー理論で量子エンタングルメントを扱えないだろうか？
(キャプチャーした画像の内容に関する著作権は、すべて引用元のサイトにございます。)
(抜粋)
「宇宙と宇宙をつなぐ数学 IUT理論の衝撃」という本
ちなみにこの本の内容に付いて著者である加藤文元氏が説明しているYouTube動画もあり、大変わかりやすいです。ご興味ある方は是非、ご覧ください。
宇宙際タイヒミュラー理論
加藤文元氏による動画説明 URLﾘﾝｸ(www.youtube.com)
動画からの抜粋で簡単にその気持ちを４つ「ABC予想について」、「二つの絡み合ったものを別々に考える土台」、「入れ子の関係」、「対称性通信」に分けて追ってみたいと思います。詳しくは、動画の説明が大変わかりやすいのでそちらを見ていただけたらと思います。
ABC予想について
入れ子の関係
上記の画像は、ある女優さんの通常の生活と、映画の中の女優さんだそうです。
この入れ子の構造の中で、何が同じで何が違うのかを測るモノサシはどのように設計すべきなのでしょうか？そこに一つの示唆を与えるのがIUT理論（宇宙際タイヒミュラー理論）なのですが、上記動画では面白いトリックを使って説明されていました。
(この後の ”動画の抜粋 補足”が実に分り易く纏めている。一見の価値ありです)
対称性通信と復元
（同様の動画解説あり）
737:１３２人目の素数さん
20/06/08 16:13:52.30 ZNiOPlY2.net
>>675
＞ 一意化定理(uniformization theorem)とは、
＞ 「すべての単連結リーマン面は、
＞ 開円板、複素平面、リーマン球面
＞ の 3つのうちのひとつに共形同値である」
＞ という定理である。
有名だな
＞特に、単連結リーマン面は定曲率(constant curvature)のリーマン計量を持つ。
＞この定理は普遍被覆リーマン面を
＞楕円型（正の曲率）、放物型（平坦）、双曲型(負曲率）
＞として分類する。
基本だな
◆yH25M02vWFhP は複素関数論で習わなかったのか？
ああ、工学部だと、
・コーシー=リーマンの関係式
・コーシーの基本定理
・コーシーの積分表示
の３つやったら、あとは留数解析の具体的計算でオシマイかｗ
そんなんじゃ、そもそもリーマンの写像定理とかも全く知らんのだろうな
リーマンの写像定理
複素解析において、リーマンの写像定理 (英: Riemann mapping theorem) は、
「U⊂C が空でない単連結な開集合（単連結な領域）のとき、
U から単位開円板 D={z∈C}｜|z|<1}への双正則な写像（全単射な正則写像）f が存在する」
という定理である。
738:１３２人目の素数さん
20/06/08 16:14:32.12 ZNiOPlY2.net
>>675
＞分類
＞すべてのリーマン面は
＞その普遍被覆の上の離散群(discrete group)の
＞自由で固有な正則作用の商であり、
＞この普遍被覆は次の中のひとつに
＞正則同型（「共形同値」ということもある）である。
>>676
＞曲面の幾何学的分類
＞計量の入った曲面は次のように分類される。
＞連結な計量の入った曲面は、次の中のひとつの等長群(isometry group)の
＞離散部分群(discrete subgroup)の群作用による商空間である。
＞1.球面 (曲率 +1)
＞2.ユークリッド平面 (曲率 0)
＞3.双曲平面（英語版）(Hyperbolic plane) (曲率 -1).
それで終わりか？◆yH25M02vWFhP
上記の離散（部分）群から、基本群につながるんだぞ