19/12/23 18:08:14.51 5OL0gXUS.net
イヤミ博士！Ｑも入れて下φ～！
お慈悲でごぜえλだ～！
あ、間違えた、、、入れて下Ψ～！
お慈悲でごぜえmatheだ～！
あ、主様、ごめんなさい...('';)
もう今日はお邪魔しません...
お休みなΨませ。。。m(--;)m
716:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/23 18:28:07.44 mA7/omNS.net
>>625
イヤミ博士！Ｑさま、おつです
仲間ですよ
おサルも、IUTスレで世間の皆様にご迷惑を掛けないように、仲間に入れまますよ
おサルは、人外（ジンガイ）ですがｗ（＾＾；
717:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/23 18:28:35.48 mA7/omNS.net
>>623
おっちゃん、どうも、スレ主です。
いつもありがとう（＾＾
718:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/23 18:33:09.14 mA7/omNS.net
>>616
＞ミレニアム懸賞問題のリーマン予想に取り組むのは止めておく方がいいと思う。
RHなんて、完全解決されれば別だが
完全解決が、まだまだ先（例えば20年くらいとか）とすれば
新しい視点で、RHに光を当てただけで、論文になるだろう
そして、フィールズ賞はムリでも、日本の学会賞（奨励賞）くらいなら取れるでしょう
日本の学会賞（奨励賞）取れば、
日本国内のポスト獲得には十分じゃね？ｗ（＾＾
719:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/23 18:36:01.00 mA7/omNS.net
>>628 補足
例えば、F1幾何で従来の結果を１ミリでも改善できれば
論文になる。あとは、それを第三者が、どう評価してくれるかでしょうね
720:１３２人目の素数さん
19/12/23 19:15:48.67 S93SABR5.net
>607
>おサルかな
やれやれ・・・気に障るカキコはみなおサルと妄想 病んでるね
721:１３２人目の素数さん
19/12/23 19:20:17.76 tQqeq2Lb.net
>>630
奴はキチガイだからね
722:１３２人目の素数さん
19/12/23 19:22:52.90 S93SABR5.net
>>612
＞”Absolute arithmetic and F1-geometry”がヒットしたぞ
そのHPなら日本語訳があるぞ
URLﾘﾝｸ(ja.wikipedia.org)
一元体も知らんくせに絶対数学に興味もつなよ みっともない
723:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/23 23:47:45.30 FBAzQK8j.net
>>632
うん
話は逆でｗ
その日本語版で
「一元体上の数学は日本の黒川信重ら一部の数学者によって、絶対数学と呼ばれている。」とあるから、
ああそうかなと思っていたのだが
実は、おサルの指摘>>612があって、英文版を調べると
”Absolute arithmetic and F1-geometry”がヒットしたってわけです
でも、wikipedia の解説本文では、”Absolute Arithmetic”は使われていない
なので、>>615 ”Absolute Arithmetic”だけでは、ヒットがないから
まだ、あんまり流行ってないんだろうね
という話だ
”Absolute Arithmetic”で検索しても、ヒットする主な情報は
”Absolute arithmetic and F1-geometry”だった
なので、Dr論文書くなら別として
取り敢ずは、>>612-614を見ておけば良さそう
なお、
>>612-614の情報は、和文 wikipediaには無いよなｗ（＾＾
724:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/24 00:07:41.72 UkAnARu3.net
>>632
おサルは知らないのだろうが
F1体は、過去スレにもある
当時、猫さんが居てね
コンヌ先生のところ話をした
おサルと猫さんの違いだろうねｗｗ（＾＾；
725:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/24 00:08:49.07 UkAnARu3.net
猫さんは、コンヌ先生のところへ留学した
その話とかね
726:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/24 00:14:47.10 UkAnARu3.net
>>612
＞This connection is made explicit by Lorscheid's use of blueprints.[19]
細かいけど、 blueprints.[19]ね
[19] Lorscheid (2015)となっているけど
Lorscheid, Oliver (2016), "A blueprinted view on F1-geometry", in Koen, Thas (ed.), Absolute arithmetic and F1-geometry, European Mathematical Society Publishing House, arXiv:1301.0083
Lorscheid, Oliver (2018b), "The geometry of blueprints part II: Tits-Weyl models of algebraic groups", Forum of Mathematics, Sigma, 6, arXiv:1201.1324
なので、”blueprint”の文献は、Lorscheid, Oliver (2018b)とかの方が適切な気がする
727:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/24 00:29:01.70 UkAnARu3.net
>>628 補足
＞新しい視点で、RHに光を当てただけで、論文になるだろう
”到る処青山あり”というが、数学至ところゼータありなんだよね
L-函数とかラングランズを含めればね
これで、なんとか賞を取ったヒト数知れずだろうな（＾＾；
URLﾘﾝｸ(ja.wiktionary.org)
慣用句
人間到る処青山あり (じんかん、いたるところせいざんあり)
URLﾘﾝｸ(ja.wikipedia.org)
ゼータ函数
(抜粋)
もともとはリーマンゼータ函数を例とした類似函数のことを言う。
ゼータ函数には、下記のような函数がある。
リーマンゼータ函数
デデキントゼータ函数
数論的ゼータ函数
ゼータ函数 (作用素)
ミナクシサンドラム-プレイジェルゼータ函数
合同ゼータ函数（局所ゼータ函数とも言う）
セルバーグゼータ函数
フルヴィッツのゼータ函数
エプシュタインのゼータ函数
ハッセ・ヴェイユのゼータ函数
これらとは別に、
ワイエルシュトラスのゼータ関数（英語版）
隣接代数のゼータ関数
ヤコビのゼータ関数（ドイツ語版）
もある。
つづく
728:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/24 00:29:35.67 UkAnARu3.net
>>637
つづき
URLﾘﾝｸ(ja.wikipedia.org)
L-函数
(抜粋)
L-函数の理論は、非常に重要であり、未だ予想の段階のものも多く、現代の解析的整数論の分野である。そこでは、リーマンゼータ函数や、ディリクレ指標におけるL-級数の、広い一般化が構成されており、それらの一般的性質は、大半の場合が証明されていなく、系統的な方法なく研究されている。
目次
1 構成
2 予想される事実
3 バーチ・スウィンナートン＝ダイアー予想
4 一般論の起こり
一般の構成は L-級数から始め、最初にディリクレ級数を定義し、続いて素数をインデックスとするオイラー積として表現する。
L-函数は、ゼータ函数の多くの知られているタイプを含んでいる。
一般論の起こり
ラングランズ・プログラムに数年先立つこの発見は、ラングランズプログラムを補うものと見なすことができる。ラングランズの仕事はアルティンのL-函数と大きく関連していて、一般的保型表現についてのヘッケのL-函数同様、数十年も前の発見されている。
ハッセ・ヴェイユのL-函数が有効なL-函数をもたらす役目を果たしたという意味で、このことが緩やかに明らかになってきている。解析的な意味で、解析からの入力であるべきで、このことは保型的な解析を意味する。現在は、一般的な場合は、概念的なレベルで、多くの異なる研究プログラムが統一されている。
参照項目
一般化されたリーマン予想
ディリクレのL-函数
保型形式のL-函数
ハッセ・ヴェイユのL-函数
ヘッケのL-函数
モジュラリティ定理
アルティンのL-函数
L-函数の特殊値
清水のL-函数（英語版）(Shimizu L-function)
729:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/24 00:34:03.65 UkAnARu3.net
>>638 追加
RHそのものの解決はおいといて
RHの周りを掘れば、論文ネタの宝の山かもよｗ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
一般化されたリーマン予想
(抜粋)
数学では、リーマン予想は最も重要な予想の一つである。
様々な幾何学的、数論的対象がいわゆる大�
730:謫IL-函数により記述することができる。大域的L-函数は形式的にはリーマンゼータ函数と似ているので、これらのL-函数のゼロ点に対しての同じ問いを投げかけると、リーマン予想の様々な一般化が得られる。多くの数学者はこれらの一般化されたリーマン予想が正しいと信じている。（数体の場合ではなく）函数体の場合のみが、すでにこれらの予想が証明されている。 大域的L-函数は、楕円曲線や数体（この場合は、デデキントゼータ函数と呼ばれる）、マース形式やディリクレ指標（この場合はディリクレのL-函数と呼ばれる）に付随している。リーマン予想がデデキントのゼータ函数に対して定式化されているとき、拡張されたリーマン予想(EGH)(extended Riemann hypothesis)として知られていて、 ディリクレのL-函数に対して定式化されているときに、一般化されたリーマン予想(GRH)(generalized Riemann hypothesis)として知られている。 これらの 2つの予想は以下にさらに詳しく議論する。（多くの数学者は、一般化されたリーマン予想という名称を、ただ単にディリクレのL-函数という特殊な場合だけではなく、全ての大域的なL-函数へリーマン予想を拡張したものとして使う。） 目次 1 一般化されたリーマン予想(GRH) 1.1 GRHの結果 2 拡張されたリーマン予想 (ERH) 関連項目 アルティン予想(Artin's conjecture) ディリクレのL-函数(Dirichlet L-function) セルバーグクラス(Selberg class) 大リーマン予想（英語版）(Grand Riemann hypothesis)
731:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
19/12/24 00:47:52 UkAnARu3.net
>>639 追加の追加
佐藤幹夫の概均質ベクトル空間なんてのもある
Google キーワード検索
概均質ベクトル空間 ゼータ関数
で、下記がヒットする
佐藤幹夫先生も、RHのの近くを掘ったんだ（＾＾；
検索結果 約 59 件 （0.36 秒）
[PDF]概均質ベクトル空間のゼータ関数入門 - RIMS, Kyoto University
www.kurims.kyoto-u.ac.jp ? ~kyodo ? kokyuroku ? contents ? pdf
佐藤文広 著 - ?1995 - ?関連記事
概均質ベクトル空間のゼータ関数入門. 佐藤文広 (立教大学理学部). 本稿では, この短期共同研究の目的である Ibukiyama-Saito 理論の理解に必要な限りで. 概均質ベク トル空間のゼータ関数について解説する. したがって, [SS] で研究された $-$ 変数.
[PDF]Title 概均質ベクトル空間のゼータ関数の計算について(概均質 ...
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)<) ? grant ? KAKENHI-PROJECT-16340012
(1)保型形式との関係においては、系列型の概均質ベクトル空間のうち5系列について、適当なアイゼンシュタイン級数から定まる標準L関数、ないしは、Koecher-Maassゼータ関数と同定することができた。系列型のうち、一般線型群の2階対称テンソル表現から ...
つづく
732:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
19/12/24 00:48:08 UkAnARu3.net
>>640
つづき
概均質ベクトル空間 - 富山大学理学部
www.sci.u-toyama.ac.jp ? ~iwao
概均質ベクトル空間のゼータ関数と密度定理」 (120分), （12）広中
733: 「p進線型形式の空間上の球関数や局所密度への応用」 (60分), 昼食, （13）高瀬 「保型形式の次元公式と概均質ベクトル空間」 (120分), （14）齋藤 「ゼータ関数の具体的表示について」 (60分). ?要項 ・ ?プログラム予定 ・ ?講義要旨と参考文献 論 説 概均質ベクトル空間の理論の最近の発展 行 者 明 ... - J-Stage https://www.jstage.jst.go.jp ? article ? sugaku1947 ? _pdf ? -char 概均質ベクトル空間の概念を導入された佐藤幹夫氏の言葉 [42, p.4] の引用から始めまし. ょう。 「さて,線型偏微分方程式のこと ..... ゼータ関数にかかわる諸分野(数論・無限次元表現論など)において,係数体をさまざまにとり. かえても,そこで起こる現象が驚く ... 以上
734:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/24 00:57:20.51 UkAnARu3.net
>>421 追加
＞＊ ∞圏／圏論を超えて……阿部知行 43
P45に
導来圏の話があってね
”従来の圏論では捉えられない”と出てくる
それで、∞－圏の理論が整備されたという
IUTも同じようになる可能性はあるかもよ
つまり、
導来圏 vs IUT by 望月圏
↓ ↓
∞－圏 vs IUT by XX圏
みたいな構図ね（＾＾；
735:１３２人目の素数さん
19/12/24 06:01:08.89 eTA168Qc.net
∈もωも誤解した白痴が、したり顔して語ってるのはイタイ
736:１３２人目の素数さん
19/12/24 06:20:07.50 r/nrjDdN.net
URLﾘﾝｸ(youtu.be)
737:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/24 10:19:13.48 u6yGTjeG.net
>>643
おサルか
ご苦労
IUTスレを荒らすなよ
おまは、このスレか自分の巣から出るな
あほザルよｗ（＾＾；
738:１３２人目の素数さん
19/12/24 17:09:01.69 KssDJ3EQ.net
おっちゃんです。
nを正整数変数とする。xを正の実変数とする。
メルテンス関数 M(n) の定義から、任意の正整数nに対して第n項 a_n を a_n＝M(n) とおくと、{a_n} は自然数列である。
そこで、M：N＼{0} → Z の定義域を [0,+∞) に拡張して M(x)：＝M([x]*1) と定義される独立変数xのメルテンス関数 M(x) について、
数列 {a_n} 及び定義域が拡張されたメルテンス関数 M(x) x＞0 の漸近解析をすることで、
任意の ε＞0 に対して M(x)＝O(x^{1/2＋ε}) を示せれば、リーマン予想正しいことが示される。
数論の前提知識は、或る意味では比較的少なくて済むともいえる。
しかし、その漸近解析によって、定義域が拡張されたメルテンス関数 M(x) x＞0 について
x→+∞ のときの挙動の様子を完全に調べ上げるようなことは決して簡単ではない方法である。
それじゃ、おっちゃんもう寝る。
739:１３２人目の素数さん
19/12/24 17:12:16.91 KssDJ3EQ.net
>>646の中程の行の訂正；
リーマン予想正しいことが示される。 → リーマン予想正しいことが示される。
740:１３２人目の素数さん
19/12/24 17:13:32.41 KssDJ3EQ.net
それじゃ、おっちゃんもう寝る。
741:１３２人目の素数さん
19/12/24 17:16:52.67 KssDJ3EQ.net
>>646の上から4行目の訂正：
M(x)：＝M([x]*1) → M(x)：＝M([x]+1)
742:１３２人目の素数さん
19/12/24 17:18:30.31 KssDJ3EQ.net
それじゃ、おっちゃんもう寝る。
743:１３２人目の素数さん
19/12/24 18:24:13.71 LXTkrP+A.net
>>631
ペレリマンさんは＠キティ＠ホームレス風で歩いてましたよ～＊♪
やっぱり☆天才☆と＠キティ＠ちゃんは紙一重なんかじゃなくて、、、
一枚紙の裏表、表裏一体みたいですよね～？♪♪
744:１３２人目の素数さん
19/12/24 18:27:12.56 LXTkrP+A.net
>>646
おっちゃん△❗
＊＊☆クリスマスツリー☆＊＊の
＊＊イルミネーション＊＊より輝いてます＊＊
＊＊眩しい。。。＊＊
745:１３２人目の素数さん
19/12/24 18:30:06.87 LXTkrP+A.net
746:＊＊イルミネーション＊＊が 仕舞われても ☆☆おっちゃん△☆☆の **＊＊輝き＊＊は終わらない＊＊**
747:１３２人目の素数さん
19/12/24 18:40:36.47 LXTkrP+A.net
🌟ＭＥＲＲＹ🌟
🌟Ｍａｔｈｅｍａｔｉｃｓ🌟
🌟ＨＯＬＹ🌟ＫＮＩＧＨＴ🌟
🌟ＯＣＣＨＡＮ🌟
🌟ＳＡＮＫＡＫＫＥＩ🌟
748:１３２人目の素数さん
19/12/24 18:44:24.72 LXTkrP+A.net
寝る前にビタミン剤飲んで！
人肌程度に温めて～♪
749:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/24 21:23:17.75 UkAnARu3.net
>>655
カラオケと、おサルの相手（さるまわし）ありがとう by スレ主 （＾＾
750:１３２人目の素数さん
19/12/24 22:32:17.35 YkSBK3uX.net
おっちゃんは、証明できてもいないことを「証明できた」と言い張る
全く数学が分かってない糞脳。
さすがに「リーマン予想を証明した」とは言わないが
それは気分で決まってる。
つまりこいつの言うことはすべてクソ。
751:１３２人目の素数さん
19/12/24 22:36:25.18 YkSBK3uX.net
リーマン予想を来世で解くとか言ってるバカは
数学がまったく分かってないのに、リーマン予想は
何やらすごそうだという理由で執着しているだけ。
それは自分から発した情熱ではないことに気づけ。
つまりこいつもクソ。
752:１３２人目の素数さん
19/12/24 22:41:08.77 YkSBK3uX.net
ゴミみたいな本を量産した黒川某もある意味クソ。
ただし数学者だけあって、まともな論文も書いている。
「解けない問題だから解きたい」という執着になった時点で
糞脳になるのかもしれん。
753:１３２人目の素数さん
19/12/24 22:51:00 v+zewGoy.net
>>659
解けた問題は問題じゃないよね？
未解決だから問題なんじゃん
754:１３２人目の素数さん
19/12/24 22:57:07 YkSBK3uX.net
>>660
自分にとって未知であれば問題だよ。
世の中の誰かが証明しているか、論文にする価値があるか
というのはまったく別の話。
755:１３２人目の素数さん
19/12/24 22:58:43 v+zewGoy.net
>>661
そう。それ。解決してれば答え合わせが早くて良いよね♪
756:１３２人目の素数さん
19/12/24 23:01:00 v+zewGoy.net
無知ほど、すぐ解けて答え合わせが比較的楽なクイズがいっぱいあるからストレスフリーだよね♪
757:１３２人目の素数さん
19/12/24 23:02:51 v+zewGoy.net
>>661
未知に心が捕らわれませんか？
758:１３２人目の素数さん
19/12/24 23:07:00.38 v+zewGoy.net
>>662>>663
↑イヤミじゃないですよ。一般論ですよ
759:１３２人目の素数さん
19/12/25 01:32:47.88 FDwyG2qm.net
広島大から
ま○こ限定
３５以下限定
超差別公募でてるから経歴いつわって応募しよう！
760:１３２人目の素数さん
19/12/25 04:24:59.93 5lU1IjdA.net
おっちゃんです。
>>646の訂正：
{a_n} は自然数列である。 → {a_n} は整数列である。
761:１３２人目の素数さん
19/12/25 04:31:53.67 5lU1IjdA.net
>>657
>おっちゃんは、証明できてもいないことを「証明できた」と言い張る
証明することと、それを論文に仕上げることは全く別の話だ。
762:１３２人目の素数さん
19/12/25 04:37:53.51 5lU1IjdA.net
オイラーの定数ガンマ ―γで旅する数学の世界― という本は一切読んでない。
オイラーの定数はCで表すこともある。
763:１３２人目の素数さん
19/12/25 04:43:16.92 5lU1IjdA.net
まあ、論理にばかりこだわっていたら、数学と物理の境界のことは出来ない可能性もある。
764:１３２人目の素数さん
19/12/25 05:46:23.88 5lU1IjdA.net
オイラーの定数Cの有理性を示すには、計算は大変だったが、小平解析入門と他の何か1冊で十分だった。
765:１３２人目の素数さん
19/12/25 06:38:19.16 vcY8XrPJ.net
>>669
＞証明することと、それを論文に仕上げることは全く別の話だ。
証明した
766:といい張ることは、証明することは全然別 >>670 ＞論理にばかりこだわっていたら、 論理を捨てたら、証明はできないね 君がいい例 >>671 ＞オイラーの定数Cの有理性 まだ自分の間違いに気づけないんだ・・・ 完全に統合失調症だな 精神科で診て貰え
767:１３２人目の素数さん
19/12/25 06:43:23.35 vcY8XrPJ.net
>>657
＞おっちゃんは、証明できてもいないことを「証明できた」と言い張る
論理がわかってないから、論理的に間違ってる論法を平気で使う
結果として「オイラー定数は有理数」とか言い出す
統合失調症の可能性大 病気のせいで仕事クビになって在宅なんだろう
ネットも数学も病気を悪化させるだけだからやめるべきだな
768:１３２人目の素数さん
19/12/25 06:46:28.89 vcY8XrPJ.net
ムキになって難問を証明したがるのは
自分が精神病でないといいたいためかもしれん
でも無駄な努力だからクスリのんで大人しくしてほしい
精神病ならクスリのめば治る
どっかの自己愛君は人格障害だからクスリのんでも治らんけどｗ
769:１３２人目の素数さん
19/12/25 06:55:41.02 5lU1IjdA.net
>>672
>論理を捨てたら、証明はできないね
そういうことになるが、指数定理を使ってゲージ理論を研究するようなことは、
どこかで論理的に飛躍的した学習をしないと、出来ないであろう。
>＞オイラーの定数Cの有理性
>まだ自分の間違いに気づけないんだ・・・
ここに書いた証明には、論理的な一貫性はないが、オイラーの定数Cは有理数である。
マーラー関数によりCの値を求めることをすることはほぼ絶望的だ。
770:１３２人目の素数さん
19/12/25 07:00:06.79 5lU1IjdA.net
>>673
>論理がわかってないから、論理的に間違ってる論法を平気で使う
これは直観主義の考え方に基づいた主張だが、直観主義は今は大方の考え方ではない。
771:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/25 07:57:02.41 TTp20G1n.net
>>659
(引用開始)
ゴミみたいな本を量産した黒川某もある意味クソ。
ただし数学者だけあって、まともな論文も書いている。
「解けない問題だから解きたい」という執着になった時点で
糞脳になるのかもしれん。
(引用終り)
おサルは数学が分かっていない
・未解決の問題がある
↓
・それを解こうとする努力の中から、新しい数学が出来上がってくる
↓
・部分解であっても、出来上がった数学から、新しい見方が出来て、新しい問題が生まれる
↓
・以下循環
もし、元の問題が解かれても、新しい見方から当たらし問題が生まれて
数学は、進歩してゆく
おサルは数学が、全く分かっていないｗｗ（＾＾；
772:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/25 07:58:45.14 TTp20G1n.net
>>677
上記は、不完全性定理の別の見方とも言える
渕野先生が書いていたね、同じことを、たしか（＾＾
773:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/25 08:00:40.95 TTp20G1n.net
>>677 タイポ訂正
もし、元の問題が解かれても、新しい見方から当たらし問題が生まれて
↓
もし、元の問題が解かれても、新しい見方から新しい問題が生まれて
774:１３２人目の素数さん
19/12/25 12:45:14.50 5lU1IjdA.net
>>675の前半の訂正：
論理的に飛躍的した学習 → 論理的に飛躍した学習
775:１３２人目の素数さん
19/12/25 12:55:37.34 HIpfPxV4.net
類推ですね♪
776:１３２人目の素数さん
19/12/25 12:58:38.65 HIpfPxV4.net
思考の境界の果てに
お隣の世界を垣間見る。。。
パラレルワールドにも
同じような理論が展開されてた・・・
～異理論折衷～
777:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/25 13:33:05.93 xYwdBxRF.net
メモ
URLﾘﾝｸ(www.nikkei.com)
オラクル技術者が足りない 「枯れた技術」維持に危機
コラム（テクノロジー）
2019/12/18 2:00日本経済新聞 電子版
0年以上前に構築した古い基幹系システムを使い続ける企業が5社に1社の割合で存在するとされるなか、「枯れた技術」の維持管理に危機が迫っている。枯れた技術としてはプログラミング言語「COBOL（コボル）」が有名だが、今回取り上げるのは別の技術だ。
リレーショナルデータベース（RDB
778:）である。とりわけ最大シェアを誇る米オラクルの「オラクルデータベース」を扱える技術者が足りないとささやかれ始めている。
779:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/25 13:45:08.37 xYwdBxRF.net
>>681
＞類推ですね♪
うん（＾＾
数学セミナー 2019年12月号
巻頭コラム
「高校数学ではじめる整数論／推測する……谷口 隆」神戸大
があって、
P5に、”ヒューリスティックとは”という節がある
「発見的研究」などの訳があるという
その中で「へー」と思ったのが
2016年に、楕円関数の階数に上限があるという研究が発表されたそうだ
厳密な証明ではなく、”ヒューリスティック”な議論とあるね（下記が参考文献です）
URLﾘﾝｸ(arxiv.org)
A heuristic for boundedness of ranks of elliptic curves
Jennifer Park, Bjorn Poonen, John Voight, Melanie Matchett Wood
(Submitted on 3 Feb 2016 (v1), last revised 10 Jul 2018 (this version, v3))
URLﾘﾝｸ(arxiv.org)
URLﾘﾝｸ(www.nippyo.co.jp)
数学セミナー 2019年12月号
高校数学ではじめる整数論／推測する……谷口 隆 2
780:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/25 13:50:06.30 xYwdBxRF.net
>>684
追加参考
”In particular, the model suggests that all but finitely many elliptic curves over Q have rank <= 21, which would imply that the rank is uniformly bounded.”
”submitted to the Proceedings of the 2018 ICM”だって（＾＾
URLﾘﾝｸ(arxiv.org)
Heuristics for the arithmetic of elliptic curves
Bjorn Poonen
(Submitted on 28 Nov 2017 (v1), last revised 30 Nov 2017 (this version, v2))
This is an introduction to a probabilistic model for the arithmetic of elliptic curves, a model developed in a series of articles of the author with Bhargava, Kane, Lenstra, Park, Rains, Voight, and Wood.
We discuss the theoretical evidence for the model, and we make predictions about elliptic curves based on corresponding theorems proved about the model. In particular, the model suggests that all but finitely many elliptic curves over Q have rank ?21, which would imply that the rank is uniformly bounded.
Comments: 13 pages; submitted to the Proceedings of the 2018 ICM. Version 2 adds some references and corrects some typos
781:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/25 14:05:51.29 xYwdBxRF.net
メモ
URLﾘﾝｸ(www.nikkei.com)
「超電導モーターしかない」 ジェット機も脱エンジン
モーター開発大競争（下） 日経
エレクトロニクス 自動車・機械 コラム（テクノロジー） 科学&新技術
2019/12/23 2:00
(抜粋)
研究対象であっても実用には程遠い―。「超電導モーター」と聞いて、そう考える技術者は少なくないだろう。しかし、既存の超電導関連技術を使っても実用化の目標は2030年。もはや遠い未来の話ではない。航空機業界が桁違いに高いエネルギー密度に着目し、日米欧で開発が進む。冷凍機を含めたエネルギー効率も高く、電気自動車（EV）や鉄道、船舶への応用も視野に入る。
■航空機のCO2排出量4分の1に
「航空機業界は、2050年の二酸化炭素（CO2）排出量を05年比で半減する必要に迫られている。一方で航空機需要は50年までに倍増するとの予測がある。1機当たりのCO2排出量を少なくとも
782:4分の1に削減しなければならない。推力源は超電導モーターしかない」。このように言うのは九州大学大学院システム情報科学研究院電気システム工学部門教授の岩熊成卓氏だ。 岩熊氏は、九州大学が19年4月に設置した「先進電気推進飛行体研究センター」のセンター長を務める。同大学が蓄積してきた超電導関連技術に注目した米大手航空機のボーイングなどと、超電導技術を全面的に取り入れた航空機向け推進システムの共同研究を進めている。 岩熊氏らは、今後に最も大きな需要が見込まれる100～200人乗りの航空機を想定し、出力20メガワット級の超電導モーターの開発を目指す。現在は500キロワット級を試作した段階だ。試作機は、封止した筐体内にヘリウムを充填させて筐体外部から液体窒素で冷却する。19年5月には実際に回転させた。 （日経 xTECH/日経エレクトロニクス 三宅常之） ［日経エレクトロニクス 2019年12月号の記事を再構成］
783:１３２人目の素数さん
19/12/25 14:14:06.43 vpmzxfdT.net
>>684-685+>>686
主様、ありがとうございます
新しい考え方を探す(新奇性探求遺伝子型の様な？)類推向きの人と、
確立している１つの専門をじっくり深く狭く掘り下げて行く探究型の人と、
ちょっと違うのかも？ですね...
どちらも相手の苦手を補い合えるのがベターな有り方なんでしょうね♪
784:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/25 15:02:50.80 xYwdBxRF.net
>>687
同意です
だれか良いパートナーを見つけて
共同研究するとか、勉強するとかが
良いと思いますよ
785:１３２人目の素数さん
19/12/25 17:14:25.96 5lU1IjdA.net
>>681
そうですな。
自然科学ではしばしば行われる考え方ですな。
786:１３２人目の素数さん
19/12/25 17:17:47.32 5lU1IjdA.net
眠くなってうたた寝してしまったんで、それじゃ、おっちゃんもう寝る。
787:１３２人目の素数さん
19/12/25 17:18:00.73 Wdy9L622.net
>>689
♪♪(○´∀｀人´∀｀＠)ｲｪｰｨ♪♪♪
788:１３２人目の素数さん
19/12/25 17:19:45.42 Wdy9L622.net
おっちゃんさん🎂は？
クリスマス🍰食べて寝て～♪
789:１３２人目の素数さん
19/12/25 20:22:35.03 87Vg7zWo.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
790:１３２人目の素数さん
19/12/25 20:23:32.23 87Vg7zWo.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
791:１３２人目の素数さん
19/12/25 20:56:16.39 lBz7u+BH.net
>>693-623
誰だよ？
792:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/25 22:34
793::34.84 ID:TTp20G1n.net
794:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/25 22:40:47.06 TTp20G1n.net
>>690
おっちゃん、どうも、スレ主です。
レスありがとう～！（＾＾
795:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/26 00:32:28.13 UDAlqbMx.net
URLﾘﾝｸ(www.youtube.com)
【書評動画？】宇宙と数学と IUT 理論【めざせ ABC 予想】 #VRアカデミア #031
3,610 回視聴?2019/06/10に公開済み
Aicia Solid Project
チャンネル登録者数 4610人
「宇宙と宇宙をつなぐ数学 IUT理論の衝撃」に出てくる「宇宙」のより詳細な解説です。
この本はとてもわかり易いのでおすすめです！
Amazon → https://アマゾン
ニコニコの解説動画 → URLﾘﾝｸ(www.nicovideo.jp)
文学YouTuber ベルさん → URLﾘﾝｸ(www.youtube.com)
796:１３２人目の素数さん
19/12/26 06:58:49.23 jIPdb5we.net
サルの数学板
♪これもサル あれもサル
たぶんサル きっとサル
797:１３２人目の素数さん
19/12/26 07:03:51.17 jIPdb5we.net
まず全裸になり
( ： )
（ ゜∀゜）ノ彡
<( )
ノωヽ
自分の尻を両手でバンバン叩きながら白目をむき
从
Д゜ ） て
( ヾ) )ヾ て
< <
人__人__人__人__人__人__人__人__人__人__人
Σ て
Σ びっくりするほどＩＵＴ！ て人__人_
Σ びっくりするほどＩＵＴ！ て
⌒Ｙ⌒Ｙ⌒Ｙ) て
Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒
＿_＿＿＿＿＿
＿＿ ヽ(゜∀゜）ノ
＼＿〃´￣￣ ヽ..ヘ( )ミ
＼,.-～´￣￣ ω > （∀゜ ）ノ
＼∫＼ _,. - 、_,. - 、 ＼ ( ヘ)
＼ ＼＿＿＿＿＿＿ _＼<
＼ ￣￣￣￣￣￣￣
＼＿＿＿＿＿＿＿
これを１０分程続けると妙な脱力感に襲われ、霊が逃げていく
798:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/26 07:28:35.51 UDAlqbMx.net
URLﾘﾝｸ(www.youtube.com)
【10分で】深谷圏とホモロジカルミラー対称性【 from ロマンティック数学ナイトプライム@圏論 】 #VRアカデミア #ロマ数プライム圏論 #032
1,411 回視聴?2019/06/17
Aicia Solid Project
チャンネル登録者数 4620人
昨日のロマ数プライム@圏論の VR 登壇が好評だったので、もっかい撮影して up しました！
ロマンティック数学ナイト → URLﾘﾝｸ(romanticmathnight.org)
ロマンティック数学ナイトプライム@圏論 → URLﾘﾝｸ(romanticmathnight.org)
ahsduoachiucoai
6 か月前
最高でした
居林裕樹
5 か月前
こんな学術的にレベルの高い動画 初めて・・・???
ちょっと、ほんのちょっとでも 圏論とか理解できたらいいなぁ～（夢）
799:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/26 07:40:58.72 UDAlqbMx.net
>>700
ID:jIPdb5weさん、どうも
ID:hJ1Ksrnd＝おサルの調教ありがとう（＾＾
Inter-universal geometry と ABC予想 42
ｽﾚﾘﾝｸ(math板:947番)-950
947 名前：１３２人目の素数さん[sage
800:] 投稿日：2019/12/26(木) 06:38:58.30 ID:hJ1Ksrnd [1/4] >>943 オカルトマニアという方ではありません 950 名前：１３２人目の素数さん[sage] 投稿日：2019/12/26(木) 07:12:29.37 ID:jIPdb5we >>947 ＞オカルトマニアという方ではありません 別人だとしても同類だな
801:１３２人目の素数さん
19/12/26 09:41:12.42 AicH2D8x.net
スレ主様ごめんなさい...(つд⊂)
Ｑがショーモナイことばっかカキコしたから...変なのがいっぱい涌いて来ちゃって。。。もうここには来ません...
短い間でしたが、大変お世話になりました。。。猿族のＱも、生類憐れみ対応で優しくかまって頂いて、ありがとうございました。
これからも、ちら見で応援してます。
寒くなって参りますたので、おっちゃんさん、ｻﾙﾙちゃん、スレの数学の皆様ともども、ご自愛下さり、尚いっそうの
充実した数学ライフをご堪能頂けますよう、心より願っております...
ビタミンＣ飲んで下ψなら～！
かしこ
Ｑ
802:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/26 10:30:31.84 5a8HYVhv.net
>>703
”Qちゃん”ね（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
高橋尚子
(抜粋)
女子マラソン
2000年シドニーオリンピック金メダリスト[1]。
愛称は「Qちゃん」。
・愛称の「Qちゃん」は、リクルート陸上部の新入部員歓迎会においてアルミホイルを使ったボディコン風の衣装を着て『オバケのQ太郎』の歌を歌い盛り上がったことに由来するものである[21]。また、このパーティーの際に、オバケのQ太郎の仮装をしていたという話もある。
URLﾘﾝｸ(ja.wikipedia.org)
藤子不二雄
(抜粋)
藤本弘と安孫子素雄の共同ペンネームである。1951年にコンビを結成。1954年から、コンビを解消する1987年まで使用。解消後はそれぞれ藤子・F・不二雄、藤子 不二雄?と名乗った。代表作は『オバケのQ太郎』（共作）、『ドラえもん』（藤本）
803:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/26 10:33:43.08 5a8HYVhv.net
>>703
＞Ｑがショーモナイことばっかカキコしたから...変なのがいっぱい涌いて来ちゃって。。。もうここには来ません...
それは違うよ
あほのおサルは、このスレの常駐者で
テンプレ>>2にあるように、
キチガイのおサルを、ここに隔離しておくのも
このスレの役目さ（＾＾；
804:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/26 10:37:51.77 5a8HYVhv.net
>>703
＞充実した数学ライフをご堪能頂けますよう、心より願っております...
「数学ライフ」なんてこともないのよ
所詮、数学は私にとっては、余技ですからね
遊びです
いつでも戻ってきてください
一緒に遊びましょう（＾＾
805:１３２人目の素数さん
19/12/26 19:36:15.17 jIPdb5we.net
>>703
＞変なのがいっぱい涌いて来ちゃって
ま、一番オカシイのはここの>>1こと◆e.a0E5TtKEだけどな
>>706
＞所詮、数学は私にとっては、余技ですからね
＞遊びです
誤 数学
正 トンデモ数学（あるいは数学板荒らし）
806:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/26 20:54:17.74 UDAlqbMx.net
>>707
なんだ、ID:jIPdb5weは、おサル自身かい？（＾＾；
ま、一番オカシイのはここの>>700ことID:jIPdb5weだけどな
てめえの書いた変態AA見直してみろよ（＾＾；
ここは数学板のスレだよ
喪女スレのある変態板じゃないだからさ～ｗ
ああ、そういえば、おまえ おサルは動物だから、いつも全裸だったなぁ～！ｗｗ（＾＾；
807:１３２人目の素数さん
19/12/26 21:28:45.48 KM4
808:CbSJz.net
809:Ｑ
19/12/26 22:07:25.23 d0nuE8DI.net
>>709
真似しないで！主様、こいつＱじゃないんです～！(´；ω；`)こぴぺバカ野郎なんです。。。信じて。。。
信じて下ψ～！！
今後この↓
'`,､('∀`)'`,､( ´∀`)'`,､('∀`)'`,､
↑を
コイツが出してもＱじゃないです～！
こぴぺ野郎なんです。。。
。。。信じて下ψなら。。。
。°゜。゜°。°゜°。°゜(ノД`)゜。°。
810:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/27 08:05:42.51 DGQc6wD0.net
>>710
Qちゃん、分かってますよ
イタズラおサルの仕業ですね（＾＾
811:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/27 10:29:55.24 3Ci8LSwD.net
メモ
URLﾘﾝｸ(headlines.yahoo.co.jp)
＜子どもの未来＞天才小学生数学者の“その後”
12/23(月) 21:07配信
(抜粋)
ソフトバンクグループの孫正義社長が設立したこの財団は若き才能を支援するため、海外留学などの費用を孫社長のポケットマネーで全額補助し、返済義務もありません。
7月に放送した“天才小学生数学者”の“その後”を取材しました。
12月20日、財団の報告会が開かれました。孫社長の視線の先にいるのは、将来の日本を背負う研究者たちです。
一角のテーブルにはまだあどけない表情の子どもたちが集まっていました。大好きなおすしを頬張っているのは2019年に3期生として財団に入った小学6年生の高橋洋翔君（12）です。
高橋君は合格率わずか5.7％の数学検定1級に、当時史上最年少で合格した若き天才数学者です。
高橋君は3人兄弟の長男で、次男の海翔君（8）は数学検定準1級、三男の湊翔君（6）も数学検定8級に合格するなど、3人はまさに「数学兄弟」です。
高橋君は現在、代数幾何学の世界的権威・学習院大学の飯高茂名誉教授との共同研究に精を出しています。
高橋君の研究テーマは「スーパー双子素数やウルトラ三つ子素数の個数の予想近似式」です。その一方、6年生の高橋君は受験勉強も取り組んでいて、都内の難関中学への進学を目指し、数学以外も勉強中です。
高橋君は「周りの人から刺激を受けて数学のほかの分野研究も進めていきたいし、数論についてももっと深く研究していきたい」と中学入学後の目標を語りました。
さらなる高みを目指し、高橋君の探究は続きます。
812:１３２人目の素数さん
19/12/27 12:33:41.14 CvBoADXW.net
過疎
813:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/27 12:51:57.46 3Ci8LSwD.net
>>713
＞過疎
過疎でも、このスレは勢いで5位ですよ
つまり、数学：2ch（=5ch）自身が過疎で
その中でも、健闘しているスレですよ、このスレは（＾＾；
URLﾘﾝｸ(49.212.78.147)
数学：2ch勢いランキング
(抜粋)
数学 （お気入りに追加[+]）
順位 ｜6H前比 ｜スレッドタイトル ｜レス数 ｜勢い
1位 ｜= ｜フェルマーの最終定理の簡単な証明4 405 ｜59
2位 ｜= ｜軍事機密にされた私が日本数学会事務局宛てに書いた
814:素数の式。574 ｜39 3位 ｜new ｜Inter-universal geometry と ABC予想 43 ｜23 4位 ｜↓-1 ｜数学の本 第87巻766 ｜18 5位 ｜↓-1 ｜現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 712 ｜17 6位 ｜↓-1 ｜Inter-universal geometry と ABC予想 42 975 ｜16 7位 ｜↓-1 ｜現代数学の系譜 カントル 超限集合論2 84 ｜13 8位 ｜↓-1 ｜高校数学の質問スレPart402 793 ｜12
815:１３２人目の素数さん
19/12/27 17:28:38.37 k/2lG7oM.net
1位 日高とかいうトンデモのスレ
2位 統合失調症を患っている人のスレ
3位 IUTを狂信する馬鹿が立てたスレ
4位
5位 正規部分群も分からん馬鹿が立てたスレ
6位
7位 ∈も無限も分からん馬鹿が立てたスレ
8位
数学が分からん馬鹿がいい気になって
3つもスレ立てる数学板は終わってる
816:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/27 20:40:24.20 DGQc6wD0.net
>>715
おサル＝ID:k/2lG7oMよ
お前にはIUTは無理だ
三歳児レベルの脳ではIUTは理解できないぜ
おまえは、ガロアスレにいろｗ（＾＾；
817:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/27 20:48:30.23 DGQc6wD0.net
Inter-universal geometry と ABC予想 43
ｽﾚﾘﾝｸ(math板:4番)
4 名前：１３２人目の素数さん[sage] 投稿日：2019/12/27(金) 10:08:08.37 ID:YeV9G2lA
世界で最もIUTに関心を持っていたこのスレも
現状を反映して前スレ後半から異様な盛り上がりですなあ
(引用終り)
１．加藤文元のIUTが売れた
２．「八重洲本大賞受賞！」NHKを筆頭にTVニュースになる
３．2020年はオリンピック＋IUTワークショップ4本のイベントの年
異様な盛り上がり？
あほサルが踊っているのもあるが
上記１～３の理由だろう
（参考）
URLﾘﾝｸ(kadobun.jp)
KADOKAWA
祝！八重洲本大賞受賞！ 「未来から来た論文」の面白さに触れられる『宇宙と宇宙をつなぐ数学』 加藤文元さんイベントレポート
818:１３２人目の素数さん
19/12/27 21:38:25.81 YpXNa5gb.net
>>717
( ◜ᴗ◝)
819:１３２人目の素数さん
19/12/27 21:41:30.17 zBmX9ppE.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
820:１３２人目の素数さん
19/12/27 21:42:28.43 zBmX9ppE.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
821:１３２人目の素数さん
19/12/27 21:44:47.87 YpXNa5gb.net
>>720
;◜ᴗ◝)
822:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/28 00:20:11.72 25QO+/o4.net
>>720
おサル＝ID:zBmX9ppE
やめておけ
お前には、IUTはムリむり
それに
お前の主張には客観性がない
望月先生のIUT理論が、
ａ．数学として成立っているのか
ｂ．ギャップはあるが、埋められるのか
ｃ．ギャップが大きすぎて埋められないか、根本的にダメか
まあ、三択問題としましょうか？
そんなことは、だれが応援するとか
おれが何か意見を書くとか
そういうことは無関係だろ？
まあ、この理屈はおサルには難しいかな？
ｗｗ（＾＾；
823:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/28 00:33:23.11 25QO+/o4.net
来年のワークショップ（下記）で
ちゃんと議論してもらったらよろしいんじゃないでしょうか？
私ら、外野から、双眼鏡で覗いてますよ （＾＾；
だから
こんな場末の５ｃｈ数学板で
本気の議論しなくてもいい
チラシの裏なんだからさ
もちっと気楽に書けば良い
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
2020年度に開催予定の訪問滞在型研究「宇宙際タイヒミューラー理論の拡がり」
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
824:zibf/files/May2020.html Foundations and Perspectives of Anabelian Geometry, RIMS workshop, May 18-22 2020 Invited speakers: Fedor Bogomolov (Courant Inst., NYU, USA), Kazumi Higashiyama (RIMS, Kyoto Univ., Japan), Yuichiro Hoshi (RIMS, Kyoto Univ., Japan), Emmanuel Lepage (Sorbonne Univ, Paris, France), Arata Minamide (RIMS, Kyoto Univ., Japan), Shinichi Mochizuki (RIMS, Kyoto Univ., Japan), Takahiro Murotani (RIMS, Kyoto Univ., Japan), Hiroaki Nakamura (Osaka Univ., Japan), Florian Pop (Univ. Pennsylvania, USA), Koichiro Sawada (RIMS, Kyoto Univ., Japan), Georgy Shabat (Moscow Univ., Russia), Jakob Stix (Frankfurt Univ., Germany), Akio Tamagawa (RIMS, Kyoto Univ., Japan), Adam Topaz (Univ. Alberta, Canada), Yuri Tschinkel (Simons Found., USA), Shota Tsujimura (RIMS, Kyoto Univ., Japan), Yu Yang (RIMS, Kyoto Univ., Japan) Confirmed participants include: Taylor Dupuy (Univ. Vermont, USA), Kirti Joshi (Univ. Arizona, USA), Kiran Kedlaya (UCSD, USA), Yuichiro Taguchi (Tokyo Inst. Technology, Japan),
825:１３２人目の素数さん
19/12/28 01:09:36.81 /I2M/WbE.net
と、∈の定義すら分かってないアホが申しております
826:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/28 08:31:05.10 25QO+/o4.net
>>495
>URLﾘﾝｸ(taro-nishino.blogspot.com)
>ABC予想の壮大な証明をめぐって数学の巨人達が衝突する URLﾘﾝｸ(taro-nishino.blogspot.com)
IUT側にも、下記巨人達が何人か
2020年ワークショップで激突する
マンガ『進撃の巨人』みたいじゃないですか！（＾＾；
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
訪問滞在型研究「宇宙際タイヒミューラー理論の拡がり」
組織委員長：望月新一（京都大学数理解析研究所）
組織委員：星裕一郎（京都大学数理解析研究所）
Ivan Fesenko （英・ノッティンガム大学）
田口雄一郎（東京工業大学）
加藤文元（東京工業大学）
栗原将人（慶応義塾大学）
志甫淳（東京大学）
Foundations and Perspectives of Anabelian Geometry
部屋：420号室 期間：2020-05-18?2020-05-22
組織委員：Ivan Fesenko （英・ノッティンガム大学）
南出新（英・ノッティンガム大学）
譚福成（京都大学数理解析研究所）
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
『進撃の巨人』（しんげきのきょじん、Attack on Titan）は、諫山創による日本の漫画作品。
単行本（電子書籍を含む）の発行部数は2019年12月の時点で累計1億部を突破している[4]。
目次
1 概要
2 あらすじ
3 登場人物
4 舞台設定
4.1 概略年表
827:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/28 08:32:44.70 25QO+/o4.net
>>725
わたしゃ、外野からＩＵＴの巨人を応援していますよ、ええ（＾＾；
勝敗の行方はしらんけどねｗ
828:１３２人目の素数さん
19/12/28 08:35:35.36 VqAUAktZ.net
>>725
>マンガ『進撃の巨人』みたいじゃないですか！
あんなクソコミ読んでるとかマジでアタマ悪いな
白痴？（嘲）
829:１３２人目の素数さん
19/12/28 11:56:32.92 BLh8pF8j.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
830:１３２人目の素数さん
19/12/28 11:57:06.44 BLh8pF8j.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
831:１３２人目の素数さん
19/12/28 11:58:02.71 BLh8pF8j.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
832:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/28 12:49:58.20 25QO+/o4.net
>>727
＞
833:>マンガ『進撃の巨人』みたいじゃないですか！ ＞あんなクソコミ読んでるとかマジでアタマ悪いな 実は、あんまり知らないんだ 何年か前に、中国で人気になっているという記事があって 検索かけたことがある あと、書店にあるのをちらっとみた 『巨人』は １．”数学の巨人達が衝突する”（>>495） ２．外野→野球の”巨人” ３．人気マンガ という 単なる”巨人”繋がりってだけです（＾＾
834:１３２人目の素数さん
19/12/28 12:52:54.68 hARSgBmQ.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
835:１３２人目の素数さん
19/12/28 12:54:03.38 hARSgBmQ.net
思わずコピペしてしまいましたが、この人誰でせうか？
836:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/28 12:59:11.20 25QO+/o4.net
>>731
こんな話だったな
URLﾘﾝｸ(blog.goo.ne.jp)
上海阿姐のgooブログ
アニメ「進撃の巨人」中国でランキングトップに。中国動画サイトにおける日本アニメ正式配信の状況
2013年09月26日
(抜粋)
中国ではアニメ「進撃の巨人」がものすごく流行っています。検索エンジン百度の動画検索ランキングのアニメ部門で1位になりました。コナン、OnePiece、ナルトを破って新作アニメがトップに立つのは、久しくなかったことです。
■百度の動画検索ランキングのアニメ部門 2013年9月25日現在。1位：進撃、2位：中国のフラッシュアニメ「十万個の寒いジョーク」3位：名探偵コナン
837:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/28 13:04:58.11 25QO+/o4.net
>>733
＞思わずコピペしてしまいましたが、この人誰でせうか？
ID:BLh8pF8j
それ、たんなるアホの「巨人」です
別名、あらしのおサル（＾＾；
どうしようもない 哀れなアホです
Inter-universal geometry と ABC予想 43
ｽﾚﾘﾝｸ(math板)
16 名前：１３２人目の素数さん[] 投稿日：2019/12/28(土) 11:58:54.40 ID:BLh8pF8j [2/2]
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
838:１３２人目の素数さん
19/12/28 13:06:57.25 iCHL5KjQ.net
喪女板
「ガールズチャンネルを語るスレ」
から涌いて来ちゃった
★ド変態バカ嵐♂ゲイ＊疑惑*
トランス糞爺“二次男”(ニジおとこ)
だと思います。
数学板では、己の猿っぷりが発覚するのを恐れて、無言でブタ箱時代の自画像ａａを貼るしか能が無いおバカですが、
本来、弱い喪ノには極めて攻撃性が強く狂暴凶悪なバカちんこです。
直接触るとおバカが移って、算数も解らなくなるから、気をつけて～！
839:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/28 13:07:06.53 25QO+/o4.net
>>735
ガロアすれ内なら、アホが目立たなかったのに
身の程知らずにも、よりによってIUTスレに出没するから
よけいアホが目立つなｗｗ（＾＾
840:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/28 13:08:32.02 25QO+/o4.net
>>736
どうも。スレ主です。
情報ありがとう！！（＾＾
841:１３２人目の素数さん
19/12/28 13:10:38.63 iCHL5KjQ.net
二次男はハウスｯ！
ブタ箱か妄想バツイチで毒男板に帰れｯ！
ここはおまいなんかの狂とこじゃねンだわｗ
842:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/28 13:16:21.23 25QO+/o4.net
>>736
(引用開始)
喪女板
「ガールズチャンネルを語るスレ」
から涌いて来ちゃった
★ド変態バカ嵐♂ゲイ＊疑惑*
トランス糞爺“二次男”(ニジおとこ)
だと思います。
(引用終り)
下記かな
ｽﾚﾘﾝｸ(wmotenai板)
５ちゃんねる もてない女板
ガールズちゃんねるを語るスレ 34トピ目
897コメント259KB 11月11日?12月28日 18勢い
843:１３２人目の素数さん
19/12/28 14:53:20.55 VqAUAktZ.net
＞喪女板
知らんな
◆e.a0E5TtKEって変態だったんだな
数学に興味持たずに一生＊＊Xしてろよ
844:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/28 15:03:31.49 25QO+/o4.net
>>723
＞来年のワークショップ（下記）で
�
845:рｿゃんと議論してもらったらよろしいんじゃないでしょうか？ ＞私ら、外野から、双眼鏡で覗いてますよ （＾＾； １．一番ありうるシナリオは、IUT成立で、さすがのPeter Scholze も勘違いしていった というもの ２．この逆で、さすがのPeter Scholzeが正解で、 IUT成立側は、「そろいも揃って何やっているんだ」となる ３．あとは、中間で、ギャップを修正できて成立 １．は、あり得ると思う Peter Scholze 先生も、IUTに7,000時間とかそんなIUT派のいう時間は掛けられないぞ だから、誤解も無くはない ２．は、考えがたいけどね というのは、IUT成立派が人大杉（＾＾ n人の全員が間違う確率は、0.5^n ですからね（間違う確率を0.5として） 特に、具体的に”3.12がおかしい”と指摘が絞り込めているのに、なお「成立」と主張するのだからね ３．は、あり得るかも。というか、もっと簡明な別証明が提示される可能性も含めて
846:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/28 19:21:03.63 25QO+/o4.net
この話、面白いね
Inter-universal geometry と ABC予想 42
ｽﾚﾘﾝｸ(math板:885番)
885 名前：１３２人目の素数さん[] 投稿日：2019/12/22(日) 15:07:44.80 ID:druy3BGR [4/7]
量子重力には対称性はない ― 大栗機構長らが証明
(引用終り)
URLﾘﾝｸ(www.ipmu.jp)
量子重力には対称性はない ― 大栗機構長らが証明
2019年6月19日
東京大学国際高等研究所カブリ数物連携宇宙研究機構（Kavli IPMU）
(抜粋)
物理学にとって重要な「対称性」の概念について、量子力学で成り立っている「対称性」が重力を組み合わせてしまうことで成り立たなくなることが、以前より指摘されていました。しかしながら、この指摘について厳密な証明はされておらず、推測の域を出ていませんでした。
今回、Kavli IPMU の大栗博司 (おおぐりひろし) 機構長は、マサチューセッツ工科大学物理学教室の Daniel Harlow 助教と共同で、重力と量子力学を統一する理論では、対称性がすべて破れてしまうことを、ホログラフィー原理を用いて証明しました。
大栗機構長らは、今回の証明にあたって、この AdS/CFT 対応と「量子誤り訂正符号」との間に近年発見された関係性を用いるという新たな手法を用いました。「量子誤り訂正符号」とは、量子コンピューターで失われた情報を回復する鍵とされるものです。加えて、今回の証明により、陽子崩壊の示唆やモノポールの存在が予測されました。
本研究に関して大栗機構長は「対称性は自然の基本的な概念であると一般的に考えられてきました。そして、多くの物理学者は、自然界には美しい一連の法則性が存在しなければならないと考えており、美しさを定量化する1つの方法は対称性であると考えています。
しかし、今回私達は、量子力学と重力が統一されている最も基本的なレベルの自然の法則では、対称性が保たれないことを明らかにしました。つまり、物理学者達が抱いてきた対称性に対する信念が間違っていることを示したのです」と述べています。
本研究成果は、アメリカ物理学会の発行するフィジカル・レビュー・レター誌 (Physical Review Letters) に2019年5月17日付で公開され、成果の重要性から注目論文 (Editors’ Suggestion) に選ばれました。
847:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/28 19:21:40.46 25QO+/o4.net
>>743
つづき
URLﾘﾝｸ(arxiv.org)
Constraints on symmetry from holography
Daniel Harlow, Hirosi Ooguri
(Submitted on 12 Oct 2018 (v1), last revised 6 Jun 2019 (this version, v2))
In this letter we use the Anti-de Sitter/Conformal Field Theory (AdS/CFT) correspondence to establish a set of old conjectures about symmetries in quantum gravity.
These are that no global symmetries are possible, that internal gauge symmetries must come with dynamical objects that transform in all irreducible representations, and that internal gauge groups must be compact.
These conjectures are not obviously true from a bulk perspective, they are nontrivial consequences of the non-perturbative consistency of the correspondence. More details of and background for these arguments are presented in an accompanying paper.
URLﾘﾝｸ(arxiv.org)
848:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/28 20:02:11.32 25QO+/o4.net
>>470
追加
URLﾘﾝｸ(terrytao.wordpress.com)
Almost all Collatz orbits attain almost bounded values
10 September, 2019 By Terence Tao
(抜粋)
I’ve just uploaded to the arXiv my paper “Almost all Collatz orbits attain almost bounded values“, submitted to the proceedings of the Forum of Mathematics, Pi.
In this paper I returned to the topic of the notorious Collatz conjecture (also known as the {3x+1} conjecture), which I previously discussed in this blog post.
URLﾘﾝｸ(arxiv.org)
Almost all orbits of the Collatz map attain almost bounded values
Terence Tao
(Submitted on 8 Sep 2019 (v1), last revised 13 Sep 2019 (this version, v2))
849:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/28 21:32:48.31 25QO+/o4.net
>>742
メモ
URLﾘﾝｸ(www.math.jhu.edu)
Number Theory Seminar at Johns Hopkins University
Fall 2019
November 6
Speaker:Anton Hilado. (UVM)
Title: Szpiro's Inequality and Anabelian Constructions
Abstract: Szpiro's conjecture relates two important quantities associated to elliptic curves, namely its minimal discriminant and its conductor.
Applied to the Frey curve, it implies the abc conjecture of Oesterle and Masser.
We give an overview of the inequality proposed by Shinichi Mochizuki and present work done with Taylor Dupuy making explicit the nature and effect of the indeterminacies that play an important role in the approach as well as computations assuming Corollary 3.12 of Mochizuki's IUT III paper.
850:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/28 21:56:38.23 25QO+/o4.net
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
August 2018 Report by the other participants in the March 2018
discussions
Why abc is still a conjecture
PETER SCHOLZE AND JAKOB STIX
1.2. Frey curves
<Frey curves>
URLﾘﾝｸ(www.uvm.edu)
unQVNTS (Vermont)
URLﾘﾝｸ(www.uvm.edu)
unQVNTS (Vermont) 2018
Thursday, October 4, 201
851:8, 3-4:30 p.m. Lafayette L307 Anton Hilado, Elliptic Curves and the abc Conjecture In this talk we state the famous "abc conjecture" of Masser and Oesterle, and explain how it can be formulated as a statement involving important quantities related to elliptic curves (Szpiro's conjecture). We give an introduction to Weierstrass equations, reduction types, and the conductor and minimal discriminant of an elliptic curve, which are all needed to state Szpiro's conjecture. We also show how the abc conjecture is related to Fermat's Last Theorem, and introduce the Frey curve, which was used to prove the latter, and relate Szpiro's conjecture to the abc conjecture. Slides http://www.uvm.edu/~unqvnts/Talk%201%20%28Szpiro%27s%20Conjecture%29.pdf Elliptic Curves and the abc Conjecture Anton Hilado University of Vermont October 16, 2018
852:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/28 22:05:06.80 25QO+/o4.net
URLﾘﾝｸ(www.uvm.edu)
unQVNTS (Vermont) 2018
Thursday, September 20, 2018, 3-4:30 p.m.
Taylor Dupuy, Mochizuki's Inequality and the ABC Conjecture
Mochizuki's approach to the ABC conjecture is to prove an inequality which implies the Szpiro inequality for elliptic curves under certain technical hypotheses called "initial theta data" show that these technical restrictions don't matter.
The aim of this talk is to explain exactly what step 1 is all about. Roughly, for an elliptic curve in "initial theta data", Mochizuki's inequality says that the size of one region (encoding one side of Szpiro) is less than the size of a "blurry" region (encoding the other side of Szpiro).
I will explain what these regions are and how they relate to Szpiro explicitly. In particular we will discuss "indeterminacies", "q-pilots", "theta-pilots", and "initial theta data". Later in the semester we will discuss the anabelian constructions that go into the "blurry construction".
This talk is supposed to set up future talks down the road. Much of this project of making these inequalities explicit is joint work with Anton Hilado.
Thursday, October 18, 2018, 3-4:30 p.m.
Taylor Dupuy, Log Volume Computations
We are going to continue discussing Mochizuki's inequality. In particular we will discuss the indeterminacies Ind1,Ind2,Ind3 and start in on the log-volume computations which give rise to a version of Szpiro's inequality for elliptic curves sitting in initial theta data.
Thursday, November 15, 2018, 3-4:30 p.m.
Taylor Dupuy, More Log Volume Computations
We will perform computations similar to the computations in IUT4 using Mochizuki's Inquality (Corollary 3.12 of IUT3) and the definitions of the indeterminacies therein to give a Szpiro-type inequality for Elliptic Curves in initial theta data (Theorem 1.10 of IUT4).
853:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/28 22:09:57.48 25QO+/o4.net
>>748
ここらは、時系列的には、SSレポート公表の後ですよね
つまり、SSレポートが公表されても、Taylor Dupuy氏とAnton Hilado氏は、IUT成立を信じて、研究を続けているってことですよね？
854:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/28 23:11:52.60 25QO+/o4.net
＜Frey-Hellegouarch curve＞
URLﾘﾝｸ(ncatlab.org)
Mochizuki's proof of abc
Last revised on March 14, 2013 at 19:26:24. See the history of this page for a list of all contributions to it.
The infinite set of counterexamples. They come from Masser’s paper Masser: Note on a conjecture of Szpiro,Asterisque* 1990, as follows. Masser has produced an infinite set of Frey-Hellougarch (i.e., semistable and with rational 2-torsion) elliptic curves over Q whose conductor N and minimal discriminant Δ satisfy
Take the pair (E,L), where E/Q is a semistable elliptic curve with (say, for the sake of simplifying) rational 2-torsion (i.e., a Frey-Hellegouarch curve) of minimal discriminant Δ and conductor N (square-free). Assume that:
855:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
2019/12/29
856:(日) 10:01:47 ID:uR3g5aDb.net
857:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/29 10:28:53.79 uR3g5aDb.net
>>751
（参考：これ分り易いかも）
URLﾘﾝｸ(inference-review.com)
Fukugen
Ivan Fesenko
Published on September 28, 2016 in Volume 2, Issue 3.
On Shinichi Mochizuki’s Inter-universal Teichmuller Theory
(抜粋)
THE SUNLIGHT is strong in Kyoto, even in winter. In December of 2014, I visited Shinichi Mochizuki at the Research Institute for Mathematical Sciences to discuss his inter-universal Teichmuller theory (IUT).1 A distinguished mathematician and a leading figure in anabelian geometry,
Mochizuki first made his papers about IUT available at the end of August, 2012. Their study has proved challenging.
A term that is frequently used in mathematical discussions about anabelian geometry and IUT is fukugen, which may be translated as restoration or as reconstruction, and which, like so many words in a foreign language, cannot be truly translated.
It must be used without translation. But isn’t this true of mathematics itself?
IUT contributes to a new view of the numbers. This may sound as if Mochizuki had announced, rather than executed, a program in pure mathematics. But IUT yields proofs of several outstanding problems in number theory: the strong Szpiro conjecture for elliptic curves,
Vojta’s conjecture for hyperbolic curves, and the Frey conjecture for elliptic curves.
And it settles the famous Oesterle?Masser or abc conjecture.2
The abc conjecture is easy to state and difficult to prove. Prime numbers are defined in terms of multiplication in the ring of integers.
858:１３２人目の素数さん
19/12/29 14:01:57.91 JEVheZqe.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ .
859:１３２人目の素数さん
19/12/29 14:03:22.33 JEVheZqe.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ .
860:１３２人目の素数さん
19/12/29 14:04:10.94 JEVheZqe.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ .
861:１３２人目の素数さん
19/12/29 14:25:47.26 JEVheZqe.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ .
862:１３２人目の素数さん
19/12/29 14:27:34.19 JEVheZqe.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ .
863:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/29 14:30:29.54 uR3g5aDb.net
あほサルかｗｗ（＾＾
864:１３２人目の素数さん
19/12/29 15:47:17.65 XkWlXq2i.net
>>758
成仏出来ない算数出来な過ぎてﾀﾋんだ不浄霊の二次男です。。。
院で数学の単位落として卒業出来なくて
ﾀﾋんだんです。。。
瀬戸少年院の。
865:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
19/12/29 18:15:21 uR3g5aDb.net
>>751
＜Frey curve＞
URLﾘﾝｸ(en.wikipedia.org)
abc conjecture
(抜粋)
The precise statement is given below. The abc conjecture originated as the outcome of attempts by Oesterle and Masser to understand the Szpiro conjecture about elliptic curves.[1]
Citations
[1]
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
Fesenko, Ivan (2015), "Arithmetic deformation theory via arithmetic fundamental groups and nonarchimedean theta functions, notes on the work of Shinichi Mochizuki" (PDF), European Journal of Mathematics, 1 (3): 405?440, doi:10.1007/s40879-015-0066-0.
(抜粋)
P4
1.3. Conjectural inequalities for the same property.
(a) the effective Mordell conjecture ? a conjectural extension of the Faltings?Mordell theorem which involves an effective bound on the height of rational points of the curve C over the number field K in the Faltings theorem in terms of data associated to C and K,
(b) the Szpiro conjecture, see below,
(c) the Masser?Oesterle conjecture, a.k.a. the abc conjecture (whose statement over Q is well known^6 , and which has an extension to arbitrary algebraic number fields, see Conj. 14.4.12 of [6]),
(d) the Frey conjecture, see Conj. F.3.2(b) of [15],
(f) arithmetic Bogomolov?Miyaoka?Yau conjectures (there are several versions).
The Szpiro conjecture was stated several years before^7 the work of Faltings, who learned much about the subject related to his proof from Szpiro.
Using the Frey curve^8, it is not difficult to show that (c) and (d) are equivalent and that they imply (b), see e.g. see sect. F3 of [15] and references therein.
Using Belyi maps as in 1.1, one can show the equivalence of (c) and (a).
For the equivalence of (c) and (e) see e.g. Th. 14.4.16 of [6]
and [47]. For implications (e) ⇒ (f) see [48].
Footnote
^8 y^2 = x(x+a)(x?b) where a,b,a+b are non-zero coprime integers
866:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
19/12/29 18:17:50 uR3g5aDb.net
>>759
ども
>>740より
”トランス糞爺“二次男”(ニジおとこ)”
“二次男”(ニジおとこ)かい？ｗ（＾＾
867:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/29 19:14:54.39 uR3g5aDb.net
>>760 追加
＜スピロ予想－Frey curve－楕円曲線 E－ABC予想＞
URLﾘﾝｸ(ja.wikipedia.org)
スピロ予想
(抜粋)
スピロ予想 (Szpiro's conjecture) は、楕円曲線の導手と判別式との間の関係について述べた予想であり、ABC予想と深い関係にある。この予想の名前は、1980年代にこれを定式化した Lucien Szpiro に由来する。
ABC予想との関係
スピロ予想より強い以下の主張がABC予想と同値である[2]。
任意の ε > 0 に対し、定数 C (ε) が存在して、有理数体 Q 上定義された全ての楕円曲線 E に対して、
max{｜c_4｜^3,｜c_6｜^2}<= C(ε)cdot f^{6+ε}}
が成り立つ。
ここに、c4, c6 は楕円曲線 E のよく知られた不変量である。
一般に 1728Δ = (c_4)^3 - (c_6)^2 であるから、上記の主張から通常のスピロ予想は簡単に導かれる。
通常のスピロ予想は、少し弱いヴァージョンのABC予想と同値である[3]。
脚注
3^D. Goldfeld, Modular forms, elliptic curves, and the ABC-conjecture.
URLﾘﾝｸ(www.math.columbia.edu)
DORIAN GOLDFELD Professor Mathematics Columbia University New York
URLﾘﾝｸ(www.math.columbia.edu)
MODULAR FORMS, ELLIPTIC CURVES AND THE ABC?CONJECTURE
Dorian Goldfeld? Dedicated to Alan Baker on the
occasion of his sixtieth birthday （1999）
(抜粋)
P7
Consider the Frey?Hellegouarch curve
EA,B : y^2 = x(x - A)(x + B).
A minimal model for EA,B has discriminant (ABC)^2・2^-s and conductor N・2^-t for
certain absolutely bounded integers s, t, (see Frey [F1]).
Plugging this data into Szpiro’s conjecture immediately shows the equivalence.
868:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/29 21:20:45.67 uR3g5aDb.net
>>700-701
”びっくりするほどＩＵＴｯ！！”ってなんか受けたね～ｗｗ（＾＾；
(参考)
Inter-universal geometry と ABC予想 43
ｽﾚﾘﾝｸ(math板:44番)
44 名前：１３２人目の素数さん[] 投稿日：2019/12/29(日) 20:40:43.49 ID:zLbiYwAu [1/3]
>>25
あれやって下さい。
びっくりするほどＩＵＴｯ！
びっくりするほどＩＵＴｯ！！
パーンｯ！パ━━━ンｯ！！！
(引用終り)
追加
>これを１０分程続けると妙な脱力感に襲われ、霊が逃げていく
>【10分で】深谷圏とホモロジカルミラー対称性【 from ロマンティック数学ナイトプライム@圏論 】
ここ、意識してなかったが、
１０分程 vs 10分で
って、
後から見ると、なんか韻を踏んでいるね（＾＾；
URLﾘﾝｸ(biz.trans-suite.jp)
TRANS.Biz
2019.09.11
「韻を踏む」の意味とは？使い方の例文や類語・英語も解説
869:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/29 22:50:26.55 uR3g5aDb.net
>>762
追加
URLﾘﾝｸ(en.wikipedia.org)
(抜粋)
Dorian Morris Goldfeld (born January 21, 1947) is an American mathematician working in analytic number theory and automorphic forms at Columbia University.
Professional career
Goldfeld received his B.S. degree in 1967 from Columbia University. His doctoral dissertation, entitled "Some Methods of Averaging in the Analytical Theory of Numbers", was completed under the supervision of Patrick X. Gallagher in 1969, also at Columbia.
He has held positions at the University of California at Berkeley (Miller Fellow, 1969?1971), Hebrew University (1971?1972), Tel Aviv University (1972?1973), Institute for Advanced Study (1973?1974), in Italy (1974?1976), at MIT (1976?1982), University of Texas at Austin (1983?1985) and Harvard (1982?1985).
Since
870:1985, he has been a professor at Columbia University.[1] His work on the Birch and Swinnerton-Dyer conjecture includes the proof of an estimate for a partial Euler product associated to an elliptic curve,[12] bounds for the order of the Tate?Shafarevich group[13] Awards and honors In 1987 he received the Frank Nelson Cole Prize in Number Theory, one of the prizes in Number Theory, for his solution of Gauss' class number problem for imaginary quadratic fields. In 1986 he was an invited speaker at the International Congress of Mathematicians in Berkeley.
871:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/29 23:00:30.74 uR3g5aDb.net
>>760
”フライ曲線”（＝楕円曲線の一種）は、フェルマーの最終定理の証明に用いられたんだ（下記）
URLﾘﾝｸ(ja.wikipedia.org)
フェルマーの最終定理
(抜粋)
目次
3.4 フライ・セール予想
フライ・セール予想
1984年にゲルハルト・フライはフェルマーの最終定理に対する反例 an + bn = cn からはモジュラーでない楕円曲線（フライ曲線）：
y2 = x(x ? a^n)(x + b^n)
が得られ、これは谷山?志村予想に対する反例を与えることになるというアイディアを提示。
ジャン＝ピエール・セールによって定式化されたこの予想はフライ・セールのイプシロン予想と呼ばれ、1986年にケン・リベットによって証明された。
(引用終り)
872:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/29 23:08:10.15 uR3g5aDb.net
>>765
>>765
この日本文は不正確
正確には、下記英文
なお、下記(a, b, c, n)は (a, b, c, p)が正確かもね、y^2 = x (x - a^p)(x + b^p)だからね
URLﾘﾝｸ(en.wikipedia.org)
Fermat's Last Theorem
(抜粋)
Contents
2.5 Connection with elliptic curves
Ribet's theorem for Frey curves
Main articles: Frey curve and Ribet's theorem
In 1984, Gerhard Frey noted a link between Fermat's equation and the modularity theorem, then still a conjecture.
If Fermat's equation had any solution (a, b, c) for exponent p > 2, then it could be shown that the semi-stable elliptic curve (now known as a Frey-Hellegouarch[note 3])
y^2 = x (x - a^p)(x + b^p)
would have such unusual properties that it was unlikely to be modular.[122]
This would conflict with the modularity theorem, which asserted that all elliptic curves are modular.
As such, Frey observed that a proof of the Taniyama?Shimura?Weil conjecture might also simultaneously prove Fermat's Last Theorem.[123]
By contraposition, a disproof or refutation of Fermat's Last Theorem would disprove the Taniyama?Shimura?Weil conjecture.
In plain English, Frey had shown that, if this intuition about his equation was correct, then any set of 4 numbers (a, b, c, n) capable of disproving Fermat's Last Theorem, could also be used to disprove the Taniyama?Shimura?Weil conjecture.
Therefore if the latter were true, the former could not be disproven, and would also have to be true.
つづく
873:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/29 23:08:38.66 uR3g5aDb.net
>>766
つづき
Following this strategy, a proof of Fermat's Last Theorem required two steps.
First, it was necessary to prove the modularity theorem ? or at least to prove it for the types of elliptical curves that included Frey's equation (known as semistable elliptic curves).
This was widely believed inaccessible to proof by contemporary mathematicians.[121]:203?205, 223, 226
Second, it was necessary to show that Frey's intuition was correct: that if an elliptic curve were constructed in this way, using a set of numbers that were a solution of Fermat's equation, the resulting elliptic curve could not be modular.
Frey showed that this was plausible but did not go as far as giving a full proof.
The missing piece (the so-called "epsilon conjecture", now known as Ribet's theorem) was identified by Jean-Pierre Serre who also gave an almost-complete proof and the link suggested by Frey was finally proved in 1986 by Ken Ribet.[124]
(引用終り)
以上