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]
(引用終り)
以上
874:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/29 23:25:31.39 uR3g5aDb.net
>>767 追加
英文の方が圧倒的に詳しいね
まあ、和文→英文の順に読めば良い（＾＾
（英文）
URLﾘﾝｸ(en.wikipedia.org)
Wiles's proof of Fermat's Last Theorem
(抜粋)
Contents
1 Precursors to Wiles' proof
1.1 Fermat's Last Theorem and progress prior to 1980
1.2 The Taniyama?Shimura?Weil conjecture
1.3 Frey's curve
1.4 Ribet's theorem
1.5 Situation prior to Wiles' proof
2 Andrew Wiles
3 Announcement and subsequent developments
3.1 Announcement and final proof (1993?1995)
3.2 Subsequent developments
4 Summary of Wiles' proof
5 Mathematical detail of Wiles proof
5.1 Overview
5.2 General approach and strategy
5.3 3-5 trick
5.4 Structure of Wiles's proof
5.5 Overviews available in the literature
6 References
（和文）
URLﾘﾝｸ(ja.wikipedia.org)
ワイルズによるフェルマーの最終定理の証明
(抜粋)
目次
1 ワイルズの証明以前の進展
1.1 フェルマーの最終定理
1.2 ワイルズ以前の特定の指数に関する部分的な解
1.3 谷山・志村・ヴェイユ予想
1.4 フライ曲線
1.5 フライ曲線を用いたフェルマーの最終定理への挑戦
1.6 リベットの定理
2 アンドリュー・ワイルズ
3 証明の発表とその後の発展
3.1 証明の発表と最終的な証明 (1993?1995)
3.2 その後の発展
4 脚注
5 参考文献
6 外部リンク
6.1 ワイルズの証明の解説
875:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/29 23:28:45.24 uR3g5aDb.net
>>766
もとは、フライ曲線は、
y^2 = x (x - a^p)(x + b^p) p > 2
だったけど
abc予想では、 p = 1
なんだ
それで、楕円曲線の理論と関連が付くんだね
ようやく、分かったわ（＾＾；
876:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/30 11:12:58.13 elykEIqv.net
>>748
＞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).
"blurry" region って、IUTの正式用語なの？ｗ（＾＾；
（>>747より）
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
(抜粋)
P10の最後
We voiced these concerns in this form at the end of the fourth day of discussions. On the
fifth and final day, Mochizuki tried to explain to us why this is not a problem after all. In
particular, he claimed that up to the “blurring” given by certain indeterminacies the diagram
does commute; it seems to us that this statement means that the blurring must be by a factor
of at least O(l^2) rendering the inequality thus obtained useless.
(引用終り)
とあって、SCHOLZEは、“blurring”を攻撃しているように見えたんだ
で、Mochizukiが苦し紛れの口頭説明に、“blurring”を言い出したと見ていたんだけどねぇ（原論文は、もちろん読んでないからさｗ）
へー、"blurry" region って、IUTの正式用語なの？へー ｗ（＾＾；
（参考）
URLﾘﾝｸ(ejje.weblio.jp)
Weblio
blurry
(抜粋)
主な意味
ぼやけた、不鮮明な
877:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/30 11:37:12.92 elykEIqv.net
メモ
URLﾘﾝｸ(www.nikkei.com)
「AI時代、組織で知識生む仕組みを」松原隆一郎氏
逆境の資本主義 日経 2019/12/30 2:00
(抜粋)
経済のデジタル化が進み、知識労働の重要性が高まっている。その一方で、判断や推論を伴う複雑な思考を担える人工知能（AI）の開発が進む。AI時代に労働や企業組織のあり方はどのように変わっていくのか。東京大学名誉教授の松原隆一郎氏に聞いた。
松原隆一郎氏（まつばら・りゅういちろう） 1956年神戸市生まれ。東大工卒、東大大学院経済学研究科博士課程修了。東大大学院教授を経て、18年4月から放送大教授、東大名誉教授。
「知識を触媒する役割、必要になる」
―AIは労働にどのような影響を与えますか。
「AIを使い始めると人がやることがなくなってくる。決められたルールのなかで問題を解く作業で人はAIに勝てない。AIを使うルールを決めるのは人が手掛けるとしても、それはかなりの知識労働だ。その作業に特化しなければ人が利益を稼ぎ出せないとなると、現役世代分をまかなうだけの利益が出て、賃金として配分できるかわからない。AIの与えるショックは大きい」
―企業の組織のあり方はどのように変わっていきますか。
「知識労働は今後、一層クリエーティブにならなければ稼げなくなるだろう。互いに示唆を与え合い、新しい発想を生み出すことができる組織作りが重要になる。だが必ずしもフラット化した組織が求められるわけではない。中間管理職が情報の伝達役や抑圧的な上司にすぎないのなら必要はない。知識の触媒としての役割を果たすことができる存在が必要になる」
つづく
878:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/30 11:37:43.78 elykEIqv.net
>>771
つづき
―日本企業は変化に対応できるでしょうか。
「20世紀を振り返ると、日本は組織で新しい発見を生み出してきた。たとえばトヨタ自動車では上層部の指示を待たずに現場で不具合を見つけて解決する仕組みを生み出した。一方、米国のテーラー方式ではホワイトカラーとブルーカラーが分離し、上の指示に下が従うだけだった」
「日本にテーラー方式が本格的に入ってきたのが00年代で、正社員から非正規に切り替えた時期と重なる。現場は上に言われたことを肉体労働としてこなすだけになった。組織や人間関係のなかで知識を生み出して利益をあげるという日本の成功モデルが崩れてしまった」
「日本、もっと世代交代進めよ」
―日本の資本主義のあり方をどうみていますか。
「株主や金融機関から資金を調達して事業をするべき企業が貯蓄主体になっている。これは資本主義ではない。もともと日本企業は株主への配当よりも事業投資を優先し、借り入れ過剰の状態だった。バブル崩壊後は逆に過剰に後ろ向きになり、負債を返し終えても投資をしなくなった」
「日本はもっと世代交代を進めるべきだ。将来何が起こるか分からないところで、投資してうまくいけばリターンを得る仕組みが資本主義だ。失敗したら結果責任をとるべきだが、不確実なことに対して責任を取る人がトップでなければ�
879:｢代交代が進まず、社会が停滞する」 つづく
880:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/30 11:38:09.89 elykEIqv.net
>>772
つづき
■記者はこう見る「デジタル人材の育成急務」
今井拓也
経済のデジタル化が進むなか、日本では人工知能（AI）の開発などを担う人材の育成が急務だ。米国のコンサルティング会社の推計ではビジネスの場で活躍するAI人材は世界に45万人。このうち日本は2万人弱で、13万人の米国や7万人の中国を大きく下回る。
データから新たな知見を生み出す知識労働の重要性が増すなか、組織のあり方も見直す必要がある。年功序列のような日本型の雇用では、高いデジタル技術を持つ若い世代が登用されたり厚待遇を受けたりしにくい。
デジタル人材の争奪戦は国境を越えて繰り広げられている。技術革新の担い手となる社員に権限を委譲するなど、従来にない発想で組織を作り直すことができるが今後の企業の成長力を左右する。
(引用終り)
以上
881:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/30 11:39:59.30 elykEIqv.net
>>773
会話のできる頭の柔らかい数学屋は、AI時代でも生き残るだろう
しかし、会話のできない頭の硬い数学屋は、AI時代では役に立たない
おサルは論外だが
882:１３２人目の素数さん
19/12/30 14:40:33.05 uyCQGdKl.net
と、会話がまったく通じないバカが申しております
883:１３２人目の素数さん
19/12/30 14:55:02.52 3/izb4er.net
>>1
粘着キチガイ君の相手するなら相手するでこのスレから出させるな
普通は無視して消えるの待つもんだぞ
ジャンル的にただでさえ過疎るのが常な数学板だ
変なのを飼わないよう注意してもらいたい
今回みたく板全体に悪影響を及ぼすからな
何か手助け出来るならやってやりたいが、
キチガイニート相手では無視以外ないぞ
884:１３２人目の素数さん
19/12/30 15:13:35.52 QJZL/mXh.net
>>776
なに見当違いな文句垂れてんだ？ｗ
>>1こと◆e.a0E5TtKEこそ一番の粘着キチガイだろｗｗｗ
{}∈{{{}}}とか、Zermelo構成のωは{{…(無限個)…}}とか
馬鹿丸出しなことを執拗にいいつづける白痴＆●チガイこそ
焼き●すべき最低最悪のゴキブリ野郎
885:１３２人目の素数さん
19/12/30 16:01:44.64 3/izb4er.net
>>777
で？
馬鹿丸出しと思う相手なんてほうっておけばいい
君にも君の人生があるはずだ
そんな相手に何年も朝から晩まで時間を費やして君のためになるか？
君はもっと君自身と向き合った方が良い
安心しろ
ここのスレ主なんてほうっておいても何の害も無いぞ
886:１３２人目の素数さん
19/12/30 16:56:09 QJZL/mXh.net
>>778
馬鹿は徹底的にあげつらって嘲り笑う
それが馬鹿に対する礼儀というものだｗ
人生？もう終わりだよ
あとは死ぬまでの暇つぶしみたいなもんだ
君こそ自分と向き合えばいい
こんなところで馬鹿を焼き●す俺が
みっともないと思うなら
一刻も早く立ち去ることだ
それとも一緒にやりたい？
いっとくが馬鹿じゃ務まらないぜ
一緒に丸焼きになるのが関の山だからな
おまえ大卒？理学部数学科？
いっとくけど馬鹿叩きは少なくとも
理学部数学科の数学っ
887:てもんを知らないと無理 工学部の奴らはロクに数学を学んでない だからトンデモなことを平気で口にする あいつらは人間じゃない ただの畜生 いくらブッ●しても問題ない 人間は食うために毎日牛や豚を処分してるだろ 罪の意識を感じるのは勝手だが食わなきゃ生きられない いやなら今死ぬか？ここで死ぬか？おまえに死ぬ勇気はあるのか？ ないだろ？だったらきれいごというな どうせ人間は屠殺者だ
888:１３２人目の素数さん
19/12/30 16:59:50 QJZL/mXh.net
いっとくが俺が嘲り笑うのは馬鹿のくせに利口ぶるウソツキ
畜生のくせに人間ヅラするウソツキだけだ
馬鹿は馬鹿らしく数学板には書かないのはもちろん読みもせんことだ
ここじゃ中学・高校レベルの数学の話なんかしない
大学教養課程レベルだって遊戯みたいなもんだｗ
そんな遊戯レベルで間違ってる奴なんかクソなんだよ
889:１３２人目の素数さん
19/12/30 17:08:24.35 QJZL/mXh.net
>>778
＞（◆e.a0E5TtKEなんて）ほうっておいても何の害も無いぞ
そうだな しかし益もないｗ
無駄な奴を生かすほど地球には余裕がない
無駄に飯食う馬鹿は屠って食うに限る
まず飯の消費が抑えられる
そして俺たちの腹を満たすことができる
一石二鳥だ どうだ素晴らしいだろうｗ
890:１３２人目の素数さん
19/12/30 17:16:47.30 of+JhUJd.net
>> ID:QJZL/mXh
>778 の言う通り。
いくら東大で数学学んでもホント意味ない。・・・
ただの迷惑行為でしかない。
自分の精神の弱さをさらけ出しているだけの甘ったれ。
いい加減、成長しろ。
891:１３２人目の素数さん
19/12/30 17:27:56.50 QJZL/mXh.net
>>782
一番の迷惑行為は◆e.a0E5TtKE
これを看過する貴様も同類のトンデモ
お前が一番精神の弱い甘ったれだ
成長も見込めんな ブタは死ねｗ
俺様が丸焼きにして食ってやる
892:１３２人目の素数さん
19/12/30 17:31:37.95 QJZL/mXh.net
だいたい中卒・高卒・文系学部卒・工学部卒等のド素人が数学語るなよ
おまえら虫ケラは他所で馬鹿なこと書いてろｗｗｗｗｗｗｗ
893:１３２人目の素数さん
19/12/30 17:39:49 3/izb4er.net
君はこのスレ主を焼き殺(？)しているつもりのようだが
君が焼き殺してるのは君自身だ
もう何年君の人生が失われたんだ
この先も失って行くのか
君の人生の主役は君であってスレ主ではない
君の人生はスレ主ありきになってしまっている
甘えるな
君の人生はもう終わってるって？
そんなのあり得ない
「普通」と比較してるだけだろ
君は実存という概念を学んだ方がいいと思う
今年も明日で終わり 切り換えるのに良いタイミングだ
お互い良い年にしよう
894:１３２人目の素数さん
19/12/30 17:39:52 QJZL/mXh.net
文系学部卒のド素人：安達弘志（文学部国文科卒）
京大卒だけあってそこそこ論理的だったが
肝心なところで狂信的な信念を否定できず
工学部卒のド素人：◆e.a0E5TtKE（工学部卒（資源工学専攻））
阪大卒とは思えんほど論理的思考ができない馬鹿
数学の試験を計算能力だけで誤魔化してきた典型
このテの馬鹿は工学部には掃いて捨てるほどいる
当然メーカー等の技術系職場にもうじゃうじゃいる
だいたい使えないが世渡りのうまさだけで
出世して会社で権力振り回すから始末が悪い
日本が腐敗堕落したのはこういう奴らのせい
895:１３２人目の素数さん
19/12/30 17:40:48 of+JhUJd.net
>>783
wikiのコピペは迷惑行為ではないし、
�
896:賴ﾇ純一の「UFO特番」も必ずしも迷惑行為とは限らないし。ｗｗｗ 数学屋の役割は、人類に数学をもたらすことであって、数学を遠ざけることではないし。
897:１３２人目の素数さん
19/12/30 17:55:48.88 QJZL/mXh.net
>>785
＞君が焼き殺してるのは君自身だ
自分で自分を火葬する・・・悪くないなｗ
＞もう何年君の人生が失われたんだ
もともと生まれたくて生まれたわけじゃない
人生まるまる無意味に消費するなんて贅沢の極みだなｗ
＞この先も失って行くのか
遠からず年金生活だからな 貯金も十分ある
＞君の人生の主役は君であって
主役って柄じゃないから、わき役で十分だ
＞◆e.a0E5TtKEではない
◆e.a0E5TtKEは主役になりたいようだが
どうみても詐欺師のドラマにしかなりようがないｗ
俺はその詐欺師の詐欺を暴く探偵だな
これはこれで悪くない役だｗ
＞君の人生は◆e.a0E5TtKEありきになってしまっている
困ったことに◆e.a0E5TtKEみたいなやつは沢山いる
もう何人も地獄に送ったが、まだまだいるようだ
死ぬまで飽きないなこりゃｗ
＞甘えるな
悪いがデリーのカシミールカレーのような辛い人生は好きじゃない
俺の人生はデリーカレーで十分だｗ
＞君の人生はもう終わってるって？
＞そんなのあり得ない
あくまで世間一般の考え方で「終わってる」という意味
俺自身はそもそも始まりも終わりもないとおもってる
いつのまにか現れいつのまにか消え去る それが真実さ
＞君は実存という概念を学んだ方がいいと思う
実存よりは道（タオ）のほうが好きだな
語れる道は真の道ではない
老子はヴィトゲンシュタインより二千年以上も前にこのことに気づいたようだ
＞今年も明日で終わり 切り換えるのに良いタイミングだ
年の切れ目は人為的なもので大した意味はない
ただそんなことを真顔でいうとせっかくの正月休みがもらえないので黙ってる
俺は功利主義者なのでねｗ
898:１３２人目の素数さん
19/12/30 18:02:06.65 QJZL/mXh.net
>>787
＞wikiのコピペは迷惑行為ではない
訳も分からない支離滅裂なコピペは精神異常が疑われるｗ
＞数学屋の役割は、人類に数学をもたらすことであって、
違うよｗ
自分が知りたいから研究してるだけ 他人のためじゃない
価値が分かる同業者ならともかく、
一般の馬鹿に分からせようなんて思うほど
お節介じゃないｗ
＞数学を遠ざけることではないし。
いや、数学の分からん馬鹿は遠ざかってくれ
見当違いなウソ八百を吹聴されても不愉快なだけ
死んでくれ 今ここでガソリンかぶって火つけて焼身自殺してくれ
貴様のようなブタが人間ヅラして生きてるだけで不愉快だ
899:１３２人目の素数さん
19/12/30 18:09:12 QJZL/mXh.net
本当の数学というのは素人のナイーブな妄想を
はるかに超える不可思議さに満ちている
例えば
球面の安定ホモトピー群(stable homotopy groups)
とかいうのがあるが、素人には想像もつかんほど
わけわからん結果だ
URLﾘﾝｸ(en.wikipedia.org)
900:１３２人目の素数さん
19/12/30 18:11:41 of+JhUJd.net
>>789
＞数学屋の役割は、人類に数学をもたらすことであって、
↑はもっと広い意味の話。
それに、個人の動機の話ではなくて、人類全体の中での役割。
>いや、数学の分からん馬鹿は遠ざかってくれ
>見当違いなウソ八百を吹聴されても不愉快なだけ
それは、個人の自由の範疇。当たり前だが。
ただ、こういう書き込みも、かまってちゃんへの燃料投下に過ぎない・・・
901:１３２人目の素数さん
19/12/30 18:12:18 uyCQGdKl.net
また下手くそな自演しやがって
こりねー奴
902:１３２人目の素数さん
19/12/30 18:14:04 of+JhUJd.net
>>790
もちろん、数学者の中にも、これを理解していない人はいくらでもいると思うよ。
903:１３２人目の素数さん
19/12/30 19:32:27.94 ChnJkAlw.net
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ .
904:１３２人目の素数さん
19/12/30 19:35:52 ChnJkAlw.net
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
905: /:, ' ｀ ､ .:.:::::', i:' __ .. ｀ ､.. .:.:::', ! ,,:='''´ : . : .:.:::::,!_ !,,:=､ _,,,,,＿, : ｀ ､r',r ヽ ! ＿.. ; ´￣ : . ! iヽ :| l'´- / -､ : ! ｰ 'ﾉ ! r_ r=ノ . : :r-ｨ' ヽ ｀__............ : ! l ', , '___,,.--‐'´ . :,' | ヽ ､￣,,.. ''´ : .:／ !､ ', ￣ . : , :'": : ﾄ､＼ ヽ.. .. : : :_,,. '" : : : : l､! ＼ ｀ニi"´::::.... ! ＼―--- .... ,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i ／ / |､｀ﾞ''ー---―''":::/ .
906:１３２人目の素数さん
19/12/30 19:43:50 QJZL/mXh.net
>>791
かまってちゃんはお前
だからかまってやるよ
ガソリンぶっかけて焼き●してやる
それがおまえの望みだろ？死にたいんだろ?
だから焼き●してやるよ(￣ー￣)
907:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/30 19:46:33.80 /rmCkeO7.net
>>789
おサル
お前はやり過ぎているんだよ
数学板で浮いている存在に成り下がったってことよ
本来、もっと積極的な数学板にプラスの書き込みをすべきところを
ＩＵＴスレにせよ
このガロアスレにせよ
数学落ちこぼれ
人生おちこぼれ
人に粘着して
マイナスのカキコしか出来ない低脳おサル
それを
皆さんから、見透かされてしまったんだ
哀れなおサル
許すから、このスレに居ろ。ＩＵＴは、おサルの三歳頭ではムリよｗ(゜ロ゜;
908:１３２人目の素数さん
19/12/30 20:36:43.94 BRT82p24.net
>>796
●にはどんな文字が入るのかな～♪
ニヤニヤ
909:１３２人目の素数さん
19/12/30 20:42:46.35 uyCQGdKl.net
と、∈の定義すら分かってないアホが申しております
910:１３２人目の素数さん
19/12/30 20:53:21.28 QJZL/mXh.net
>>797
＞お前はやり過ぎているんだよ
その言葉 そっくりそのまま
◆e.a0E5TtKEに返してやるよｗ
＞本来、もっと積極的な数学板にプラスの書き込みをすべきところ
馬鹿じゃねぇのｗｗｗｗｗｗｗ
この板に数学が分かる奴いねえじゃん
お前も∈の初歩から間違ってる白痴だし
911:１３２人目の素数さん
19/12/30 21:19:43.39 gSSs8el3.net
>>788
主役って柄じゃないから
脇役で十分だ
°゜。＊｡°゜(つ*><｡)。゜°＊｡°゜
。。。スターダスト地区。。。
。＊。°゜゜。°゜＊°*。゜*＊°゜。°
°。＊。°星のｶｹﾗ達の瞬きが゜。*°。゜＊゜°。°。＊*゜。°*゜。°゜＊゜。°＊。見える気ガス°゜。°*゜。°＊゜。°゜。°゜。°*゜。°
912:１３２人目の素数さん
19/12/30 21:23:43.80 gSSs8el3.net
* ＊*
＊ ＊ * ＊
︵
空が高くて星が遠い。。。
913:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/30 21:30:03.95 /rmCkeO7.net
>>801-802
おお、アートだね～ｗ（＾＾
おサルの>>795 二次男より良いわ（＾＾
914:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/30 21:34:40.44 /rmCkeO7.net
>>800
＞この板に数学が分かる奴いねえじゃん
それ、不遜だよ。おサル（＾＾
おれの見るところ
複数人が、ＩＵＴを（おれやおまえ（おサル）より）遙かに高いレベルで論じられる人がいるように思うぜ（＾＾；
だから、おれはＩＵＴには書かないんだ
915:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/30 22:22:10.91 /rmCkeO7.net
>>770
＞とあって、SCHOLZEは、“blurring”を攻撃しているように見えたんだ
＞で、Mochizukiが苦し紛れの口頭説明に、“blurring”を言い出したと見ていたんだけどねぇ（原論文は、もちろん読んでないからさｗ）
＞へー、"blurry" region って、IUTの正式用語なの？へー ｗ（＾＾；
IUTの４編の論文に、キーワード検索”blu”を掛けたが、全くヒットせず
なので、“blurring”及び"blurry"は、ＩＵＴ原論文には用語としては使われない
で、やっぱ、Mochizuki氏が苦し紛れの口頭説明に、“blurring”を言い出したみたい
でも、>>748のTaylor Dupuy Thursday, September 20 unQVNTS (Vermont) 2018では
”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".
なんだね
同僚のAnton Hilado氏 と
”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.”
916:なんてあるよね これ2020年のワークショップでやるのかな（＾＾
917:１３２人目の素数さん
19/12/30 22:28:46.95 QJZL/mXh.net
スターダストといえばももクロ
URLﾘﾝｸ(www.youtube.com)
918:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/30 23:05:16.78 /rmCkeO7.net
>>805
“blurring”に対する攻撃を、真正面から受け止めて、跳ね返そうということだね
Taylor DupuyとAnton Hiladoの二人は（＾＾；
919:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/30 23:25:27.18 /rmCkeO7.net
>>807
Anton Hiladoさん、フィリピンからか
Hiladoは、平戸かもしらんね
F1体について解説している記事があるな（＾＾；
URLﾘﾝｸ(ahilado.wordpress.com)
THEORIES AND THEOREMS
Math and Physics for Everyone
AUTHOR: ANTON HILADO
URLﾘﾝｸ(ahilado.wordpress.com)
About
My name is Anton Hilado. I am a mathematics Ph.D. student at the University of Vermont under Taylor Dupuy.
Before that, I completed my master’s degree in physics from the University of the Philippines, where my research was on mathematical physics under Eric Galapon.
920:１３２人目の素数さん
19/12/30 23:32:08.47 QJZL/mXh.net
＞Hiladoは、平戸かもしらんね
こいつの妄想癖は止まらないな（嘲）
921:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 00:10:41.92 kpkOab9v.net
>>808
Taylor Dupuy先生、2019年にIUTのPDFを２つ作っているね
内容は、殆ど同じかも
ダウンロード↓のマークが、右上にあって、PDFをダウンロードできた（＾＾
両PDFとも、冒頭に
”WARNINGS!!!
Normalizations/constant/index mistakes happen!! Double
check before applying statements from these slides!
We use simplifying assumptions!
Look at references at the end. Many people have helped me understand these things and deserve academic credit!”
みたいに出てくるのは、 Scholzeに対する反論の意味かいな？（＾＾；
URLﾘﾝｸ(www.uvm.edu)
[ Taylor Dupuy's Homepage]
URLﾘﾝｸ(www.dropbox.com)
Spring 2019, University of Tennesse Knoxville, Barrett Lectures A User's Guide to Mochizuki's Inequality
URLﾘﾝｸ(www.dropbox.com)
Spring 2019, Rice, AGNT Seminar Explicit Computations in IUT
上記以外に、PDFリンクなしの表題もある
Fall 2018, unQVNTS (Three Talks) Mochizuki's Inequalities
Spring 2018, UConn, CTNT Summer School Mochizuki's Inequalities
Spring 2017, Purdue, Automorphic Forms Seminar Indeterminacies in IUT
Summer 2016, IUT Summit, RIMS Kyoto Introduction to IUT2. Multiiradiality.
Spring 2016, University of Copenhagen, Number Theory Seminar Some Constructions Used in Mochizuki's IUT
922:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 00:12:02.58 kpkOab9v.net
>>810
Taylor Dupuy先生、IUTにかなり入れ込んでいる感じですね（＾＾；
923:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 00:17:22.18 kpkOab9v.net
>>723より再録
Taylor Dupuy 先生
5月に来日だな（＾＾；
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
Foundations and Perspectives of Anabelian Geometry,
RIMS workshop, May 18-22 2020
Confirmed participants in
924:clude: Taylor Dupuy (Univ. Vermont, USA),
925:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 00:18:29.26 kpkOab9v.net
来年は、
楽しいワークショップになりそうだね
期待できそうだな（＾＾；
926:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 08:32:52.41 kpkOab9v.net
>>807
>“blurring”に対する攻撃を、真正面から受け止めて、跳ね返そうということだね
>Taylor DupuyとAnton Hiladoの二人は（＾＾；
これは、正しい態度だと思う
ディベートとしてはｗ（＾＾；
（数学はディベートとは違うけどね）
>>770より
SSレポートで
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
(抜粋)
P10の最後
We voiced these concerns in this form at the end of the fourth day of discussions. On the
fifth and final day, Mochizuki tried to explain to us why this is not a problem after all. In
particular, he claimed that up to the “blurring” given by certain indeterminacies the diagram
does commute; it seems to us that this statement means that the blurring must be by a factor
of at least O(l^2) rendering the inequality thus obtained useless.
(引用終り)
と書かれている
それに対する回答レポートが、望月氏から出されているのだが
“blurring”についての説明がない
しかし、Q&A形式の回答が必要と思うんだよね
“blurring”という説明が攻撃されているのだからね
それに、外野で見ている人への親切としてもね（＾＾
ディベートにおける”ジャッジ”的視点からは
“blurring”について、きちんと説明しないとダメだよね（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)(policy_debate)
Judge (policy debate)
(抜粋)
ジャッジは、ポリシーディベートの勝者と敗者を決定するだけでなく、参加者のスピーカーの相対的な価値を評価するための責任者を指す。
（参考）（下記で“blur”で検索掛けたがヒットなし）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
REPORT ON DISCUSSIONS, HELD DURING THE PERIOD MARCH 15 ? 20, 2018, CONCERNING INTER-UNIVERSAL TEICHMULLER THEORY (IUTCH)
Shinichi Mochizuki
February 2019
927:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 08:39:39.16 kpkOab9v.net
>>813
＞来年は、
＞楽しいワークショップになりそうだね
＞期待できそうだな（＾＾；
もし、来年のワークショップで
望月IUTが数学業界で評価されることになれば
おサルの赤っ恥の追加になるな
時枝と
Zermelo構成のシングルトンの話（正則性公理に反する？）に加えて
三番目の赤っ恥だなｗｗ(゜ロ゜;
928:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 08:52:41.62 kpkOab9v.net
>>810 補足
URLﾘﾝｸ(www.dropbox.com)
Spring 2019, University of Tennesse Knoxville, Barrett Lectures A User's Guide to Mochizuki's Inequality
このPDFで
September 10, 2019
という日付で
P29に
People Who Have Explained Things to Me: Fesenko, Hoshi,
Joshi,Kedlaya, Lepage, Mochizuki, Mok, Saidi, Scanlon,
Thakur, Voloch
つまり、ここに挙げられている錚々たる数学者達は
SSレポートの指摘にもかかわらず
望月IUTを支持しているというふうに、読める！（＾＾
（勿論、Mochizuki, Fesenko, Hoshiは、除くとしても）
929:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 08:57:57.85 kpkOab9v.net
>>808
＞My name is Anton Hilado. I am a mathematics Ph.D. student at the University of Vermont under Taylor Dupuy.
Anton Hiladoちゃん、”mathematics Ph.D. student”なんだ（＾＾
IUTでDr論文書くつもりかな～
Taylor Dupuy先生、IUTでDr論文書かせるつもり？
どうも、>>810のPDF見ると、そういう雰囲気あるね（＾＾；
930:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 08:58:54.63 kpkOab9v.net
もし、そうだとすると
本気だね
（数学で、”本気”もないけどさｗ）
931:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 11:30:29.88 kpkOab9v.net
Inter-universal geometry と ABC 予想 43
ｽﾚﾘﾝｸ(math板:22番)
22 名前：１３２人目の素数さん[sage] 投稿日：2019/12/31(火) 01:37:32.70 ID:p/tdPvTh [2/2]
しかしこのスレが主流になるには、最低限物理屋さんは必要なんじゃないでしょうかw
(引用終り)
>>808
＞Before that, I completed my master’s degree in physics from the University of the Philippines, where my research was on mathematical physics under Eric Galapon.
Anton Hiladoちゃん、もと物理屋 ”where my research was on mathematical physics under Eric Galapon”なんだ（＾＾
主流じゃんか（＾＾；
932:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 13:08:45.17 kpkOab9v.net
>>817
＞Taylor Dupuy先生、IUTでDr論文書かせるつもり？
＞どうも、>>810のPDF見ると、そういう雰囲気あるね（＾＾；
例えば、>>810より下記のページご参照（＾＾
（注：PDFスライドは、全体で86枚あるが、ページ付けは30ページである）
”Results with
933:Hilado”と、Hilado氏の成果を強調しているんだ そして、P17で、Scholze-Stixの議論にも触れている（Taylor Dupuy先生は、勿論望月支持でしょうね） https://www.dropbox.com/s/b63figtzrg86u5t/IUTFAQ.pdf? Spring 2019, University of Tennesse Knoxville, Barrett Lectures A User's Guide to Mochizuki's Inequality P5 Results with Hilado Theorem (Dupuy-Hilado, Mochizuki) Assume IUT3 Corollary 3.12. There exists some constant A0 such that for every prime ` we have P6 Computations with Hilado Bounds showing dependence on the eld of `-torsion: Theorem (Dupuy-Hilado, Mochizuki) Assume IUT3 Corollary 3.12. If K = F(EF0 [`]) then we have P17 Scholze-Stix Naive Relation between Pq and Pθ: Scholze-Stix assert that this relation is the only relation. Mochizuki interprets what they say as a congruence. P19 (People looking at the slides online: look at the expanded discussion around these points both documents.)
934:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 13:11:52.89 kpkOab9v.net
>>820 補足
あと、細かくフォローしていないけど
PDF中に、Yuotubeへのリンクがあって
おそらくは、Taylor Dupuy先生がIUTの
解説ビデオを作っていたので
それへのURLではないかと思う
時間のある方、フォローよろしく（＾＾
935:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 13:12:45.59 kpkOab9v.net
>>821 タイポ訂正
PDF中に、Yuotubeへのリンクがあって
↓
PDF中に、Youtubeへのリンクがあって
936:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 13:18:34.97 kpkOab9v.net
Inter-universal geometry と ABC予想 43
ｽﾚﾘﾝｸ(math板:102番)
102 名前：１３２人目の素数さん[] 投稿日：2019/12/31(火) 12:47:24.93 ID:9PPcaxAu [4/4]
数学板奇跡の純粋右脳派スレが消滅の危機に陥っちゃうよ～！
(引用終り)
いいことを、いうじゃない！！ｗ（＾＾；
数学に”右脳いる”よね
あんまり分かってない人、日本の数学屋さんに多いけど
数学に右脳が働くようになって、プロ数学者としては、一人前だよ
右脳が働かないレベルは、アマ数学者なんだよね、私の見解だけど（＾＾；
937:１３２人目の素数さん
19/12/31 13:51:32.28 PG6R9UeN.net
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ .
938:１３２人目の素数さん
19/12/31 13:52:20.56 PG6R9UeN.net
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ .
939:１３２人目の素数さん
19/12/31 13:56:44.10 5xvWacd/.net
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ .
940:１３２人目の素数さん
19/12/31 13:57:00.01 5xvWacd/.net
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ .
941:１３２人目の素数さん
19/12/31 13:58:37.77 5xvWacd/.net
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ .
942:
19/12/31 14:06:18.75 +fRkLROD.net
>>801
＞スターダスト
これを普通は星屑と訳するのですが、敢えて「屑星」と訳した英断をみたことがあります
943:１３２人目の素数さん
19/12/31 14:25:35.10 HnVPzZZ/.net
>>829
スターダストは新しい星たちの揺りかご、星雲ガスの素です♪
スターダストが無ければ新しい星たちも生まれません。。。
ノバ・スターやノバ・ギャラクシーが誕生するのには大きく成長していく為の揺りかご、星雲ガスが必須です。。。
無からは何も生まれ得ません。
豊富な星雲ガスの素、スターダスト達こそが、新星、新銀河の素、宇宙の揺りかごです。。。
師有りて 星現る。。。
944:１３２人目の素数さん
19/12/31 14:29:04.35 HnVPzZZ/.net
無限の連鎖サイクルを感じます。。。
mathematicsのリサイクルです。。。
古い星々が寿命を迎えて燃え尽きる時にも超新星爆発により発生するスターダスト&星雲ガスに形を変えて
新たに輝き始める星として生まれ変わりますから。。。
945:１３２人目の素数さん
19/12/31 14:32:59.97 HnVPzZZ/.net
数学的才能の輝きは永遠です
数学が現す世界の法則はそれが真なら
地球と地球上に発生した生命体や文明を超えて世界と共に有りますから
永遠に輝く不滅の星の輝きの様です
946:１３２人目の素数さん
19/12/31 14:35:05.25 HnVPzZZ/.net
今日我々が目にする人類が到達し得た中で
間違い無く最上の能力の１つだと確信します
947:１３２人目の素数さん
19/12/31 14:37:29.20 HnVPzZZ/.net
そうした人間に生まれついたmathematicsianは最も幸いな人類だと思います
ちっぽけな人類が永遠の法則、真を知り得るのですから
948:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 14:49:30.36 kpkOab9v.net
>>829
C++さん、どうもです
お元気そうでなによりです（＾＾
949:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 14:50:34.20 kpkOab9v.net
>>834
どうも
スレ主です
レスありがとう（＾＾
950:１３２人目の素数さん
19/12/31 15:44:35 XYIqsjuV.net
>>823
数学に右脳が必要だとして、左脳が不要ということにはならない
おまえが良い例
951:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
19/12/31 18:09:04 kpkOab9v.net
>>837
両方ないのが「能（脳）なし」で、お前ｗｗ（＾＾；
（参考）
URLﾘﾝｸ(www.weblio.jp)
weblio辞書
実用日本語表現辞典
能なしの口たたき
読み方：のうなしのくちたたき
別表記：能無しの口たたき、能なしの口叩き、能無しの口叩き
才能のない人ほどあれこれとしゃべること。
952:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 18:24:19.57 kpkOab9v.net
>>820 補足
（再録）
URLﾘﾝｸ(www.dropbox.com)
Spring 2019, University of Tennesse Knoxville, Barrett Lectures A User's Guide to Mochizuki's Inequality
P17
Scholze-Stix
Naive Relation between Pq and Pθ:
Scholze-Stix assert that this relation is the only relation.
Mochizuki interprets what they say as a congruence.
(引用終り)
P17に、こんな式がある
deg_lgp(Pθ)=(l(l+1)/12)deg_Fo(Pq)
Scholzeは、”this relation is the only relation.”
Mochizukiは、”interprets what they say as a congruence”だと
congruenceを、下記
”Pq and Pθ”が、”【数学】 (2 図形の)合同”みたいな意味で
使っているのかな？？
詳しいことは、さっぱり分かりませんが（＾＾；
（参考）
URLﾘﾝｸ(ejje.weblio.jp)
研究社 新英和中辞典での「congruence」の意味
1適合，一致，調和.
2【数学】 (2 図形の)合同.
［CONGRUENT の名詞形］
953:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 18:43:57.35 kpkOab9v.net
>>823 補足
プロ（羽生先生）は、一目でほぼ最善手が見えるという
その後、読みを入れて確認する
数学も同じ
”ショルツは瞬時にコース教材を理解出来たとHellmannは言った”（下記）
ショルツも右脳で数学できたんだろうね（＾＾；
おサルとは大違いだな！！ ｗｗ(゜ロ゜;
URLﾘﾝｸ(octouber.jugem.jp)
My First JUGEM!
【60秒で読める！】羽生棋士に学ぶ、＜右脳＞と＜左脳＞の使い方とは？
2014.03.06 Thursday
(抜粋)
★★ 右脳と左脳をバランス良く使う ★★
脳波にはα波とか、θ波というものがありますが、
これは非常に直感の力が出やすい状態です。
対極中の羽生さんの脳波は
たいていα波になっているそうです。
無意識のうちにひらめきが出やすい状況になっています。
α波が出ている間は右脳が活性化するものですが、
羽生さんは時々左脳にスイッチが入るそう。
このときの脳は、直感の力が発揮されやすい状態です。
こうした直感で将棋をうつ場合、
脳波を見ると、90%右脳が働いています。
また、時々左脳が働くのは、
自分の手が正しかったどうかを左脳でチェックしているのです。
このように、直感を時々左脳�
954:ﾅ分析するということが 非常に大事です。 いわば、左脳は補正の役目を果たしているわけですね。 https://ja.wikipedia.org/wiki/%E8%84%B3%E6%A9%9F%E8%83%BD%E5%B1%80%E5%9C%A8%E8%AB%96 脳機能局在論 (抜粋) 2.3 左右半球 言語野は大脳皮質の左半球にあることが多い 総合的には90%以上の人では言語野は左半球にある。 右脳・左脳論 一般に広く知られる右脳・左脳論とは、左半球が論理的思考の中枢であり、右半球が映像処理、直感や感性、芸術性、創造性を担う、というものである[3]。 （>>433より） ボン大学での彼の数学クラスで、彼は決してノゥトを取らなかったとHellmannは回想した。 Hellmannはショルツのクラスメイトだった。ショルツは瞬時にコース教材を理解出来たとHellmannは言った。 "単に理解しているのみならず、ある種の深いレヴェルにおいて本当に理解している。だから彼も忘れないだろう"。
955:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 18:45:12.56 kpkOab9v.net
>>840
＞数学も同じ
＞”ショルツは瞬時にコース教材を理解出来たとHellmannは言った”（下記）
＞ショルツも右脳で数学できたんだろうね（＾＾；
右脳が働かないのは
プロではない
数学でも同じ
956:１３２人目の素数さん
19/12/31 19:51:37 vIFs75g6.net
工学脳では数学が理解できない理由も解明して下さい！
957:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 22:42:44.96 kpkOab9v.net
>>839 追加
URLﾘﾝｸ(www.uvm.edu)
Super QVNTS: Kummer Classes and Anabelian Geometry September 10-11, 2016
URLﾘﾝｸ(www.uvm.edu)
(抜粋)
KUMMER CLASSES AND ANABELIAN GEOMETRY JACKSON S. MORROW Date: April 29, 2017.
ABSTRACT. These notes comes from the Super QVNTS: Kummer Classes and Anabelian
geometry. Any virtues in the notes are to be credited to the lecturers and not the scribe;
however, all errors and inaccuracies should be attributed to the scribe. That being said,
I apologize in advance for any errors (typo-graphical or mathematical) that I have introduced.
CONTENTS
1. On Mochizuki’s approach to Diophantine inequalities
Lecturer: Kiran Kedlaya . . . . . . 2
2. Why the ABC Conjecture?
Lecturer: Carl Pomerance . . . . . 3
3. Kummer classes, cyclotomes, and reconstructions (I/II)
Lecturer: Kirsten Wickelgren . . . . . 3
4. Kummer classes, cyclotomes, and reconstructions (II/II)
Lecturer: David Zureick-Brown . . . . . 6
5. Overflow session: Kummer classes
Lecturer: Taylor Dupuy . . . . . 8
6. Introduction to model Frobenioids
Lecturer: Andrew Obus . . . . . 11
7. Theta functions and evaluations
Lecturer: Emmanuel Lepage . . . . . . 13
8. Roadmap of proof
Notes from an email from Taylor Dupuy . . . . 17
References . . . . . . 19
6. INTRODUCTION TO MODEL FROBENIOIDS
LECTURER: ANDREW OBUS
By way of introduction, Mochizuki loosely defines a Frobenioid as a category theoretic abstraction of divisors or line bundles on a geometry object.
Our main example will be an abstract category which encodes etale coverings and information concerning divisors.
958:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 22:46:32.22 kpkOab9v.net
>>842
中途半端に偏屈で落ちこぼれの数学脳では、人間界で暮らしていけないということを、まず理解すべきでは？ｗ（＾＾
おんなにもてないしｗ（＾＾；
959:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 22:54:29.03 kpkOab9v.net
>>844 補足
典型が、ε－δ法の記号を暗記して極限が理解できたと誤解し、自慢するおサルｗ（＾＾；
そんなことは、AIの時代ではなんの自慢にもならんぞ （多分、AIの時代には逆だろう）
極限をきちんと、自分の脳で理解しないと、AI時代には生きていけない数学者になるだろう
960:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 23:03:09.83 kpkOab9v.net
>>845
ご参考
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
ε-δ 論法（イプシロンデルタろんぽう、(ε, δ)-definition of limit）は、解析学において、（有限な）実数値のみを用いて極限を議論する方法である。
コーシーは『解析教程』(Cours d'analyse de l'Ecole royale polytechnique) で、ε-δ 論法を用いて関数の連続性の基礎づけを行った。しかし、この時点でも、連続と一様連続の区別はなかったためにコーシーは自著の中でそのことに起因する誤りをおかしている。
なお、ε-δ 論法の登場により一度は数学から追放された無限小や無限大を用いる解析も現代では超実数を用いることで正当化され、超準解析（Non-standard analysis または古典的に無限小解析 Infinitesimal analysis とも呼ばれる）という分野で研究されている。
URLﾘﾝｸ(ja.wikipedia.org)
極限
(抜粋)
点列
ユークリッド空間のように、距離 d の定まった空間における点の列についての収束の概念を、実数の列の収束の概念を拡張して定めることができる。
すなわち、点列 (xn)nが点 y に収束するとは、正の実数列 (d(xn, y))n が 0 に収束することである。
この概念をさらに一般化して、自然数によって数え上げられるとは限らない「列」とその収束性を一般の位相空間に対して定式化することができる。（#位相空間節を参照のこと）
点列の収束の概念は、一般の位相空間においても収束先の近傍系をもちいて定式化される。
しかし、一般的な位相空間の位相構造は、どんな点列が収束しているかという条件によって特徴付けできるとは限らない。
そこで、ネットやフィルターといった、点列を拡張した構成とその収束の概念が必要になる。
任意の位相空間 X に対し、X 上で収束している（収束先の情報も込めた）フィルターの全体 CN(X) や、あるいは収束しているフィルターの全体 CF(X) を考えると、これらからは X の位相が復元できる。
圏論
詳細は「極限 (圏論)」を参照
961:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 23:13:02.69 kpkOab9v.net
>>846
＞ε-δ 論法（イプシロンデルタろんぽう、(ε, δ)-definition of limit）は、解析学において、（有限な）実数値のみを用いて極限を議論する方法である。
ε-δ 論法は、解析学において、（有限な）実数値のみを用いて極限を証明する便利なテクニックである
そう理解するのが、正解だろう
便利なテクニックにすぎないのに
ε-δ 論法と、極限の概念の理解とを、混同する愚かなおサル
だから、
Zermeloのシングルトン（極限としての可算無限）が理解できなかったんだな、おサルは
962:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 23:13:47.03 kpkOab9v.net
>>846
＞ε-δ 論法（イプシロンデルタろんぽう、(ε, δ)-definition of limit）は、解析学において、（有限な）実数値のみを用いて極限を議論する方法である。
ε-δ 論法は、解析学において、（有限な）実数値のみを用いて極限を証明する便利なテクニックである
そう理解するのが、正解だろう
便利なテクニックにすぎないのに
ε-δ 論法と、極限の概念の理解とを、混同する愚かなおサル
だから、
Zermeloのシングルトン（極限としての可算無限）が理解できなかったんだな、おサルは
963:現代数学の系譜 雑談 古典ガロア理論も読む
19/12/31 23:16:28.76 kpkOab9v.net
>>847-848
ダブル投稿すまん（＾＾；
書き込み失敗と出たので、
もう一度書いたら
二重になった
964:１３２人目の素数さん
20/01/01 06:15:25.45 9OF7OgoE.net
一流棋士の言う「一目最善手」の話が本当ならAIに負ける
965:はずないだろう。 結局「伝説」に過ぎなかったわけ。 ◆e.a0E5TtKEは直観も全然見えてない。 本人が気づいてないだけで、他（数学科側）はみんな分かってる。 ガロア理論が分かっていれば一瞬で分かるはずの問題も数日かかったし 無限の理解に関しては壊滅的。 本人はまったく自覚がないのがすごい。
966:１３２人目の素数さん
20/01/01 06:24:12.37 9OF7OgoE.net
自分は検索参照しなければ数学的命題の正しさも自分では判断できない
検索コピペ脳バカのくせに、よくひらめきだの右脳だのと恥ずかしげもなく言えるよなｗ
967:１３２人目の素数さん
20/01/01 06:37:23.08 9OF7OgoE.net
>>844
言うにことかいて「おんなにもてない」とかｗ
お前は「おんなに見透かされてる」ことさえ気づいてないバカだろｗ
生きていくのに必要な能力はまず「自分の知性だけを頼りに正しさが確かめられる」こと。
◆e.a0E5TtKEに根本的に欠けている能力だ。
968:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/01 07:02:16.50 G5rtMfGn.net
皆さま、新年明けましておめでとう御座います
今年もよろしく、お願い致します
おサルを、このスレに隔離して、他のスレにご迷惑をお掛けしないように、努めます
たまに、このスレから逃走して、他のスレでイタズラをしますが、叱って ”しっし” をしてやってください（＾＾；
969:１３２人目の素数さん
20/01/01 07:22:38.45 VmKAwE3Z.net
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ .
970:１３２人目の素数さん
20/01/01 07:23:03.45 VmKAwE3Z.net
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ .
971:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/01 07:26:15.65 G5rtMfGn.net
>>850
おサルは、頭悪いな
＞一流棋士の言う「一目最善手」の話が本当ならAIに負けるはずないだろう。
分かってないね
例えて言えば
昔、円周率を何桁も手計算することが数学の先端研究であった時代がある
確か、手計算の記録は、「シャンクスが小数点以下第707位まで」（下記）で、計算ミスで第527位までが正解だとか
電子計算機で、いま「小数点以下31兆4159億2653万5897桁まで計算されている」という
同じことよ
いずれ、将棋や囲碁でも、人間の能力をマシーンが上回ることは予見されていた
そして、それは現実になった。でも、それは全く嘆き悲しむことではない
はっきり言って
AIについても、「これからは、AIマシーンを使いこなせ～！！」と、正しく捉えるべき
AIは、人間の能力を補い、可能性をのばすものだと
URLﾘﾝｸ(ja.wikipedia.org)
円周率
(抜粋)
円周率の計算において功績のあったルドルフ・ファン・コーレンに因み、ルドルフ数とも呼ばれる。ルドルフは、小数点以下35桁までを計算した[3]。小数点以下35桁までの値は次の通りである。
π = 3.14159 26535 89793 23846 26433 83279 50288 …
2 歴史
2.1 古代
2.2 2千年紀
2.3 コンピュータによる計算の時代
1873年、ウィリアム・シャンクスが小数点以下第707位まで計算（ただし途中で計算ミス）。
2019年の時点では、円周率は小数点以下31兆4159億2653万5897桁まで計算されている[12]。
URLﾘﾝｸ(en.wikipedia.org)
(抜粋)
British mathematician William Shanks famously took 15 years to calculate π to 707 digits, but made a mistake in the 528th digit, rendering all subsequent digits incorrect.[82]
972:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/01 07:40:30.28 G5rtMfGn.net
>>856 補足
１．昔から、人は動力を使って、人がやれる以上の力仕事をしてきた
２．移動手段としても、船や、列車や、自動車や、飛行機で、人が動く手段としてきた
３．電子計算機が発明され、単純計算が可能になった
４．AIの手法で、将棋や囲碁も、人の能力を超えるレベルになった
上記１～３について、人間はうまくマシーンを使ってきた
４についても、人はAIマシーンを使えば良いだけのことよ
いずれ、将棋や囲碁を超えて
数学の世界にも、AIマシーンが入ってくるとおもう
（今まででも、群論とか数式処理ソフトとかあったけど、それにAIが導入されるとおもうよ）
973:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/01 07:48:17.56 G5rtMfGn.net
>>851
＞自分は検索参照しなければ数学的命題の正しさも自分では判断できない
検索については、テンプレ>>12に書いてあるよ
「大体、私は、自分では、数学的な内容は、筆を起こさない主義です
じゃ、どうするかと言えば、出典明示とそこからの(抜粋)コピペです
まあ、自分なりに、正しそうと思ったものを、(抜粋)コピペしてます」
そもそも、既にだれかが書いていることを、わざわざ自分で書く必要もない
対象が、数学なので、主観の入る余地が少ないからね
（小説みたく、同じ対象を書いても、個性が求められる世界とは違う）
あと、検索すると、自分の知らないこと、知っていたけど古くなっている知識とか
いろいろ、新しい発見がある
おサルは、それが出来ないから
不正確な知識で、不正確なことを書いて
みなの顰蹙を買い
また、私スレ主から突っ込まれて、爆沈しているだろｗ（＾＾；