Standard ML で一階の型クラスを作って遊ぶ (λ Kansai in Summer 2026 補足)
HKT よりもっと具体的な話をします．
AI 時代は (誰かに責任を押し付ければ) コードを読まずに品質保証できるのかもしれない
これ LLM の性能や品質の問題じゃないわ．
AI 時代はコードを読まずに品質保証するだって？？
生成 AI による開発について思うこと．
AI を紡ぐ者たち #1 に登壇しました
生成 AI 活用イベントで仕様駆動開発について話しました．スライドを公開します．
職場の Tech Blog に Dataflow の記事を投稿しました
職場の Tech Blog に Dataflow の記事を投稿しました．
小箱
ショートショート書いてみた．
ソフトウェア工学をコンピュータサイエンスとよぶのはおかしい
規範と事実は明確に異なるという話をしています．
不動点コンビネータと無名再帰
不動点コンビネータと実践的な示唆について紹介します．
2025 年の振り返り
2025 年は何をやっていただろうかと silasolla が振り返る
Cloud Spanner の記事を書きました (+ 技術的な蛇足)
Cloud Spanner のコアアーキテクチャについて，職場の Tech Blog 補足と技術的な余談 (Paxos, CAP 定理, NewSQL) をまとめました．
AlloyDB と Cloud Spanner (スケーラビリティの境界)
AlloyDB と Cloud Spanner のアーキテクチャの違いやスケーラビリティの境界について解説します．
神保町でごはんを食べました
ひさしぶりのボンディ．
なごやいきまくり
もう見た．
Astro で Standard ML のシンタクスハイライト
デフォルトでハイライトされない言語を TextMate を用いた拡張で認識させます．
このサイトを新しくしました
重い腰を上げて．
セブンイレブンの廉価版おにぎりを食べた
物価高騰すごい．