《计算机程序的构造和解释》（英語：Structure and Interpretation of Computer Programs，SICP）是一本关于计算机程序设计的总体性观念的基礎教科书，由麻省理工学院出版社與麦格罗希尔出版社共同出版行銷。本书作者是麻省理工学院教授哈尔·阿伯尔森、傑拉德·傑伊...

Logo是一种计算机程式设计语言，在1966年由西摩爾·派普特和Wally Feurzeig设计，Logo一词源自希腊语邏各斯（logos）。Logo是一种直譯語言，和其他语言不同的是，它内置一套海龟绘图（Turtle Graphics）系统，通过向海龟发送命令，用户可以直观地学习程序的运行过程，因此很适于初学者特别是儿童学习程序设计。...

计算机程序设计（英語：Computer programming），或稱程式設計（coding），是给程序解决出特定问题的过程，軟體開發過程中的重要步驟。程序设计方法往往以某种程序设计语言为工具，给出这种语言下的程序。程序设计过程一般包括分析、设计、编碼、测试、除错等不同阶段。 在计算机技术发展的...

，它作为自由软件甚至早于自由软件基金会、GNU和GPL的问世。它现在GNU计划的一部份。 它的特征是有丰富的运行时软件库、强力的源代码级别调试器、一个本机代码编译器和内建的叫做Edwin的类Emacs编辑器。 图书《计算机程序的构造和解释》和《经典力学的构造和解释》包含了可以在MIT/GNU Scheme上运行的软件。 Edwin是MIT/GNU...

计算机的主要设备之一，功能主要是解释计算机指令以及处理计算机软件中的数据。1970年代以前，中央处理器由多个独立单元构成，后来发展出由集成电路制造的中央处理器，這些高度收縮的元件就是所謂的微处理器，其中分出的中央处理器最為复杂的电路可以做成单一微小功能强大的单元，也就是所謂的核心。...

Sussman. 章节1.3.4 脚注64. Structure and Interpretation of Computer Programs [计算机程序的构造和解释] 2. [2015-03-03]. （原始内容存档于2015-03-09） （英语）.  Christopher Strachey, "Fundamental...

的构造和解释》的视频讲座 （页面存档备份，存于互联网档案馆）里, 傑拉德·傑伊·薩斯曼给听众介绍了个徽章，说他们现在是这个特殊组织的成员了。然而，根据黑客词典所述，一个“众所周知的LISP使用者”会收到有骑士团标志的徽章，而且一些人声称说他们有骑士团的会籍。 一个叫“东方算法骑士团”的...

Lisp标准主导造成的，仍然需要解决（比如通过内联更多和使用宏来建造，看似用户定义结构的构造，而实际上访问在预先分配的特殊数组中的字段）。“Python”编译器的特征是有强力的类型推论，通过要么自动推论出类型，要么对错过的优化机会的提示，帮助编程者书写无开销的代码。 分代垃圾回收和在x86移植上的多处理能力。 外界函数接口（英语：foreign...

Sannella）结合了来自ML的多态类型检查，从NPL派生出了Hope语言。ML最终发展成几种语言，其中最常见的是OCaml和Standard ML。 在1970年代，Guy L. Steele和Gerald Jay Sussman开发了Scheme，如有影响力的“λ论文集”和经典的1985年教科书《计算机程序的构造和解释...

的编译器和解释器，能够将scheme代码编译成标准C代码。它基本上遵守R5RS标准并且提供了很多扩展。新近的R7RS标准是通过扩展库支持的。Chicken是一个采用BSD许可证的自由软件。 从Chicken的标志下的口号可以看出它的关注非常明确：“一个實用的可移植Scheme系统”。...

人工智能——計算機科學分支，開發具有類似人類智能的機器和軟件 ASCII——電腦編碼系統 断言 (程序) 关联数组——將鍵與值相關聯的抽像數據類型 自动机理论 自动推理 带宽 (计算机) ——計算和網絡 基准测试——用来衡量、比较、评价计算机系统或组件性能的一套标准化测试程序 最佳、最差和平均情况 大数据——信息技术术语...

Sussman，1947年2月8日—），生於美國，著名計算機科學家，現為麻省理工學院教授。他是自由軟體基金會的創始元老之一，現任理事。 1968年，在麻省理工取得數學理學士，1973年取得數學博士學位。 1975年，與蓋伊·史提爾二世共同開發了Scheme程式語言。 《计算机程序的构造和解释》 《经典力学的结构与解释》...

（页面存档备份，存于互联网档案馆） 见《计算机程序的构造和解释》。[页码请求] Harold Abelson, Gerald Jay Sussman, Julie Sussman. Structure and Interpretation of Computer Programs [计算机程序的构造和解释]. Cambridge...

的入門教材《计算机程序的构造和解释》（SICP），利用Scheme來詮釋程序設計。Scheme有眾多實現可視為一個主要優勢，然而不同實現之間的差異成為了它的一個劣勢，Scheme掌控委员会声称，它是“世上最不可移植的编程语言”，并且是一个“编程语言家族”而非一个单一的语言。...

Flatt）和Shriram Krishnamurthi（英语：Shriram Krishnamurthi）。该书介绍了一种「设计诀窍」，从问题描述出发，通过六个步骤编写出完整的程序。 《程序设计方法》使用Scheme语言，和另外一本名著《计算机程序的构造和解释》类似。事实上，作者提供了专门为该书开发的程序...

