ラムダ抽象や（ラムダ抽象とは限らない）ラムダ式は、環境のなかに置かれます。環境無しに存在できるラムダ式は稀なので、「ラムダ式には環境がある」と思っていいです。ラムダ式の環境は、実は外側にあるラムダ式のスコープのことです。つまり、ラムダ式の…