朗報 ZEN大学、宇宙際タイヒミューラー理論の授業があるat MATH朗報 ZEN大学、宇宙際タイヒミューラー理論の授業がある - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト239:１３２人目の素数さん 25/10/20 07:00:49.39 HnCCumvq.net 今度ほど総合講演を聴きたくないと 思ったことはなかった 240:１３２人目の素数さん 25/12/07 11:11:49.84 rkPuxCLi.net https://twitter.com/hottaqu/status/1997377234202673194 >打開策として、望月氏が示しているのが、定理証明支援ソフト「Lean（リーン）」の活用だ。 やだぁ、新展開？ 興味あるぅ (deleted an unsolicited ad) 241:１３２人目の素数さん 25/12/12 08:34:06.72 wY0hz9Oy.net >>240 zmc（zen数学センター）では計算機数学も中核にしてるらしいからそこでやるのかしら 242:１３２人目の素数さん 25/12/12 08:46:41.91 1CmfsJhS.net 定理証明支援ソフト「Lean（リーン） は数学基礎論に基づき数学が対象です。 望月加藤文元が明言しているがIUTは 数学でなく全く新しい理論で未完成。 つまりトンデモで対象外です。 zen大学設立認可の宣伝にIUTの名を使いましたが、IUTはトンデモでIUT研究所は 潰れました 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch