タグ

SolidとLean4に関するmkusakaのブックマーク (1)

  • SOLIDやLayered Architectureは何を守っているのか?――アーキテクチャ零曲率定理から見る設計原則と不変量 - Qiita

    AI にコードを書いてもらうと、動くものはかなり速く出てきます。 でも、あとから差分を見て「あ、これ依存の向きがまずい」「境界を越えて直接呼んでいる」「この変更、障害が横に広がりそう」と気づくことがあります。 そのとき当に知りたいのは、コードが動くかだけではありません。その変更で何のリスクが増減したのかです。循環依存は消えたのか。境界違反は減ったのか。障害は広がりにくくなったのか。 だから、AI が出した差分を「設計として大丈夫か」と診断するための物差しが必要になります。 この研究で中心に置く定理の名前は、アーキテクチャ零曲率定理です。 少し正確に書くと、次の形を目指しています。 ここで A は対象のアーキテクチャ、L は採用した設計ルールのまとまりです。 Lawful(A, L) は、A が L に対して健全であること NoRequiredObstruction(A, L) は、要求さ

    SOLIDやLayered Architectureは何を守っているのか?――アーキテクチャ零曲率定理から見る設計原則と不変量 - Qiita
    mkusaka
    mkusaka 2026/04/28
    SOLIDやLayered/Cleanを“何を守るか”で分解し、Architecture零曲率定理と6指標のArchitectureSignatureで診断する
  • 1