<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"><channel><title>芳賀 雅樹 / Masaki Haga - お知らせ</title><description>お知らせ記事のRSSフィード</description><link>https://silasol.la/</link><language>ja</language><item><title>Standard ML で一階の型クラスを作って遊ぶ (λ Kansai in Summer 2026 補足)</title><link>https://silasol.la/posts/2026-06-14-01_sml-type-class/</link><guid isPermaLink="true">https://silasol.la/posts/2026-06-14-01_sml-type-class/</guid><description>HKT よりもっと具体的な話をします．</description><pubDate>Sun, 14 Jun 2026 00:00:00 GMT</pubDate><category>tech</category><category>news</category><category>diary</category></item><item><title>AI を紡ぐ者たち #1 に登壇しました</title><link>https://silasol.la/posts/2026-05-20-01_3-shake-ai-1/</link><guid isPermaLink="true">https://silasol.la/posts/2026-05-20-01_3-shake-ai-1/</guid><description>生成 AI 活用イベントで仕様駆動開発について話しました．スライドを公開します．</description><pubDate>Wed, 20 May 2026 00:00:00 GMT</pubDate><category>news</category></item><item><title>職場の Tech Blog に Dataflow の記事を投稿しました</title><link>https://silasol.la/posts/2026-04-27-01_commutative-monoid-on-cloud-dataflow/</link><guid isPermaLink="true">https://silasol.la/posts/2026-04-27-01_commutative-monoid-on-cloud-dataflow/</guid><description>職場の Tech Blog に Dataflow の記事を投稿しました．</description><pubDate>Mon, 27 Apr 2026 00:00:00 GMT</pubDate><category>news</category></item><item><title>Cloud Spanner の記事を書きました (+ 技術的な蛇足)</title><link>https://silasol.la/posts/2025-12-16-01_cloud-spanner/</link><guid isPermaLink="true">https://silasol.la/posts/2025-12-16-01_cloud-spanner/</guid><description>Cloud Spanner のコアアーキテクチャについて，職場の Tech Blog 補足と技術的な余談 (Paxos, CAP 定理, NewSQL) をまとめました．</description><pubDate>Tue, 16 Dec 2025 00:00:00 GMT</pubDate><category>tech</category><category>news</category></item><item><title>このサイトを新しくしました</title><link>https://silasol.la/posts/2025-10-26-01_welcome/</link><guid isPermaLink="true">https://silasol.la/posts/2025-10-26-01_welcome/</guid><description>重い腰を上げて．</description><pubDate>Sun, 26 Oct 2025 00:00:00 GMT</pubDate><category>news</category></item></channel></rss>