ローレンツ変換
ローレンツ変換とは、ミンコフスキー空間 上の線形変換