■

JavaScriptやScalaで出てくる（Javaもまあそのうち...）クロージャがずっとピンっと来なかったけど、クロージャが高階関数と呼ばれるのと、RDBの基礎理論の一階述語論理（もう一個は数学的集合論だっけ？）の「階」がともに同じ意味って考えて、すこし分かってきた。気がするんだが、それでいいのか。