前回(2015/09/25)の内容 (2)

代入文の意味
代入によって変数の値が変化する
「同じ名前(の変数)を参照しても、違う結果(値)になる」事を意味する
「代入」によって、「世界(名前と値の対応)」が変化してしまう
cf. 「代入」がなければ、「同じ名前は同じ値」が何時でも保証される
「代入命令」の「解釈」
「『時間』による世界の変化を意味する」と解釈できる
「世界」は刻々と(時間変化により)「変化」する
「代入文」は、「時間を進める」と解釈する