幾何の問題をプログラムで解く研究をしています。あとは定理証明(e.g. Lean)の勉強もしています。
Location
Tokyo, Japan
Following Organizations
No Organizations you are following
Contributions
article is Liked
article is Stocked
posted an article
幾何の問題をプログラムで解く研究をしています。あとは定理証明(e.g. Lean)の勉強もしています。
Tokyo, Japan
No Organizations you are following
article is Liked
article is Stocked
posted an article