IsA
凸関数