＞＞686
間違えた、式で定義すれば変数と言っていいわ。

ただ関数定義の内部で再代入できない理由がよく分からない。
変化させて集めるタイプの数学的定義は直接書いちゃいかんの？
wikipediaの純粋関数型言語で、遅延評価が要素に入ってるのも分からない。
数学に関係ないし、昔は先行評価のOCamlも純粋関数型言語扱いだったのに。
純粋関数型言語の数学的基礎って、Lisp族よりしっかりしてるの？