ローレンツ変換
Length contraction and Lorentz transformation.