代入と置換

森博嗣氏による。
前半はふむふむと読んでいたのだけれど、後半の

しかし、「代入」と「置換」の違いは明確である。代入は、そこに入れるものが、それまでと等しいものでなければならない。ｘ＝１だとわかっているから、ｘに１を代入できる。

というのは意味がよくわからなかった。…と書いているうちに、結城はプログラミング言語的な意味で「代入(assignment)」を考えていたことに気づいた。