公式のほうが先にしぬ