訂正

ＯＵＴ時間　ローレンツ変換時間（ＩＮ時間、ＯＵＴ固有時間、ＩＮ固有時間）｛

ＲＡＴＥ固有時間＝ＩＮ固有時間／ＯＵＴ固有時間　//ＲＡＴＥ＝ＩＮ　per　ＯＵＴ

ｒｅｔｕｒｎ　（ＲＡＴＥ固有時間＊ＩＮ時間）

｝

ＯＵＴ長さ　ローレンツ変換長さ（ＩＮ長さ、ＩＮ時間、ＯＵＴ固有時間、ＩＮ固有時間）｛

ＲＡＴＥ固有時間＝ＩＮ固有時間／ＯＵＴ固有時間　//ＲＡＴＥ＝ＩＮ　per　ＯＵＴ
ＲＲＡＴＥ固有時間＝１／ＲＡＴＥ固有時間
Ｖ＝ＳＱＲＴ（１−ＲＲＡＴＥ固有時間＾２）

ｒｅｔｕｒｎ　（（ＩＮ時間＊Ｖ＋ＩＮ長さ）／ＲＲＡＴＥ固有時間）

｝