東京大学 / 情報理工学系研究科 コンピュータ科学専攻
alg_d伝説に出演
漫画「alg_d伝説(仮称)」に味方側のキャラクターとして出演しました。alg_d伝説はワヘイヘイ氏が執筆、alg_d氏が公開しているTwitter上の漫画で、実在する人物と数学の話題を多く含むためにコアなファンが多くついています。 キャラクターとして選ばれた経緯はこちら→ https://togetter.com/li/1193031
Discover companies you will love
ウォンテッドリー株式会社 / Infrastructure Squad / インフラ・バックエンドエンジニア
コンピュータープログラムに関わるあれこれが趣味で、仕事です。
OSSを書いたりしながらのんびりしたい Rubyはもうたくさんなのであんまり触りたくないです
地道なコード品質の改善から、開発生産性を飛躍的に向上させる飛び道具作りまで、アプリケーションエンジニアが心地よく作業できる環境作りのために何でもやる役割です。
Wantedly Peopleの機械学習チームで会社名の検索の改善を行いました。
余帰納法や余代数について、形式的検証や型理論への応用を念頭に研究していました。 もともと考えていたテーマが行き詰まってしまいましたが、余帰納法に関連したテーマとして、ストリーム定義のproductivityという性質の自動検証に関する研究にシフトすることになりました。このテーマで会議等に通すことはありませんでしたが、修士課程を無事に終えることができました。
余帰納法の拡張に対するメタ的な解析を行いました。余帰納法は数学的帰納法と裏表の関係にある証明手法で、計算機科学分野でよく使われています。
河合塾の中高生向けの非受験特化型講座である「K会」にて情報科学とプログラミングを教えていました。通年講座の設立に関わり、教材一式を執筆しました。
https://lepidum.co.jp/ 認証・認可を中心とした様々なWeb技術を扱う会社でアルバイトをさせてもらっていました。
東京大学 / 情報理工学系研究科 コンピュータ科学専攻
漫画「alg_d伝説(仮称)」に味方側のキャラクターとして出演しました。alg_d伝説はワヘイヘイ氏が執筆、alg_d氏が公開しているTwitter上の漫画で、実在する人物と数学の話題を多く含むためにコアなファンが多くついています。 キャラクターとして選ばれた経緯はこちら→ https://togetter.com/li/1193031