ただし、formula_82はformula_12時点におけるformula_73の値を指す。