>>563
　問題条件は>>558，559で修正されました。
　領域設定可能なMin関数は幾つかあります
　が、大域解の保証もされてないってこと。