カバ公式への凸ってなに