「公式」って何だ?