コンピュータープログラムに関わるあれこれが趣味で、仕事です。 ・アルゴリズム 中高生のころにアルゴリズムのコンテストに熱中していました。 ・言語処理系・型システムの理論 高校生のときにCoqを知り、のめり込みました。 学部・大学院の研究テーマもこれに関連したものにしましたが、研究には馴染めませんでした (修士はとりました) ・数学 高校時代は数学オリンピックにも取り組んでいました。 大学でも数学科の講義はいくつか取っていたので、それなりには詳しいと自負しています。 ・計算機科学全般 学部の授業で鍛えられました。 具体的には出身学科のシラバスを見ていただくのが早いかなと思います。 https://www.is.s.u-tokyo.ac.jp/appli/curriculum.html ・OSS活動 断続的に活動しています。つまり、有名OSSを持っていたり有名OSSに対する継続的な貢献はしていませんが、必要に応じて小さいOSSを作ったり、既存のOSSに単発での貢献を行うことはあります。 これまでに貢献したものの例 ・Rust https://github.com/rust-lang/rust/pulls?q=is%3Apr+author%3Aqnighy ・Ruby on Rails https://github.com/rails/rails/pulls?q=is%3Apr+author%3Aqnighy ・Protocol Buffers https://github.com/protocolbuffers/protobuf/pulls?q=is%3Apr+author%3Aqnighy ・thread-loader https://github.com/webpack-contrib/thread-loader/pulls?q=is%3Apr+author%3Aqnighy ・執筆 はてなブログ、Qiita, zenn.devなどに色々書いてます。 比較的人気の記事 ・RustのArcを読むシリーズ https://qiita.com/qnighy/items/4bbbb20e71cf4ae527b9

エンジニアの生産性を向上させることに強い興味があり、それを実現させる技術基盤チームのリードをしています。必要であればフロント / バックエンド / モバイル 何でも触りますが軸足はインフラにあります。