3-shake
Engineers' Blogs
RSS
Recruit
Company
Masaki Haga
Trust, but verify.
Masaki Haga
3 days ago
Standard ML で一階の型クラスを作って遊ぶ (λ Kansai in Summer 2026 補足)
silasol.la
NEW
Masaki Haga
16 days ago
AI 時代は (誰かに責任を押し付ければ) コードを読まずに品質保証できるのかもしれない
silasol.la
Masaki Haga
18 days ago
AI 時代はコードを読まずに品質保証するだって？？
silasol.la
Masaki Haga
4 months ago
ソフトウェア工学をコンピュータサイエンスとよぶのはおかしい
silasol.la
Masaki Haga
5 months ago
不動点コンビネータと無名再帰
silasol.la
Masaki Haga
6 months ago
Cloud Spanner の記事を書きました (+ 技術的な蛇足)
silasol.la
Masaki Haga
6 months ago
AlloyDB と Cloud Spanner (スケーラビリティの境界)
silasol.la
Masaki Haga
8 months ago
Astro で Standard ML のシンタクスハイライト
silasol.la
silasol.la
silasol.lasilasol.lasilasol.lasilasol.lasilasol.lasilasol.lasilasol.lasilasol.la