公式には凸るけどね