発言は会社など所属組織を代表するものではありません。また、発信する内容に業務内で知り得た秘密情報は含まれません。大体の記事は未来の自分が読み直すために書いてます。

大学生

😺競プロ勉強がんばる

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

大学一年生です

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

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