入力値によって他の入力値の制約が決まる