経路とは、位置を時刻tの関数として表したformula_2のことを指す。