ヘッセ行列
「Sの formula_13 におけるヘッセ行列が正定値(正値, 正定符号)となること」