筑波大学 / 情報学群情報科学類
Haskell 言語拡張における型推論の追実装
Haskell の主要なコンパイラである GHC （Glasgow Haskell Compiler）で広く使われている強力な拡張機能の GADTs, TypeFamilies の理論と実装に興味を持ち、実際にそれと同様の型推論器を実装しました。
広水 小川
クックパッド株式会社 / SRE東京都
Discover companies you will love
広水 小川
クックパッド株式会社 / SRE
Ambition
In the future
インフラ領域での経験を活かして、楽しい仕事ができたらいいなと思います
/assets/images/338/original/4c6d810a-196d-4db9-a362-f6604df47601.png?1498121795){kind=avatar}
クックパッド株式会社3 years
SREPresent
- Present
- 自動デプロイ環境におけるロールバック戦略の検討と実装
クックパッドをグローバル版に統合した際に、デプロイが原因の障害からの回復に時間がかかるという課題が生まれていました。そこで、開発者主体で即時にデプロイをロールバックできる仕組みを開発しました。
SRE(Intern)
- Fluentd 集約ノードのオートスケール
最大で 150MB/sec のログが流れる EC2 上の Fluentd 集約ノードを、コスト削減と障害対応の迅速化のためにオートスケールできるようにしました
-
筑波大学5 years
情報学群情報科学類
-
/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を速くしたりしていた
楽天技術研究所2 months
研究職(Intern)
-
プログラミング言語EgisonのパターンマッチをHaskellで利用可能にするライブラリの開発
- 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
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