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