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