Defour

蟲柱の弟子、花の呼吸の使い手です。

2020年4月より理学博士。 専門は数学で、専攻は数理論理学が最も近いです。 定理証明支援系Coqを用いた形式検証が得意。

東京大学 2 年の米田（E869120）です。 AtCoder・CodeForces でレッドコーダーです。国際情報オリンピックにも出場しています。競技プログラミング関連のことを記事にしていきます。よろしくお願い致します。 著書『「アルゴリズム×数学」が基礎からしっかり身につく本』 https://amazon.co.jp/dp/4297125218/

Data Product Manager@10X

Pythonでビッグデータの分析をする仕事をしている。 note → https://note.com/nkay

※このサイトの掲載内容は私個人の見解であり、必ずしも私が所属する会社、組織、団体の立場、戦略、意見を代表するものではありません。商用製品のことを記述している場合もありますが非公式情報ですので、そこんとこヨロシク！

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