宣言型の制約