連続最適化 非凸最適化 平滑化法 moreau envelope スパース性 信号処理 弱凸関数 最適化 数理最適化