ローレンツ変換
Lorentz transformation via quaternions and hyperbolic numbers.