ローレンツ変換
Lorentz transformation without second postulate.