ローレンツ変換
Lorentz transformation and its inverse.