プログラミング言語論(2005年度) 期末テスト解答

問Ⅰ

(1)
  (λx.x(λxy.x))(λx.x(λxy.y))(λx.x)
→ (λx.x(λxy.y))(λxy.x)(λx.x)
→ (λxy.x)(λxy.y)(λx.x)
→ (λy.(λxy.y))(λx.x)
→ λxy.y
(2)
  (λy.y((λa.xa)(λa.a)))(λb.b)(λb.b)((λa.xa)(λa.a))(λa.xa)(λa.a)
→ x(λa.a)

問Ⅱ

(1) [1, 3, 7, 15, 31]
(2) [5, 8, 12, 15]
Koji Kagawa