>>912
凸なのと、曲率が局所一定はいいと思うのですが、微分可能なのはどうしてでしょうか