エルミート行列
a Hermitian matrix "M" is positive-semidefinite if and only if all principal minors of "M" are nonnegative.