>>207
なんで長さがローレンツ変換で縮むと思う?