カイロの象

カイロの象は、コンピュータプログラミングで使われる用語で、検索アルゴリズムが確実に終了するように、検索空間の最後に意図的に挿入された検索条件に一致するデータを表す。これはセンチネル値のユーモラスな例である。この用語は、1989年9月にバイト誌に掲載され、さまざまな職業がどのように象狩りをするかを説明したインターネット上で広まったユーモラスなエッセイに由来している。 ^[1]

記事では、象を狩る際にプログラマーは次のアルゴリズムに従うと説明している。^[1]

1. アフリカへ行きましょう。
2. 喜望峰から出発します。^{[注 1]}
3. 大陸を東西交互に横断しながら、秩序正しく北上する。
4. 各トラバースパス中:

   • 見かけた動物をそれぞれ捕まえます。
   • 捕獲した動物をそれぞれ既知の象と比較します。
   • 一致が検出されると停止します。

このアルゴリズムには、境界チェックエラーというバグがあります。象が見つからない場合、プログラマーは北に向かって進み続け、地中海に到達し、溺死して異常終了します。

そこで、経験豊富なプログラマーは、カイロに既知の象を配置してアルゴリズムが終了するようにすることで、上記のアルゴリズムを修正します。^[2]したがって、修正されたアルゴリズムは次のようになります。

1. アフリカへ行きましょう。
2. カイロに象を置きます。
3. 喜望峰からスタートします。
4. 大陸を東西交互に横断しながら、秩序正しく北上する。
5. 各トラバースパス中:

   • 見かけた動物をそれぞれ捕まえます。
   • 捕獲した動物をそれぞれ既知の象と比較します。
   • 一致が検出されると停止します。

6. あなたがカイロにいるなら、アフリカには象はいません（あなたがそこに置いた象を除いて）。

• 象のテスト

• その他の象狩りのテクニックのリスト (PDF)