400万人が利用するビジネスSNS
小川 広水
クックパッド株式会社 / SRE
この先やってみたいこと
未来
インフラ領域での経験を活かして、楽しい仕事ができたらいいなと思います
/assets/images/338/original/4c6d810a-196d-4db9-a362-f6604df47601.png?1498121795){kind=avatar}
クックパッド株式会社4年間
SRE現在
- 現在
- 自動デプロイ環境におけるロールバック戦略の検討と実装
クックパッドをグローバル版に統合した際に、デプロイが原因の障害からの回復に時間がかかるという課題が生まれていました。そこで、開発者主体で即時にデプロイをロールバックできる仕組みを開発しました。
SRE（インターン）
- Fluentd 集約ノードのオートスケール
最大で 150MB/sec のログが流れる EC2 上の Fluentd 集約ノードを、コスト削減と障害対応の迅速化のためにオートスケールできるようにしました
-
筑波大学5年間
情報学群情報科学類
-
- Thrust: A Prophecy-Based Refinement Type System for Rust (PLDI 2025)
Rust プログラムの機能的正当性を全自動で検証するツール Thrust を提案・開発し、共同で執筆した論文が PLDI 2025 に採択されました
-
/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を速くしたりしていた
- sweet-egison
Egisonのパターンマッチ（non-linear pattern matching with extensible and polymorphic patterns）をHaskellの上で利用可能にするライブラリ
-
限定公開の職歴・学歴
小川 広水さん
のプロフィールをすべて閲覧
Wantedlyユーザー もしくは つながりユーザーのみ閲覧できる項目があります
過去の投稿を確認する
共通の知り合いを確認する
小川 広水さんのプロフィールをすべて見る
個人の実績
個人の実績
個人の実績
- Writing PDFs in Ruby DSL（東京Ruby会議12）
PDF を出力するRubyプログラムについて東京Ruby会議12で発表しました
スキルと特徴
Rust
4重光 史也とその他3人が+1
C++
3藤坂 祐史とその他2人が+1
インフラ
3東出 風馬とその他2人が+1
Haskell
1細川 隆之介が+1
実績
受賞と資格
言語
- 英語 - ビジネス会話レベル
- 日本語 - ネイティブレベル
