kaicho8636

@kaicho8636

幾何の問題をプログラムで解く研究をしています。あとは定理証明(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