計算機科学の質問はここでしろ！

[0360 名無しさん＠お腹いっぱい。 2008/12/01(月) 00:33:02 ID:6EoovBMD0]

Pred' = λnsz.n(λgh.h(gs))(λu.z)(λu.u) だった