20/05/30 17:22:50.74 J1GIAwOu.net
ガウスとか現世に生まれたらまた数学するのかな？
251:１３２人目の素数さん
20/05/30 17:23:29.39 KOQPjMZG.net
>>230
経済システムを学ぶなら、取り敢えず経済学部に行った方がよく分かる。
252:１３２人目の素数さん
20/05/30 17:31:44.15 KVH88oiK.net
そもそも金儲けに脳細胞使ってて、トップ数学者になれるのかね？
253:１３２人目の素数さん
20/05/30 17:42:54.75 /Bc2HdCv.net
確率論学んだら経済システムの害がわかるってどんだけ飛躍してんだよ
伊藤清なんて株式の仕組みすら知らんレベルだぞ
254:１３２人目の素数さん
20/05/30 17:49:25.82 KOQPjMZG.net
>>234
生きて行くのに必要なカネは必要になる。
255:粋蕎
20/05/30 17:56:20.48 r5+8j3An.net
相変わらずデマカセ言うとるんか、この無政府主義無法者は
256:１３２人目の素数さん
20/05/30 18:00:31.55 85335uPX.net
お金と言うと複雑だから、世間的な"反響"と考えれば分かりやすいかも。
問題のB本は、数学的な内容にはほとんど踏み込んでおらず、数学徒の評判は低い
が、世間的には本屋大賞まで受賞してしまったし、ファンになったというような読者がたくさんいるだろう。
そのようなフィードバック・成功体験があると、これは正しいことなんだという自信が深まるんじゃないかな？
一方で数学的な地味な検証や正しさは置き去りになっている。
オボ事件の当事者も発覚前はそんな感じだったのかもしれない。
257:１３２人目の素数さん
20/05/30 18:00:44.04 oaGbkl7U.net
>>217
もらってなさそう→今月末が締め切りと思って俺もまだ申請してなかったから焦ったわw
258:１３２人目の素数さん
20/05/30 18:05:05.78 03gXVx3f.net
>>235
伊藤清は、資産や所得の分布が対数正規分布だってことを
残念ながら御存知なかったんだろう
259:１３２人目の素数さん
20/05/30 18:08:22.38 85335uPX.net
オボ事件のとき、あの天才笹井が不正に気付いてなかったはずない
と力説するひとがいたけど、不正を知っていてあの成功発表会見はできないだろう。
とすると、何かが天才の目を曇らせていたということになるね。
260:１３２人目の素数さん
20/05/30 18:21:55.09 J1GIAwOu.net
>>241
おっぱいだな
どんな天才学者もおっぱいには逆らえない
261:１３２人目の素数さん
20/05/30 18:22:39.06 6Zrxz1kC.net
“後から来て”業界第一任者ともくされていた自分を追い抜いて行ったIPS細胞氏に対するライバル意識と焦り＆おぼ子女史に対する性欲と恋愛感情
262:１３２人目の素数さん
20/05/30 18:27:44.30 6Zrxz1kC.net
>>242
女性タイプの脳の人は
おっπでは判断力は低下しないですね
263:現代数学の系譜 雑談
20/05/30 18:28:10.84 ymRW/wlu.net
>>227
(引用開始)
世間的には教授で年収1000万もあれば十分儲かってるだろ
しかも国立大学の教授なら品格、イメージも抜群
(引用終り)
同意だよ（＾＾；
１．数学が好きというか、半分趣味というか
２．それをプロとしてやりたいけど、アカポスがないと収入に繋がらない
３．もし、数学でホームラン論文書いて、なちゃら賞を貰って、好待遇で いろんな大学や研究機関からヘッドハンティングなら、メシウマ～でしょｗ（＾＾
４．書いた ホームラン狙い論文が、単なる外野フライになるか、あるいはホームランは逃しても 三塁打でも 注目の話題論文になったら、アカポスをゲットするのに有利
５．いま、アカポスが激戦と聞いています。有名大DR学位取ったのに、大学に席がないとかね。助教になっても、その先の準教も激戦とかね
６．それ考えると、「ホームラン論文で 学会賞ゲット」は、数学者にとっては期待するところではあると思うぜ
（「ホームラン狙いより、確実にヒットを狙って、その延長にホームランが出るよう」とする方が、確実という考えもある。逆に大問題を狙って、完全解でなくても 部分解でも論文書けるとかの考えもある。人生いろいろ、オトコもいろいろ）
264:現代数学の系譜 雑談
20/05/30 18:30:43.76 ymRW/wlu.net
>>245 訂正
４．書いた ホームラン狙い論文が、単なる外野フライになるか、あるいはホームランは逃しても 三塁打でも 注目の話題論文になったら、アカポスをゲットするのに有利
↓
４．書いた ホームラン狙い論文が、単なる外野フライになるか、あるいはホームランは逃しても 三塁打なるかは大問題で、 注目の話題論文になったら、アカポスをゲットするのに有利
かな
ロジックが捩れていたな（＾＾；
265:１３２人目の素数さん
20/05/30 18:33:37.30 oaGbkl7U.net
>>243
ちなみに餅のabc騒動の前に第一人者とされてた人は？
266:１３２人目の素数さん
20/05/30 18:42:47.12 03gXVx3f.net
>>241
まさか、あの♀が、他人のES細胞チョロまかして、
試料に混ぜてキメラマウスつくらせたなんで、
夢にも思わないだろ
笹井氏はお気の毒だった
267:１３２人目の素数さん
20/05/30 18:46:11.13 03gXVx3f.net
>>245
林家コピ平は、賞しか関心がない俗物だな
数学に全く興味ないだろ
食いついたネタ
・ガロア
・グロタンディク
・相対論
要するに名前にひかれる虫ケラｗｗｗ
268:１３２人目の素数さん
20/05/30 18:48:12.48 6Zrxz1kC.net
ド素人ですので…
お恥ずかしながら…
全く存じ上げておりません
ただ遠アーベルな研究者自体
そんなにいらっしゃらないというお話ですね
調べれば分かりそうですね
269:１３２人目の素数さん
20/05/30 18:49:52 03gXVx3f.net
林家コピ平は論理的思考力ゼロだから
ガロア理論もグロタンディクの理論も
全く理解できないだろう
一般相対論は曲率が分れば理解できるかもな
ま、そこらへんギリギリ到達可能だからガンバレ
代数は絶対ムリだから諦めろ
整数論は全く興味ない！と豪語する俗物には全く無縁な話だし
270:１３２人目の素数さん
20/05/30 18:52:04 6Zrxz1kC.net
>>250
>遠アーベルな
遠アーベルの
でした
271:１３２人目の素数さん
20/05/30 19:01:26 6Zrxz1kC.net
林家こぴ平…
Wikipei師匠とは
兄弟弟子でしょうか…
林家こぴ平、、
林家うぃき平、、、
うん、似てる！
272:１３２人目の素数さん
20/05/30 19:02:16 85335uPX.net
>>250
遠アーベル自体マイナーだったというのはいい線突いてると思う。
数論幾何という数学科の中でも最難関、超秀才だけがやることを許されるという分野の中で
遠アーベル幾何はグロタンディークの名前と結びついているということはあるが
マイナーな分野だったと思う。
一方でabcは誰もが認める最重要問題の一つで、これが解ければ遠アーベルは
数論幾何の中心テーマになってもおかしくない。
自分は、モッチーがあまり日の当たらない自身の研究に目を向けさせることが目的で
abcの証明を発表、十分関心が集まった時点で「実は出来てませんでした」
と言うつもりなのかもと少し思ってた。
273:１３２人目の素数さん
20/05/30 19:11:10 yN+3CKHe.net
遠アーベルなんて非アーベル的な挙動をする領域についての考察、
くらいの意味しかないだろ。
グロタンディークが10個の研究すべき分野に挙げたが、
そんなに成果の出る分野ではなかったからみんな手をつけなかっただけ。
難しいとか選ばれたやつがやるとかそんな要件はどこにもないよ。
274:１３２人目の素数さん
20/05/30 19:11:14 6Zrxz1kC.net
>>254
捨身飼虎でしょうか…
さすがにもっちーさまでも、そこまで捨て身な考えは…
無いと思います。(断言)
ご自分の理論に確証を持たれて
発表の場に挑まれただろうな、とは思います…
275:現代数学の系譜 雑談
20/05/30 19:28:24.62 ymRW/wlu.net
>>>>254-256
>捨身飼虎でしょうか…
>さすがにもっちーさまでも、そこまで捨て身な考えは…
同意です
RIMS伊原研 ”代数曲線の基本群への有理数体のガロア群の作用 : 遠アーベル幾何の一部で、いち早く l -進定式化を行いヤコビ和との関連など業績をあげた。”とあるので
その流れでは？
日本のお家芸的な遠アーベルでは？ （＾＾
URLﾘﾝｸ(ja.wikipedia.org)
伊原 康隆（いはら やすたか、1938年 - ）は、日本の数学者。中央大学21世紀COE教授、東大名誉教授、京大名誉教授。専門は整数論で多くの業績をあげている。
(抜粋)
東大教授を経て、京都大学数理解析研究所教授、2002年退官。ICM (kyoto,1990)ではplenary speaker、ICM (Beijing,2002)ではフィールズ賞選考委員。
業績
関数体上の非可換類体論
pro-{\displaystyle l} l 基本群のガロワ表現
ICM (Kyoto,1990)で Braids, Galois groups and some arithmetic functions. と題した講演を行い、エドワード・ウィッテンをひっくり返るほど驚かせた。
Sp(4) とそのコンパクト・ツイスト上の保型形式の対応 : ラングランズ予想の特殊な場合だが、この予想が出る10年(?)ほど前の着想
合同モノドロミー : 標数pの有限体上の代数曲線のある種のガロア被覆全体をp進体上のPSL(2)と実数体上のPSL(2)の直積の離散部分群で記述する理論。
伊原のゼータ函数
学位論文において、ヴェイユ予想からラマヌジャン予想を導いた : 佐藤幹夫の計算だけでは十分ではなく、久賀道郎とともに本質的アイディアを出した
代数曲線の基本群への有理数体のガロア群の作用 : 遠アーベル幾何の一部で、いち早く l -進定式化を行いヤコビ和との関連など業績をあげた。
(引用終り)
276:１３２人目の素数さん
20/05/30 19:31:58.58 QrhzQeL9.net
すてみかいとら？
277:１３２人目の素数さん
20/05/30 19:44:58.67 85335uPX.net
>>251
>整数論は全く興味ない！と豪語する俗物
まぁそれは酷いよね。
整数論に興味ないのに、abcにもIUTにも興味持つ理由が全く分か�
278:轤ﾈい。
279:現代数学の系譜 雑談
20/05/30 19:53:06.57 ymRW/wlu.net
>>68
>安田正大氏は斎藤毅氏の弟子らしいけど
>研究の方向は遠アーベルとは違うみたい
戻る
阪大には、安田正大先生のみならず、中村 博昭先生もいて
通常は、査読は せいぜい 数十ページを 個人で行う
今回は、当時500ページと言われた
なので、数人で内部ゼミを組んで、DR生とかも入れて、査読をする方式もありだったのでは？
URLﾘﾝｸ(www.math.sci.osaka-u.ac.jp)
中村 博昭 (Hiroaki NAKAMURA) 大阪大学
URLﾘﾝｸ(www4.math.sci.osaka-u.ac.jp)
Homepage of Hiroaki Nakamura
URLﾘﾝｸ(www.math.sci.osaka-u.ac.jp)
安田 正大 (Seidai YASUDA)
p 進局所体の p 進 Galois 表現について詳しい性質を調べることが技術的に重要で、p進 Hodge 理論を用いて調べることになります。p進Hodge 理論は近年発展がめざましく、次々と新しい理論が作られていますが、まだよくわかっていないことも多く、まだまだ発展の可能性がある魅力的な分野です。
特に局所体の整係数 p 進表現の理論が、現状では扱いづらく具体的計算が困難のため、より扱いやすい理論の構築を目指し、現在研究を行っています。
280:現代数学の系譜 雑談
20/05/30 19:56:49.89 ymRW/wlu.net
>>259
＞整数論に興味ないのに、abcにもIUTにも興味持つ理由が全く分からない。
別に数論とか関係ない
abcとIUT、面白くないかな？ あなたにとって
別に数論とか関係なく
abcとIUT、面白かったらそれで良いんじゃない？
（いまどき数論と言っても、間口広いし、広く浅く興味をもってもね～ｗｗ。
そもそも現代数学の「数論」の定義を、言ってみてｗｗ）
281:１３２人目の素数さん
20/05/30 19:57:13.23 85335uPX.net
数論幾何はグロタンが始めたとされているけど、話の起源は古いんだよね。
昔アーベル全集とかを見ていて思った。
要するに 数=函数 という類似を見ているのだと思う。
ガロアが代数方程式論を考えると同時に
多項式を係数とする代数方程式論=代数函数論をも
視圏に捉えて、リーマン面上のアーベル積分
のようなことを考えていたのも、当時としては
まったく自然な発想だったのだろうと思う。
282:現代数学の系譜 雑談
20/05/30 20:05:58.44 ymRW/wlu.net
>>256-258
>捨身飼虎でしょうか…
>すてみかいとら？
下記ですな（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
ジャータカ
『ジャータカ』（梵および巴：J?taka、漢訳音写：闍陀迦、闍多伽など）とは、仏教でいう前世の物語のこと。本生譚（ほんしょうたん）ともいう。釈迦がインドに生まれる前、ヒトや動物として生を受けていた前世の物語である。十二部経の1つ。
パーリ語版は、パーリ語経典経蔵小部に収録され、漢訳『本生経』（ほんしょうきょう）は、大蔵経の本縁部に各種の話が収録されている。
主な本生譚
以下に挙げるのは、釈迦の前世物語として有名な例である。
薩?王子（さったおうじ）
捨身飼虎（しゃしんしこ）で知られる。『金光明経』などに説く。釈迦の前世である王子は、飢えた虎とその7匹の子のためにその身を投げて虎の命を救った。
URLﾘﾝｸ(earthor.jp)
株式会社アーサーバイオ/株式会社アーサー技建
玉虫厨子 捨身飼虎図
2018年7月9日nomura
URLﾘﾝｸ(earthor.jp)
283:nt/uploads/2018/07/84cbd3ea946f98515c3e22ce64782f81.png 平成玉虫厨子レプリカ(高山市 茶の湯美術館蔵) 前回に続く 仏教説話に答えがあります。 法隆寺 玉虫厨子の右側面に「捨身飼虎(しゃしんしこ)」の図が描かれています。 http://earthor.jp/wp-content/uploads/2018/07/eba86d1203722dc58e2544a3a02a4d7f.jpg 平成玉虫厨子右側面捨身飼虎圖(しゃしんしこず) ↑飢えた虎の母子に、釈迦の前世の薩?(サッタ)太子が、我が身を与える絵説話 マカサッタ王子が２人の兄とともに山中に狩りに出かけ、７匹の仔を生んで親子共々餓死しかかっている虎に出会う。 これを見た王子はこの虎を救おうと決意して、恐怖する兄たちを帰し、この絵の一番上に書かれているのは、自ら高所に登って着物を脱いで木の枝に掛け、真ん中の絵の所で虎の前に飛び降りている場面、そうして一番下の絵では、飢えた虎に食われている場面。 この時天地は王子の行いに感動して鳴動賛嘆し、この王子は後に生まれかわってお釋迦さまになるという説話。
284:１３２人目の素数さん
20/05/30 20:06:45.06 85335uPX.net
>>261
素数の分布とか方程式の有理数解とか、整数という構造に関係して現れてくる数理現象を研究する分野でしょ。
話によく出るラングランズ予想とかも、要は（ハッセ・ヴェイユ型の）一般化された
ゼータ函数・L函数の函数等式の証明が中心テーマと言っていいし。
知らなかったの？
285:現代数学の系譜 雑談
20/05/30 20:10:15.88 ymRW/wlu.net
>>262
>数論幾何はグロタンが始めたとされているけど、話の起源は古いんだよね。
下記の 阿部 知行をチラ見してみたら？
ちょっと書いてあるよ
”数論幾何はグロタンが始めた”のは、全てを圏論で書き直したってことでしょうね（＾＾；
>>194より再録
URLﾘﾝｸ(www.ipmu.jp)
Kavli IPMU 准教授 阿部 知行
類似と数学
Kavli IPMU News No. 35 September 2016
§1 ヴェイユの哲学
図2 ヴェイユの三位一体
§2 ゼータ関数
§3 ヴェイユ予想
§4 グロタンディークとｌ進コホモロジー
§5 ｌ進、p進、そして未来へ
286:現代数学の系譜 雑談
20/05/30 20:14:34.67 ymRW/wlu.net
>>264
＞知らなかったの？
その定義は、知らなかったが
それは、あなたの即席の定義？
それとも、どこか公式の定義？
因みに、wikipedia の和と英と下記な（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
数論（すうろん、number theory）とは数、特に整数およびそれから派生する数の体系（代数体、局所体など）の性質について研究する数学の一分野である。整数論とも言う。
目次
1 概略
2 歴史
2.1 古代ギリシア
2.2 インド
2.3 中世イスラム
2.4 ヨーロッパ
2.5 近代数論の始まり
2.6 素数論
2.7 19世紀
2.8 19世紀末から20世紀初頭
2.9 20世紀
3 未解決問題
URLﾘﾝｸ(en.wikipedia.org)
Number theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and integer-valued functions.
Contents
1 History
1.1 Origins
1.1.1 Dawn of arithmetic
1.1.2 Classical Greece and the early Hellenistic period
1.1.3 Diophantus
1.1.4 ?ryabha?a, Brahmagupta, Bh?skara
1.1.5 Arithmetic in the Islamic golden age
1.1.6 Western Europe in the Middle Ages
1.2 Early modern number theory
1.2.1 Fermat
1.2.2 Euler
1.2.3 Lagrange, Legendre, and Gauss
1.3 Maturity
287: and division into subfields 2 Main subdivisions 2.1 Elementary tools 2.2 Analytic number theory 2.3 Algebraic number theory 2.4 Diophantine geometry 3 Other subfields 3.1 Probabilistic number theory 3.2 Arithmetic combinatorics 3.3 Computational number theory 4 Applications 5 Prizes
288:１３２人目の素数さん
20/05/30 20:34:55.91 gZgTS8wS.net
UT狂信者でコピベ魔のスレ主はおなしにならんが、、日本数学界はどうだろ。
RIMSの公文書>>114の矛盾さえ理解
できないレベルらしいから、
S.Sレポートの矛盾指摘も理解できる
わけがない。
相対論は力学と電磁気学の矛盾からの
発展だと理解できないだろうし
光速の媒質エーテルが不要かどうか、
真空が物質「エーテル」かどうか、
どうでもいい理解不能のレベルだろう。
ただ時空のミンコフスキー空間で
ローレンツ変換をいじっているだけ
のレベルだろう。
数論でも業績があるミンコフスキーは
アインシュタインの特殊相対論からミンコフスキー空間を抽出したレベル
とは全く違う、
289:１３２人目の素数さん
20/05/30 20:39:58.62 KWqEEPxX.net
日本の数学界が理解できない矛盾を理解できるなんて凄いですね
290:１３２人目の素数さん
20/05/30 20:43:25 85335uPX.net
◆yH25M02vWFhPに問題
abc予想は多項式について成立するメーソン・ストーサーズの定理
の整数についての類似である。
前者は、微分の線形性が成立するなどの理由で、容易に証明されるが
整数版は途方もなく難しい。
この2つの命題を比較すると
多項式の場合のdeg c と整数の場合のlog c が対応していることが分かる。
ではなぜこの2つが対応物であるのか、説明できる？
291:１３２人目の素数さん
20/05/30 20:44:17 gZgTS8wS.net
日本数学界が理解したくない矛盾かもね？
292:１３２人目の素数さん
20/05/30 21:01:46.72 03gXVx3f.net
>>254
RIMS関係者？ｗ
＞「実は出来てませんでした」
ドッキリ？
しかし、内部の論文誌で論文をアクセプトとかいうのはやりすぎでしょ
シャレにならんよね
293:１３２人目の素数さん
20/05/30 21:19:23.59 y1oT4TaI.net
>>254
自分もマイナー分野に関わりがあるがそんなことをしようとしてる研究者は見たことがない
294:１３２人目の素数さん
20/05/30 21:41:23.65 85335uPX.net
>>271
わたしはまったく外野ですよ笑
ただ、話の流れとしておかしいと感じる点が多い
>>272
一般的には当然そうでしょうね
295:１３２人目の素数さん
20/05/30 21:47:44.04 85335uPX.net
数の微分
URLﾘﾝｸ(en.wikipedia.org)
は定義され、類似の公式もいろいろ成立するが、線形性 (a+b)'=a'+b' が成立しない。
296:１３２人目の素数さん
20/05/30 22:15:55.63 85335uPX.net
解析の先生と話をしたとき、整数論とは？という話で
当然と言うように「素数の分布」だと言っていた。
自分は多少意外に思ったが、考えてみると確かに理がある。
ただし、だから解析的整数論をやるべきだという意味ではない。
297:１３２人目の素数さん
20/05/30 22:56:28.86 6Zrxz1kC.net
>>273
>話の流れとしておかしいと感じる点が多い
“おかしいと感じる点”に
もっちーさまが楽天ブログで書いてらした..
「ブラックホール」は入ってますか？
(ブログはご覧になりましたでしょうか？)
不可解に感じる点なのですが..
298:現代数学の系譜 雑談
20/05/30 23:51:34.29 ymRW/wlu.net
>>269
ありがとう
面白い問題だね
昔、ガロアスレでも、望月論文が出たころ ABC予想について調べたことを思い出した
log c の話は、下記の”再帰の反復blog”が詳しいね
なお、関連文献もメモしておくよ
URLﾘﾝｸ(l)
299:emniscus.はてなブログ/entry/20120927/1348765243 再帰の反復blog トップ > 数学 > ABC予想についてのメモ 2012-09-27 ABC予想についてのメモ ここでの議論の流れは歴史的な経緯や実際に登場した順番とは全く関係ない。 ダーモン・グランヴィルの定理を前振りにしたABC予想の説明。 目次 ピタゴラス方程式とフェルマー方程式の解の個数 ダーモン・グランヴィルの定理 ダーモン・グランヴィルの定理の言い換え ABC予想(曖昧版) 根基(radical) 根基とベキ指数、暫定的な予想1 log(rad(abc))/log(c)に関わる性質 質(quality)、暫定的な予想2 ABC予想 追記: ABC予想に言及のある文献 根基とベキ指数、暫定的な予想1 根基と素因数の指数の関係を知りたいので J=log(a) /log(rad(a)) を調べる。もちろんJは整数とは限らない。 (注；長いので引用省略するが、問いのlog c の話はここ（＾＾； ) log(rad(abc)) /log(c)に関わる性質 またlog(rad(abc)) /log(c)を使うのは、メーソン・ストーサーズの定理との類比という理由がある。 メーソン・ストーサーズの定理(を変形したもの) 実係数(または複素係数)の多項式a(t)、b(t)、c(t)のうち少なくともひとつは定数でないとする。 a(t)+b(t)=c(t) (a(t),b(t),c(t))は互いに素である。 のとき、次の式が成り立つ。 1<deg(rad(abc)) / max(deg(a),deg(b),deg(c)) (deg(f)は多項式f(t)の次数) つづく
300:現代数学の系譜 雑談
20/05/30 23:52:01.42 ymRW/wlu.net
>>277
つづき
ここでは、 logを使っていない
多分、こちらの方が証明が簡単なのでしょうね
URLﾘﾝｸ(izumi-math.jp)
北数教“第 101 回数学教育実践研究会”
【高校生にもわかる】
（多項式版）フェルマーの大定理の証明
＜ ABC 定理の紹介＞
平成 29 年 6 月 3 日 (土)
千歳科学技術大学 安田富久一
2 『ABC 定理』
『ABC 定理』は多項式に関する定理である。多項式の係数は有理数のみ、実数のみ、または複素
数のみ、のいずれを採用しても構わないが、話しを複雑にしないために、実数係数の多項式のみを
考えることにしよう。
【 ABC 定理 】
A, B, C は実数係数の多項式で、どの 2 つも互いに素であり、しかも全てが定数ではないと
する。
このとき、A + B = C なら
max {deg A, deg B, deg C} < deg rad(ABC)
が成り立つ。
だからどうした、と言われてしまいそうだが、この『ABC 定理』を利用して（多項式版）フェル
マーの大定理が簡単に導けるのである。Stothers , M ason 両氏による定理らしい。『ABC 定理』
を利用すると、（多項式版）フェルマーの大定理よりも強い次の定理が証明できる。
【 定理 1 】
自然数 p, q, r が 1/p +1/q +1/r ≦ 1 を満たすとき、
X^p + Y^q = Z^r
を満たす多項式 X, Y, Z で、全てが定数ではなく、どの 2 つも互いに素なものは存在しない。
この定理の特別な場合として、p, q, r のどれもが 3 以上の自然数 n に等しいときが、（多項式版）
フェルマーの定理になっている。
3 ABC 定理 の証明
ABC 定理 の証明はさぞかし難解だろうと思いきや、微分の基本性質を知っていれば理解できる
程度のもの。しかも、そんなに長くはない。多項式をアルファベット大文字で表し、例えば A の
微分を普通通り A′ で表すことにする。微分に関する使う知識を命題として示しておく。
【 ABC 定理 の証明 】
先ず流れを示す。次の (1)～(4) を順に示し証明する。
つづく
301:現代数学の系譜 雑談
20/05/30 23:54:49.81 ymRW/wlu.net
>>278
つづき
URLﾘﾝｸ(ja.wikipedia.org)
メーソン・ストーサーズの定理
URLﾘﾝｸ(en.wikipedia.org)
Mason?Stothers theorem
Proof
Snyder (2000) gave the following elementary proof of the Mason?Stothers theorem.[4]
（付録１）
URLﾘﾝｸ(core.ac.uk)
THE ABC CONJECTURE AND ITS APPLICATIONS by JOSEPH SHEPPARD B.A., Kansas State University, 2014
A REPORT submitted in partial fulfillment of the requirements for the degree MASTER OF SCIENCE
Department of Mathematics College of Arts and Sciences KANSAS STATE UNIVERSITY Manhattan, Kansas 2016
（付録２）これ ちょっと なつかしいな（＾＾
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
数理解析研究所講究録 1274 巻 2002
ネヴアンリンナ理論とイロハ (abc-)予想
東大・数理 野口潤次郎
本稿では, 小林双曲性, 有理点の有限性, Nevanlinna 理論, 有理近似論 (Diophantus
近似論), それらの関数体上での理論, 等々の間の理論的, 有機的類似に着目する. 図式
的には → を応用の向きを表すとして次のようになる. 関数体上の理論は, ちょうど中間
に位置するとみられる.
これに密接に関係するのが, Masser-Oesterle’ による abc-Conjecture(ここでは, 和訳とし
て “ イロハ予想” と呼ぶ) である.
予想 L2 (イロハ予想) 任意の ε>0 にたいしある定数 C(ε)>0 が存在して, a,
イロハ予想の定式化は , 代数体 K 上でも同様の式になる. そのとき, (1.5) の左辺第二項
のないものが, Roth の定理である .
これからも分かるように, イロハ予想は大変強い主張をしてぃることになる. 次の節で
分かるように, イロハ予想は有理型関数にたいする Nevanlinna の第二主要定理の類似である.
以下では, このような視点から観るとき, Diophantus 近似論, 値分布論, 関数体上の
有理近似論でなにが問題となり, どこまで分かってぃるかを論ずる.
(引用終り)
以上
302:現代数学の系譜 雑談
20/05/31 00:13:50.62 /jbUJ+Cd.net
>>275
ヨコですが
>解析の先生と話をしたとき、整数論とは？という話で
>当然と言うように「素数の分布」だと言っていた。
「素数の分布」＝リーマン予想では？（＾＾
>>274
＞数の微分
＞URLﾘﾝｸ(en.wikipedia.org)
＞は定義され、類似の公式もいろいろ成立するが、線形性 (a+b)'=a'+b' が成立しない。
あ、それ面白いね（＾＾
”There are many versions of "arithmetic derivatives", including the one discussed in this article (the Lagarias arithmetic derivative), such as Ihara's arithmetic derivative and Buium's arithmetic derivatives.”
とあるね
Lagariasさん、京都賞ではないが、講演をされているね（下記youtube）、Ihara's arithmetic derivative は あの伊原だろうね
URLﾘﾝｸ(kuip.hq.kyoto-u.ac.jp)
第3回 京都大学 ? 稲盛財団合同京都賞シンポジウム2016.7.9-10 未来への ... ジェフリー C. ラガリアス (Jeffrey C. Lagarias)
URLﾘﾝｸ(www.youtube.com)
第3回 京都大学 ? 稲盛財団合同京都賞シンポジウム [数理科学分野]「数学とテクノロジー ―過去と未来」ジェフリー C. ラガリアス 2016年7月10日
Kyoto-U OCW
チャンネル登録者数 2.45万人
Original (English):URLﾘﾝｸ(youtu.be)
第3回 京都大学 ? 稲盛財団合同京都賞シンポジウム
303:現代数学の系譜 雑談
20/05/31 00:17:33.76 /jbUJ+Cd.net
>>264
>話によく出るラングランズ予想とかも、要は（ハッセ・ヴェイユ型の）一般化された
>ゼータ函数・L函数の函数等式の証明が中心テーマと言っていいし。
その程度なら、ミミタコです（＾＾
304:現代数学の系譜 雑談
20/05/31 00:21:41.94 /jbUJ+Cd.net
>>267
>RIMSの公文書>>114の矛盾さえ理解
>>114の矛盾？
ガキだな
そんなの矛盾の内に入らないぜ
現実に、”おとな”の世界では、だれも問題にしていない
今後、>>114みたいな ガキの投稿は 止めておけ
自分の幼稚さを さらけている だけだよ
305:現代数学の系譜 雑談
20/05/31 00:27:52.68 /jbUJ+Cd.net
>>254
(引用開始)
自分は、モッチーがあまり日の当たらない自身の研究に目を向けさせることが目的で
abcの証明を発表、十分関心が集まった時点で「実は出来てませんでした」
と言うつもりなのかもと少し思ってた。
(引用終り)
それ、半分本気でしょ？（＾＾
面白いわ
ドッキリだね
用意した看板を手にして、後ろからそっと出てくる 望月先生が 目に浮かぶな～（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
ドッキリ
ドッキリとはバラエティ番組の表現手法のひとつ。番組進行を知らない、または虚偽の進行だけ知らされている出演者をだましたりイタズラを仕掛けたりして、出演者の反応を楽しむという手法。また、個人間でのイタズラなどもドッキリということがある。
語源は「ドッキリする」という心臓の鼓動が高まるほど驚く様子を表す言葉である（後述の元祖どっきりカメラの影響）。最後にネタばらしを行うが、ネタばらしは仕掛け人と呼ばれる進行役が番組名や「ドッキリ」と書かれたプラカードを持って登場する方式が多い。
目次
1 歴史
2 日本国外におけるドッキリ番組
3 主なドッキリの手法
4 ドッキリ企画を行う代表的な番組
306:１３２人目の素数さん
20/05/31 04:25:47.58 ZPpFn4fc.net
>>282
↑ 盗人猛々しい
307:現代数学の系譜 雑談
20/05/31 10:05:10.16 /jbUJ+Cd.net
>>284
>↑ 盗人猛々しい
・P→Q→Q’（（PならばQ）として
P：IUTの論文が成立していない
Q：RIMSの記者会見はおかしい
Q’：”盗人猛々しい”
ですね
ところが、条件節 ”P：IUTの論文が成立していない”が、偽です
ですから、”￢P”であり、”￢Q”です
そして、￢Q’ つまり、”盗人猛々しい”は否定されています
（∵ IUT論文は成立していま～す！！ ）
（参考）
URLﾘﾝｸ(www.geisya.or.jp)
高校数学(←Top)
>> 高校数学Ⅰ・Ａ
>> 集合と条件
p→qの真偽
(抜粋)
○ 上の表が「pならばq」「p→q」「pはqである」などの条件命題（条件文，含意命題，一般的伴立関係）の真偽についての数学的な定義（約束事）になっており，数学的な命題の真偽を判断するときは，これに当てはまるかどうかだけで考えることが重要です．
○ 数学用語としての「pならばq」は，日常用語での「pならばq」とは異なっており，次のように約束と違反の２段階で考えるとよく分かります．
「pならばq」とは「（pであってかつqでないもの）は存在しない」という約束だと考える
あるいは，
（pであってかつqでないこと）を禁止しているだけだと考える
その約束に対する違反があるときだけ偽とする
条件命題の真偽は多くの生徒が間違います．上の表で言えば，ＡやＢで間違う生徒はいませんが，仮定が
308:満たされていないとき：pでないときは結論が何であっても条件命題が真になる：ＣもＤも真になるということが日常用語と違うために間違いが起ります．
309:現代数学の系譜 雑談
20/05/31 10:18:11.21 /jbUJ+Cd.net
>>284 追加
>↑ 盗人猛々しい
さて、下記「学部・研究科等の現況調査表 京都大学」とは、何でしょうか？
URLﾘﾝｸ(www.niad.ac.jp) 学部・研究科等の現況調査表 研究 平成２８年６月 京都大学
難しい定義は飛ばしてｗ
就活の自己PRみたいなものと思っていいでしょう
自己PRがヘタな人、出来ない人は、やっぱダメなんですね
謙遜ばかりで、「私のしている数学の研究は、全く世の中のためにならない だれにも注目されない ゴミのようなものです」
というのは、フィールズ賞を取った人なら 言ってもいいけどね、普通の人はやめた方が良い
京都大学は、大人です（＾＾；
（参考）
URLﾘﾝｸ(job.rikunabi.com)
【例文付き】就活で自己PRを聞く意図は？人事に評価される書き方・話し方のポイントは？ リクナビ
エントリーシート（ES）や面接で聞かれる「自己PR」。人事は、自己PRを通してどんな情報を知りたいと思っているのでしょうか。
目次
就活で自己PRを聞かれるのはなぜ？
自己PRはどんなことを伝えるとよい？
【例文付きで解説】自己PRの伝え方のポイント
就活で自己PRを聞かれるのはなぜ？
ESや面接で受けるさまざまな質問は、「あなたはどんな人？」ということを人事が知るためのものと心得ておくとよいでしょう。中でも自己PRは、「あなたはどんな人？」をダイレクトに聞く質問だと言えます。
「どんな人？」を知るために人事が着目する点は「能力・性格（何ができるか）」と「志向（何をやりたいか）」の2つに分かれますが、自己PRは学生の「能力・性格」について知るための質問、志望動機が「志向」を知るための質問になります。
URLﾘﾝｸ(job.rikunabi.com)
【プロが解説】自己PRで使えるアピールポイントの見つけ方・伝え方
エントリーシート（ES）や面接で聞かれることが多い「自己PR」。何をアピールすればいいかわからない！という人も多いのではないでしょうか。
目次
企業が自己PRで知りたいのは「自社が必要とする特徴を持っているか」
自己PRで使えるアピールポイントの見つけ方
【例文添削】アピールポイントを上手に伝える自己PRとその解説
310:１３２人目の素数さん
20/05/31 10:24:05.63 /howdGzN.net
>>285
そもそも、論理式が不適切
P⇒Q
P：査読が適切に行われている
Q：他の数学者が理解する
しかし、現状では￢Q
したがって対偶の法則より￢P
そもそも
「証明が成立しているにもかかわらず数学者が理解できない」
ということはあり得ません 決して！
ところで対偶の法則は三段論法の特殊化
(P⇒Q)⇒((Q⇒R)⇒(P⇒R))
Rを矛盾とすれば、対偶の法則となる
311:現代数学の系譜 雑談
20/05/31 10:35:50.73 /jbUJ+Cd.net
>>280
>＞数の微分
追加
Oliver Heaviside 氏が関係していたのか！
（the Dirac delta functionも彼だとか！！）
Heaviside は、偉大だね（＾＾；
URLﾘﾝｸ(en.wikipedia.org)
Arithmetic derivative
Definition
For natural numbers {\displaystyle n}n the arithmetic derivative D(n)[note 1] is defined as follows:
Notes
1. In this article we use Oliver Heaviside's notation D(n) for the arithmetic derivative of {\displaystyle n}n.
There are various other notations possible,
such as n’; a full discussion is available here for general differential operators, of which the arithmetic derivative can be considered one.
Heaviside's notation is used here because it highlights the fact that the arithmetic derivative is a function over the integers and yields itself better notation-wise to function iteration D^{k} for second and higher-order arithmetic derivatives.
URLﾘﾝｸ(en.wikipedia.org)
Oliver Heaviside
Innovations and discoveries
He invented the Heaviside step function, using it to calculate the current when an electric circuit is switched on.
He was the first to use the unit impulse function now usually known as the Dirac delta function.[29]
URLﾘﾝｸ(ja.wikipedia.org)
オリヴァー・ヘヴィサイド
312:現代数学の系譜 雑談
20/05/31 10:43:44.64 /jbUJ+Cd.net
>>287
(引用開始)
P⇒Q
P：査読が適切に行われている
Q：他の数学者が理解する
(引用終り)
その定理は、不成立だよ
１．そもそも、”査読”という制度が いつから始まったかしらないが、少なくとも ガウスのころには無かったのでは？
（新聞記事の校正程度の ”てにをは”や 句読点のチェックくらいはあったかも）
２．”査読”などなくても、数学の論文は可能 （査読を過大評価している）
つまり、”査読”は”査読”でしかない。学会での評価は、全く別問題
３．あと、その定理は 下記に修正すべきだ
P⇒Q
P：査読が適切に行われている
Q：査読者が理解した
以上
313:１３２人目の素数さん
20/05/31 10:53:09.67 /howdGzN.net
>>289
＞下記に修正すべきだ
＞P⇒Q
＞P：査読が適切に行われている
＞Q：査読者が理解した
はい、自爆
Q⇒R
Q：査読者が理解した
R：論文に対する異議に対して、査読者が反駁できる
しかし現状は￢R
したがって対偶の法則により￢Q
さらに対偶の法則を使えば￢P
S&Sの異議に対して、査読者が説明できないのだから
査読者は論文を全く理解できていない
したがって査読は全く適切でなかった
Q.E.D
314:現代数学の系譜 雑談
20/05/31 10:54:12.53 /jbUJ+Cd.net
>>287
(引用開始)
そもそも
「証明が成立しているにもかかわらず数学者が理解できない」
ということはあり得ません 決して！
(引用終り)
反例あり！！！
下記なｗ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
有限単純群の分類
(抜粋)
有限単純群の分類 (classification of the finite simple groups) とは、数学において全ての有限単純群を4つの大まかなクラスへと分類する定理である。 これらの群は、全ての有限群を構成する基本的な要素として見ることが出来る。
この分類定理の証明は、主に1955年から2004年にわたり出版された、100以上の著者により数百の学術誌において書かれた、計1万5000ページ以上もの成果の集大成である。
ダニエル・ゴーレンシュタイン (d.1992) とライアン（英語版）、ソロモン（英語版）らは、この証明を整理し見通しよく改訂した「第2世代の証明」の出版を開始している。[1]
(引用終り)
＜反例たる理由＞
１．”100以上の著者により数百の学術誌において書かれた、計1万5000ページ以上もの成果の集大成”とあるように、これらは纏まった論文集にはなっていない。証明を読むためには、論文を集めるところから始まるだろう。PDF化以前のものも多い
２．群の存在を コンピュータで検証している場合が、多数ある。そこは論文を読んでも信じるしかない。自分で、再計算は可能だろうがね
３．よって、一人の数学者が、”100以上の著者により数百の学術誌において書かれた、計1万5000ページ”を集めて 読むなんてことは ありえないでしょ！！
（だれか、「おれは読んだ」と いう声があったら、教えて欲しいｗｗｗ ）
315:現代数学の系譜 雑談
20/05/31 10:59:20.62 /jbUJ+Cd.net
>>290
ミスター維新の今日のIDは、ID:/howdGzNかなｗ（＾＾；
(引用開始)
Q⇒R
Q：査読者が理解した
R：論文に対する異議に対して、査読者が反駁できる
(引用終り)
そのロジックは、現在の査読
316:制度にあっていないよ 「R：論文に対する異議に対して、査読者が反駁できる」が 普通は、「その論文は 私が査読したので、反論します」と名乗り出ることは、ありません！！ｗｗｗ 査読後掲載された論文についての議論は、基本は著者が責任を持って対応すべきですよ 査読者とて、著者以外のその他大勢の一人です まあ、あんた数学科修士の落ちこぼれ 論文の投稿をまともにしたこともなければ 学会で議論したこともないと見たなｗ（＾＾；
317:１３２人目の素数さん
20/05/31 11:00:47.04 /howdGzN.net
こんな査読は嫌だ
URLﾘﾝｸ(citrus-net.jp)
査読者「望月氏の論文が出版されました まだ私も読んでないんですけどね」
記者 「え？あなたが査読したんじゃないの？」
査読者「（しばしの沈黙の後）いいじゃん！そんなの何だって！」（ブチ切れ）
＃分かる奴だけ分かればいい
318:１３２人目の素数さん
20/05/31 11:08:06.07 /howdGzN.net
>>292
＞普通は、
＞「その論文は 私が査読したので、反論します」
＞と名乗り出ることは、ありません！！
名乗り出る必要はありません
査読して理解した上受理したのなら
反駁に対して反論できる筈であるし
受理の正当性を示したいなら
必ず反論するでしょう
し・か・し、誰も望月の説明の不備を補う説明を行わない
つまり、査読者は受理の正当性を示せない、ということ
査読制度の正当性を否定したのは、査読者のほうですね
P.S.
あなたも専門家なら、専門外の数学に口を出すのは一切止めましょう
319:現代数学の系譜 雑談
20/05/31 11:13:06.60 /jbUJ+Cd.net
>>291
補足
要するに、有限単純群の分類の定理は
あまりにも その証明が ページ数が多く（一部はコンピュータを使用した計算であり）
細部を 普通の数学の証明のように、論理のステップ毎に 追いかけるのは 一人の人間では ほぼ不可能だということ
ＩＵＴは、 そこまで行っていないだろが、それに類似でしょう
で、じゃあ、 「有限単純群の分類の定理」について、なぜ多くの数学者が納得していのか？
といえば、その理由は
１．ストーリーがある（トンプソンの定理から始まって ゴーレンシュタインが描いたプログラムがある。群の位数が小さいときに 例外の群が存在するが、位数が大きくなると 例外群は存在しなくなる）
２．群計算のソフトが、発達したので、部分的には 検証可能。まあ、抜き取りチェックみたいなもの。
３．”モンストラス・ムーンシャイン”の付録もついて、信憑性が増した
４．群論のえらい先生は、みな ”Trust Me”と言っているｗ（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
モンスター群
モンスター群はコンウェイ (Conway) とノートン (Norton) によるモンストラス・ムーンシャイン予想の2つの主要な要素の1つである．予想は離散数学と非離散数学を関係づけるもので，リチャード・ボーチャーズ (Richard Borcherds) によって1992年に最終的に証明された．
この設定において，モンスター群は，モンスター加群（英語版）という，グリース代数を含む無限次元の頂点作用素代数（英語版）の自己同型群として見ることができ，一般カッツ・ムーディ代数モンスター・リー環（英語版）に作用する．
320:１３２人目の素数さん
20/05/31 11:16:20.86 /howdGzN.net
率直に言って、現状では望月の論文を査読できる人はいない
「難しいから」ではない
あれだけ枚数があるにもかかわらず、
肝心な点について書かれてないため
論理的な検証が不可能だからである
査読者は論文をリジェクトすべきであった
そうしなかった理由は定かでないが
査読者が望月論文のギャップを埋められない以上
受理は全く不適切な行為であったと言わざるを得ない
これを恥と感じない奴は人間じゃない
321:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/31 11:17:08 /jbUJ+Cd.net
>>295
まず訂正
で、じゃあ、 「有限単純群の分類の定理」について、なぜ多くの数学者が納得していのか？
↓
で、じゃあ、 「有限単純群の分類の定理」について、なぜ多くの数学者が納得しているのか？
さて、本論
では、「有限単純群の分類の定理」は信仰されているのに
ＩＵＴは疑われているのか？
１．新興宗教だからｗ
２．新規すぎる
３．時代を先取りしすぎ
４．ほとんどだれもついていけない、あのショルツでさえｗ（＾＾
５．でも、いま キリストの使徒のように、何人かの理解者が出始めています
６．ＩＵＴの布教は、いまから始まりま～す！ ｗ（＾＾
322:１３２人目の素数さん
20/05/31 11:19:51 /howdGzN.net
>>295
＞ＩＵＴは、それ（有限単純群の分類の定理）に類似でしょう
素人が全く分かりもせずに口からデマカセいってもらっては困りますね
あなたには代数は無理ですから、曲率でも勉強して
一般相対性理論を理解してください
工学部卒のあなたがギリギリ到達できるのはそのくらいでしょうから
（決して低くない山ですよ）
323:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/31 11:20:15 /jbUJ+Cd.net
>>296
ミスター維新のロジックは、妄想と飛躍の産物ですなｗ（＾＾
(引用開始)
あれだけ枚数があるにもかかわらず、
肝心な点について書かれてないため
論理的な検証が不可能だからである
(引用終り)
自分、ＩＵＴ論文600ページ読めないのに？ｗ
なんで、それが言えるのか？ｗｗ
お薬飲んでくださいね！ｗｗｗ
324:１３２人目の素数さん
20/05/31 11:27:12 /howdGzN.net
>>297
＞なぜＩＵＴは疑われているのか？
＞１．新興宗教だからｗ
「学問ではなく、宗教だから」の誤りですね
もちろん、数学は宗教ではありません
工学部卒のあなたにとっては、
理屈が全然わからないという意味で
宗教かもしれませんが
＞２．新規すぎる
＞３．時代を先取りしすぎ
新奇であることは、拒絶の理由にはなりません
＞４．ほとんどだれもついていけない、あのショルツでさえｗ
ありていにいえば、
「肝心なことが書いてないから、論理をトレースできない」
というところでしょう
あれだけ紙をつかっていったい
何を書いてるんでしょうか？
ショルツは「望月は裸だ！」と指摘したわけです
みんなうすうすそうじゃないかと思っていたことを
はっきり口に出していったわけです
これに対する望月の反論は以下の通り
「おまえら馬鹿だから、オレの服が見えないだけだ！」
失笑したのはショルツだけではないでしょう
325:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/31 11:31:54 /jbUJ+Cd.net
>>298
ミスター維新のロジックは、妄想と飛躍の産物ですなｗ（＾＾
>＞ＩＵＴは、それ（有限単純群の分類の定理）に類似でしょう
>素人が全く分かりもせずに口からデマカセいってもらっては困りますね
出ました
サイコパスの屁理屈
私は、難しいことは言っていない
私は、”universe”という用語が、IUT論文の中でどう使われているかを調べた
(>>124 などご参照)
その結果、準備論文を参照となっていて、その準備論文を見ると、また他の論文参照になっていた
IUT論文本体だけで、600ページ
準備論文が、おそらくそれ以上
で、これが、遠アーベルの知識がある人の最低限
遠アーベルの知識が無い人は、その知識＋ 数論幾何 （ホッジだとかアラケロフだとか）＋代数幾何（グロタンディーク流）
で、また数千ページ
だんだん、「有限単純群の分類の定理」に近づいてきましたね
まあ
貴方や私には、
ラス数千ページでしょうねぇ～！ｗ（＾＾；
326:１３２人目の素数さん
20/05/31 11:32:48 /howdGzN.net
>>297
＞５．でも、いま キリストの使徒のように、何人かの理解者が出始めています
理解者ではなくパワハラ、アカハラの被害者では？
正しいかどうか疑わしい理論のサーベイ論文を書かされるとか
限りなくブラックに近いグレー業務でしょうね
＞６．ＩＵＴの布教は、いまから始まりま～す！ ｗ
梅毒による進行麻痺？
梅毒
URLﾘﾝｸ(ja.wikipedia.org)
第4期
感染後10年以降の状態。
多くの臓器に腫瘍が発生したり、
脳、脊髄、神経を侵されて麻痺性痴呆、脊髄瘻を起こしたりして
（脳(脊髄)梅毒、脳梅）、死亡する。
現在は稀である。
327:１３２人目の素数さん
20/05/31 11:37:17 /howdGzN.net
>>299
あなたは群論の教科書もガロア理論の教科書も読めなかった
IUTどころか、グロタンディクの論文すら無理でしょう
諦めて、曲率でも理解しといてください
そのくらいなら、論理じゃなく感覚でもいいでしょう
あなたに代数は無理です 論理が分らないんだから
328:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/31 11:37:33 /jbUJ+Cd.net
>>300
>ショルツは「望月は裸だ！」と指摘したわけです
>みんなうすうすそうじゃないかと思っていたことを
>はっきり口に出していったわけです
下記、ショルツ氏 5月1日” by e-mail”と言ったけど
あとの議論、やってないんじゃない？
Dupuy氏 5月3日 ”The manuscript with Stix has problems. The worst being the diagram in section 2.2. That does not appear in Mochizuki’s manuscript. I think people should stop citing it.”と、ばっさり切り捨てた
Dupuy氏の woitブログでの活躍、お見事ですねｗ（＾＾；
（>>13より再録）
woitブログ （下記）でのショルツ ｖｓ Dupuyを纏めておくと
１．表面的には引き分けだが
２．結局、ショルツ氏は Dupuy氏を納得させることができなかった
３．のみならず、IUTの望月氏の定義が難しいなどと、理解出来ていないことを露呈
４．あとは、 by e-mailとなったのが5月1日だが
５．5月3日に Dupuy氏
”The manuscript with Stix has problems. The worst being the diagram in section 2.2. That does not appear in Mochizuki’s manuscript. I think people should stop citing it.”
などと、公言さている
６．ショルツ氏敗勢とみた。 Stix 氏は、ノーコメントで沈黙中
７．そのうち、もっとハッキリとショルツ氏の間違いが分かってくるでしょう。そう思っています
（参考）
URLﾘﾝｸ(www.math.columbia.edu) （woitブログ）
Not Even Wrong Latest on abc Posted on April 3, 2020 by woit
(抜粋)
Peter Scholze says:
May 1, 2020 at 4:42 pm
The same happens for everything else I’ve seen in IUT or your comments.
I’m happy to continue any further discussions by e-mail.
URLﾘﾝｸ(twitter.com)
math_jinブログ
math_jinさんがリツイート
Taylor Dupuy
5月3日
(抜粋)
The manuscript with Stix has problems. The worst being the diagram in section 2.2. That does not appear in Mochizuki’s manuscript. I think people should stop citing it.
(deleted an unsolicited ad)
329:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/31 11:39:01 /jbUJ+Cd.net
>>303
ミスター維新のロジックは、妄想と飛躍の産物ですなｗ（＾＾
ご苦労さんでしたｗｗ（＾＾；
330:１３２人目の素数さん
20/05/31 11:45:06.87 /howdGzN.net
>>301
＞私は、難しいことは言っていない
そりゃそうでしょう あなたに難しいことは理解できないから
＞私は、”universe”という用語が、IUT論文の中でどう使われているかを調べた
本筋と全く無関係ですね
だからいってるでしょう
そもそも整数論も楕円関数論もまったく知らないあなたには
IUTなんて全くとっかかりすらないんですよ
まあ、斎藤毅の「数学原論」でも読んでから出直してください
論理の分からないあなたには絶対に無理でしょうけど
あなたは曲率でも勉強しとけばいいんです
一般相対論あたりで満足しとけばいいんです
あなたの「感覚理解」でもなんとかなるのは
せいぜいその程度です
331:１３２人目の素数さん
20/05/31 11:46:13.04 /howdGzN.net
>>501
＞遠アーベルの知識が無い人
問題となっているのは「遠アーベルの知識」ではないですね
望月の理論は、弟子や同僚にとっても全く新奇なのだから
ショルツとそんなに立場は変わらない
332:１３２人目の素数さん
20/05/31 11:52:45.21 /howdGzN.net
>>304
Dupuyは、望月の証明を理解してない
Scholzeの指摘に対して、「それIUTの論文と関係ないじゃん」といってるが
どこがどう無関係なのかは全く指摘できない
そりゃそうだ 理解できてないんだから
Scholzeは、Dupuyの発言がポジショントーク
（つまり系3.12を前提した上の研究を行う立場の発言）
だと理解してるから、後はメールで、といった
Stixがコメントを拒否したのは、仕事の邪魔になるだけと判断したんだろう
Scholzeも本音は拒否なんだが、�
333:ｳすがに自分が黙ったら ABC予想が認められたかのように誤解されると考えて コメントし続けている 正直、みんな「トンデモ論文」に関わりあいたくないんだろう 何も得るところがないとわかってしまったから 系3.12に拘るDupuyはもしかしたらセンスがないのかもしれんね
334:１３２人目の素数さん
20/05/31 11:54:20.26 /howdGzN.net
>>305
曲率勉強しないの？
さては一般相対論どころか特殊相対論も分かってない？
線形代数すら怪しいのか？
それで工学部卒業したらダメだろ
335:１３２人目の素数さん
20/05/31 12:23:35.78 /howdGzN.net
林家コピ平君に、論理に関する初歩的質問
Q1. 原始論理式をAとする
Aのみから作られる論理式P、Qについて
P⇔Qとなる場合、同値とすると、
同値類の数はいくつ？
（各同値類の代表となる論理式も合わせて示せ）
Q2. 原始論理式をA、Bとする
A、Bのみから作られる論理式P、Qについて
P⇔Qとなる場合、同値とすると、
同値類の数はいくつ？
（各同値類の代表となる論理式も合わせて示せ）
♪できるかな できるかな はてさてMmm～
336:現代数学の系譜 雑談
20/05/31 12:31:25.59 /jbUJ+Cd.net
ミスター維新、必死だなｗ（＾＾；
337:１３２人目の素数さん
20/05/31 12:33:13.96 /howdGzN.net
>>311
人違いね
>>310 答えてね
答えられないなら・・・数学は絶対無理！
338:現代数学の系譜 雑談
20/05/31 12:41:59.16 /jbUJ+Cd.net
>>306
>＞私は、難しいことは言っていない
>そりゃそうでしょう あなたに難しいことは理解できないから
双対ですな （あなたには、とうてい無理ですよｗｗ（＾＾； ）
あんたが、本スレからこちらに来て、本スレが静かになった
よかったなｗ（＾＾
>そもそも整数論も楕円関数論もまったく知らないあなたには
整数論なんて、結局はその時代によって内容が変わっているみたいだね
昔は、高木先生のご存命のころ、代数的数論と、解析的数論と 2つあった
その後、代数幾何とか出て
”代数幾何”って、幾何なの？ いやいや”代数幾何”という新分野だけど
いまや、数論やるなら必須らしい
おサルの ミスター維新には無理みたいｗｗ（＾＾
楕円関数論は、いま調べたことを、下記に貼付けています
楕円関数は面白いね、複素（z、w）で、４次元のトーラスなんだね（＾＾
あれは、数学の中でも特別の存在らしいね（＾＾；
純粋・応用数学
ｽﾚﾘﾝｸ(math板:249番)-
339:１３２人目の素数さん
20/05/31 12:44:43.02 /howdGzN.net
>>313
＞楕円関数は面白いね、複素（z、w）で、４次元のトーラスなんだね
🐎🦌🐎🦌🐎🦌🐎🦌
🦌🐎🦌🐎🦌🐎🦌🐎
🐎🦌🐎🦌🐎🦌🐎🦌
🦌🐎🦌🐎🦌🐎🦌🐎
🐎🦌🐎🦌🐎🦌🐎🦌
🦌🐎🦌🐎🦌🐎🦌🐎
🐎🦌🐎🦌🐎🦌🐎🦌
🦌🐎🦌🐎🦌🐎🦌🐎
340:１３２人目の素数さん
20/05/31 12:48:16.92 /howdGzN.net
林家コピ平に楕円関数は到底無理だから
>>310の以下の問題に答えてくれ
（これ、別に大学生じゃなくてもわかりそうだけどな）
Q1. 原始論理式をAとする
Aのみから作られる論理式P、Qについて
P⇔Qとなる場合、同値とすると、
同値類の数はいくつ？
（各同値類の代表となる論理式も合わせて示せ）
Q2. 原始論理式をA、Bとする
A、Bのみから作られる論理式P、Qについて
P⇔Qとなる場合、同値とすると、
同値類の数はいくつ？
（各同値類の代表となる論理式も合わせて示せ）
341:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/31 13:03:05 /jbUJ+Cd.net
>>312
＞答えられないなら・・・数学は絶対無理！
その考え、おサルの ミスター維新の限界だな
”厳密性を数学と取りちがえるという勘違い”＜渕野語録＞下記
＜渕野語録＞
(引用開始)
ガロアスレ24 ｽﾚﾘﾝｸ(math板:654番)-
（抜粋）
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
URLﾘﾝｸ(www.)<)
別に厳密性を犠牲にしろとは言っていない
厳密性のみを追い求めて、”記号列として記述された「死んだ」数学”で終わらずに
自分なりのイメージやビジョンを持つこと
佐藤幹夫先生はそんな人だと思うよ
(引用終り)
342:１３２人目の素数さん
20/05/31 13:14:25 XKBjsvOf.net
>>286
京大虚偽報告だよ
343:１３２人目の素数さん
20/05/31 13:25:54 XKBjsvOf.net
イデアルで躓くスレ主に単項イデアル、イデアル類群と単数群は無理だし
ミンコフスキーの定理も数の幾何も
無縁。
ただコピベしながら黒を白と罵倒する
のみ
344:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/31 13:27:54 /jbUJ+Cd.net
>>316
>＞答えられないなら・・・数学は絶対無理！
>その考え、おサルの ミスター維新の限界だな
>”厳密性を数学と取りちがえるという勘違い”＜渕野語録＞下記
下記の「有限単純群の分類」定理には、ストーリーと納得性がある
「群の位数が小さいときに 例外の群が存在するが、位数が大きくなると 例外群は存在しなくなる」、細かい話は別として（例外群が26でも27でも些末な話（＾＾； ）
いま、IUTにはこれがない。上記の「群の位数が小さいときに 例外の群が存在するが、位数が大きくなると 例外群は存在しなくなる」に相当する部分が
この場合において、”universe”という用語が、IUT論文の中でどう使われているか？”（>>301）
は 表題”INTER-UNIVERSAL TEICHMULLER”との関係で、納得感を得るためには重要なんだよね
（例えば、いま 望月氏の”universe”という用語の使い方、ちょっと 21世紀（2010～）の基礎論の用語とずれている と思っているのだが ）
繰返すが、IUT600ページを数学的に厳密に理解しようとか、理解しなければとか、全く思っていない
だが、おサルの ミスター維新は、”厳密性を数学と取りちがえるという勘違い”があるから、IUT論文に1ミリも入れないでいるんだなｗ（＾＾
”答えられないなら・・・数学は絶対無理！”とか、バカ丸出しだよ、おれから言わせればね
（おまえ、「有限単純群の分類」の定理どうするんだ？ 使わないのか？ 認めないのか？ アホは＜渕野語録＞嫁って話よ。 「有限単純群の分類」の定理の1万ページを 何年も掛けて読んだりしたら、みんな 数学者の人生 それだけで 終わるじゃんかｗ（＾＾； ）
URLﾘﾝｸ(ja.wikipedia.org)
有限単純群の分類
(抜粋)
有限単純群の分類 (classification of the finite simple groups) とは、数学において全ての有限単純群を4つの大まかなクラスへと分類する定理である。 これらの群は、全ての有限群を構成する基本的な要素として見ることが出来る。
345:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/31 13:33:49 /jbUJ+Cd.net
>>317-318
おサルの成り済ましか？
過去に、４つのｉｄまで 成り済ましで使った記録がある
まあ、別かもしれないがね
>京大虚偽報告だよ
妄想だな
π＝3.14
丸めの範囲内ですよ
これを虚偽というが如しだな
子供の幼稚な理屈だ
真に虚偽と思うなら
「京大虚偽報告だ」って、文科省へ一筆送れ
５ｃｈに書いて、なんとかなるとおもうところが またガキだｗ（＾＾；
346:１３２人目の素数さん
20/05/31 13:34:16 PLDYWZX9.net
>>318
イデアルはなぜイデアルなんだろう
idealがイデアルでいいならgroupだってグループでいいじゃないか
347:１３２人目の素数さん
20/05/31 13:38:13 /howdGzN.net
>>313
＞楕円関数は面白いね、複素（z、w）で、４次元のトーラスなんだね
まず、楕円関数は１変数関数
で、どうやらコピ平は、楕円関数と楕円曲線を間違えたらしいが
そうだとしても「４次元のトーラス」は完璧な🐎🦌発言ｗ
w^2=z^2+az+b で -16(4a^3+27b^2)≠0
としても、CP^2(実4次元多様体)上の実2次元曲面(実はトーラス)
348:１３２人目の素数さん
20/05/31 13:39:48 PLDYWZX9.net
イデアルは環論だからリングか
イデアルはリングの特別なサブセットである
おお、なんかITっぽい
349:１３２人目の素数さん
20/05/31 13:43:05 /
350:howdGzN.net
351:１３２人目の素数さん
20/05/31 13:46:46.56 /howdGzN.net
>>310
＞Q1. 原始論理式をAとする
＞ Aのみから作られる論理式P、Qについて
＞ P⇔Qとなる場合、同値とすると、
＞ 同値類の数はいくつ？
＞ （各同値類の代表となる論理式も合わせて示せ）
答えは、４つ
A∧￢A （Aが真でも偽でも、偽）
A （Aが真のとき真、偽のとき偽）
￢A （Aは真のとき偽、偽のとき真）
￢A∨A （Aが真でも偽でも、真）
はい、じゃ、>>310のQ2、答えてみｗ
352:１３２人目の素数さん
20/05/31 13:49:11.01 /howdGzN.net
>>316
＞自分なりのイメージやビジョンを持つこと
コピ平が 嘘イメージ、嘘ビジョンをいくら持っても ただのトンデモ
🐎🦌🐎🦌🐎🦌🐎🦌
🦌🐎🦌🐎🦌🐎🦌🐎
🐎🦌🐎🦌🐎🦌🐎🦌
🦌🐎🦌🐎🦌🐎🦌🐎
🐎🦌🐎🦌🐎🦌🐎🦌
🦌🐎🦌🐎🦌🐎🦌🐎
🐎🦌🐎🦌🐎🦌🐎🦌
🦌🐎🦌🐎🦌🐎🦌🐎
353:１３２人目の素数さん
20/05/31 13:55:56.14 Dw4CoVS4.net
abc予想は多項式についてのメーソン・ストーサーズの定理の整数版の類似として得られた。
それも1980年代にもなって。この定理は(a+b)'=a'+b' が成立することが効いて
直接容易に証明される。
多項式版でMax{deg(a),deg(b),deg(c)} となるところは
整数版ではMax{log(a),log(b),log(c)}=log(c) に置き換えられる。
（あとrad(abc)の指数に1+εがついたり、高々有限個の反例などの条件が付くのは
整数の複雑性として大まかに捉える。）
つまり、多項式の場合のdeg と整数の場合のlog が対応している。
>>269はそうなるべき理由を、（発見者の立場に立って）考えるという問題。
難しい理屈は必要ありません。（洞察は必要。）
354:１３２人目の素数さん
20/05/31 13:59:28.21 PLDYWZX9.net
groupやringに比べてidealは日本でそれほどポピュラーな単語じゃない
ポピュラーな単語じゃないから理解を妨げるような訳語を当てる必要がなかったのかな
355:１３２人目の素数さん
20/05/31 14:04:50.89 /howdGzN.net
>>328
そもそも定義を確認しない馬鹿は、どんな言葉使ったって理解できないだろ
356:１３２人目の素数さん
20/05/31 14:07:16.47 /howdGzN.net
コピ平は、
「楕円関数を使って、複素平面Cから楕円曲線への被覆写像ができる」
といっても、ワケワカランとかいって踊るんだろな
ワケ ワカ ラン
∧＿∧ ∧＿∧ ∧＿∧
（ ・∀・） （ ・∀・） （ ・∀・）
⊂ ⊂ ） （ Ｕ つ ⊂__へ つ
< < < ） ） ） （＿）|
（＿（＿） （_＿）＿） 彡（_＿）
357:現代数学の系譜 雑談
20/05/31 14:07:21.64 /jbUJ+Cd.net
>>321
>イデアルはなぜイデアルなんだろう
>idealがイデアルでいいならgroupだってグループでいいじゃないか
まあ、そうだよね
歴史的には、クンマーの理想数があって、デデキントは理想数の理論を整理することによってイデアルを考案したらしい
群は、昔の流儀で、”漢字一文字”っていう考えもあると思う
で、秋月先生が、”層”とかしたらしいが、いまとなっては、完全に誤訳ですよね
漢字一文字ではなく、”関数束”あるいは”関束”くらいの方がまだイメージが合うかも
余談だが、”園 (数学)”も誤訳っぽいよね
”圏”が、こんなにポピュラーになると思っていなかったのかもね
いまなら、” Stack”なり”スタ
358:ック”の方が、分り易いよね。無理に漢字一文字にする必要なし https://ja.wikipedia.org/wiki/%E3%82%A4%E3%83%87%E3%82%A2%E3%83%AB_(%E7%92%B0%E8%AB%96) イデアル (環論) (抜粋) 歴史 19世紀のドイツの数学者であるクンマーはフェルマーの最終定理を証明しようと研究していた。 クンマーは、x 2 + 1 の分解のためには -1 の平方根を含むより広い領域が必要となるように、R の元が上のように完全に分解されるより広い領域が存在すると考えた。そしてこの A, B, C, D のような理想的な分解を与える因子を理想（複素）数 (ideale complexe Zahl ) あるいは理想因子 (ideal Primfactor) と名付けて、理想数の理論を築いた。 クンマーの理想数の理論は非常に形式的で、とても難解なものであった。後になってデデキントは理想数の理論を整理することによってイデアルを考案した。 歴史的には、ヒルベルトの『数論報告』の中で、デデキントのイデアル概念が取り上げられたことから、イデアルという名称が採用されることになった。イデアル (Ideal) とは、明らかに理想数に由来する名前である。 https://ja.wikipedia.org/wiki/%E5%9C%92_(%E6%95%B0%E5%AD%A6) 園 (数学) 数学における園（えん、英: Stack) とは互いに関係づけられた2つの圏論的な概念を参照するものある。 ・標準的な園は、形式的降下理論の鍵概念である層型の接着公理を満足するファイバー圏である。 ・代数的園は園の特殊なタイプであり、スキームの圏と代数的空間の圏の拡張となる。これらはモジュライ空間の研究において中心的な役割を担っている。
359:現代数学の系譜 雑談
20/05/31 14:10:40.94 /jbUJ+Cd.net
>>327
>多項式版でMax{deg(a),deg(b),deg(c)} となるところは
>整数版ではMax{log(a),log(b),log(c)}=log(c) に置き換えられる。
ここ（行間）にギャップがあるけど
その説明は？
つまり、多項式deg(a)→log(a)とする数学的理由や、いかに
360:１３２人目の素数さん
20/05/31 14:13:42.64 XKBjsvOf.net
>>320
RIMSの公文書が矛盾しているの
RIMSの大人の都合でね。
で、評価ではabc予想が解決
したは削除されたなあー
まあイデアルが単語しかわからんスレ主レベルでは信じるのみだが、
決して救われない
361:１３２人目の素数さん
20/05/31 14:14:35.96 /howdGzN.net
>>332
＞ここ（行間）にギャップがあるけど
＞その説明は？
＞つまり、多項式deg(a)→log(a)とする数学的理由や、いかに
それを>>269でおめぇにきいてるんだろが さっさとこたえやがれ
日本語も分からねぇのか？ このダイハンミングク人はｗ
362:１３２人目の素数さん
20/05/31 14:18:13.44 PLDYWZX9.net
>>331
学べば学ぶほど日本の数学者の悪意を感じる
まるで自分たちにしか理解できないようにわざと間違った訳語で後進を混乱させようとしているような
invertibleの訳語が正則なのにはキレそうになった
363:現代数学の系譜 雑談
20/05/31 14:20:54.88 /jbUJ+Cd.net
>>328
>groupやringに比べてidealは日本でそれほどポピュラーな単語じゃない
>ポピュラーな単語じゃないから理解を妨げるような訳語を当てる必要がなかったのかな
外来語（あるいは品物）の訳語の由来は、難しいね
ブリキの由来が、”語源はオランダ語の「blik」と呼ばれる、日本語で「板金・鈑金」（英語：sheet metal）を表す言葉が語源”とか
（参考：なお 鉄鋼（鋼板）をスズ（純スズ）で表面処理した表面処理鋼板 → 鋼板をスズでメッキ処理したメッキ処理鋼板 が正確だけどね）
URLﾘﾝｸ(ja.wikipedia.org)
ブリキ
ブリキ（錻力・鉄葉は当て字、オランダ語: blik）は、鉄鋼（鋼板）をスズ（純スズ）で表面処理した表面処理鋼板[1]。
缶詰など、常に水分と接触する部材に用いられるほか、かつては玩具の主要な材料でもあった。
語源
語源はオランダ語の「blik」と呼ばれる、日本語で「板金・鈑金」（英語：sheet metal）を表す言葉が語源と考えられるが、以下の異説
364:もある。 オランダ語のBlikje（金属缶）から来たという説。 明治時代、レンガを鋼板で保護しているものを見た日本人が、鋼板のことを尋ねるつもりでそれは何かと質問したところ、"brick"（レンガを意味する英語）という答えが返ってきたことから誤って付いた名である、とする説。しかしブリキについては江戸時代より知られており、この説は疑わしい。
365:１３２人目の素数さん
20/05/31 14:25:33.51 /howdGzN.net
>>335
正則行列は、regular matrix の訳らしいぞ
invertible matrix なら 可逆行列
non-singular matrix なら 非特異行列
で
非特異：行列式が０でない
可逆：逆行列が存在する
という意味なら、定義は異なるが、実は同値である ということだな
366:現代数学の系譜 雑談
20/05/31 14:26:43.64 /jbUJ+Cd.net
>>335
>学べば学ぶほど日本の数学者の悪意を感じる
>まるで自分たちにしか理解できないようにわざと間違った訳語で後進を混乱させようとしているような
>invertibleの訳語が正則なのにはキレそうになった
1．いまと、言葉のセンスが違ってきている気がするな（本国も日本も。あと、数学の中心が独仏から米へ移ったという要因も）
２．invertibleの例では、”正則行列（せいそくぎょうれつ、英: regular matrix）、非特異行列（ひとくいぎょうれつ、英: non-singular matrix）あるいは可逆行列（かぎゃくぎょうれつ、英: invertible matrix）”と、本国で用語の変遷が起きたのでは？
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
正則行列
正則行列（せいそくぎょうれつ、英: regular matrix）、非特異行列（ひとくいぎょうれつ、英: non-singular matrix）あるいは可逆行列（かぎゃくぎょうれつ、英: invertible matrix）とは、行列の通常の積に関する逆元を持つ正方行列のことである。この逆元を、元の正方行列の逆行列という。
367:現代数学の系譜 雑談
20/05/31 14:28:18.65 /jbUJ+Cd.net
>>334
>＞ここ（行間）にギャップがあるけど
>＞その説明は？
>＞つまり、多項式deg(a)→log(a)とする数学的理由や、いかに
>それを>>269でおめぇにきいてるんだろが さっさとこたえやがれ
おっさん、代わりに助けてやれよ
出来るものならなｗｗｗｗ
368:１３２人目の素数さん
20/05/31 14:29:12.92 /howdGzN.net
コピ平は、コピぺせずに >>310のQ2を答えろよ
>>325で、Q1の答えを、教えてやっただろ
369:１３２人目の素数さん
20/05/31 14:31:13.59 /howdGzN.net
>>339
ほぼ自明だけどな・・・おまえマジでわかんねぇの？
やっぱ工学部って🐎🦌ばっかだな
おまえ対数知らねえの？
370:現代数学の系譜 雑談
20/05/31 14:31:49.98 /jbUJ+Cd.net
ミスター維新、必死だなｗ（＾＾；
371:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/31 14:32:54 /jbUJ+Cd.net
>>341
>＞ここ（行間）にギャップがあるけど
>＞その説明は？
>＞つまり、多項式deg(a)→log(a)とする数学的理由や、いかに
はい、どぞ（＾＾；
372:１３２人目の素数さん
20/05/31 14:36:45 Dw4CoVS4.net
イデアルを勉強したあとに、イデールだのアデールだのが出てきたときは
なんやその適当なネーミングは、と思ったが
アデールがフランス語で女性の名前である
（かつ加法的(additive)という意味も含む。）
と知ったときはシャレてるな思った。
373:１３２人目の素数さん
20/05/31 14:38:07 /howdGzN.net
>>342
そいつはもういねぇよ
374:１３２人目の素数さん
20/05/31 14:39:15 /howdGzN.net
>>343
マジで対数しらねえの？🐎🦌？ねえ正真正銘の🐎🦌？
375:１３２人目の素数さん
20/05/31 14:44:22 /howdGzN.net
林家コピ平のダメな点
・他人にマウントできる！というだけで
自分でも全く理解できない文章をコピペする
・しかし他人から基本的な質問をされてもまったく答えられず、
しかもそれを決して認めたくないので必死で無視し続ける
（しかし他人にはバレバレなのですっげぇこっ恥ずかしい）
いいから代数は諦めろ
物理板当たりで
「俺、一般相対論、完全に理解しきったぜ！」
とかほざいてろ（数学板では焼き●されるからやめとけ）
376:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/31 14:45:25 /jbUJ+Cd.net
>>341
>＞ここ（行間）にギャップがあるけど
>＞その説明は？
>＞つまり、多項式deg(a)→log(a)とする数学的理由や、いかに
はい、どぞ（＾＾；
377:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/31 14:59:32 /jbUJ+Cd.net
>>344
なるほど、これか
URLﾘﾝｸ(ja.wikipedia.org)
アデール代数群
玉河数
「玉河数に関するヴェイユ予想（英語版）」も参照
用語の歴史
歴史的には idele が Chevalley (1936) によって "element ideal"（フランス語で「理想元�
378:v）の名の下で導入され，Chevalley (1940) がハッセの提案に従って "idele" に省略した． （これらの論文において彼はハウスドルフでない位相のイデールを与えることもした．） これは無限次拡大に対して位相群のことばで類体論を定式化するためであった．Weil (1938) は関数体の場合にアデールの環を定義し（たが名づけなかった），Idealelemente のシュバレーの群がこの環の可逆元の群であることを指摘した． Tate (1950) はアデールの環を制限直積として定義したが，彼はその元をアデールではなく "valuation vector" と呼んだ． Chevalley (1951) は関数体の場合に "repartitions" の名の下でアデールの環を定義した．用語 adele（additive idele の省略で，フランス人女性の名前でもある）は，まもなくその後使われた (Jaffard 1953),アンドレ・ヴェイユが導入したのであろう． つづく
379:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/31 15:02:07 /jbUJ+Cd.net
>>349
つづき
URLﾘﾝｸ(ja.wikipedia.org)
アデール環(adele ring) （単にアデールと呼ぶ事もある）とは、有理数の体（あるいはより一般的な任意の代数体）の上に構成された自己双対な位相環であり、整数論における基本的な対象である。アデール環は有理数体の全ての完備化の情報をもっている。
アデール環は、はじめ類体論の簡素化と明確化のためにクロード・シュヴァレー(Claude Chevalley)により導入されたが、現代の整数論では欠かせない概念となっている。
性質
アデール環は、上で定めた位相に関して局所コンパクトで完備な群である。この群は、その指標群に位相群として同型であるという意味で、自己双対である。アデール環は、数体や函数体を離散的余コンパクト（英語版）(co-compact)な部分群として持っている。同様に、イデールと呼ばれるアデールの乗法群も、以下に定義するトポロジーに関して局所コンパクトである。
イデール群
アデール環の可逆元の群をイデール群(idele group, idele group)と言う[1][2]。イデールの概念はイデアルの修正であって、シュヴァレー (Chevalley) によって導入され、"ideal element"（略して "id. el."）と名前を付けた[1]。ここでイデールはアデールの部分集合であるが、イデールの位相はアデールの位相の制限位相ではない。
なぜなら逆元を求める写像はこの位相で連続でなくなる。代わりに、イデールは xy = 1 である全てのペア (x, y) ∈ A × A からなる閉部分集合に誘導位相を入れたものと同一視される。イデール群は、局所整な単元の部分群に関して局所体の単数群の制限直積（英語版）(restricted product)として実現される[3]。イデールは局所コンパクトな位相群をなす[4]。
局所類体論（英語版）(local class field theory)の局所相互写像の積は、数体と函数体の最大アーベル拡大のガロア群へイデール群からの準同型を与える。ガウスの二次相互法則を高度に一般化したアルティン相互法則は、この積が数体の乗法群上では 0 となることをいっている。このようにして、イデール類群から体の絶対ガロア群のアーベル的な部分への大域相互法則が得られる。[6]
応用
有限体上の曲線の函数体のアデールの自己双対性から曲線のリーマン・ロッホの定理や曲線の双対理論がみちびかれる。
(引用終り)
380:１３２人目の素数さん
20/05/31 15:06:55 XKBjsvOf.net
>>347
横ですが
特殊相対論でもアインシュタインが
相対論的熱力学で熱の「定義」を
間違えたらしい、相対論は難しい。
日本の数学の「相対論」は妄想？
ミンコフスキーとは別の世界だ
IUTやB本みたいだから近づ
381:かない けど、スレ主にピッタリ https://sd42dc40f051c90fc.jimcontent.com/download/version/1556072988/module/12497678190/name/quan-grav.pdf
382:１３２人目の素数さん
20/05/31 15:12:53 Dw4CoVS4.net
>>348
ご自分で考える気はないということですね？
考えることに意義があると思うのですが。
383:１３２人目の素数さん
20/05/31 15:27:03.42 Dw4CoVS4.net
多項式と整数は似ているといっても、当然のことながら違いはあるし
何処までも類似が成立すると信じるべき根拠はない。
確実に類似が成立していることは大切にしたい。
一つ強力な類似として、どちらもユークリッドの互除法が成立する
ということが挙げられる。
互除法の各ステップで減少していくのは正整数では大きさであるのに対して
多項式では次数である。そこで大きさ（ノルム）と次数が対応しているとなる
しかし、互いに素である場合、正整数の場合最後に残るのは1であるのに対して
多項式の場合は0でない定数Cである。
これを考慮すると、deg(C)=0に対応するのはlog(1)=0であるとなる。
これがわたしの考えた理由ですね。
大まかに、単項式の場合は n=deg(x^n)=log_{x}(x^n)だからというのもありかも。
もっと別の理由があるなら、回答歓迎いたしますね。
384:１３２人目の素数さん
20/05/31 15:33:51.86 Dw4CoVS4.net
互除法の各ステップは行列の形で書き表される。
これによって整数の場合、モジュラー群との関係がつく。
多項式では多項式成分の行列となる。
それゆえ、多項式を成分とする行列は興味深いのではないか？
という考えが生まれる。
385:現代数学の系譜 雑談
20/05/31 15:38:44.68 /jbUJ+Cd.net
>>330
>で、評価ではabc予想が解決
>したは削除されたなあー
だから、”削除”というのは、RIMSの裁量の範囲だってこと
虚偽でもなんでもない
その時点で、報告したことが
１年後ないし数年後には、削除もありだよ
虚偽でもなんでもない
>>351
そのPDFも含めて、読んだけど
意味わからん
”特殊相対論でもアインシュタインが
相対論的熱力学で熱の「定義」を
間違えたらしい”って、無いぜ、それｗ（＾＾；
”相対論的熱力学”
>日本の数学の「相対論」は妄想？
妄想は、あんたの脳内だけでしょｗ
PDFなら、下記でもどうぞ（＾＾
URLﾘﾝｸ(www.phys.cs.is.nagoya-u.ac.jp)
2016年12月17日 立正大学シンポジウム
「現在」という謎―時間の空間化とその批判
物理学における時間
力学・熱力学・相対論・量子論の時間
谷村 省吾
名古屋大学大学院情報科学研究科
第2版, 2016年12月17日作成・公開
386:現代数学の系譜 雑談
20/05/31 15:53:00.95 /jbUJ+Cd.net
>>353
>多項式の場合は0でない定数Cである。
>これを考慮すると、deg(C)=0に対応するのはlog(1)=0であるとなる。
>これがわたしの考えた理由ですね。
？
>>327 より
abc予想は多項式についてのメーソン・ストーサーズの定理の整数版の類似として得られた。
それも1980年代にもなって。この定理は(a+b)'=a'+b' が成立することが効いて
直接容易に証明される。
多項式版でMax{deg(a),deg(b),deg(c)} となるところは
整数版ではMax{log(a),log(b),log(c)}=log(c) に置き換えられる。
(引用終り)
だったよね
うーん、なんか不満
渕野語録 ”かなり得体の知れないものである”には合っているが
下記の文献、[1][2]沿った説明を期待していましたｗ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
ABC予想
1985年に提起された数論の予想である。これは多項式に関するメーソン・ストーサーズの定理の整数における類似であり、3つの自然数a, b, c について述べている[1][2]
＜渕野語録＞
ガロアスレ24 ｽﾚﾘﾝｸ(math板:654番)-
（抜粋）
URLﾘﾝｸ(www.)アマゾン
数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
「数学的直観と数学の基礎付け 訳者による解説とあとがき」
P314
(抜粋)
数学の基礎付けの研究は，数学が厳密でありさえすればよい， という価値観を確立しようとしているものではない.
これは自明のことのようにも思えるが，厳密性を数学と取りちがえるという勘違いは，
たとえば数学教育などで蔓延している可能性もあるので，
ここに明言しておく必要があるように思える
多くの数学の研究者にとっては，数学は，記号列として記述された「死んだ」数学ではなく，
思考のプロセスとしての脳髄の生理現象そのものであろう
そのような「生きた」「実存としての」(existentialな)数学で問題になるのは，
アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので，
これは， ときには，意識的に厳密には間違っている議論すら含んでいたり，
寓話的であったりすることですらあるような，
かなり得体の知れないものである
(引用終り)
387:１３２人目の素数さん
20/05/31 15:53:11.07 /howdGzN.net
コピ平は結局>>310のQ2も答えられなかったな
どんだけ🐎🦌なんだ？
答え １６個
A∧￢A
A∧B
￢A∧B
A∧￢B
￢A∧￢B
A
￢A
B
￢B
A⇔B
￢(A⇔B)
A∨B
￢A∨B
A∨￢B
￢A∨￢B
￢A∨A
一般にｎ個の原子式でつくれる論理式の同値類は２＾（２＾�
388:氏j個 論理式の連言標準形（もしくは選言標準形）をつくれば明らか
389:１３２人目の素数さん
20/05/31 15:55:39.16 /howdGzN.net
>>356
＞うーん、なんか不満
コピ平、そもそも、degの定義 知らねぇだろ？（嘲）
390:現代数学の系譜 雑談
20/05/31 15:56:58.53 /jbUJ+Cd.net
>>356 訂正
下記の文献、[1][2]沿った説明を期待していましたｗ（＾＾；
↓
下記の文献に 沿った説明を期待していましたｗ（＾＾；
[1][2]を見たが
”多項式に関するメーソン・ストーサーズの定理の整数における類似”についての説明なし
1985年の原論文を見ないとダメかもね（＾＾；
391:１３２人目の素数さん
20/05/31 16:01:02.07 ONFn0+sB.net
これで工学部卒とかいうのが信じられない。
高卒でもちょっと信じかねると思う。
392:１３２人目の素数さん
20/05/31 16:01:30.55 /howdGzN.net
記号を目の敵にするコピ平は、そもそも記号とか文章が読めない、ディスレクシアか？
だったらいっとくが、数学は全て画で説明できるほど単純じゃない
393:１３２人目の素数さん
20/05/31 16:01:53.02 XKBjsvOf.net
>>355
RIMSの大人の都合が文科省より
削除された
394:１３２人目の素数さん
20/05/31 16:03:13.66 /howdGzN.net
>>360
しかも名もない私大とかならともかく、大阪大だっていうんだからね
本当は大阪と大学の間になんか入るんじゃないか？と今でも思ってるｗ
395:１３２人目の素数さん
20/05/31 16:03:36.60 XKBjsvOf.net
>>355
京大出の数論屋だわ
396:１３２人目の素数さん
20/05/31 16:03:57.65 ONFn0+sB.net
>>363
仮に阪大じゃなくてもっと下の大学でもこれじゃ試験にパスせんと思う。
397:１３２人目の素数さん
20/05/31 16:09:46.01 PLDYWZX9.net
>>361
>だったらいっとくが、数学は全て画で説明できるほど単純じゃない
それは単に描き方が下手くそなだけなんじゃないの？
398:１３２人目の素数さん
20/05/31 16:10:39.50 /howdGzN.net
>>362
RIMS「ABC予想が解決できました！論文は査読中ですが・・・」
文科省「査読中？じゃ、これ確定じゃないから、削除ね」
（今後の展開）
RIMS「ABC予想解決の論文、査読が通りました！」
文科省「どこの雑誌？」
RIMS「うちで発行してるPRIMSって雑誌ですが」
文科省「なんで、外の雑誌に出さないの？」
RIMS「それは・・・」
文科省「疑うわけじゃないけど、こっちはお金を出す立場だからね
あとでひっくり返された困るんだよ 違ってたら倍返ししてくれるの？」
RIMS「・・・」
文科省「じゃ、削除ね。認めてほしかったら他所の雑誌に出して。
うちが何にも知らないと思ってるんなら大間違いだよ。」
（といってショルツの異議申し立ての記事を突き付ける）
399:現代数学の系譜 雑談
20/05/31 16:13:26.94 /jbUJ+Cd.net
>>359
>1985年の原論文を見ないとダメかもね（＾＾；
1988のJOSEPH OESTERLEの論文だが
ここでは、最初は、 log無しで導入されている
その後、4. Les theoremes d’Hindry et Silverman ([H,S])で、log が出てくる
判別式Δからみだけど
仏語だから、読めないな（＾＾；
（参考）
URLﾘﾝｸ(www.numdam.org)
Asterisque
JOSEPH OESTERLE
Nouvelles approches du ≪ theoreme ≫ de Fermat
Asterisque, tome 161-162 (1988), Seminaire Bourbaki,
exp. no 694, p. 165-186
<URLﾘﾝｸ(www.numdam.org)
I. LA CONJECTURE DE SZPIRO
a + b + c = 0 .
y2 = (x+b) (x-a)x .
N = rad abc/16 .
3. La conjecture abc
La conjecture abc est nee d’une discussion entre Masser et l’auteur de cet
expose en 1985 :
4. Les theoremes d’Hindry et Silverman ([H,S])
(ここで、log が出てくるな)
400:１３２人目の素数さん
20/05/31 16:13:58.71 PLDYWZX9.net
いい加減な訳語で数学を学んで既に脳みそがぶ�
401:ﾁ壊れてるっていうね でも自分では気が付かない 漢字を廃止したために防火と放火の区別がつかない韓国人のように
402:１３２人目の素数さん
20/05/31 16:16:08.08 /howdGzN.net
>>366
そもそも、画で描けないことがある
（誤解のないようにいっておくが、画を描くな、とはいっていない
正確でなくても画を描いたほうがいいことはもちろんある
しかしそこで完結した、と思ってもらっては困ることがある）
403:１３２人目の素数さん
20/05/31 16:17:20.28 PLDYWZX9.net
>>370
だからそれは絵心がないか真に理解していないかのどちらかなんじゃないの？と言いたいわけ
404:１３２人目の素数さん
20/05/31 16:19:19.30 /howdGzN.net
>>371
絵心ですべて解決できると思ってる？
理解が全て画で描けると思うなら
それは全くの妄想だな
405:１３２人目の素数さん
20/05/31 16:21:24.00 /howdGzN.net
誤解のないように繰り返すが
画もしくは動画で見せたほうが分かることはもちろんある
しかしそれですべて事足りる、というのも甘い考え
406:現代数学の系譜 雑談
20/05/31 16:22:43.75 /jbUJ+Cd.net
>>368
>Nouvelles approches du ≪ theoreme ≫ de Fermat
この当時（1988） Fermatを目指していたみたい
ワイルズの証明が1995だからな
”2. Representations modulaires”と出てくるのが、谷山志村かな？（＾＾；
407:１３２人目の素数さん
20/05/31 16:25:18.60 /howdGzN.net
>>369
どういう言葉を当てても関係ない
群という文字だけみても分かるわけない
当然定義を読む必要がある 読まない奴はわかりっこない
読んだってそれだけでわかるわけじゃないんだから
多様体の定義だけ読んで、多様体が分かるなら苦労しない
多様体の形を決めるのは被覆なんだから
408:現代数学の系譜 雑談
20/05/31 16:28:25.44 /jbUJ+Cd.net
>>367
だから、そんなのは、全部許容範囲だよ
>文科省「疑うわけじゃないけど、こっちはお金を出す立場だからね
> あとでひっくり返された困るんだよ 違ってたら倍返ししてくれるの？」
・そんなの 国家の予算制度を知らないやつの話だよｗ（＾＾；
・倍返せと言われたら、返せば良い。それで終り
（また、新しく予算取ればいいだけのことよｗ（＾＾；）
・IUTは成立しているんだから、心配するな！ RIMSの中じゃ だれも心配していないだろうよｗｗ（＾＾
409:１３２人目の素数さん
20/05/31 16:30:51.13 /RIjsHzS.net
>>376
民間で余裕で金集まるでしょ。