представление истины и лжи 322 представление окружений 323 представление процедур 322 производные выражения 318 процедура высшего порядка 313п реализуемый язык vs. язык

реализации 314 синтаксис интерпретируемого языка

315, 320 (упр. 4.2), 322 (упр. 4.10)

управляющий цикл 327

цикл eval-apply 311

элементарные процедуры 326

эффективность 336 метаязыковая абстракция

[metalinguistic abstraction] 308 метка [label] 423

метка типа [type tag] 146, 151, 459п

двухуровневая 165 мечтать не вредно [wishful thinking]

71, 126

микросхема для Scheme [Scheme chip]

469, 470

«Микрошафт» (Microshaft) 377 Миллер, Гэри Л. [Gary L. Miller] 47

(упр. 1.28)

Миллер, Джеймс С. [James S. Miller]

503п

Миллера-Рабина тест [Miller-Rabin

test] 47 (упр. 1.28)

Милнер, Робин [Robin Milner] 301п Минский, Марвин [Marvin Minsky] xi, 464п

мировая линия частицы [world line of

a particle] 272п, 305п многочлен(ы) [polynomial(s)] 174 вычисление по схеме Горнера 101

(упр. 2.34)

иерархия типов 181 каноническая форма 181 от одной переменной 174 плотный [dense] 178 разреженный [sparse] 178 множество [set] 130

база данных как множество 138 операции 130 перестановки 105 подмножество 96 (упр. 2.32) представленное в виде бинарного

дерева 134 представленное в виде

неупорядоченного списка 131 представленное в виде

упорядоченного списка 132 множитель целости [integerizing

factor] 184

мобиль [mobile] 94 (упр. 2.29) модели вычисления [models of

evaluation] 480 моделирование [modeling] в науке и технике 13 как стратегия разработки 187 моделирование методом Монте-Карло [Monte Carlo simulation] 195 формулировка в терминах потоков

302

модель вычисления с окружениями [environment model of evaluation]

188, 203

внутреннее состояние 210

внутренние определения 214

и метациклический интерпретатор

310

и хвостовая рекурсия 210п передача сообщений 216 (упр. 3.11) правила вычисления 204 пример применения процедуры 207 структура окружений 203

модуль [absolute value] 14

модульность 100, 187

границы модулей, проведенные по

границам объектов 306п и потоки 287 принцип сокрытия 191п функциональных программ vs.

объектов 302 через бесконечные потоки 303 через диспетчеризацию по типу 154 через моделирование объектов 194

момент времени [moment in time] 256

Монте-Карло, интегрирование

методом [Monte Carlo integration]

197 (упр. 3.5)

формулировка в терминах потоков

303 (упр. 3.82)

Морзе азбука см. азбука Морзе Моррис, Дж. Г. [J. H. Morris] 201п Мун, Дэвид А. [David A. Moon] 3п,

464а

Мунро, Иан [Ian Munro] 101а мусор [garbage] 463 мутатор [mutator] 217 мьютекс [mutex] 267

наименьших обязательств принцип [principle of least commitment]

150

надтип [supertype] 169

несколько надтипов 170 наибольший общий делитель [greatest

common divisor] 40, см. также

gcd

для многочленов 182 используемый в арифметике рациональных чисел 74 используемый для оценки п 195 обобщенный 183 (упр. 2.94) накопитель [accumulator] 97, 193

(упр. 3.1)

накопление [accumulation] 51

(упр. 1.32)

по дереву 8 невычислимость [noncomputability]

331а

недетерминизм в поведении

параллельных программ 260а,

306а

недетерминистские вычисления

[nondeterministic computing] 309 недетерминистские программы [nondeterministic programs] логические загадки 357 пары чисел с простой суммой 352 Пифагоровы тройки 357 (упр. 4.35),

357 (упр. 4.36), 357 (упр. 4.37)

синтаксический анализ

естественного языка 360 недетерминистский интерпретатор [nondeterministic evaluator] 364 порядок вычисления операндов 363

(упр. 4.46)

