プログラミングHaskell 13章 問題7

  • 552 views
Uploaded on

スタートHaskellでの発表

スタートHaskellでの発表

More in: Technology
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Be the first to comment
    Be the first to like this
No Downloads

Views

Total Views
552
On Slideshare
0
From Embeds
0
Number of Embeds
0

Actions

Shares
Downloads
0
Comments
0
Likes
0

Embeds 0

No embeds

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
    No notes for slide

Transcript

  • 1. (定義1) map f [] = [](定義2) map f (x:xs) = f x : map f xs(定義3) (f . g) x = f (g x)map f (map g xs) = map (f . g) xs
  • 2. map f (map g []) = map (f . g) []
  • 3. map f (map g []) = map (f . g) []map f [] = [](定義1) map f [] = []
  • 4. map f (map g []) = map (f . g) []map f [] = [][] = [](定義1) map f [] = []
  • 5. (仮定1) map f (map g xs) = map (f . g) xsmap f (map g (x:xs)) = map (f . g) (x:xs)
  • 6. map f (map g (x:xs)) = map (f . g) (x:xs)map f (g x : map g xs) = (f . g) x : map (f . g) xs(定義2) map f (x:xs) = f x : map f xs
  • 7. map f (map g (x:xs)) = map (f . g) (x:xs)map f (g x : map g xs) = (f . g) x : map (f . g) xsf (g x) : map f (map g xs) = (f . g) x : map (f . g) xs(定義2) map f (x:xs) = f x : map f xs
  • 8. map f (map g (x:xs)) = map (f . g) (x:xs)map f (g x : map g xs) = (f . g) x : map (f . g) xsf (g x) : map f (map g xs) = (f . g) x : map (f . g) xsf (g x) : map f (map g xs) = f (g x) : map (f . g) xs(定義3) (f . g) x = f (g x)
  • 9. map f (map g (x:xs)) = map (f . g) (x:xs)map f (g x : map g xs) = (f . g) x : map (f . g) xsf (g x) : map f (map g xs) = (f . g) x : map (f . g) xsf (g x) : map f (map g xs) = f (g x) : map (f . g) xsf (g x) : map (f . g) xs = f (g x) : map (f . g) xs(仮定1) map f (map g xs) = map (f . g) xs
  • 10. http://www.paraiso-lang.org/ikmsm/