まだこのブログでこの話をしていなかった（ような気がする）ことにふと気づいたので、ありがちなクイズ。任意の型環境Γにおいて、任意のλ式Mに対して、任意の型Tを与えることのできるような型つけ規則∀Γ.∀M.∀T. Γ├ M : Tを考える。 この型つけ規則の下で、Su…