判断を自動化するために軸や制約を課す