上に凸定義域が動く場合