KKT条件
本はありません。