s/プログラムの心理/プログラムの真理/ (program truth)

src/ejsicp.tex

@@ -622,7 +622,7 @@ \chapter*{Foreword}
 
 その力全てに対して、コンピュータは厳しい親方です。そのプログラムは正しくなければ
 なりません。私達が伝えたいと望む事柄は委細全て正確に伝えられねばなりません。
-全ての他の象徴的な活動と同じく、私達は議論を通してプログラムの心理を確信するように
+全ての他の象徴的な活動と同じく、私達は議論を通してプログラムの真理を確信するように
 なります。Lispそれ自身に意味論を割り当てることも可能です。(ところでこれはまた別の
 モデルです)。そしてもしプログラムの機能を指定できるのなら、例えば述語論理においてなら、
 論理の証明方法が容認可能な正確性の議論に使用できます。残念なことにプログラムが巨大で