久しぶりに喋る

久しぶりに90分喋ったらぶっ倒れそうなぐらい疲れる.最近あまり寝てないのもあるし,そんななかそれなりのテンションでかなり気合い入れて喋ったからかだな.

んで.untyped lambda calculus の最大の難関って,略記規則かもしれないなどと思う.たしかに, y (\lambda x . x) z \to_{\beta} yzってならないのチョー罠だよな……