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

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

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

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

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

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

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

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

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

计算统计学 计算机科学——研究信息和計算的理論基礎 计算机视觉——從影像中擷取可電腦化的資訊 联结主义 约束编程 构造语言 控制理论——数学或工程学分支领域 卷积神经网络——人工神經網絡 交叉（遗传算法） CUDA——NVIDIA所推出的一種軟硬體整合技術 Darkforest——计算机围棋程序 数据增强...

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

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

InterLisp(Xerox)和稍后出现的Common Lisp写的。 上世纪60和70年代的人工智能（AI）计算机程序大都要求以处理器时间和存储器空间为测量标准来看十分巨大的计算能力（对当时来说）。这种人工智能研究所需的计算能力上的要求是Lisp符号化编程语言所导致的。在当时商业的硬件都针对汇编类和...

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

的学习算法（要防止錯誤累積）。很多推论问题属于非程序化決策，所以部分的机器学习研究是开发容易处理的近似算法。 机器学习已广泛应用于数据挖掘、计算机视觉、自然语言处理、生物特征识别、搜索引擎、医学诊断、检测信用卡詐騙、证券市场分析、DNA序列测序、语音和手写识别、游戏和...

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

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

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

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

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

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

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

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

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

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

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

的語言中出現。 自循環直譯器最早出現於約翰·麥卡錫的Lisp 1.5版定義，其中麥卡錫以Lisp語言的功能來描述Lisp的直譯規則。 著名電腦科學教科書《计算机程序的构造和解释》詳細研究了一個Scheme語言的自循環直譯器。此書中的直譯器包含兩個主要元素： Eval，即將一個表示式轉換為其取值的函數。...

的口袋罪，其与提供侵入、非法控制计算机信息系统程序、工具罪与以危险方法危害公共安全罪被称为“新三大口袋罪”。 以危险方法危害公共安全罪在1979年《中华人民共和国刑法》第105条、106条被规定。其问题在于：这是法律明确规定的放火、决水、爆炸、投放危险物质四种危害公共安全罪以外的...

计算机科学教授，专攻程序语言研究领域，为该领域的权威。 1976年他和David Wise合作发表了影响深远的论文《Cons should not evaluate its arguments》 。 在接下来的八十年代，他转而研究Scheme语言，探讨了用宏来定义程序语言。他和...

Interpretation of Computer Programs》（《计算机程序的构造和解释》）将这种教育理念纳入了经典的教学课本中，从而改变了 Pascal 在大学程序设计语言中的优势地位。 “Abelson 和 Sussman 在1984年出版的《Structure and Interpretation of...

的解释型、高级和通用的编程语言。Python支持多种编程范型，包括结构化、过程式、反射式、面向对象和函数式编程。它拥有动态类型系统和垃圾回收功能，能够自动管理内存使用，并且其本身拥有一个巨大而广泛的标准库。它的语言结构以及面向对象的方法，旨在帮助程序员为小型的和大型的项目编写逻辑清晰的代码。...