われはロボット(アイザック・アシモフ)

ロボット3原則の名で有名なアシモフの、その3原則が初めて出てきた作品です。簡単にいうと、ロジカルに動くソフトウェアにより動いているはずのロボットが、なぜか期待した動きをしないので、状況証拠を元に原因を追求しましょう、というノリの短編集です。これはプログラミングの経験のある人が読むと非常に楽しめるのではないでしょうか。特定の環境のみにおいて動作がおかしくなる原因を探ったりとか、無限ループに入って戻ってこれなくなったロボットを引き戻す方法を探索したりとか、これはまさにソフトウェアデバッグの物語なのです。