kaicho8636

@kaicho8636

幾何の問題をプログラムで解く研究をしています。あとは定理証明(e.g. Lean)の勉強もしています。

Location

Tokyo, Japan

Following Organizations

No Organizations you are following