偏微分を用いた多変数の狭義凸関数・狭義凹関数の判定 | 凸関数 | 凸解析 | 数学