KTX-TGVは輸出された高速鉄道の最初の事例としてIEEEマイルストーンに登録されるらしい