ものすごい勢いで誰かが質問に答えるスレ＠哲学

ものすごい勢いで誰かが質問に答えるスレ＠哲学at PHILO

ものすごい勢いで誰かが質問に答えるスレ＠哲学 - 暇つぶし2ch846:(+):: Num a ⇒ a → a → a
19/04/17 14:16:31.62 0.net
・定義の目的は、与えられた名前に与えられた定義を結びつける束縛を導入する
ことである。束縛の集まりのことを環境、または文脈という。式は常にある文脈
において評価される。式に出現するのは、その文脈の中にある名前である。
評価器は、式を単純化するための規則として、そのような名前と結びついた定義を
使うことになる。

次ページ

続きを表示

1を表示