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