DerivedFrom
満たす