レス書き込み
スレへ戻る
写
レス栞
レス消
Inter-universal geometryとABC予想(シン応援スレ) 92
PC,スマホ,PHSは
公式(スマホ)
公式(PC)
で書き込んでください。
名前
メール
引用切替:
レスアンカーのみ
>>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
ローカルルール
SETTING.TXT
他の携帯ブラウザのレス書き込みフォームはこちら。
書き込み設定
で書き込みサイトの設定ができます。
・
公式(スマホ)
・
公式(PC)[PC,スマホ,PHS可]
書き込み設定(板別)
で板別の名前とメールを設定できます。
メモ帳
(0/65535文字)
上
下
板
覧
索
設
栞
歴
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.032s