ローレンツ変換
Consequences derived from the Lorentz transformation.