400万人が利用するビジネスSNS
広水 小川
クックパッド株式会社 / SRE
この先やってみたいこと
未来
インフラ領域での経験を活かして、楽しい仕事ができたらいいなと思います
/assets/images/338/original/4c6d810a-196d-4db9-a362-f6604df47601.png?1498121795){kind=avatar}
クックパッド株式会社4 years
SRE現在
- 現在
- 自動デプロイ環境におけるロールバック戦略の検討と実装
クックパッドをグローバル版に統合した際に、デプロイが原因の障害からの回復に時間がかかるという課題が生まれていました。そこで、開発者主体で即時にデプロイをロールバックできる仕組みを開発しました。
SRE(Intern)
- Fluentd 集約ノードのオートスケール
最大で 150MB/sec のログが流れる EC2 上の Fluentd 集約ノードを、コスト削減と障害対応の迅速化のためにオートスケールできるようにしました
-
筑波大学5 years
情報学群情報科学類
-
- 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 技術基盤コース(Intern)
/assets/images/11804506/original/f7efdbe4-415e-4db6-95cd-a11702c2471f?1673822736){kind=avatar}
株式会社HERP2 years
バックエンドエンジニア(Intern)
-
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で発表しました
Skills
Rust
4Fumiya Shigemitsuとその他3人が+1
C++
3Fujisaka Yujiとその他2人が+1
インフラ
3Fuma Higashideとその他2人が+1
Haskell
1Ryunosuke Hosokawaが+1
Accomplishments / Portfolio
Awards and Certifications
言語
- English - Professional
- Japanese - Native
