幾何の問題をプログラムで解く研究をしています。あとは定理証明(e.g. Lean)の勉強もしています。
Location
Tokyo, Japan
Following Organizations
No Organizations you are following
Followees
- けんちょん (Otsuki)@drken
株式会社NTTデータ数理システム (顧問)。アルゴリズムをはじめとしたコンピュータサイエンスの諸分野の啓蒙活動に従事。機械学習やアルゴリズムに関して面白いと思ったことを記事にしていきたいと思います。記事へのリンク等についてはお気軽にしていただいて大丈夫です。よろしくお願いします。
- @kobae964
数学/Rust/競技プログラミング/型理論/圏論
