スタンフォード ベクトル・行列からはじめる最適化数学 KS情報科学専門書