@cedretaber

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

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

暗号やプログラム言語の記事をよく書きます。 最近ではZenn.devにも投稿してます。 https://zenn.dev/yyu

Qiita公式アカウントです。Qiitaに関するお問い合わせに反応したり、お知らせなどを発信しています。