凸関数や凸解析に関するスレが無いから建てた