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