ステップS31：制約定義モジュール。修正パッチが満たすべき五次元制約（構文制約、意味制約、スタイル制約、性能制約、... | SciDraw Gallery