微分を用いた1変数の狭義凸関数・狭義凹関数の判定