ここで、formula_17は固有時である。