2011-05-27から1日間の記事一覧
12章は例があまりなかったので記述形式の練習問題が多いです。 1. 1 + (2*3) => 2*3 最内 (1+2)*(2+3) => 1+2 最内、2+3 どちらでもない fst (1+2, 2+3) => fst (l1+2, 2+3) 最外、1+2 最内、2+3 どちらでもない (λx -> 1 + x) (2*3) => (λx -> 1 + x) (2*3)…
12章は例があまりなかったので記述形式の練習問題が多いです。 1. 1 + (2*3) => 2*3 最内 (1+2)*(2+3) => 1+2 最内、2+3 どちらでもない fst (1+2, 2+3) => fst (l1+2, 2+3) 最外、1+2 最内、2+3 どちらでもない (λx -> 1 + x) (2*3) => (λx -> 1 + x) (2*3)…