[ 目次, 前節,
次節, 索引 ]
索引
!, 名前の
"(二重引用符)
#f
#t
'(一重引用符)
readと [2]
*(基本乗算手続き)
+(基本加算手続き)
,(カンマ, バッククォートと使う)
-(基本減算手続き)
符号反転
/(基本除算手続き)
;, セミコロンを見よ
<(基本数値比較述語)
=(基本数値等価述語)
=number?
=zero?(汎用)
多項式の
>(基本数値比較述語)
>= [2]
?, 述語名の
`(バッククォート)
数学関数の記法
λ算法
π
Cesàroの近似 [2]
Leibnizの級数 [2]
Monte Carlo積分による近似 [2]
Wallisの公式
近似のストリーム
区間二分法による近似
Σ 総和記号
θ (f(n)) (f(n)の増加の程度)
Abelson, Harold
abs [2] [3]
accelerated-sequence
accumulate [2]
fold-rightと同じ
accumulate-n
Áchárya, Bháscara
Ackermann関数
actual-value
Ada
再帰的手続き
Adams, Norman I., IV
add(汎用)
多項式係数に使う [2]
add-action! [2]
add-binding-to-frame!
add-complex
add-complex-to-schemenum
add-interval
add-lists
add-poly
add-rat
add-rule-or-assertion!
add-streams
add-terms
add-to-agenda! [2]
add-vect
addend
adder(基本制約)
Adelman, Leonard
adjoin-arg
adjoin-set
重みつき集合
順序づけられたリストでの表現
順序づけられないリストでの表現
二進木として表現
adjoin-term [2]
advance-pc
after-delay [2]
A'h-mose
Algol
合成オブジェクト扱いの弱さ
サンク [2]
名前呼び引数渡し [2]
ブロック構造
all-regs(翻訳系)
Allen, John
always-true
amb
amb評価器, 非決定性評価器を見よ
ambeval
an-element-of
an-integer-starting-from
analyze
超循環
非決定性
analyze-...
超循環 [2]
非決定性
analyze-amb
and(特殊形式)
特殊形式であるわけ
の評価
部分式がない場合
and(質問言語)
の評価 [2] [3]
angle
極座標系
タグつきデータ
直交座標系
データ主導
angle-polar
angle-rectangular
announce-output
APL
Appel, Andrew W.
append [2] [3]
append!と
アキュムレーションとして
whathow
任意個の引数を持つ
レジスタ計算機として
append!
レジスタ計算機として
append-instruction-sequences [2]
append-to-form(規則)
application?
apply(基本手続き)
apply(遅延)
apply(超循環)
基本手続きapplyと
apply-dispatch
翻訳コート用に修正
apply-generic
型の塔での
強制型変換による [2]
高める強制型変換による
単純化の強制型変換による
複数の引数の強制型変換
メッセージパッシング
apply-primitive-procedure [2] [3]
apply-rules
arglレジスタ
AristotleのDe caelo (Buridanの注釈)
articles
ASCIIコード
assemble [2]
assert!(質問解釈系)
assign(レジスタ計算機)
ラベルをレジスタに格納
assign(レジスタ計算機の)
シミュレーション
assign-reg-name
assign-value-exp
assignment-value
assignment-variable
assignment?
assoc
atan(基本手続き)
attach-tag
Schemeデータ型を使った
augend
average
average-damp
averager(制約)
B木
Backus, John
Baker, Henry G., Jr.
Barth, John
Basic
合成オブジェクト扱いの弱さ
合成データの制限
Batali, John Dean
begin(特殊形式)
condの帰結部と手続き本体で暗黙
begin-actions
begin?
below [2]
Bertrandの仮説
beside [2]
Bolt Beranek and Newman Inc.
Borning, Alan
Borodin, Alan
branch(レジスタ計算機)
シミュレーション
branch-dest
Buridan, Jean
C
で書いたScheme解釈系 [2]
へのSchemeの翻訳
エラーの扱い [2]
合成データの制限
再帰的手続き
ca...r
cadr
call-each
car(基本手続き)
の公理
の手続き実装 [2] [3] [4] [5]
名前の起こり
のベクタ実装
リスト演算としての
carとcdrの入れ子作用
Carmichael数 [2]
cd...r
cdr(基本手続き)
の公理
の手続き実装 [2] [3] [4] [5]
名前の起こり
のベクタ実装
リスト演算としての
cdrダウン, リストの
celsius-fahrenheit-converter
式主導
center
cesaro-stream
cesaro-test
Cesàro, Ernesto
Chaitin, Gregory
Chandah-sutra
Chapman, David
Charniak, Eugene
Chebyshev, Pafnutii L'vovich
Chu Shih-chieh
Church数
Church, Alonzo [2]
Church-Turing thesis
Clark, Keith L.
Clinger, William [2]
coeff [2]
Colmerauer, Alain
Common Lisp
nilの扱い
compile
compile-and-go [2]
compile-and-run
compile-application
compile-assignment
compile-definition
compile-if
compile-lambda
compile-linkage
compile-proc-appl
compile-procedure-call
compile-quoted
compile-self-evaluating
compile-sequence
compile-variable
compiled-apply
compiled-procedure-entry
compiled-procedure-env
compiled-procedure?
complexパッケージ
complex->complex
compound-apply
compound-procedure?
cond(特殊形式)
ifと
帰結部で暗黙のbegin
節
節の追加構文
の評価
condの節
cond->if
cond-actions
cond-clauses
cond-else-clause?
cond-predicate
cond?
conjoin
connect [2]
Conniver
cons(基本手続き)
の公理
の手続き実装 [2] [3] [4] [5] [6]
名前の意味
の閉包性
変更子で実装
のベクタ実装
リスト演算としての
consアップ, リストの
cons-stream(特殊形式)
遅延評価と
特殊形式であるわけ
const(レジスタ計算機)
の構文
シミュレーション
constant(基本制約)
constant-exp
constant-exp-value
construct-arglist
contents
Schemeデータ型を使った
continueレジスタ
再帰と
積極制御評価器の
Cormen, Thomas H.
corner-split
cos(基本手続き)
count-change
count-leaves [2]
アキュムレーションとして
レジスタ計算機として
count-pairs
Cressey, David
cube [2] [3]
cube-root
current-time [2]
Darlington, John
decode
deep-reverse
define(特殊形式)
lambdaと
の値
の環境モデル
構文シュガー
手続きのための [2]
特殊形式であるわけ
ドット末尾記法の
内部, 内部定義を見よ
define-variable! [2]
definition-value
definition-variable
definition?
deKleer, Johan [2]
delay(特殊形式)
lambdaを使った実装
積極的と自動的
遅延評価と
特殊形式であるわけ
メモ化 [2]
積極的
delay-it
delete-queue! [2]
denom [2]
既約への簡約
公理
deposit, 外部の直列変換器を使った
deposit銀行口座のメッセージ
deriv(記号の)
データ主導
deriv(数値的)
Dijkstra, Edsger Wybe
Dinesman, Howard P.
Diophantus's Arithmetic, Fermatのコピー
disjoin
display(基本手続き) [2]
display-line
display-stream
distinct?
div(汎用)
div-complex
div-interval
零による除算
div-poly
div-rat
div-series
div-terms
divides?
divisible?
DOS/Windows
dot-product
Doyle, Jon
draw-line
driver-loop
遅延評価器の
超循環評価器のための
非決定性評価器のための
e
微分方程式の解として
連分数としての
exのべき級数
edge1-frame
edge2-frame
EIEIO
element-of-set?
順序づけられたリストでの表現
順序づけられないリストでの表現
二進木として表現
else(condの特別な記号)
empty-agenda? [2]
empty-arglist
empty-instruction-sequence
empty-queue? [2]
empty-termlist? [2]
enclosing-environment
encode
end-segment [2]
end-with-linkage
entry
enumerate-interval
enumerate-tree
envレジスタ
eq?(基本手続き)
記号の実装
数値的等価と
任意のオブジェクトの
ポインタの等価性 [2]
equ?(汎用述語)
equal-rat?
equal?
Eratosthenes
Eratosthenesの篩
sieve
error(基本手続き)
Escher, Maurits Cornelis
estimate-integral
estimate-pi [2]
Euclid環
Euclid環の測度
Euclidのアルゴリズム [2] , 最大公約数も見よ
増加の程度
多項式の
EuclidのElements
Euler, Leonhard
Fermatの小定理の証明
級数の加速
euler-transform
ev-application
ev-assignment
ev-begin
ev-definition
ev-if
ev-lambda
ev-quoted
ev-self-eval
ev-sequence
末尾再帰の
末尾再帰なし
ev-variable
eval(基本手続き)
MIT Scheme
質問解釈系で使う
eval(遅延)
eval(超循環) [2]
解析版
基本手続きevalと
データ主導
eval-assignment
eval-definition
eval-dispatch
eval-if(遅延)
eval-if(超循環)
eval-sequence
even-fibs [2]
even?
exchange
execute
execute-application
超循環
非決定性
expレジスタ
expand-clauses
expmod [2] [3]
expt
線形再帰版
線形反復版
のレジスタ計算機
extend-environment [2]
extend-if-consistent
extend-if-possible
external-entry
extract-labels [2]
#f
factorial
高階手続きと使う
スタック利用, 解釈される [2]
スタック利用, 翻訳した
スタック利用, レジスタ計算機
線形再帰版
線形反復版
代入つき
抽象機械のための
評価の環境モデル
の翻訳
のレジスタ計算機(再帰的)
のレジスタ計算機(反復的) [2]
false
false?
fast-expt
fast-prime?
Feeley, Marc
Feigenbaum, Edward
Fenichel, Robert
Fermat, Pierre de
Fermatの小定理
証明
別形
fermat-test
fetch-assertions
fetch-rules
fib
木構造再帰版 [2]
スタック利用, 解釈される
スタック利用, 翻訳した
線形反復版
対数版
名前つきlet
メモ化した
のレジスタ計算機(木構造再帰)
Fibonacci数 , fibも見よ
EuclidのGCDアルゴリズムと
の無限ストリーム, fibsを見よ
fibs(無限ストリーム)
暗黙の定義
FIFOバッファ
filter
filtered-accumulate
find-assertions
find-divisor
first-agenda-item [2]
first-exp
first-frame
first-operand
first-segment
first-term [2]
fixed-point
反復改良として
fixed-point-of-transform
flagレジスタ
flatmap
flatten-stream
flip-horiz [2]
flip-vert [2]
flipped-pairs [2] [3]
Floyd, Robert
fold-left
fold-right
for-each [2]
for-each-except
Forbus, Kenneth D.
force [2]
サンクの強制と
force-it
メモ化版
forget-value! [2]
Fortran [2]
合成データの制限
発明者
frame-coord-map
frame-values
frame-variables
Franz Lisp
freeレジスタ [2]
Friedman, Daniel P. [2]
fringe
木構造の数え上げとしての
front-ptr
front-queue [2]
Gabriel, Richard P.
GCD, 最大公約数を見よ
gcd
のレジスタ計算機 [2]
gcd-terms
generate-huffman-tree
get [2]
get-contents
get-global-environment
get-register
get-register-contents [2]
get-signal [2]
get-value [2]
Goguen, Joseph
Gordon, Michael
goto(レジスタ計算機)
行き先としてのラベル
シミュレーション
goto-dest
Gray, Jim
Green, Cordell
Griss, Martin Lewis
Guttag, John Vogel
half-interval-method
Hamming, Richard Wesley [2]
Hanson, Christopher P. [2]
Hardy, Godfrey Harold [2]
has-value? [2]
Hassle
Havender, J.
Haynes, Christopher T.
Hearn, Anthony C.
Henderson, Peter [2] [3]
Henderson図
Heraclitus
Heron of Alexandria
Hewitt, Carl Eddie [2] [3] [4]
Hilfinger, Paul
Hoare, Charles Antony Richard
Hodges, Andrew
Hofstadter, Douglas R.
Horner, W. G.
Hornerの方法
Huffman符号
最適性
符号化の増加の程度
Huffman, David
Hughes, R. J. M.
IBM 704
identity
if(特殊形式)
condと
の述語, 帰結部および代替部
の正規順序の評価
隻腕(代替部のない)
特殊形式であるわけ
の評価
if-alternative
if-consequent
if-predicate
if?
imag-part
極座標系
タグつきデータ
直交座標系
データ主導
imag-part-polar
imag-part-rectangular
inc
inform-about-no-value
inform-about-value
Ingerman, Peter
initialize-stackレジスタ計算機の演算 [2]
insert!
一次元の表での
二次元の表での
insert-queue! [2]
install-complex-package
install-polar-package
install-polynomial-package
install-rational-package
install-rectangular-package
install-scheme-number-package
instantiate
instruction-execution-proc
instruction-text
integers(無限ストリーム)
暗黙の定義
遅延リスト版
integers-starting-from
integral [2] [3]
lambdaを使う
遅延引数を使う
遅延評価の必要性
遅延リスト版
integrate-series
interleave
interleave-delayed
Interlisp
Internet "Worm"
intersection-set
順序づけられたリストでの表現
順序づけられないリストでの表現
二進木として表現
Jayaraman, Sundaresan
Kaldewaij, Anne
Karr, Alphonse
Kepler, Johannes
key
Khayyam, Omar
Knuth, Donald E. [2] [3] [4] [5] [6]
Kohlbecker, Eugene Edmund, Jr.
Kolmogorov, A. N.
Konopasek, Milos
Kowalski, Robert
KRC [2]
label(レジスタ計算機)
シミュレーション
label-exp
label-exp-label
Lagrange内挿公式
lambda式
組合せの演算子としての
の値
lambda(特殊形式)
defineと
ドットリスト記法の
lambda-body
lambda-parameters
lambda?
Lambert, J.H.
Lamé, Gabriel
Laméの定理
Lamport, Leslie
Lampson, Butler
Landin, Peter [2]
Lapalme, Guy
last-exp?
last-operand?
last-pair [2]
規則
leaf?
left-branch [2]
Leibniz, Baron Gottfried Wilhelm von
Fermatの小定理の証明
πの級数 [2]
Leiserson, Charles E. [2]
length
アキュムレーションとして
再帰版
反復版
let(特殊形式)
構文シュガーとして [2]
内部定義と
名前つき
評価モデル
変数の有効範囲
let*(特殊形式)
letrec(特殊形式)
lexical-address-lookup [2]
lexical-address-set! [2]
Lieberman, Henry
LIFOバッファ, スタックを見よ
Liskov, Barbara Huberman
Lisp
DEC PDP-1の
Fortranと
IBM 704上での最初の実装
Pascalと
LISt Processingのアクロニム
効率 [2]
での作用的順序の評価
の第一級手続き
独特の特徴
内部型システム
評価器記述のための安定性
の歴史
Lispの方言
Common Lisp
Franz Lisp
Interlisp
MacLisp
MDL
Portable Standard Lisp
Scheme
Zetalisp
lisp-value(質問解釈系)
lisp-value(質問言語) [2]
の評価 [2] [3]
list(基本手続き)
list->tree
list-difference
list-of-arg-values
list-of-delayed-args
list-of-values
list-ref [2]
list-union
lives-near(規則) [2]
Locke, John
log(基本手続き)
logical-not
lookup
一次元の表での
二次元の表での
レコードの集合の
lookup-label
lookup-prim
lookup-variable-value [2]
掃き出した定義の
lower-bound
Macintosh
MacLisp
magnitude
極座標系
タグつきデータ
直交座標系
データ主導
magnitude-polar
magnitude-rectangular
make-account
環境モデルの
直列化した [2] [3]
make-account-and-serializer
make-accumulator
make-agenda [2]
make-assign
make-begin
make-branch
make-center-percent
make-center-width
make-code-tree
make-compiled-procedure
make-complex-from-mag-ang
make-complex-from-real-imag
make-connector
make-cycle
make-decrementer
make-execution-procedure
make-frame [2] [3]
make-from-mag-ang [2]
極座標系
直交座標系
メッセージパッシング
make-from-mag-ang-polar
make-from-mag-ang-rectangular
make-from-real-imag [2]
極座標系
直交座標系
メッセージパッシング
make-from-real-imag-polar
make-from-real-imag-rectangular
make-goto
make-if
make-instruction
make-instruction-sequence
make-interval [2]
make-joint
make-label
make-label-entry
make-lambda
make-leaf
make-leaf-set
make-machine [2]
make-monitored
make-mutex
make-new-machine
make-operation-exp
make-perform
make-point
make-poly
make-polynomial
make-primitive-exp
make-procedure
make-product [2]
make-queue [2]
make-rat [2] [3]
公理
規約への簡約
make-rational
make-register
make-restore
make-save
make-scheme-number
make-segment [2]
make-serializer
make-simplified-withdraw [2]
make-stack
監視つきスタック
make-sum [2]
make-table
一次元の表
メッセージパッシング実装
make-tableau
make-term [2]
make-test
make-time-segment
make-tree
make-vect
make-wire [2] [3]
make-withdraw
letを使う
環境モデルの
map [2]
アキュムレーションとして
複数引数の
map-over-symbols
map-successive-pairs
matrix-*-matrix
matrix-*-vector
max(基本手続き)
McAllester, David Allen [2]
McCarthy, John [2] [3] [4]
McDermott, Drew
MDL
member
memo-fib
memo-proc
memoize
memq
merge
merge-weighted
MicroPlanner
midpoint-segment
Miller, Gary L.
Miller, James S.
Milner, Robin
min(基本手続き)
Minsky, Marvin Lee [2]
Miranda
MIT
初期の歴史
人工知能研究所
電子工学研究所 [2]
プロジェクトMAC
MIT Scheme
eval
random
user-initial-environment
without-interrupts
空ストリーム
数
内部定義
ML
modifies-register?
Monte Carloシミュレーション
ストリーム形式化
Monte Carlo積分
ストリーム形式化
monte-carlo
無限ストリーム
Moon, David A. [2]
Morris, J. H.
Morse符号
Mouse, Minnie and Mickey
mul(汎用)
多項式係数に使う
mul-complex
mul-interval
効率の良い版
mul-poly
mul-rat
mul-series
mul-streams
mul-terms
Multics時分割システム
multiple-dwelling
multiplicand
multiplier
基本制約
選択子
Munro, Ian
mystery
nを法とした
nを法とした剰余
nを法として合同
needs-register?
negate
newレジスタ
new-cars
レジスタ
new-cdrs
レジスタ
new-withdraw
newline(基本手続き) [2]
Newton法
区間二分法と
微分方程式のための
平方根の
平方根のための [2]
立方根のための
newton-transform
newtons-method
next(接続記述)
next-to(規則)
nil
空リストとしての
Schemeでの通常の変数としての
の破棄
リスト終りの印
no-more-exps?
no-operands?
not(基本手続き)
not(質問言語) [2]
の評価 [2] [3]
nouns
n乗根, 不動点として
null?(基本手続き)
型つきポインタの実装
number?(基本手続き)
型つきポインタの実装
データ型と
numer [2]
既約への簡約
公理
oldレジスタ
oldcrレジスタ
ones(無限ストリーム)
遅延リスト版
op(レジスタ計算機)
シミュレーション
operands
operation-exp?
operation-exp-op
operation-exp-operands
operator
or(特殊形式)
特殊形式であるわけ
の評価
部分式がない場合
or(質問言語)
の評価 [2]
order [2]
origin-frame
Ostrowski, A. M.
outranked-by(規則) [2]
P命令, セマフォの
pair?(基本手続き)
型つきポインタの実装
pairs
Pan, V. Y.
parallel-execute
parallel-instruction-sequences
parse
parse-...
partial-sums
Pascal
高階手続きの欠如
合成オブジェクト扱いの弱さ
合成データの制限
再帰的手続き
Pascal, Blaise
Pascal三角形
pattern-match
pcレジスタ
perform(レジスタ計算機)
シミュレーション
perform-action
Perlis, Alan J. [2]
警句 [2]
Phillips, Hubert
pi-stream
pi-sum
lambdaを使った
高階手続きと使う
Pingala, Áchárya
Pitman, Kent M.
Planner
polarパッケージ
polar?
polynomialパッケージ
pop
Portable Standard Lisp
PowerPC
prepositions
preserving [2] [3] [4]
prime-sum-pair
prime-sum-pairs
無限ストリーム
prime? [2]
primes(無限ストリーム)
暗黙の定義 [2]
primitive-apply
primitive-implementation
primitive-procedure-names
primitive-procedure-objects
primitive-procedure? [2]
print演算, レジスタ計算機の
print-point
print-queue
print-rat
print-result
監視つきスタック版
print-stack-statisticsレジスタ計算機の演算
probe
制約システムでの
ディジタル回路シミュレータの
procレジスタ
procedure-body
procedure-environment
procedure-parameters
product
アキュムレーションとして
product?
Prolog [2]
prompt-for-input string
propagate
push
put [2]
Pythagorean三つ組
ストリームを使う
非決定性プログラム [2] [3]
qeval [2]
queens
query-driver-loop
quote(特殊形式)
readと [2]
quoted?
quotient(基本手続き)
Rabin, Michael O.
Ramanujan数
Ramanujan, Srinivasa
rand
リセット
random(基本手続き)
MIT Scheme
代入が必要
random-in-range
random-numbers(無限ストリーム)
Raphael, Bertram
rationalパッケージ
Raymond, Eric [2]
RC回路
read(基本手続き)
ドット末尾記法の処理
マクロ文字
read演算, レジスタ計算機の
read-eval-print-loop
real-part
極座標系
タグつデータ
直交座標系
データ主導
real-part-polar
real-part-rectangular
rear-ptr
receive手続き
rectangularパッケージ
rectangular?
Rees, Jonathan A. [2]
reg(レジスタ計算機)
シミュレーション
register-exp
register-exp-reg
registers-modified
registers-needed
remainder(基本手続き)
remainder-terms
remove
remove-first-agenda-item! [2]
require
特殊形式として
rest-exps
rest-operands
rest-segments
rest-terms [2]
restore(レジスタ計算機) [2]
シミュレーション
実装
return(接続記述)
Reuter, Andreas
reverse
規則
フォールディングとして
Rhind Papyrus
right-branch [2]
right-split
Rivest, Ronald L. [2]
RLC回路
Robinson, J. A.
Rogers, William Barton
rootレジスタ
rotate90
round(基本手続き)
Rozas, Guillermo Juan
RSAアルゴリズム
Runkle, John Daniel
runtime(基本手続き)
same(規則)
same-variable? [2]
save(レジスタ計算機) [2]
シミュレーション
実装
scale-list [2] [3]
scale-stream
scale-tree [2]
scale-vect
scanレジスタ
scan-out-defines
Scheme
の歴史
Schemeチップ [2]
Schemeの集積回路実装 [2]
Schemeの積極制御評価器
エラーの扱い [2]
演算
機械語プログラムとして
基本手続き
駆動ループ
組合せ
計算機のモデル
合成手続き
最適化(追加)
式の並び
実行
条件式
スタックの利用
正規順序の評価
制御器
性能の監視(スタックの利用)
定義
手続き作用
データパス
特殊形式(追加) [2]
導出された式
万能計算機として
被演算子評価
評価する部分式のない式
翻訳コート用に修正
末尾再帰 [2] [3]
レジスタ
Schemeの翻訳系 , コード生成器; 翻訳時環境; 命令列; 接続記述; 標的レジスタも見よ
lambda式
解釈系とのインターフェース
解析評価器と [2]
基本手続きのオープンコード [2]
クォート式
組合せ
計算機命令の利用
コード生成, compile-...を見よ
の構造
効率
式構文手続き
式の並び
自己評価式
条件式
スタックの利用 [2] [3]
生成された末尾再帰的コード
性能の監視(スタックの利用), 翻訳コードの [2] [3]
積極制御評価器と [2] [3]
接続コード
代入
定義
手続き作用
内部定義の掃き出し [2]
被演算子評価の順
文面アドレス
変数
翻訳コードの実行
翻訳の例
ラベル生成
レジスタの利用 [2] [3]
Schemeのチップ実装 [2]
Schemeの超循環評価器
evalとapply
evalとapplyの輪 [2]
trueとfalse
解析版
環境演算
環境の表現
記号微分と
基本手続き
駆動ループ
組合せ(手続き作用)
の高階手続き
の効率
式の表現 [2]
仕事
真と偽の表現
大域環境
手続きの表現
データ主導eval
のデータ抽象 [2] [3] [4]
特殊形式(追加) [2] [3] [4] [5] [6]
導出された式
導出された式としての特殊形式
走らせる
被演算子評価の順
被実装言語と実装言語
評価される言語の構文 [2] [3]
評価の環境モデル
の翻訳 [2]
末尾再帰は規定しない
scheme-numberパッケージ
scheme-number->complex
scheme-number->scheme-number
Schmidt, Eric
search
segment-queue
segment-time
segments
segments->painter
self-evaluating?
sequence->exp
serialized-exchange
デッドロック回避での
set!, 代入を見よ
set!(特殊形式)
の値
の環境モデル
set-car!(基本手続き)
の値
の手続き実装
のベクタ実装
set-cdr!(基本手続き)
の値
の手続き実装
のベクタ実装
set-contents!
set-current-time!
set-front-ptr!
set-instruction-execution-proc!
set-rear-ptr!
set-register-contents! [2]
set-segments!
set-signal! [2]
set-value! [2]
set-variable-value! [2]
setup-environment
Shamir, Adi
shrink-to-upper-right
Shrobe, Howard E.
signal-error
simple-query
sin(基本手続き)
singleton-stream
SKETCHPAD
smallest-divisor
効率のよい版
Smalltalk
Solomonoff, Ray
solve微分方程式 [2]
遅延リスト版
掃き出した定義の
Spafford, Eugene H.
split
sqrt
Newton法として [2]
環境モデルの
ストリームの極限として
反復改良として
不動点として [2] [3] [4]
ブロック構造の
のレジスタ計算機
sqrt-stream
square
環境モデルでの
square-limit [2]
square-of-four
squarer(制約) [2]
squash-inwards
stack-inst-reg-name
Stallman, Richard M. [2]
startレジスタ計算機 [2]
start-eceval
start-segment [2]
statements
Steele, Guy Lewis Jr. [2] [3] [4] [5] [6]
Stoy, Joseph E. [2] [3]
Strachey, Christopher
stream-append
stream-append-delayed
stream-car [2]
stream-cdr [2]
stream-enumerate-interval
stream-filter
stream-flatmap [2]
stream-for-each
stream-limit
stream-map
多重引数の
stream-null?
MIT Schemeの
stream-ref
stream-withdraw
sub(汎用)
sub-complex
sub-interval
sub-rat
sub-vect
subsets(集合の)
sum
アキュムレーションとして
反復版
sum-cubes
高階手続きと使う
sum-integers
高階手続きと使う
sum-odd-squares [2]
sum-of-squares
環境モデルの
sum-primes [2]
sum?
Sussman, Gerald Jay [2] [3] [4] [5] [6] [7]
Sussman, Julie Esther Mazel, の姪たち
Sutherland, Ivan
symbol-leaf
symbol?(基本手続き)
型つきポインタの実装
データ型と
symbols
SYNC
#t
tack-on-instruction-sequence
tagged-list?
Teitelman, Warren
term-list
test(レジスタ計算機)
シミュレーション
test-and-set! [2]
の不可分実行の要請
test-condition
text-of-quotation
Thatcher, James W.
THEマルチプログラミングシステム
the-cars
ベクタ
レジスタ [2]
the-cdrs
ベクタ
レジスタ [2]
the-empty-environment
the-empty-stream
MIT Schemeの
the-empty-termlist [2]
the-global-environment [2]
timed-prime-test
TK!Solver
transform-painter
transpose, マトリックスの
tree->list...
tree-map
true
true?
try-again
Turing機械
Turing, Alan M. [2]
Turner, David [2] [3]
type-tag
Schemeデータ型を使った
unevレジスタ
unify-match
union-set
順序づけられたリストでの表現
順序づけられないリストでの表現
二進木として表現
unique(質問言語)
unique-pairs
UNIX [2]
unknown-expression-type
unknown-procedure-type
up-split
update-insts!
upper-bound
user-initial-environment(MIT Scheme)
user-print
翻訳したコード用に修正した
V命令, セマフォの
valレジスタ
value-proc
variable
variable? [2]
vector-ref(基本手続き)
vector-set!(基本手続き)
verbs
Wadler, Philip
Wadsworth, Christopher
Wagner, Eric G.
Walker, Francis Amasa
Wallis, John
Wand, Mitchell [2]
Waters, Richard C.
weight
weight-leaf
Weyl, Hermann
wheel(規則) [2]
width
Wilde, Oscar (Perlisのパロディ)
Wiles, Andrew
Winograd, Terry
Winston, Patrick Henry [2]
Wisdom, Jack
Wise, David S.
withdraw
並列システムの問題
without-interrupts
Wright, E. M.
Wright, Jesse B.
xcor-vect
Xerox Palo Alto研究所 [2]
Y演算子
ycor-vect
Yochelson, Jerome C.
Zabih, Ramin
Zetalisp
Zilles, Stephen N.
Zippel, Richard E.
アービタ
アイントホーフェン工科大学
アキュムレータ [2]
明の明星, 宵の明星を見よ
アセンブラ [2]
値
組合せの
式の , 規定しない値も見よ
頭つきリスト [2]
アドレス
アドレス演算
アナログ計算機
アルゴリズム
確率的 [2]
最適
暗号
アンドゲート
and-gate
「いかにして」と「何である」記述, 命令的知識と宣言的知識を見よ
意識の拡大
依存主導バックトラック
一元多項式
移転先アドレス
犬の行動, 完全に合理的な
入れ子の組合せ
入れ子の写像, 写像を見よ
入れ子の定義, 内部定義を見よ
印字の基本手続き
インターン, 記号の
インバータ
inverter
隠蔽原理
引用
自然言語での
文字列の
引用符, 一重と二重
薄い多項式
打ち切り誤差
宇宙線
埋込み言語を使った言語の設計
エイトクィーンパズル
枝
木の
エディンバラ大学
エブリス末尾再帰
エラーの扱い
積極制御評価器の [2]
翻訳コードの
演算
異る型の
汎用
レジスタ計算機の
演算対型の表
実装
代入が必要
オートマジカリー
オアゲート
or-gate [2]
黄金比
不動点としての
連分数としての
お金の両替, 両替の計算を見よ
オブアレイ
オブジェクト
時間変化する状態の
モデル化の利点
オブジェクト指向プログラム言語
解釈系 , 1, 評価器を見よ
翻訳系と [2]
読込み-評価-印字ループ
階乗 , factorialも見よ
letrecを使う
letrecもdefineも使わない
無限ストリーム
解析評価器
let
非決定性評価器の基礎
回線, ディジタル回路の
階層的データ構造 [2]
回路
ストリームによるモデル [2]
ディジタル, ディジタル回路シミュレーションを見よ
拡散のシミュレーション
拡大型
複数
確率的アルゴリズム [2] [3]
加算器
繰上り伝播
全
半
数え上げ
型
の階層構造
拡大型
記号代数の階層構造
異る型の演算
下げる [2]
高める [2]
の塔
複数の部分型と拡大型
による振分け
部分型
型推論機構
型タグ [2]
二レベルの
型つきポインタ
型の階層構造
記号代数における
の不適切さ
型の塔
型フィールド
かっこ
cond節を区切る
組合せ区切り
手続き定義での
カプセル化した名前
可変長符号
可変データオブジェクト , キュー; 表も見よ
共有データ
代入で実装
対
の手続き表現
リスト構造
加法性 [2] [3] [4]
仮パラメタ
の名前
の有効範囲
カリフォルニア大学バークレイ校
環境 [2]
質問解釈系の
静的有効範囲と
外側の
大域的, 大域的環境を見よ
名前つけ換えと
評価の文脈としての
翻訳時, 翻訳時環境を見よ
関係を使った計算 [2]
関数(数学的)
Ackermann
の繰返し作用
の合成
手続きと
の記法
の微分
の不動点
平滑化
有理
関数型プログラミング [2]
関数型プログラム言語
時と
並列性と
関数の合成
関数の微分
関数の平滑化
感嘆符, 名前の
カンマ, バッククォートと使う
簡約, 代数式の
頑健
記憶
リスト構造の
記憶装置
1964年の
記憶場所
機械語
高水準言語と
帰結式
cond節の
ifの
木構造
B木
Huffman
各段での逆順
として見た組合せ
上での写像
遅延
対としての表現
二進 , 二進木も見よ
の葉の数え上げ
の葉の計算
の縁
レッドブラック木
木構造再帰
木構造再帰的プロセス
増加の程度
木構造のため込み
記号
の一意性
インターン
の引用
の等価
の表現
記号式 , 記号も見よ
記号代数
記号微分 [2]
規則(質問言語)
作用 [2] [3]
本体なし [2] [3]
規則的探索
規定しない値
define
set!
set-car!
set-cdr!
代替部のないif
機能箱, ディジタル回路の
木の終端の節点
木の節
基本式
基本手続きの名前
数
の評価
変数の名前
基本質問, 単純質問を見よ
基本制約
基本手続き (nsはIEEE Scheme標準にはない)
*
+
- [2]
/
<
=
>
apply
atan
car
cdr
cons
cos
display
eq?
error (ns)
eval (ns)
list
log
max
min
newline
not
null?
number?
pair?
quotient
random (ns) [2]
read
remainder
round
runtime (ns)
set-car!
set-cdr!
sin
symbol?
vector-ref
vector-set!
基本手続きのオープンコード [2]
希望的思考 [2]
キャッシュコヒーレンスプロトコル
既約への簡約 [2]
キュー
double-ended
上の演算
の後尾
シミュレーションの次第書き
の先頭
の手続き実装
級数の和
近似の列の加速
ストリームの
強制型変換
多項式算術演算の
代数操作での
手続き
表
共有資源
共有状態
共有データ
局所状態
フレームに保持する
局所状態変数
局所変数
局所名 [2]
金星
偽
疑似乱数列
疑問符, 述語名の
逆正接関数 atan
銀行口座 [2]
共同 [2]
共同, ストリームでモデル化した
共同, 並列アクセス
口座の振替
ストリームモデル
直列化版
パスワード保護
空ストリーム
空リスト
null?で見つける
'()による表記
クォート
Lispデータオブジェクトの
区間算術演算
区間二分法 [2]
Newton法と
区間の幅
駆動ループ
質問解釈系の
積極制御評価器の
遅延評価器の
の超循環評価器での
非決定性評価器 [2]
組合せ
の演算子としてのlambda式
の演算子としての組合せ
の演算子としての合成式
木としての
の評価
組合せの演算子
としてのlambda式
としての組合せ
としての合成式
組合せの被演算子
組合せ法 , 閉包も見よ
繰上り伝播加算器
クレジットカード口座, 国際
具体的データ表現
グラフィックス, 図形言語を見よ
計算
非決定性評価器の, 失敗継続; 成功継続を見よ
計算可能性 [2]
計算機科学 [2]
数学と [2]
計算出来ない
計算プロセス , プロセスも見よ
計算を信号処理と見る
継続
非決定性評価器 [2]
レジスタ計算機のシミュレータの
言語, 自然言語; プログラム言語を見よ
言語の移植
言語の第一級要素
現在時刻, シミュレーションの次第書きの
原始言語
原始プログラム
コード
ASCII
コード生成器
の値
の引数
濃い多項式
高階手続き
値としての手続き
一般的方法としての手続き
超循環評価器の
強い型づけと
引数としての手続き
工学と数学
講義の最中にやること
高水準言語, 機械語と
構成子
抽象の壁の
公認インターフェース
としての並び
構文, 特殊形式を見よ
抽象, 抽象構文を見よ
構文インターフェース
構文解析, 実行と分離した
超循環評価器での
レジスタ計算機のシミュレータの [2]
構文規則
式の記述
プログラム言語の
構文シュガー
define
としてのlet
としての手続きとデータ
ループ構造
効率, 増加の程度を見よ
Lispの
木構造再帰の
質問処理の
データベースアクセスの
評価器の
翻訳の
固定長符号
異る型の演算
コネクタ, 制約システムでの
上の演算
表現
合成式 , 組合せ; 特殊形式も見よ
組合せの演算子としての
合成質問
処理 [2] [3] [4] [5]
合成質問を満足する
合成手続き , 手続きも見よ
基本手続きと同様に使う
合成データ, 必要性
語頭符号
ごみ集め
ストップアンドコピー
詰込み
変更と
マーク・スウィープ
末尾再帰と
メモ化と
再帰
木構造への演算
規則の
データ主導
複雑なプロセスを表現する
再帰的手続き
defineなしで規定
再帰的手続き定義
再帰的プロセスと.
再帰的プロセス
木構造 [2]
再帰的手続きと
線形 [2]
反復的プロセスと [2] [3] [4]
のレジスタ計算機
再帰方程式
再帰理論
最小責任の原則
最大公約数 , gcdも見よ
πの近似に使う
多項式の , 多項式算術演算を見よ
汎用 , 汎用算術演算も見よ
有理数算術演算に使う
最低項まで引き下げ
最適性
Hornerの方法の
Huffman符号の
サブルーチン
レジスタ計算機の
作用的順序の評価
Lispにおける
正規順序と
正規順序の評価と [2]
三角法の関係
サンク
強制
の実装
名前の起源
名前呼び
必要呼び
参照透明性
算術演算
アドレス演算
区間
多項式の
汎用
複素数の
べき級数の [2]
有理数の
算術式
基本手続き
三段論法
式, 合成式; 基本式を見よ
記号 , 記号も見よ
自己評価
代数, 代数式を見よ
式主導と命令型プログラミング
式の並び
condの帰結部における
手続き本体における
式を入力する
指数的増加
木構造再帰によるFibonacci数の計算
自然言語
での引用
構文解析, 自然言語の構文解析を見よ
自然言語の構文解析
実言語理解とままごと解析器
次第書き, ディジタル回路シミュレーションを見よ
失敗継続(非決定性評価器) [2]
ambが構成した
駆動ループで構成
代入が構成
失敗, 非決定性計算での
探索と
虫と
質問 , 単純質問; 合成質問も見よ
質問解釈系
Lisp解釈系と [2] [3]
notとlisp-valueの問題 [2]
の改良 [2] [3]
の環境構造
概説
規則, 規則を見よ
規則や表明の追加
駆動ループ [2]
具体化
合成質問, 合成質問を見よ
質問言語の構文
質問評価器 [2]
ストリーム演算
単純質問, 単純質問を見よ
データベース
パターン変数の表現 [2]
パターンマッチング [2]
フレーム [2]
フレームのストリーム [2]
無限ループ [2]
ユニフィケーション [2]
質問言語 [2]
の拡張 [2]
規則, 規則を見よ
合成質問, 合成質問を見よ
数理論理と
単純質問, 単純質問を見よ
での抽象
データベース
の等価性テスト
論理的推論
失恋対
シミュレーション
Monte Carlo, Monte Carloシミュレーションを見よ
事象駆動
ディジタル回路の, ディジタル回路シミュレーションを見よ
レジスタ計算機の, シミュレータ, レジスタ計算機のを見よ
レジスタ計算機の性能の監視
シミュレータ, レジスタ計算機の
写像
入れ子 [2]
木構造上での
変換器としての
リスト上での
集合
上の演算
順序づけられたリストとして表現
順序づけられないリストとして表現
の順列
としてのデータベース
二進木として表現
の部分集合
集合の順列
permutations
修正されたレジスタ, 命令列を見よ
首尾一貫システム
真
信号処理
関数の平滑化
信号の平滑化 [2]
信号の零交差 [2] [3]
のストリームモデル
信号, ディジタル
信号流れ図 [2]
信号の平滑化 [2]
信号の零交差 [2] [3]
時間区分, 次第書きの
時間切片
時間的バックトラック
自己評価式
事象駆動シミュレーション
事象の順
並列システムの非決定性
見かけを実際と切り離す
実行手続き
解析評価器の
非決定性評価器 [2]
レジスタ計算機の
レジスタ計算機のシミュレータの
実数
実装依存, 規定しない値を見よ
数
部分式評価の順序
自動記憶割当て
自動探索 , 探索も見よ
の歴史
自分の言語, 計算機の
述語
cond節の
ifの
の命名法
準クォート
順次の平方化
順序づけられたリストとしての集合
順序づけられないリストとしての集合
自由変数
内部定義での
捕捉
自由変数の捕捉
条件式
cond
if
乗算
ロシア農民の
状態
共有
局所的, 局所状態を見よ
ストリーム形式化で消える
状態変数
局所
情報検索, データベースを見よ
上方互換
除算
整数
推論の方法
数
Lispでの
の小数点
実装依存
整数, 正確な
整数と実数
の等価
の等価性
汎用算術演算での
の比較
有理数
数学
計算機科学と [2]
工学と
数学関数, 関数(数学)を見よ
数値
の等価
数値解析
数値解析の専門家
数値積分のためのSimpsonの公式
数値データ
数の小数点
スタック
表現 [2]
フレーム
レジスタ計算機の再帰のための
スタック割当てと末尾再帰
ストップアンドコピーごみ集め
ストリーム [2]
暗黙の定義
空
質問解釈系で使う [2]
遅延評価と
遅延リストでの実装
遅延リストの実装
無限, 無限ストリームを見よ
ストリクト
スナーフ
スリップ
図形言語
正確な整数
正規順序の評価
ifの
作用的順序と
作用的順序の評価と [2]
積極制御評価器
遅延評価と
正規順序の評価器, 遅延評価器を見よ
制御器
レジスタ計算機の
制御構造
正弦関数 sin
微小角度の近似
べき級数
成功継続(非決定性評価器) [2]
清書系
整数
正確な
整数化因子
整数除算
整数論
正接関数 tan
のべき級数
連分数としての
成層設計
静的有効範囲
環境構造と
制約
の拡散
基本
制約ネットワーク
制約の拡散
積分, 定積分; Monte Carlo積分を見よ
のべき級数
積分器, 信号の
設計, 成層
節, condの
追加構文
接続記述
セマフォ
サイズnの
セミコロン
注釈の始まり
セミコロンの癌
セル, 直列変換器の実装
線形再帰的プロセス
増加の程度
線形の増加 [2]
線形反復的プロセス
増加の程度
宣言的知識と命令的知識 [2]
非決定性計算と
論理型プログラミングと [2]
選択子
抽象の壁の
汎用
線分
対としての表現
ベクタの対で表現した
絶対値
全加算器
full-adder
前置記法
中置き記法と
相互排除
相互排除器
相互排除器の解放
相互排除器の獲得
創世記
相対性理論
総和(Σ)記号
促進記号
質問解釈系
積極制御評価器
遅延評価器
超循環評価器
非決定性評価器
束縛
深い
束縛する
束縛変数
束縛を隠す
素数
Eratosthenesの篩
のMiller-Rabinテスト
暗号と
のテスト
の無限ストリーム, primesを見よ
素数が無限にあるEuclidの証明
素数性のFermatテスト
変形
素数性のMiller-Rabinテスト
外側の環境
増加の程度
木構造再帰プロセス
線形再帰的プロセス
線形反復的プロセス
対数的
大域環境 [2]
超循環評価器での
大域フレーム
対数 ln 2の近似
対数的増加 [2] [3]
タイミング図
太陽系の混沌システム
互いに素
タグアーキテクチャ
タグつきデータ [2]
多項式
Hornerの方法による評価
一元
薄い
型の階層構造
濃い
標準形
の不定元
多項式型
多項式算術演算
Euclidのアルゴリズム
GCDのための確率的アルゴリズム
加算
減算
最大公約数 [2]
乗算
除算
汎用算術演算とのインターフェース
有理関数
多項式の擬剰余
多項式の擬除算
多項式の項リスト
表現
タブロー
単位方形
探索
規則的
二進木の
深さ優先
単純質問
処理 [2] [3] [4]
代数, 記号的, 記号代数を見よ
代数式
の簡約
の表現
の微分
代替式
ifの
代入 , set!も見よ
の代価
にからんだ虫 [2]
の利点
代入演算子 , set!も見よ
チェス, エイトクィーンパズル [2]
遅延, ディジタル回路の
遅延演算
遅延オブジェクト
遅延木
遅延対
遅延引数
遅延評価 [2] [3]
印字と
ストリームと
正規順序の評価と
積極的と自動的
代入と
遅延評価器での
遅延評価器
遅延リスト
地球の周囲の長さ
抽象, 抽象の手段; データ抽象; 高階手続きを見よ
共通のパターンと
超言語的
手続きの
非決定性プログラミングの探索での
レジスタ計算機設計
抽象化法
抽象構文
質問解釈系の
超循環評価器での
抽象データ , データ抽象も見よ
抽象の壁 [2] [3]
汎用算術演算での
複素数システム
抽象の手段
define
超言語的抽象
超高水準言語
超循環評価器
長方形, 表現
直列変換器
実装
多重共有資源の
対
可変
木構造の表現に使う
の公理的定義
遅延
の手続き実装
の手続き表現 [2]
並びの表現に使う
の箱とポインタ記法
ベクタを使った表現
の無限ストリーム
通常の数(汎用算術演算での)
詰込みごみ集め
強い型づけ言語
釣合った二進木 , 二進木も見よ
釣合っているモービル
テーブル化 [2]
定義, define; 内部定義を見よ
抵抗
許容誤差
並列抵抗の値
並列抵抗の公式
停止問題 [2]
定数, レジスタ計算機で規定する
定積分
Monte Carloシミュレーションによる計算
Monte Carlo積分による近似
程度の記法
定理証明(自動)
手続き [2]
(defineで)名前をつける
defineによる生成
lambdaによる生成 [2] [3]
Listの第一級身分
値としての
一般的方法としての
仮パラメタ
仮パラメタの有効範囲
高階, 高階手続きを見よ
合成
数学的関数と
の定義
手続き本体で暗黙のbegin
データとしての
特殊形式と [2]
名なし
の名前
任意個数の引数 [2]
汎用 [2]
引数としての
複数の値を返す
ブラックボックスとしての
プロセスの局所的進化のパターン
の本体
メモ化
手続き作用
の置換えモデル, 手続き作用の置換えモデルを見よ
の環境モデル
組合せが表す
手続き作用の置換えモデル [2]
の不適切
プロセスの形
手続き抽象
手続きの実行
非決定性評価器での
手続きの本体
手続きのモニタ
点, 対としての表現
データ [2]
の意味
階層的 [2]
可変, 可変データオブジェクトを見よ
記号の
共有
の具体的表現
合成
数値
タグつき [2]
代数的仕様
抽象 , データ抽象も見よ
抽象モデル
の手続き表現
プログラムとしての
リスト構造の
データ型
Lispの
強い型づけ言語での
データ主導再帰
データ主導プログラミング [2]
質問解釈系の
超循環評価器での
場合分けと
データ抽象 [2] [3] [4] [5]
キューの
データの抽象モデル
データの手続き表現
可変データ
データの代数的仕様
データパス
レジスタ計算機の
データベース
アキナイ有限責任会社
インデキシング [2]
データ主導プログラミングと
マイクロシャフト人事
レコードの集合としての
論理型プログラミングと
データベースのインデキシング [2]
ディジタル回路シミュレーション
回線の表現
基本的機能箱
次第書き
次第書きの実装
シミュレーションの例
ディジタル信号
デキュー
デッドロック
回避
回復
電子回路, ストリームによるモデル [2]
電卓による不動点
等価性
記号の
参照透明性と
数の [2] [3]
汎用算術システムでの
リストの
透明性, 参照
時
関数型プログラミングと
代入と
通信と
非決定性計算での [2]
並列システム
の目的
sfns
and
begin
cond
cons-stream (ns)
define [2]
delay (ns)
if
lambda
let
let*
letrec
or
quote
set!
名前つきlet
特殊形式
手続きと [2]
必要性
評価器での導出された式として
トレース
命令実行の
レジスタ代入
同一と変化
の意味
共有データと
同期, 並列性を見よ
導出, Horn節
導出原理
ドット末尾記法
readと
質問言語規則の
質問パターンの
手続きパラメタのための [2]
内部定義
let と
の位置
環境モデルの
での自由変数
の制限
名前の有効範囲
掃き出し
非決定性評価器
内部定義の掃き出し
翻訳系の [2]
中置き記法, 前置記法と
「何である」と「いかにして」記述, 宣言的知識と命令的知識を見よ
名前, 局所名; 変数; 局所変数を見よ
カプセル化
仮パラメタの
計算オブジェクトの
手続きの [2]
名前つきlet(特殊形式)
名前呼び引数渡し [2]
並び
上の演算
公認インターフェースとしての
対による表現
部品化の資源としての
並び加速
二項係数
二進木
Huffman符号のための
として構造化した表
釣合った
として表現する集合
へのリストの変換
リストでの表現
リストへの変換
二進数の加算, 加算器を見よ
二分探索
入力の字下げ
ノンストリクト
ハードウェアが用意する不可分の演算
箱とポインタ記法
リスト終りの印
パターン変数
働き, レジスタ計算機の
半加算器
half-adder
のシミュレーション
反復改良
反復構造, ループ構造を見よ
超循環評価器で実装
反復的プロセス
アルゴリズムの設計
再帰的プロセスと [2] [3] [4]
ストリーム処理として
線形 [2]
手続き呼出しによる実装 [2] [3] , 末尾再帰も見よ
のレジスタ計算機
反復的プロセスの不変量
汎用演算
汎用計算機, 万能計算機として
汎用算術演算
システムの構造
汎用手続き [2]
汎用選択子
場合分け
総論 , condも見よ
データ主導プログラミングと
二つの場合 (if)
バッククォート
バックトラック , 非決定性計算も見よ
バリア同期
万能機械
万能計算機
としての積極制御評価器
としての汎用計算機
パイプライン
パスワード保護した銀行口座
パズル
エイトクィーンパズル [2]
論理パズル
パターン
パターンの具体化
パターン変数
の表現 [2]
パターンマッチング
実装
ユニフィケーションと [2]
パターンを満足する(単純質問)
パッケージ
Scheme数
極座標系
多項式
直交座標系
複素数
有理数
パラメタ, 仮パラメタを見よ
パラメタ渡し, 名前呼び引数渡し; 必要呼び引数渡しを見よ
被開平数
引数
遅延
任意個数の [2]
引数渡し, 名前呼び引数渡し; 必要呼び引数渡しを見よ
非決定性, 並列プログラムの振舞い
非決定性計算
非決定性評価器
被演算子評価の順
非決定性プログラミングとSchemeプログラミング [2] [3] [4]
非決定性プログラム
prime-sum-pair
Pythagorean三つ組 [2] [3]
自然言語の構文解析
論理パズル
非決定性, 並列プログラムの振舞いでの
非決定的な選択点
秘書の重要性
必要なレジスタ, 命令列を見よ
必要呼び引数渡し [2]
メモ化と
表
n次元
一次元
演算対型, 演算対型の表を見よ
キーの等価性のテスト
強制型変換の
局所的
計算した値を格納するのに使う
シミュレーションの次第書きに使う
の背骨
データ主導プログラミングのための
二進木と順序づけられないリストで実装
二次元
評価
andの
condの
ifの
orの
置換えモデル, 手続き作用での置換えモデルを見よ
の環境モデル, 評価の環境モデルを見よ
基本式の
組合せの
作用的順序, 作用的順序の評価を見よ
正規順序, 正規順序の評価を見よ
遅延, 遅延評価を見よ
特殊形式の
部分式の評価の順, 評価の順を見よ
のモデル
評価器 , 解釈系; 超循環評価器; 解析評価器; 遅延評価器; 非決定性評価器; 質問解釈系; 積極制御評価器も見よ
抽象的な機械として
超循環
万能機械として
評価器で導出された式
積極制御評価器へ追加
評価の環境モデル [2]
環境構造
局所状態
超循環評価器と
手続き作用の例
内部定義
評価の規則
末尾再帰と
メッセージパッシング
評価の順
Schemeでの
実装依存
積極制御評価器での
代入と
超循環評価器での
翻訳系の
評価のモデル
標準形, 多項式の
標的レジスタ
表明
暗黙の
ビジーウエイト
ビッグナム
微分
記号の [2]
規則 [2]
数値の
微分方程式 , solveも見よ
二階 [2]
ビューロクラシィ
フィードバックループ, ストリームでモデル化した
フィルタ [2]
深い束縛
深さ優先探索
副作用の虫
複数の値を返す
複素数
極座標系
タグつきデータとして表現
直交座標系
直交座標と極座標
複素数算術演算
システムの構造
汎用算術演算とのインターフェース
符号
Huffman, Huffman符号を見よ
Morse
可変長
固定長
語頭
不定元
不動点
Newton法の
としてのn乗根
黄金比
電卓による計算
としての平方根 [2] [3]
変換された関数
ユニフィケーションと
余弦関数の
としての四乗根
としての立方根
フリーリスト
振分け
型による , データ主導プログラミングを見よ
型による
異る流儀の比較
篩, Eratosthenesの
sieve
フレーム(環境モデル)
局所状態の入れ物
大域
フレーム(質問解釈系) , パターンマッチング; ユニフィケーションも見よ
表現
フレームスタック方式
フレーム(図形言語) [2]
座標写像
部品化 [2]
隠蔽原理
オブジェクトのモデル化による
オブジェクトの境界
型による振分け
関数型プログラムとオブジェクト
ストリームと
無限ストリームによる
部分型
複数
部分式の評価の順, 評価の順を見よ
ブラックボックス
ブレークポイント
ブロック構造 [2]
環境モデルの
質問言語の
ブロックしたプロセス
文, 命令列を見よ
分数, 有理数を見よ
文の生成
文法
文面アドレス
分離符号
プログラミング
関数型, 関数型プログラミングを見よ
データ主導, データ主導プログラミングを見よ
命令型
要求駆動
の要素
よくないスタイル
プログラム
一歩一歩の構成
の構造 [2] [3] , 抽象の壁も見よ
サブルーチンで構成した
の注釈
抽象的な機械として
としてのデータ
プログラムカウンタ
プログラム言語
オブジェクト指向
関数型
の設計
超高水準
強い型づけ
論理型
プログラムの一歩一歩の構成
プログラムの正当性
プログラムの正当性の証明
プログラムの注釈
プログラムの部品への分解
プロセス
の形
木構造再帰
の局所的進化
再帰的
が必要とする資源
線形再帰
線形反復的
の増加の程度
反復的
平均緩和法
並行性, 並列性を見よ
閉世界仮説
閉包
多くの言語での欠如
図形言語演算の閉包性 [2]
抽象代数での
consの閉包性
平方根 , sqrtも見よ
近似のストリーム
反復改良として
並列性
関数型プログラミングと
制御の機構
デッドロック
並列プログラムの正当性
変化と同一
の意味
共有データと
変更子
変数 , 局所変数も見よ
の値 [2]
自由
束縛
の値
未束縛
の有効範囲 , 変数の有効範囲も見よ
変数の有効範囲 , 静的有効範囲も見よ
letでの
手続きの仮パラメタ
内部define
べき級数, ストリームとして
加算
乗算
除算
積分
べき乗
nを法とした
ベクタ(データ構造)
ベクタ(数学的)
での演算 [2]
図形言語フレームでの
対としての表現
並びで表現した
別名
ペインタ
演算
高階演算
手続きで表現した
変換と組合せ
方程式を解く, 区間二分法; Newton法; 区間二分法; Newton法; solveを見よ
本書の記法
解釈系応答の斜体
式の構文での斜体
翻訳, 翻訳系を見よ
翻訳系
解釈系と [2]
末尾再帰, スタック割当て, ごみ集め
翻訳時環境 [2] [3]
オープンコードと
ポインタ
型つき
の箱とポインタ記法での
マーク・スウィープごみ集め
マイクロシャフト社
マクロ , 読込みマクロ文字も見よ
マサチューセッツ工科大学, MITを見よ
魔術師, 数値解析の専門家を見よ
末尾再帰
Schemeでの
ごみ集めと
積極制御評価器と [2] [3]
超循環評価器と
評価の環境モデルと
翻訳系と
末尾再帰的評価器
マトリックス, 並びで表現した
マルセーユ大学
丸め誤差 [2]
未指定の値
display
newline
未束縛
無限級数
無限ストリームの混合せ, 無限ストリームを見よ
無限ストリーム
Fibonacci数の, fibsを見よ
階乗
関係としての混合せ
級数を足す
信号のモデル化
整数の, integersを見よ
素数の, primes}を見よ
対の
巾級数の表現
混合せ [2] [3] [4]
乱数の
虫
自由変数の捕捉
代入の順序
別名の副作用
虫とり
命名法
!, 代入と変更の
?, 述語の
命令型と式主導プログラミング
命令型プログラミング
命令計数
命令実行手続き
命令的知識と宣言的知識 [2]
非決定性計算と
論理型プログラミングと [2]
命令トレース
命令列 [2]
メッセージパッシング [2]
環境モデルと
銀行口座での
ディジタル回路シミュレーションでの
末尾再帰と
メモ化 [2]
delayによる
ごみ集めと
サンクの
必要呼びと
モービル
目的プログラム
文字, ASCII符号化
文字列
の引用
のための基本手続き
の基本手続き
モデル化
科学工学における
設計戦略として
モニタ
手続きの
有理関数
最低項まで引き下げ
有理数
MIT Schemeの
印字
既約への簡約 [2]
の算術演算
対としての表現
有理数の算術演算
合成データの必要性
汎用算術演算とのインターフェース
ユニフィケーション
アルゴリズムの発見
実装
パターンマッチングと [2]
宵の明星, 金星を見よ
余弦関数
の不動点
べき級数
読込み-評価-印字ループ , 駆動ループも見よ
読込みマクロ文字
予約語 [2]
四乗根, 不動点として
乱数発生器 [2]
Monte Carloシミュレーションでの
素数性テストでの
リセット
リセットつき, ストリーム版
リスト
appendによる結合
car, cdr, および consによる操作
cdrダウン
consアップ
n番目の要素
頭つき [2]
の印字表現
の引用
の演算
逆順
空, 空リストを見よ
最後の対
上での写像
操作の技法
遅延
の等価
の長さ
への二進木の変換
二進木への変換
バッククォート
リスト構造と
リスト終りの印
リスト構造
可変
ベクタを使った表現
リストと
リスト構造記憶
リストの循環
検出
立方根
Newton法による
不動点としての
粒子の世界線 [2]
両替する, 両替の計算を見よ
両替の計算 [2]
量子力学
ループ構造 [2]
零テスト(汎用)
多項式の
瀝青炭
レコード, データベースにおける
レコードのキー
データベースにおける
の等価性のテスト
表での
レジスタ
トレース
表現
レジスタ計算機
記述言語
サブルーチン
シミュレータ
スタック
制御器
制御図
性能の監視
の設計
テスト演算
データパス
データパス図
働き
レジスタ計算機言語
assign [2]
branch [2]
const [2] [3]
goto [2]
label [2]
op [2]
perform [2]
reg [2]
restore [2]
save [2]
test [2]
入り口
命令 [2]
ラベル
レジスタ計算機の制御器
制御図
レジスタ計算機のテスト演算
レジスタ計算機のデータパス
データパス図
レジスタ表, シミュレータの
レッドブラック木
連分数
としてのe
としての黄金比
としての正接関数
ロシア農民の方法
ロックソング, 1950年代
論理型プログラミング , 質問言語; 質問解釈系も見よ
の計算機
数理論理と
日本の
の歴史 [2]
論理型プログラミング言語
論理積
論理パズル
論理和
和, 級数の
ストリームの
[ 目次, 前節, 次節, 索引 ]