ローレンツ変換
Lorentz transformation via trigonometric functions.