Discover companies you will love
広水 小川
クックパッド株式会社 / SRE
Ambition
インフラ領域での経験を活かして、楽しい仕事ができたらいいなと思います
/assets/images/338/original/4c6d810a-196d-4db9-a362-f6604df47601.png?1498121795){kind=avatar}
クックパッド株式会社3 years
SREPresent
- 自動デプロイ環境におけるロールバック戦略の検討と実装
クックパッドをグローバル版に統合した際に、デプロイが原因の障害からの回復に時間がかかるという課題が生まれていました。そこで、開発者主体で即時にデプロイをロールバックできる仕組みを開発しました。
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の上で利用可能にするライブラリ
-
Hidden: Education and Experience
View 広水 小川's
Full Profile
This information is visible only to Wantedly users or the user’s connections
View past posts
View mutual connections
View 広水 小川's full profile
Personal Achievements
Personal Achievements
Personal Achievements
- Writing PDFs in Ruby DSL（東京Ruby会議12）
PDF を出力するRubyプログラムについて東京Ruby会議12で発表しました
Skills
Rust
4Recommended by Fumiya Shigemitsu and 3 more
C++
3Recommended by Fujisaka Yuji and 2 more
インフラ
3Recommended by Fuma Higashide and 2 more
Haskell
1Recommended by Ryunosuke Hosokawa
Accomplishments / Portfolio
Awards and Certifications
言語
- English - Professional
- Japanese - Native
