はて、ローレンツ収縮は時間と長さだと記憶しておりますが