ついに、Alloy を使って完全な λ計算 (β簡約) を表現できた…。（前回 は中途半端だった。） なかなか面白いのは、Alloy がうまくノードを使って無駄なくβ簡約しているところ（Ω=(λx.xx)(λx.xx) で Ω→Ωなど。後に載せる）。(8/22)フレーム条件のバグを直した…