筑波大学 / 情報学群情報科学類
ICTSC2022 優勝
ネットワーク機器やサーバ機器を用いた環境構築や構築したシステム・ネットワーク上で発生するトラブルを解決する技術コンテストである ICTSC にチーム word-unknown-tsukuba-otaku として出場し、優勝しました。
クックパッド株式会社 / SRE
実行に必要なファイルだけをうまく集めれば、静的リンクせずとも小さな Docker イメージを作ることができます。その作業を自動で行ってくれるツール magicpak を作りました。
集中開発コースの「Y-Ⅱ C コンパイラを自作してみよう!」ゼミに参加しました。
これまでやってきたことを活かして、インフラ領域で楽しい仕事ができたらいいなと思います
最大で 150MB/sec のログが流れる EC2 上の Fluentd 集約ノードを、コスト削減と障害対応の迅速化のためにオートスケールできるようにしました
Haskell の主要なコンパイラである GHC (Glasgow Haskell Compiler)で広く使われている強力な拡張機能の GADTs, TypeFamilies の理論と実装に興味を持ち、実際にそれと同様の型推論器を実装しました。
プログラミング言語EgisonのパターンマッチをHaskellで利用可能にするライブラリの開発
Egisonのパターンマッチ(non-linear pattern matching with extensible and polymorphic patterns)をHaskellの上で利用可能にするライブラリ
筑波大学 / 情報学群情報科学類
ネットワーク機器やサーバ機器を用いた環境構築や構築したシステム・ネットワーク上で発生するトラブルを解決する技術コンテストである ICTSC にチーム word-unknown-tsukuba-otaku として出場し、優勝しました。