Inter-universal geometryとABC予想(シン応援スレ) 92 (450ﾚｽ)
上下前次1-新
439: 07/23(木)05:45 ID:/998dqFb(1/2) AAS
>>429-430
>望月＆星氏は 加藤氏のLANAプロジェクトに
>現状のLeanコードを公開要請すべきだろう
見せてもらっても無駄だろ
望月も星も答えをもってないんだから
>そして、問題点を明らかにして
>オープンな議論を惹起すべし
問題点は明らか
すでにオープンに議論されてる
>望月＆星氏は
省8
上下前次1-新書関写板覧索設栞歴
あと 11 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.005s