この辺の話はまったく聴いていない。やばい？
これは大石先生の名前が入っていない。 正値対称行列の場合を扱った Rump-Ogita [49] (2007) は日本語のあるか？
実対称行列の正値性の判定を扱った荻田・大石 [50] (2008)は、 Rump [27] の 関係あるのかな？
