これと

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

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

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

｝

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

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

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

｝

これは

ローレンツ変換ｆ（）は
｜ｃｔ'｜＝｜γ　　　　　−γｖ／ｃ｜｜ｃｔ｜
｜ｒ'　｜　｜−γｖ／ｃ　γ　　　　｜｜ｒ｜
γ=1/√(1-(v/c)^2)
こうだろ

同じ計算