ローレンツ変換
Lorentz transformation via imaginary orthogonal transformation.