kaicho8636

@kaicho8636

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

Location

Tokyo, Japan

Following Organizations

No Organizations you are following

Followees

  • けんちょん (Otsuki)@drken

    株式会社NTTデータ数理システム (顧問)。アルゴリズムをはじめとしたコンピュータサイエンスの諸分野の啓蒙活動に従事。機械学習やアルゴリズムに関して面白いと思ったことを記事にしていきたいと思います。記事へのリンク等についてはお気軽にしていただいて大丈夫です。よろしくお願いします。

  • @kobae964

    数学/Rust/競技プログラミング/型理論/圏論