筑波大学 / 情報学群情報科学類
Haskell 言語拡張における型推論の追実装
Haskell の主要なコンパイラである GHC （Glasgow Haskell Compiler）で広く使われている強力な拡張機能の GADTs, TypeFamilies の理論と実装に興味を持ち、実際にそれと同様の型推論器を実装しました。
小川 広水
クックパッド株式会社 / SRE東京都
400万人が利用する会社訪問アプリ
小川 広水
クックパッド株式会社 / SRE
この先やってみたいこと
未来
インフラ領域での経験を活かして、楽しい仕事ができたらいいなと思います
/assets/images/338/original/4c6d810a-196d-4db9-a362-f6604df47601.png?1498121795){kind=avatar}
クックパッド株式会社3年間
SRE現在
- 現在
- 自動デプロイ環境におけるロールバック戦略の検討と実装
クックパッドをグローバル版に統合した際に、デプロイが原因の障害からの回復に時間がかかるという課題が生まれていました。そこで、開発者主体で即時にデプロイをロールバックできる仕組みを開発しました。
SRE（インターン）
- Fluentd 集約ノードのオートスケール
最大で 150MB/sec のログが流れる EC2 上の Fluentd 集約ノードを、コスト削減と障害対応の迅速化のためにオートスケールできるようにしました
-
筑波大学5年間
情報学群情報科学類
-
/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の上で利用可能にするライブラリ
-
限定公開の職歴・学歴
小川 広水さん
のプロフィールをすべて閲覧
Wantedlyユーザー もしくは つながりユーザーのみ閲覧できる項目があります
過去の投稿を確認する
共通の知り合いを確認する
小川 広水さんのプロフィールをすべて見る
スキルと特徴
Rust
4重光 史也とその他3人が+1
C++
3藤坂 祐史とその他2人が+1
インフラ
3東出 風馬とその他2人が+1
Haskell
1細川 隆之介が+1
実績
受賞と資格
言語
- 英語 - ビジネス会話レベル
- 日本語 - ネイティブレベル