東京大学出身です。ATP研究会を立ち上げ、数学を機械にやらせることを目指しています。abc予想の検証にチャレンジします。
Following Organizations
No Organizations you are following
Followers
No followers
東京大学出身です。ATP研究会を立ち上げ、数学を機械にやらせることを目指しています。abc予想の検証にチャレンジします。
No Organizations you are following
No followers