趣味でAtCoderをはじめました

日本の高校生 文系日本史選択/日本史、(競技)数学、LaTeXが好き。

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.

理研R-CCSの研究員。専門は計算統計物理。最近は量子計算とか交通流とか粉体とか破壊とか、まあ色々やってます。 C++好き。Pythonも多少使ってます。趣味でHaskellに手を出しているといえなくもない感じ。 C++11を満足に使える環境になるのは2020年、C++17は2030年くらいと予想。

Emacs使っている人. FortranでAtCoderに参加したり, 数値計算したり.

ほぼ備忘録

8歳と5歳の子持ち主婦ねこ．ふわっふわの技術職．

Noob.