2001年の世界には、宇宙船内のロゴからIBMが存在してる事が確実だが、ＨＡLとの棲み分けがどうなってるのだろう。別会社という設定だよね？