制約外判断の判断記号に変更