二個目の注釈で「ガリレオ変換」という言葉に違和感を感じて調べてみたのですが、「ガリレオ変換」と「ガリレイ変換」どちらも使われているみたいですね。
普通は○○変換といった場合に、first name と last name のどちらを当てはめるんでしょう・・。ローレンツ変換の「ローレンツ」は last name ?