意外と難しいかも知れない基本概念／用語

• 自由変数 - 大域変数とは限らない。相対的な概念。PerlやJavaScriptでは？
• 束縛変数（ラムダ変数） -- 位置引数であること、本質的に無名
• 大域環境、局所環境 -- ようするに環境、細かいこと言わなければ同じ。

PerlやJavaScriptでの実例を考える。あと、物理的なカリー化の例として、熱方程式とか（離散化、単純化して）。