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