本稿では「トーマス」の愛称・短縮形である「トム(tom)・ミラー」「トミー(tommie、tommy)・ミラー」についても記述する。