「2001年宇宙の旅」の考察です。HAL 9000(ＡＩ)の乗組員排除のロジックについて考えます。