幾何の問題をプログラムで解く研究をしています。あとは定理証明(e.g. Lean)の勉強もしています。
Location
Tokyo, Japan
Following Organizations
No Organizations you are following
$ analyze @kaicho8636
posted articles:
- Haskell:100%
- AOJ:100%
- 競技プログラミング:100%
- programming-contest:100%
- 情報オリンピック:100%
answered questions:
- No data