以下、拾い読みした感じこうなのかなあってのを書いただけだからあってるのかよく知らない。例えば簡約前がこうだとすると、 (λxy.(λz.y((λu.u)z))x)vweak head normal form はλ抽象された中身のλ式は簡約しなくてよい。 λy.(λz.y((λu.u)z))vhead normal for…