DerivedFrom
度量の狭い