プログラミング言語特論（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