>>982
アインシュタインのアイデアのポイントは
「相対性」ではなくて「光速不変」だけどね

そこから時刻の相対性が導き出される
形式化というより具体化できるアイデアが重要