Inter-universal geometry と ABC予想 41

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 41 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

732: 2019/10/04(金)10:17 ID:nbHc6C+U(1/3) AAS
域から域自身への射に名前を付けてそれを辿った回数を数えた数エネルギーの分しか射を辿れないとすとすると証明の読みやすさを評価できる

という夢を見た

733: 2019/10/04(金)12:57 ID:nbHc6C+U(2/3) AAS
自動証明の自動清書のアルゴリズムの評価方法として論文にする権利を
７３０さんを含む誰かに指名する権利を７３０さんに付与します

734: 2019/10/04(金)13:04 ID:nbHc6C+U(3/3) AAS
すみません流れをぶった切って

まじめなスレなのに悪乗りしてしまいました

すみません