超難解「IUT理論」 証明プログラムに「翻訳」できず ZEN大学 検証中間報告
https://prtimes.jp/main/html/rd/p/000000090.000136051.html +++++ オンライン大学、ZEN大学のZEN数学センター(ZMC)は7月17日、証明支援系プログラミング言語「Lean」を使った、望月新一・京都大学数理解析研究所教授の「宇宙際タイ... 続きをみる
https://prtimes.jp/main/html/rd/p/000000090.000136051.html +++++ オンライン大学、ZEN大学のZEN数学センター(ZMC)は7月17日、証明支援系プログラミング言語「Lean」を使った、望月新一・京都大学数理解析研究所教授の「宇宙際タイ... 続きをみる
IUT(宇宙際タイヒミューラー)理論のコンピューターによる検証を目指すZEN数学センターの新プロジェクト「LANA」を発表 | 学校法人日本財団ドワンゴ学園のプレスリリース (冒頭部分) ++++++++ オンライン大学、ZEN大学のZEN数学センター(ZMC)は31日、望月新一・京都大学数理解析研... 続きをみる
朝日新聞の石倉徹也記者は、京都大学数理解析研究所の望月新一教授(56)がつくりだした宇宙際タイヒミュラー理論(IUT)を追ってきた、全国紙でも稀有なライターだが、8月30日の紙面と電子版で、3か月ぶりに同理論について特集記事を書いた。(5月に2回連続の特集記事を書いている。) 記事によると、海外の数... 続きをみる
望月京大教授ら IUT理論でフェルマーの最終定理を証明 東京工業大数学誌に論文掲載 筆者サブローは、2021年11月に、京大数理解析研究所の望月新一教授がIUT理論で、フエルマーの最終定理を証明したことが明らかになった、とブログに書いた。 いまでもIUT理論については、その正しさについて議論が続いて... 続きをみる
宇宙際タイヒミュラー(IUT)理論が証明したと主張するABC予想。WIKIPZEDIAより https://ja.wikipedia.org/wiki/ABC%E4%BA%88%E6%83%B3 +++++++ 1年半前のことになるが、2023年7月、ドワンゴの創業者で実業家の川上量生(のぶお)さん... 続きをみる
++++++++ この記事は、12月25日付けブログ 「議論は続く 宇宙際タイヒミュラー(IUT)理論は、ABC予想を証明したか」の続編その3です。8日に数列の表示が乱れているのを手直しするとともに、rad(abc)^(1+k)とするところを(1+k)が抜けていたので、修正しました。 議論は続く I... 続きをみる
この記事は、12月25日付けブログ 「議論は続く 宇宙際タイヒミュラー(ITU)理論は、ABC予想を証明したか」の続編です。 議論は続く IUT理論は「ABC予想」を証明したか 100万ドルの賞金提供も - 時代遅れの新聞読みブログ まず、a=1 b=3^(2^n )-1 a+b=c=3^(2^n ... 続きをみる
ABC予想 - Wikipedia +++++++ 筆者は2021年11月に、京都大学数理解析研究所の望月新一教授が、新たに構築した数学理論「宇宙際タイヒミュラー(IUT)理論」を使って、フェルマーの最終定理を証明したというブログ記事を書いた。 望月京大教授ら IUT理論でフェルマーの最終定理を証明... 続きをみる
全州の近代建築:韓国全州滞在記⑥
無事に到着しました♪
鳥取という楽園を知ってしまった・1『現役世代もお爺ちゃんみたいな優しい目してる』:・:『砂丘で草むしりしてて草』【旅行】
【茨城・高萩市】大人旅で行きたい観光スポット&おすすめ宿7選
アテネの2大博物館徹底比較②アテネ考古学博物館【ギリシャ】
大阪
南葛SC遠征ガイド|奥戸総合スポーツセンターのアクセス・ホテル・観光・グルメまとめ
【雑記】22年間のサラリーマン生活、最後の1ヶ月!後悔しない生き方で歩んでいく。
北の街のカオ 第31話 再び、バンコクへ
城山稲荷神社(じょうざんいなりじんじゃ) おキツネ様がいっぱ~い!
極小の可愛い村、ヴィゴレーノ
【滋賀旅ラン】早朝6時スタート!長浜城・黒壁・琵琶湖を巡る10kmランニングコース
【京都】『京都御所』
【嘱託社員、旅行】1回 3万円節約!〈健康保険組合〉ねえ、やってみない? -シニア的 節約術-
ハワイのディーン&デルーカ限定レザートートが発売中〜♪
第61回農林水産省賞典京都大賞典(G2) 2026 出走馬名表
第77回毎日王冠(G2) 2026 出走馬名表
2026年10月2日 船橋競馬予想
2026年10月2日 園田競馬予想
2026年10月2日 名古屋競馬予想
【ジャパンダートクラシック2026予想】本命におすすめしたい3頭+穴馬2頭はこちら!
【京都大賞典2026追い切り評価/全頭診断】ダノンシーマを上回るトップ評価「S」はアノ馬!
【毎日王冠2026追い切り評価/全頭診断】穴馬候補の〝アノ馬〟に最高評価「S」
【マリーンカップ2026】血統最終予想・3歳牝馬限定戦、買い目発表!!
再編競馬【11月30日(月曜)】の実施
2026年10月1日 船橋競馬予想
2026年10月1日 門別競馬予想
2026年10月1日 佐賀競馬予想
2026年10月1日 園田競馬予想
2026年10月1日 名古屋競馬予想