недетерминистское вычисление

[nondeterministic computing] 352

недетерминистское программирование vs. программирование на Scheme [nondeterministic programming vs. Scheme programming] 352,

359 (упр. 4.41), 360 (упр. 4.44), 417 (упр. 4.78)

неопределенные значения [unspecified values] define 7га display 73га if без альтернативы 245а newline 73а set! 190га set-car! 218а set-cdr! 218а

неподвижная точка [fixed point, of a function] 58 в методе Ньютона 62 вычисление с помощью

калькулятора 58а золотое сечение 59 (упр. 1.35) и унификация 408а как пошаговое улучшение 66

(упр. 1.46)

квадратный корень 58, 61, 63 корень n-ной степени 66 (упр. 1.45) корень четвертой степени 66

(упр. 1.45)

кубический корень 62 трансформации некоторой функции

63

функции косинус 58 несвязанная переменная [unbound

variable] 203

нестрогая процедура [non-strict

procedure] 342 неудача, в недетерминистских

вычислениях vs. ошибка 368 и поиск 355 неудача, в недетерминистском

вычислении [failure in

nondeterministic computation] 354 НОД см. наибольший общий

делитель номер кадра [frame number] 516 нормальный порядок вычислений

[normal-order evaluation] 14, 309

if 18 (упр. 1.5)

vs. аппликативный порядок 17

(упр. 1.5), 42 (упр. 1.20), 341

в вычислителе с явным

управлением 480 (упр. 5.25)

и задержанные вычисления 301 нотация в настоящей книге [notation in this book] курсив в синтаксисе выражений 10га наклонный шрифт для ответов интерпретатора 5га нужные регистры [needed registers]

491

Ньютона метод [Newthons method]

62

vs. метод половинного деления 62а для дифференцируемых функций 62 для квадратных корней 19, 63, 64 для кубических корней 21 (упр. 1.8)

область действия переменной [scope of a variable] 24, см. также лексическая сфера действия в let 55

внутренняя define 331 формальные параметры процедуры

24

обмассив [obarray] 460 обобщенные арифметические операции [generic arithmetic operations] 162 структура системы 162 обобщенные операции [generic

operations] 70 обобщенные процедуры [generic procedures] 142, 146 обобщенный селектор 152, 154 обработка ошибок [error handling] в вычислителе с явным управлением 481, 485

(упр. 5.30)

в скомпилированном коде 521 а обработка потоков [stream processing]

14а

обработка сигналов [signal processing] переход сигнала через ноль 295

(упр. 3.74), 296 (упр. 3.75), 296 (упр. 3.76)

потоковая модель 294 сглаживание сигнала 296

(упр. 3.75), 296 (упр. 3.76)

сглаживание функции 65

(упр. 1.44)

образец [pattern] 379

обратная кавычка [backquote] 493а объект(ы) [object(s)] 187 преимущества введения в

моделирование 194 с состоянием, меняющимся во времени 189 объектная программа [object program]

486

объектно-ориентированные языки программирования [object-oriented programming languages] 172а обычные числа [ordinary numbers] в обобщенной арифметической системе 162 ограничения [constraints] распространение 246 элементарные 246 окружение [environment] 7, 203 в интерпретаторе запросов 418

(упр. 4.79)

времени компиляции см. окружение

времени компиляции глобальное [global] 203, см.

глобальное окружение и лексическая сфера действия 25 и переименование 418 (упр. 4.79) как контекст для вычисления 9 объемлющее [enclosing] 203 окружение времени компиляции [compile-time environment] 516,

517 (упр. 5.40), 517 (упр. 5.41)

и явное кодирование 518 (упр. 5.44) операнды комбинации [operands of a

combination] 5 оператор комбинации 5

в виде lambda-выражения 53 в виде составного выражения 17

(упр. 1.4)

как комбинация 61а оператор присваивания [assignment operator] 188, см. также set! операция [operation]

в регистровой машине 420

обобщенные 70

со смешанными типами 166 определение процедуры [procedure

definition] 10 определения см. define; внутренние