ラムダ計算の数学的体系を考えようとすると となってしまうので, 普通の方法ではうまくいきませんよね, みたいな話をdomain theoryの導入ではしばしば見かける. 大体の文献でほとんど自明みたいに書かれるから, ずっとよく分からなかったのだけど, やっと意…