05/09/28 23:59:02
wikipediaのラムダ計算のページ
URLﾘﾝｸ(ja.wikipedia.org)
例で
(λx.(λy.(x+y))3)5 → (λy.(3+y))5 とか
λx.(λy.(x+y))3 → λy.(3+y)
とあるんですが、これって正しいんでしょうか？
05/09/28 23:59:02
wikipediaのラムダ計算のページ
URLﾘﾝｸ(ja.wikipedia.org)
例で
(λx.(λy.(x+y))3)5 → (λy.(3+y))5 とか
λx.(λy.(x+y))3 → λy.(3+y)
とあるんですが、これって正しいんでしょうか？