公式凸は五馬鹿じゃなかった？