U-22プログラミングコンテスト 経済産業大臣賞
プログラミング言語「scopion」を開発し、「テクノロジー」枠で経済産業大臣賞を受賞しました。
小川 広水
クックパッド株式会社 / SRE
小川 広水
クックパッド株式会社 / SRE
- magicpak
実行に必要なファイルだけをうまく集めれば、静的リンクせずとも小さな Docker イメージを作ることができます。その作業を自動で行ってくれるツール magicpak を作りました。
- - セキュリティ・キャンプ全国大会 2019
集中開発コースの「Y-Ⅱ C コンパイラを自作してみよう！」ゼミに参加しました。
この先やってみたいこと
未来
これまでやってきたことを活かして、インフラ領域で楽しい仕事ができたらいいなと思います
/assets/images/338/original/4c6d810a-196d-4db9-a362-f6604df47601.png?1498121795){kind=avatar}
クックパッド株式会社2年間
SRE（インターン）現在
- 現在
- Fluentd 集約ノードのオートスケール
最大で 150MB/sec のログが流れる EC2 上の Fluentd 集約ノードを、コスト削減と障害対応の迅速化のためにオートスケールできるようにしました
-
筑波大学4年間
情報学群情報科学類
-
- Haskell 言語拡張における型推論の追実装
Haskell の主要なコンパイラである GHC （Glasgow Haskell Compiler）で広く使われている強力な拡張機能の GADTs, TypeFamilies の理論と実装に興味を持ち、実際にそれと同様の型推論器を実装しました。
-
/assets/images/3581962/original/3eea2578-2bb9-4457-89b4-f9a01c109297?1552556403){kind=avatar}
ピクシブ株式会社
PIXIV SPRING BOOT CAMP 2022 技術基盤コース（インターン）
/assets/images/11804506/original/f7efdbe4-415e-4db6-95cd-a11702c2471f?1673822736){kind=avatar}
株式会社HERP2年間
バックエンドエンジニア（インターン）
-
HaskellでWebバックエンドを書いたりCIを速くしたりしていた
楽天技術研究所2ヶ月
研究職（インターン）
-
プログラミング言語EgisonのパターンマッチをHaskellで利用可能にするライブラリの開発
- sweet-egison
Egisonのパターンマッチ（non-linear pattern matching with extensible and polymorphic patterns）をHaskellの上で利用可能にするライブラリ
-
スキルと特徴
Rust
4重光 史也とその他3人が+1
C++
3藤坂 祐史とその他2人が+1
インフラ
3東出 風馬とその他2人が+1
Haskell
1細川 隆之介が+1
実績
受賞と資格
言語
- 英語 - ビジネス会話レベル
- 日本語 - ネイティブレベル