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