https://123dok.com/jp/docs/constraint-propagation-analysis-and-adjusted-systems.10482982