しばしば「クロージャ」って言葉を見かけますが、皆さん、どんな意味で使っているんだろう？単に無名関数（ラムダ式）をクロージャと呼んでいるのかな？ それとも、無名関数とそこに出現する（ローカルでない）変数の束縛（環境と呼ぶんだったかな）を一緒に…

長男が、算数で線分図とかテープ図とかを習ったらしい。「なんでこんなのかくんだ？ めんどくさい」とか言っている。いやっ、図は描くべきだぞ！例えば昨日出した長い論理式： (dom(p) = x ∧ cod(p) = a)∧(dom(q) = x ∧ cod(q) = b) ∧ ∀y:Obj.∀f:Mor.∀g:Mor.…