最初のページ
戻る
次へ
最後のページ
図
Eが変数のとき
関数diff-variable
(diff-variable x E)は変数xと式Eで結果が異なる
uはvの
関数ではない
「xとEが等しいとき1」
「xとEが等しくないとき0」
(diff-variable x E)の評価