集約をどこまで機械的に導けるか――形式手法をベースとしたドメインモデリング

https://zenn.dev/nrs/articles/33ba79c8b2542e