DerivedFrom
的実