公式が末期