million人が利用する働く人のためのネットワーキングサイトです。introduction暗号技術や関数型プログラミングに興味があります。Fair(公平)なプロトコルやその実装を開発したいと思っています。詳しくは関連リンクにあるGitHubやQiitaの記事を読んでいただきたく思います。趣味ではCTFチーム“urandom”に所属しています。仕事ではScalaを用いたWebアプリケーションの開発・運用に従事しています。Projects量子コンピュータによる公平な抽選システムの開発2018年度未踏ターゲット事業(ゲート式量子コンピュータ部門)に採択された。新入生向けに、計算機の利用方法について説明する文書をLaTeXで作成した。2019にて登壇した。notes2018-2https://mentalpoker.blogspot.com/Qiitaに投稿した記事のMarkdownをPandocと独自のpandocfilterでHTMLへ変換しブログを作成した。CI上の環境を用いてPDF版を作成した。