公式凸は解せん