そもそも、なぜ属性方程式を解く必要があるのか謎