芳賀 雅樹 / Masaki Haga - 技術記事技術記事のRSSフィードhttps://silasol.la/jaStandard ML で一階の型クラスを作って遊ぶ (λ Kansai in Summer 2026 補足)https://silasol.la/posts/2026-06-14-01_sml-type-class/https://silasol.la/posts/2026-06-14-01_sml-type-class/HKT よりもっと具体的な話をします．Sun, 14 Jun 2026 00:00:00 GMTtechnewsdiaryAI 時代は (誰かに責任を押し付ければ) コードを読まずに品質保証できるのかもしれないhttps://silasol.la/posts/2026-06-01-01_ai-driven-development-reconsider/https://silasol.la/posts/2026-06-01-01_ai-driven-development-reconsider/これ LLM の性能や品質の問題じゃないわ．Mon, 01 Jun 2026 00:00:00 GMTtechdiaryAI 時代はコードを読まずに品質保証するだって？？https://silasol.la/posts/2026-05-30-01_ai-driven-development/https://silasol.la/posts/2026-05-30-01_ai-driven-development/生成 AI による開発について思うこと．Sat, 30 May 2026 00:00:00 GMTtechdiaryソフトウェア工学をコンピュータサイエンスとよぶのはおかしいhttps://silasol.la/posts/2026-02-18-01_software-engineering-is-not-cs/https://silasol.la/posts/2026-02-18-01_software-engineering-is-not-cs/規範と事実は明確に異なるという話をしています．Wed, 18 Feb 2026 00:00:00 GMTtechdiary不動点コンビネータと無名再帰https://silasol.la/posts/2026-01-16-01_least_fixed_point/https://silasol.la/posts/2026-01-16-01_least_fixed_point/不動点コンビネータと実践的な示唆について紹介します．Fri, 16 Jan 2026 00:00:00 GMTtechCloud Spanner の記事を書きました (+ 技術的な蛇足)https://silasol.la/posts/2025-12-16-01_cloud-spanner/https://silasol.la/posts/2025-12-16-01_cloud-spanner/Cloud Spanner のコアアーキテクチャについて，職場の Tech Blog 補足と技術的な余談 (Paxos, CAP 定理, NewSQL) をまとめました．Tue, 16 Dec 2025 00:00:00 GMTtechnewsAlloyDB と Cloud Spanner (スケーラビリティの境界)https://silasol.la/posts/2025-12-05-01_alloy-db-and-spanner/https://silasol.la/posts/2025-12-05-01_alloy-db-and-spanner/AlloyDB と Cloud Spanner のアーキテクチャの違いやスケーラビリティの境界について解説します．Fri, 05 Dec 2025 00:00:00 GMTtechAstro で Standard ML のシンタクスハイライトhttps://silasol.la/posts/2025-10-26-02_astro-sml/https://silasol.la/posts/2025-10-26-02_astro-sml/デフォルトでハイライトされない言語を TextMate を用いた拡張で認識させます．Sun, 26 Oct 2025 00:00:00 GMTtech