13/12/19 09:55:43.25
>>394
λxλyλz.xz(yz) を標準的な方法でＳとＫだけのコンビネーターに変換して，
その後ろに x を付けてリダクションせよ，ということかな？
複雑にはなるけれども単なる計算問題なので、
定義を理解して括弧の付き方に注意して慎重に進めればできると思いますが。
13/12/19 09:55:43.25
>>394
λxλyλz.xz(yz) を標準的な方法でＳとＫだけのコンビネーターに変換して，
その後ろに x を付けてリダクションせよ，ということかな？
複雑にはなるけれども単なる計算問題なので、
定義を理解して括弧の付き方に注意して慎重に進めればできると思いますが。