Graham，1964年11月13日—），美国程序员、风险投资家、博客作者和技术作家。他以Lisp方面的工作而知名，也是最早的Web应用Viaweb的创办者之一，后来被雅虎以美金5千万餘元收购，成为Yahoo! Store。共同创办了具有影响力的创业加速器和种子资本公司Y Combinator。 他是几本计算机编程书籍的...

Defun或者幽默解释为Scheme In One Day（SIOD），是Lisp编程语言的Scheme方言的小尺寸实现，它是用C书写并设计用于嵌入到C程序之内。它著称于可能是类Lisp语言的最小的实际实现。它最初是由George J. Carrette写成。它是在GNU宽通用公共许可证（LGPL）下发行的自由及开放源代码软件。...

loop）的一個例子。在哈尔·阿伯尔森和傑拉德·傑伊·薩斯曼的《计算机程序的构造和解释》中也有使用此一作品，來說明计算机科学中針對函式eval和apply應用的寓言，因為這些會形成循環。 有許多藝術家參考和複製多次《畫手》。在科技界中常見的作品是兩隻機械手臂在彼此繪製或是在彼此製造，或是人的手和機械手臂在彼此繪製。在极客和...

Graphics）是指用计算机所创造的图形。更具体的说，就是在计算机上用专门的软件和硬件用来表现和控制图像数据。 计算机图形的发展使用户能更容易与计算机互动，更好的明白和解释多种类型的数据。发展计算机图形对多种媒体有深远的影响，并彻底改变了动画、电影和电子游戏行业。 计算机图形在学术中的广义被用来描述为“在计算机...

计算语言学——跨学科研究领域 计算数学 计算神经科学 计算数论 计算统计学 计算机科学——研究信息和計算的理論基礎 计算机视觉——從影像中擷取可電腦化的資訊 联结主义 约束编程 約束補償（英语：Constraint satisfaction） 构造语言 控制理论——数学或工程学分支领域 卷积神经网络——人工神經網絡...

停机问题（英語：halting problem）是逻辑数学中可计算性理论的一个问题。通俗地说，停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。...

的認知功能的機器或計算機，如學習和解決問題。人工智能是計算機科學的一個分支，它感知其環境並採取行動，最大限度地提高其成功機會。此外，人工智能能夠從過去的經驗中學習，做出合理的決策，並快速回應。因此，人工智能研究人員的科學目標是通過構建具有象徵意義的推理或推理的計算機程式來理解智慧。在計算...

TinyScheme是Scheme编程语言的自由软件实现，它是具有R5RS标准的子集的轻量级Scheme解释器，并意图用作其他程序的嵌入式脚本语言。在TinyScheme中的很多功能，是有条件的包含在内的，这允许开发者在特征与大小/内存占用（英语：Memory footprint）之间进行平衡。...

中间代码生成 运行时系统（含传参、符号表与寄存器分配） 目标代码生成 代码优化 第二版在此基础上增加了数据流分析、并行计算、垃圾回收相关的内容。 编译器 计算机程序的构造和解释 The Top 9 1/2 Books in a Hacker's Bookshelf. [23 October 2010]...

在计算机编程中，Franz Lisp是一个停止发展了的Lisp编程语言系统，它由加利福尼亚大学伯克利分校（UC Berkeley：UCB）的教授Richard Fateman（英语：Richard Fateman）和它的一些学生，很大程度上基于Maclisp而写成，并随Berkeley软件发布（B...

计算机科学家。他因在人工智能领域的贡献而在1971年获得图灵奖。实际上，正是他在1956年的达特矛斯会议上提出了“人工智能”这个概念。 1927年9月4日，约翰·麦卡锡出生於美國麻薩諸塞州波士頓。他的父親John Patrick是愛爾蘭裔美國人，母親Ida Glatt McCarthy是立陶宛的猶太人。...

C++是一种被广泛使用的计算机程序设计语言。它是一种通用程式設計語言，支援多重编程范式，例如過程化程序設計、面向对象程序設計、泛型程式設計和函数式程序設計等。 比雅尼·斯特勞斯特魯普博士在贝尔实验室工作期间在20世紀80年代發明並實現了C++。起初，這種語言被稱作“C with Classes”（“包含‘類’的...

计算机程序设计的总体性观念的基礎教科书《计算机程序的构造和解释》（Structure and Interpretation of Computer Programs）。这书中使用程序设计语言Lisp的方言Scheme来解释计算机科学的...

在计算机编程中，CLISP是Common Lisp编程语言的一个实现，最初由Bruno Haible和Michael Stoll为Atari ST而开发。现在它支持Unix和Microsoft Windows操作系统。 CLISP包括：解释器、字节码编译器、调试器、套接字接口、高层外界语言接口、强...

和Levin制作Lisp编译器那样，用解释器来运行编译器。 编译器的构造与优化是计算机专业的大学课程，课程名称一般为「编译原理」或「編譯器」。通常在课程中包含了如何实现一种教学用程序语言的编译器。一个著名的例子是20世纪70年代，瑞士計算機科學家尼克劳斯·维尔特（Niklaus...

是Scheme编程语言的一种方言。它是由Aubrey Jaffer用C写成，他还是SLIB（英语：SLIB） Scheme库和JACAL交互式计算机代数（符号式数学）程序的作者。它遵守了IEEE 1178和R5RS标准。它是在GNU宽通用公共许可证（LGPL）下发行的自由及开放源代码软件。 SCM运行在很多不同的...