Lorentz transformation
ローレンツ変換の中で、特別なものとして、