IT、ガジェットネタまとめ速報

IT技術やガジェットネタに関するみんなの反応のまとめをチョイスしてお届け!

Web系関連記事: プログラミング、開発関連

未解明だった数学の超難問「ABC予想」を証明 京大の望月教授 斬新・難解で査読に8年

投稿日:

1: 田杉山脈 ★ 2020/04/03(金) 18:24:06.27 ID:CAP_USER
8
未解明だった数学の超難問「ABC予想」を証明したとする望月新一・京都大数理解析研究所教授(51)の論文が、同所が編集する数学専門誌に掲載されることが決まった。3日、京大が発表した。ABC予想は、素因数分解と足し算・かけ算との関係性を示す命題のこと。4編計646ページからなる論文は、斬新さと難解さから査読(論文の内容チェック)に8年かかったが、その正しさが認められることになった。有名な数学の難問「フェルマーの最終定理」(1995年解決)や「ポアンカレ予想」(2006年解決)の証明などと並ぶ快挙となる。

望月教授は2012年8月、構想から10年以上かけた「宇宙際タイヒミューラー(IUT)理論」の論文4編を、インターネット上で公開した。これを用いればABC予想など複数の難問が証明できると主張し、大きな注目を集めたが、既存の数学が存立する枠組み(宇宙)を複数考えるという構想はあまりに斬新で、「未来から来た論文」とも称された。加えて、1000ページを超える望月教授の過去の論文に精通しないとIUT論文を読み解くことは難しく、理解できた数学者は世界で十数人しかいないと言われている。

 望月教授は京大広報課を通じ、解説を公表。「証明完成まで20年ほどかかった」とし、「ABC予想の解決は、IUT理論の一つの重要な帰結であるだけでなく、この理論が整数の深い性質をとらえ得るほど十分な深さを持った理論であることを示している」とした。

 京大によると、論文は同所が編集し、欧州数学会が発行する専門誌「PRIMS」(ピーリムズ)に2月5日付で受理された。今後、特別号に掲載される予定。望月教授はPRIMSの編集委員長だが、今回は除外され、特別編集委員会を設置して論文を審査した。

望月新一教授は1969年3月、東京生まれ。5歳の時、父親の仕事の関係で渡米し、16歳で米プリンストン大に飛び級入学。19歳で同大大学院に進み、「数学界のノーベル賞」と言われるフィールズ賞受賞者のゲルト・ファルティングス氏に師事した。

 23歳で博士号を取得後、帰国し、京大数理解析研究所の助手に採用されると、96年に助教授、2002年には32歳の若さで教授に就任した。数論幾何学の業績は早くから認められ、45歳未満の研究者を対象に04年度に創設された日本学術振興会賞の第1回受賞者となった。

 これまでメディアへの露出を避け、近況をホームページやブログで時折発信している。

 公私にわたり親交の深い加藤文元・東京工業大教授(数論幾何学)は「普段は気さくで『普通』の人。ただし、特に数学に関しては、物事を非常に深く見つめ考える天賦の才能を持った人」と評する。「(望月教授が提唱し、ABC予想を証明した)IUT(宇宙際タイヒミューラー)理論は、数学界の『革命』と言っていい。ノーベル賞が何個あっても足らないほどの成果だ」とたたえた。

英ノッティンガム大のイワン・フェセンコ教授(純粋数学)の話
 宇宙際タイヒミューラー(IUT)理論は全く新しい視点と、整数の足し算とかけ算の関係についての深い理解に根差している。今世紀、数学界で得られたいかなる業績より数段上の成果だ。それが日本から生まれたことはすばらしい。この成果は何百年後にも記憶され続けるだろう。

ABC予想とは
1985年に欧州の数学者が提示した整数論の問題。「a+b=c」となる互いに素な(1以外に共通の約数を持たない)正の整数a、bとその和cについて、それぞれの互いに異なる素因数の積(d)を求める。このとき「c>dの1+ε乗(εは正の実数)」となるようなa、b、cの組は「たかだか有限個しか存在しない」とする予想。ABC予想が証明されると、「フェルマーの最終定理」など他の難問も簡単に導き出すことができ、数学界で今世紀最も重要な業績になるとされ、世界の数学者が証明に取り組んでいる。
https://mainichi.jp/articles/20200403/k00/00m/040/093000c

続きを読む

このまとめの続きはコチラ!

-Web系関連記事: プログラミング、開発関連

関連記事

AI翻訳「人間超え」へ 技術が急発展

1: 田杉山脈 ★ 2019/09/24(火) 13:48:33.93 _USER
語学の勉強をしなくても世界の人々と意思疎通できる時代がやってきた。人工知能(AI)を用いた「ニューラル機械翻訳(NMT)」技術が猛烈な勢いで発展しているからだ。言葉の壁は大幅に低くなった。翻訳業界は再編が始まっ…

機械学習を用いると匿名のソースコードから個人を識別可能であることが判明

1: 田杉山脈 ★ 2018/08/13(月) 17:24:20.61 _USER
プログラミング言語を用いて書かれた「ソースコード」はあらかじめ定められた規則に従って記述する必要があり、匿名で公開されたコードから個人を識別することは困難に思えるかもしれません。ところが、実際にはコードに…

百貨店の伊勢丹が売る「プログラミング玩具」

1: 田杉山脈 ★ 2019/04/06(土) 21:36:43.54 _USER
伊勢丹新宿店(東京都新宿区)の本館6階・玩具売り場に常設されているコーナー「“PLAY 21世紀の読み・書き・そろばん プログラミング」が好評だ。玩具売り場の一角に設けられたブースで、国内外の子ども向けプログラミン…

半導体製造装置の販売額、19年は7%減 メモリー向け低迷

半導体製造装置の販売額、19年は7%減 メモリー向け低迷

1: へっぽこ立て子@エリオット ★ 2020/04/15(水) 15:21:04.75 ID:CAP_USER
国際半導体製造装置材料協会(SEMI)が14日発表した2019年の半導体製造装置の世界での販売額は、前の年に比べて7.4%減の597億5000万ドル(約6兆4300億円)だったと発表した。半導体メモリーメー…

奴隷制を連想させるとして、Pythonで「master」「slave」といった単語が削除される

1: 田杉山脈 ★ 2018/09/14(金) 20:40:23.37 _USER
Pythonのバグトラッカーに、「Avoid master/slave terminology」という要望が寄せられている。これは「多様性のため」に奴隷制度を連想させる「master」「slave」という単語を削除するほうが好ましいという提案だ(Slashd…