Summary

  HAL は Heuristically programmed ALgorithmic computer の略
  IBM をずらして命名した説は間違いらしい．

2004-12-19 追記

  イナモデレーダー 2004-12-18から指摘

「劇中では」と書いてあるので，IBM->HAL説が間違いだということは載っていないと思います

  ASCII番外地というサイトによると，
  筑波大学教授の星野力氏の ロボットにつけるクスリ—誤解だらけのコンピュータサイエンス で以下のように言及しているらしい．

この映画にでてくるコンピュータHAL9000(Heuristically-programmed ALgorithmic computerの略．発見的計算手法によるコンピュータ，とでも訳しておく)は，
IBMの各文字を一文字ずつ前へずらしたという俗説が流れているが，事実は違う．

HAL伝説—2001年コンピュータの夢と現実 を読んでみてね．
  という内容らしい．

HAL伝説—2001年コンピュータの夢と現実 を読んでいない上，引用元のWebサイトの信憑性も分からない．
  さらに引用の引用なので事実関係と信憑性は不透明．

Reference

  はてなダイアリー - HAL9000
  http://d.hatena.ne.jp/keyword/HAL9000
本: ロボットにつけるクスリ—誤解だらけのコンピュータサイエンス
本: HAL伝説—2001年コンピュータの夢と現実