制約検証の候補

Add a description of 制約検証の候補