@iroha1203(Hiroyuki Nakahata)2026-02-19【代数的アーキテクチャ論】第2部 Event Sourcing / CRUD / SagaをLean 4で形式化してわかったこと
