ExternalURL
正定値行列