B. Changelog

• 2012/7/17 下三角行列の定義を間違えていた！まだこんなのが残っていたとは。
• 2012/7/22 2次形式の平方完成の話を書き加える。 まだ書きかけなので本文には入れない。