相対性理論では、飛んでいるロケットの長さってどうやって計ると、定義されてるか知ってる?