formula_7は時点0から時点formula_5までの長さ(単位は年数)、