ローレンツ変換
ローレンツ変換の下でのスピノール.