プログラムと違い, 計算機は物理法則に従う. 急速に---状態の変化に数ナノ秒と---実行したければ, 電子を短距離(1½フィート程度)に運ばなければならない. 膨大な数の部品が発生し, 空間に集中する熱はどけなければならない. 精巧な工学技法は機能の多重と装置の密度の間のバランスを生み出した. どういう場合でもハードウェアはわれわればプログラムを考えるレベルより基底のところで動作する. Lisp…

プログラムと違い, 計算機は物理法則に従う. 急速に---状態の変化に数ナノ秒と---実行したければ, 電子を短距離(1½フィート程度)に運ばなければならない. 膨大な数の部品が発生し, 空間に集中する熱はどけなければならない. 精巧な工学技法は機能の多重と装置の密度の間のバランスを生み出した. どういう場合でもハードウェアはわれわればプログラムを考えるレベルより基底のところで動作する. Lispプログラムを「機械語」プログラムに変換するプロセスはそれ自身プログラムされる抽象モデルである. それらを研究し創作することは, 任意のモデルをプログラム化する組織化プログラムへの大きな見通しを与える. もちろん計算機自身もモデル化することが出来る. こう考えてみる: 最小の物理敵スイッチ要素を微分方程式で記述した量子力学でモデル化し, その細部の振舞いを捕えるには計算機プログラムで表現した数値近似を使い, その計算の実行は....

三つの焦点を別個に認識することは, それらがよくいわれるように頭に入っているとしても, 単なる戦術的便宜の問題ではない. 論理的分離はこれらの焦点間での記号のやりとりの加速を惹き起す. 豊富と活力と能力は人間の経験を超え, 最良の場合でも焦点間の関係は準安定である. 計算機は十分大きくも, 十分速くもない. ハードウェア技術のブレークスルーは, 更に巨大なプログラム事業, 新しい組織化原理と豊かな…

三つの焦点を別個に認識することは, それらがよくいわれるように頭に入っているとしても, 単なる戦術的便宜の問題ではない. 論理的分離はこれらの焦点間での記号のやりとりの加速を惹き起す. 豊富と活力と能力は人間の経験を超え, 最良の場合でも焦点間の関係は準安定である. 計算機は十分大きくも, 十分速くもない. ハードウェア技術のブレークスルーは, 更に巨大なプログラム事業, 新しい組織化原理と豊かな抽象モデルをもたらす. 読者な繰り返し「何のため?何のため?」と問うべきである. ---しかし, ほろ苦い哲学による便秘のためにプログラムの楽しみを放棄するといけないから, あまり頻繁に問うてはならない.