Inter-universal geometryとABC予想(シン応援スレ) 93at MATHInter-universal geometryとABC予想(シン応援スレ) 93 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト1:１３２人目の素数さん 26/08/11 16:35:34.42 eCVHVSFa.net 前スレ：Inter-universal geometryとABC予想(シン応援スレ) 92 https://rio2016.5ch.io/test/read.cgi/math/1781308317/ 詳しいテンプレは、下記旧スレへのリンク先ご参照 Inter-universal geometry と ABC予想 (応援スレ) 52 ://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13 https://ahgt.math.cnrs.fr/activities/ Arithmetic & Homotopic Galois Theory IRN https://rio2016.5ch.io/test/read.cgi/math/1781308317/246 「LANAプロジェクト」中間発表会 動画 「LANAプロジェクト」中間発表会 結論は、7月17日時点では、未決着（灰色） キラン・ケドラヤ氏説明は、コンピューター検証 は 未達成だが、IUTがダメということも言えない ということだったな （下記の YouTube（日本語チャンネル）） https://youtu.be/g0QLL8iYECY?t=590 UT理論のコンピューター検証に関する「LANAプロジェクト」中間発表会 ZEN大学 1,504回視聴 7 時間前にライブ配信 ZEN大学「ZMC（ZEN Mathematic Center;ZEN数学センター）」は2026年7月17日（金）、IUT（宇宙際タイヒミューラー）理論のコンピュータ検証に関する「LANAプロジェクト」の中間発表会「LANA Project Interim Report 2026」を行います。 本発表会の模様をライブ配信いたします。 LANAプロジェクトはZEN大学（日本）、ユトレヒト大学（オランダ）、アルバータ大学（カナダ）を中心とする国際共同研究プロジェクトであり、数論幾何学の重要分野である遠アーベル幾何学の形式化と、京都大学数理解析研究所の望月新一教授が提唱したIUT理論の検証を主な目的としています。 【登壇者】 若山 正人（ZEN大学 学長） 加藤文元（ZEN大学教授・ZMC所長、LANAプロジェクト リーダー） ヨハン・コメリン/Johan Commelin（ユトレヒト大学助教） キラン・ケドラヤ/Kiran Kedlaya（カリフォルニア大学サンディエゴ校 教授） アダム・トパーズ/Adam Topaz（アルバータ大学 准教授） ❙ ZMC（ZEN Mathematics Center; ZEN数学センター）とは ZMCは、数論幾何学を中心とした現代数学や、コンピューター言語を用いた現代数学の形式化（formalization）の推進と発展を目指して設立された国際研究所です。 ZMCホームページ▶https://zen.ac.jp/zmc https://zen.ac.jp/news/zmc0717 ZEN大学 2026/07/03 プレスリリース IUT理論のコンピューター検証に関する 「LANAプロジェクト」 中間発表会を7月17日（金）に開催 YouTube、ニコニコ生放送にてライブ配信 番組配信： YouTube （日本語チャンネル）：https://www.youtube.com/live/g0QLL8iYECY YouTube （英語チャンネル）： https://www.youtube.com/live/KADN5NHmIfw ニコニコ生放送（日本語のみ）： https://live.nicovideo.jp/watch/lv350854170 つづく 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch