ExternalURL
半正定値行列