>>610
え、でも>>594はローレンツ変換が必要なんですよね?