用語

Common Lispでは「関数」であり「function」、Schemeでは「手続き」であり「procedure」。
一方で、ラムダ式exprを定義してみると（はラムダ式、は識別子）

1. ::=
2. ::= (λ . )
3. ::= ( )

となるけど、3番目は「関数適用」。できればこの言葉にあわせたい気持ちもある。

「手続き」とか「実行」とか、あんまり言いたくない気もする。

まぁ、どうでも良い些細なこと。