LANA (Lean for ANAbelian geometry)の
『第1の目的は、遠アーベル幾何学の形式化とそのライブラリ構築』だ
https://zen.ac.jp/zmc/topics/jwz-o8xr3v6f
加藤氏は大人だからね、失敗するプロジェクトなんてやらないんだ
一体いつから───LANAがIUT検証のためのプロジェクトだと錯覚していた？
Interuniversal geometry とABC 予想60
■ このスレッドは過去ログ倉庫に格納されています
659１３２人目の素数さん
2026/06/22(月) 08:19:54.53ID:M/aVMyCz■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【速報】広島東洋カープ 週刊誌に写真掲載された小園海斗、田村俊介と書類送検された矢野雅哉、前川誠太が戦力外 ★2 [Ailuropoda melanoleuca★]
- マクドナルドのキャラクター「ドナルド」、きょうから「ロナルド」へ [おっさん友の会★]
- 【速報】広島東洋カープ 週刊誌に写真掲載された小園海斗、田村俊介と書類送検された矢野雅哉、前川誠太が戦力外 ★3 [Ailuropoda melanoleuca★]
- 【速報】 ソフトバンクG、オープンAIに 1兆5796億円 を追加出資 [お断り★]
- トランプ米大統領、対日本批判を拒否 中国の執拗な要請を押し返し [お断り★]
- マクドナルドのキャラクター「ドナルド」、きょうから「ロナルド」へ [muffin★]
- 【高市悲報】軍神ベビーレモンくん、訓練兵の身分で歩兵部隊から離脱してしまう [616817505]
- まどマギのほむらが時間逆行した時魔法少女の使命が魔女との戦いじゃなくおぢさんのちんぽを射精させる平行世界に移動したらどうなるの？ [509448172]
- 【画像】兎田ぺこらさん、大人気アニメを同時視聴する模様wwwwwwwwwwwwwwwwwwwwwwwwww
- 【朗報】ソフトバンク、OpenAIへ1兆5796億円の追加出資を実行！！ [673057929]
- 



とうとう冬が近づいてきたな🏡




- 【悲報】亜月ねね宅の前で仁王立ちするオッサン、出現wwwwwwwwwwwwwwwwwwwwwwwwwww [398059782]