>>976
>ちなみに破壊的代入はlambda-calculusで記述できる。

記述してちょ