公式編み出す