DerivedFrom
付帯条件