😺競プロ勉強がんばる

Debian　GNU/Linux sid を使っています。 Emacs派です 初心者です。 主にC++やCommon Lispを使っています。

大学一年生です

数学の証明と計算が好き。様々な数学の証明の形式的証明を作っている。

数学マニアなデータサイエンティスト。マニアと言いつつマニアの域には実力が達していないが…競プロとかkaggleとかやってたりします。あと、元Androidエンジニア。 https://atcoder.jp/users/LyricalMaestro

C++/Python