制約条件を明確化