超難解「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理論でフェルマーの最終定理を証明... 続きをみる
源田選手同点弾!小島選手決勝弾!相手ミスにつけ込み力投の渡邉投手を救う!(F-L 19回戦)
8/12二軍戦結果:菅井投手が快投!炭谷選手本塁打!西川選手はマルチ安打!
[NL]🔴⚾ Rockies vs D-backs | August 11, 2026 | Chase Field ー Arenado's First-Inning Grand Slam Decapitates Rockies! D-backs Cruise to a 9-0 Shutout
[NL]🔴⚾ Mets vs Braves | August 11, 2026 | Truist Park ー Baty's Grand Slam Erases the Braves' Resistance! Senga Returns to Slam the Door
[AL]🔵⚾ Red Sox vs Blue Jays | August 11, 2026 | Rogers Centre ー A 2-1 Defensive Masterclass! Blue Jays Hand Gray a Rare Defeat in a Nail-Biter at Rogers Centre
⚾️ MLB Scores and Results 2026.08.11
[IL]🔵🔴 Royals vs Dodgers | August 11, 2026 | Dodger Stadium ー Ohtani Sparks the Rally, Muncy Delivers the Dagger! Dodgers Outlast Royals in 6-5 Thriller
[NL]🔴⚾ Brewers vs Padres | August 11, 2026 | Petco Park ー Merrill's Late Blast and Matsui's Mastery Complete the Padres' Great Escape!
⚾️NPB 試合結果 2026.08.11
🐯 【完璧なる復讐劇】エース・村上頌樹の孤独を癒やした、猛虎のアーチ共演。巨人 vs 阪神(2026年8月11日)
第108回全国高校野球選手権大会 8月11日(火)の試合結果
vs セレッソ大阪 開幕戦を飾れず! 課題を整理しホーム開幕戦に備えたいところ!
8/11二軍戦結果:上田投手好投!桑原選手はマルチ安打!西川選手は実戦復帰!
先発の平良投手が快投!滝澤選手の一打で息詰まる投手戦を制す!(F-L 18回戦)
第108回全国高校野球選手権大会 8月10日(月)の試合結果
夕刊で知ったメロン騒動と、英語スラングの意外な意味
なんてこった、シンデレラ?第3章 初めてのデート…8
これからも書きつづけてほしい!「むしろ映えてる日々」
アイドルの結婚に怒ってます。
『すこやかな ひとりぼっちの 守り方』うすいはるか
手帳時間#004トラベラーズノートとお財布
人生は、伏線だらけだった。日本から持ってきても、売れない。
キャンプ初心者がバンガロー泊で感じたこと。バーベキューの食材や便利な道具を見て学んだこと
伝えたいことを短く伝えるのは難しい|ラーメン屋さんで痛感した「言葉」の難しさ
チリツモ日記|一生覚えられないオ・レvsラテ/クソバイスがウザいならMVKを選べばいいじゃない/狂気のちいかわフィルターほか
どんどん「何をやってるか不明な人」になっていく
20歳のわたしへ
自己肯定感が低い女が行動しまくったら人生が好転した
なんでわかる?親は親?御手洗さんのいうことには…494
健康の価値観を問い直すエッセイ『虚弱に生きる』