写し取れなかった
ルールブック

コードを検査する道具があります。宿題を採点する先生のようなものです。

毎回ぜんぶ読み直すと遅い。だから先生はメモを取ります。「この答案はもう見た。合格」。次からは、そのメモを見るだけ。

先生は、メモを使う前にふたつ確かめます。

「ルールは変わってない？」を確かめるために、先生はルールを紙に書き写して、その紙の指紋を取ります。指紋が同じなら、ルールは同じ。

でも、書き写せるのは文字と数字だけ。ルールの本体は機械です。機械は紙に書き写せません。だから 書き写すと消えてしまう。

この「写らない」せいで、変えても気づかれないものが 3 つありました。

機械は紙に書き写せない。なら、写真を撮って、その写真の番号を書いておけばいい。

番号はただの文字なので、ちゃんと写ります。機械が変われば番号も変わる。門その2 は、やっと機械の入れ替えに気づけるようになりました。

実際に測りました。ルールを 1 行だけ書き換えて、読み直しが起きるかどうか。