第2回 スタートHaskell2 3. 関数の構文

Transcript

1. ୈষ ؔ਺ͷߏจ !NJ[V@@UBNB
   ਫ໺
   चق 12೥7݄22೔೔༵೔

2. ؔ਺Λॻͨ͘Ίͷߏจ wύλʔϯϚον wΨʔυ wXIFSFઅ wMFUࣜ wDBTFࣜ 12೥7݄22೔೔༵೔

3. ؔ਺Λॻͨ͘Ίͷߏจ wύλʔϯϚον wΨʔυ wXIFSFઅ wMFUࣜ wDBTFࣜ 12೥7݄22೔೔༵೔

4. ύλʔϯϚον  w ύλʔϯʹैͬͯσʔλΛ ෼ղ͢ΔͨΊʹ࢖͏ w ਺஋ɺจࣈɺϦετɺλϓϧͳͲ ༷ʑͳσʔλܕͰ࢖͑Δ 12೥7݄22೔೔༵೔

5. ύλʔϯϚον w্͔ΒॱʹධՁ͢Δ wY͸೚ҙͷ஋ʹ߹க ύλʔϯϚον  12೥7݄22೔೔༵೔

6. ύλʔϯϚον w্͔ΒॱʹධՁ͞ΕΔ wY͸೚ҙͷ஋ʹ߹க ύλʔϯϚον  Ӭԕʹ ࢖ΘΕͳ͍ 12೥7݄22೔೔༵೔

7. ύλʔϯϚον wY͸ؔ਺ຊମͰࢀরͰ͖Δ ύλʔϯϚον  12೥7݄22೔೔༵೔

8. ࠶ؼͱύλʔϯϚον 
   
   
   O
   
   Oº O  w࠶ؼతͳؔ਺ͷఆٛʹ΋ ύλʔϯϚονΛ࢖͏ wৄ͘͠͸ষͰ 12೥7݄22೔೔༵೔

9. ύλʔϯϚονͷࣦഊ ύλʔϯ͕ ໢ཏతͰͳ͍Α 12೥7݄22೔೔༵೔

10. ͪͳΈʹ<Q
    ༁஫> ITϑΝΠϧͷઌ಄ʹ͚͓ͭͯ͘ͱ ͍Ζ͍Ζܯࠂͯ͘͠ΕΔ 12೥7݄22೔೔༵೔

11. λϓϧͷύλʔϯϚον λϓϧͷཁૉΛ෼ղͯ͠ ద੾ͳ໊લΛ͚ͭΔ 12೥7݄22೔೔༵೔

12. λϓϧͷύλʔϯϚον λϓϧͷཁૉΛ෼ղͯ͠ ద੾ͳ໊લΛ͚ͭΔ ύλʔϯϚονΛ ࢖͏ͱಡΈ΍͍͢ 12೥7݄22೔೔༵೔

13. ϦετͷύλʔϯϚον  Ϧετ಺แදهͰ΋ύλʔϯϚον wࣦഊͨ͠Β࣍ͷཁૉʹਐΉ wࣦഊͨ͠ཁૉ͸݁ՌͷϦετʹ ؚ·Εͳ͍ 12೥7݄22೔೔༵೔

14. ϦετͷύλʔϯϚον  wۭϦετ
    <> w
    ΛؚΉύλʔϯ ʢYYTɼYZZTɼYZ<>ͳͲʣ w ԋࢉࢠ͸࢖͑ͳ͍ YT
    
    ZT
    

    12೥7݄22೔೔༵೔

15. ϦετͷύλʔϯϚον  wۭϦετ
    <> w
    ΛؚΉύλʔϯ ʢYYTɼYZZTɼYZ<>ͳͲʣ w ԋࢉࢠ͸࢖͑ͳ͍ YT
    
    ZT
    

    
    Λ๨Εͣʹʂ 12೥7݄22೔೔༵೔

16. BTύλʔϯ ஋Λύλʔϯʹ෼ղͭͭ͠ɺ ύλʔϯϚονͷର৅ʹͳͬͨ ஋ࣗମ΋ࢀর͍ͨ͠ͱ͖ʹ࢖͏ɻ શମͷ໊લˏී௨ͷύλʔϯ 12೥7݄22೔೔༵೔

17. BTύλʔϯ ஋Λύλʔϯʹ෼ղͭͭ͠ɺ ύλʔϯϚονͷର৅ʹͳͬͨ ஋ࣗମ΋ࢀর͍ͨ͠ͱ͖ʹ࢖͏ɻ l)BTLFMMz 
    `)` 
    lBTLFMMz 
    l)BTLFMMz Y YT

    BMM 12೥7݄22೔೔༵೔

18. BTύλʔϯ ஋Λύλʔϯʹ෼ղͭͭ͠ɺ ύλʔϯϚονͷର৅ʹͳͬͨ ஋ࣗମ΋ࢀর͍ͨ͠ͱ͖ʹ࢖͏ɻ <
    
    
    
    > 
    

    
    <
    
    
    > 
    <
    
    
    
    > Y YT BMM 12೥7݄22೔೔༵೔

19. ؔ਺Λॻͨ͘Ίͷߏจ wύλʔϯϚον wΨʔυ wXIFSFઅ wMFUࣜ wDBTFࣜ 12೥7݄22೔೔༵೔

20. Ψʔυ Ҿ਺ͷ஋͕ຬͨ͢ੑ࣭ʹΑͬͯ ৔߹෼͚͢Δͱ͖ʹ࢖͏ɻ 12೥7݄22೔೔༵೔

21. Ψʔυ 
    CNJ5FMM
     Ҿ਺ͷ஋͕ຬͨ͢ੑ࣭ʹΑͬͯ ৔߹෼͚͢Δͱ͖ʹ࢖͏ɻ 12೥7݄22೔೔༵೔

22. Ψʔυ  
    CNJ5FMM
     Ҿ਺ͷ஋͕ຬͨ͢ੑ࣭ʹΑͬͯ ৔߹෼͚͢Δͱ͖ʹ࢖͏ɻ 12೥7݄22೔೔༵೔

23. Ψʔυ  'BMTF 
    CNJ5FMM
     Ҿ਺ͷ஋͕ຬͨ͢ੑ࣭ʹΑͬͯ ৔߹෼͚͢Δͱ͖ʹ࢖͏ɻ 12೥7݄22೔೔༵೔

24. Ψʔυ Ҿ਺ͷ஋͕ຬͨ͢ੑ࣭ʹΑͬͯ ৔߹෼͚͢Δͱ͖ʹ࢖͏ɻ 
    CNJ5FMM
     l:PVSF
    TVQQPTFEMZ
    OPSNBM
    1⒎GU
    *
    CFU
    ZPV
    VHMZz  12೥7݄22೔೔༵೔

25. Ψʔυ Ҿ਺ͷ஋͕ຬͨ͢ੑ࣭ʹΑͬͯ ৔߹෼͚͢Δͱ͖ʹ࢖͏ɻ 
    CNJ5FMM
     l:PVSF
    TVQQPTFEMZ
    OPSNBM
    1⒎GU
    *
    CFU
    ZPV
    VHMZz  5SVF 12೥7݄22೔೔༵೔

26. PUIFSXJTF ͢΂ͯΛΩϟον͢Δɻ 12೥7݄22೔೔༵೔

27. Ψʔυͱύλʔϯ 12೥7݄22೔೔༵೔

28. Ψʔυͱύλʔϯ ύλʔϯ ύλʔϯ ύλʔϯ ύλʔϯ ৚݅ ৚݅ ৚݅ ৚݅ 12೥7݄22೔೔༵೔

29. ؔ਺Λॻͨ͘Ίͷߏจ wύλʔϯϚον wΨʔυ wXIFSFઅ wMFUࣜ wDBTFࣜ 12೥7݄22೔೔༵೔

30. XIFSFઅ  ܭࢉͷதؒ݁Ռʹ໊લΛ͚ͭΔ 12೥7݄22೔೔༵೔

31. 12೥7݄22೔೔༵೔

32. XIFSFઅ
     w ෳ਺ͷม਺͕ఆٛͰ͖Δ w Πϯσϯτ͸ଗ͑Δ 12೥7݄22೔೔༵೔

33. XIFSFͷείʔϓ ͻͱͭͷύλʔϯ಺ͰͷΈ༗ޮ 12೥7݄22೔೔༵೔

34. XIFSFͷείʔϓ ͻͱͭͷύλʔϯ಺ͰͷΈ༗ޮ ͓͜ΒΕΔʂ 12೥7݄22೔೔༵೔

35. ύλʔϯϚονͱXIFSF 12೥7݄22೔೔༵೔

36. ύλʔϯϚονͱXIFSF λϓϧͷ ύλʔϯϚον 12೥7݄22೔೔༵೔

37. ύλʔϯϚονͱXIFSF λϓϧͷ ύλʔϯϚον Ϧετͷ ύλʔϯϚον 12೥7݄22೔೔༵೔

38. XIFSFϒϩοΫͷதͷؔ਺ 12೥7݄22೔೔༵೔

39. XIFSFϒϩοΫͷதͷؔ਺ ఆٛ 12೥7݄22೔೔༵೔

40. XIFSFϒϩοΫͷதͷؔ਺ ݺͼग़͠ 12೥7݄22೔೔༵೔

41. ؔ਺Λॻͨ͘Ίͷߏจ wύλʔϯϚον wΨʔυ wXIFSFઅ wMFUࣜ wDBTFࣜ 12೥7݄22೔೔༵೔

42. MFUࣜ  ܭࢉͷதؒ݁Ռʹ໊લΛ͚ͭΔ 12೥7݄22೔೔༵೔

43. MFUࣜ  ܭࢉͷதؒ݁Ռʹ໊લΛ͚ͭΔ தؒ݁Ռ 12೥7݄22೔೔༵೔

44. MFUࣜ  ܭࢉͷதؒ݁Ռʹ໊લΛ͚ͭΔ ࠷ऴ݁Ռ 12೥7݄22೔೔༵೔

45. MFUࣜ  ܭࢉͷதؒ݁Ռʹ໊લΛ͚ͭΔ ࠷ऴ݁Ռ தؒ݁Ռ ࠷ऴ݁Ռ தؒ݁Ռ 12೥7݄22೔೔༵೔

46. MFUࣜ  wʮࣜʯͰ͋Δ
    
    ஋Λ࣋ͭ ɹ㱺ίʔυதͷ΄ͱΜͲͲΜͳ৔ॴͰ΋ ɹɹ࢖͑Δ 12೥7݄22೔೔༵೔

47. MFUࣜ  wʮࣜʯͰ͋Δ
    
    ஋Λ࣋ͭ ɹ㱺ίʔυதͷ΄ͱΜͲͲΜͳ৔ॴͰ΋ ɹɹ࢖͑Δ  12೥7݄22೔೔༵೔

48. MFUࣜͷศརͳ࢖͍ํ  wϩʔΧϧείʔϓʹؔ਺Λ࡞Δ wηϛίϩϯͰ۠੾ͬͯ࢖͏ 12೥7݄22೔೔༵೔

49. MFUࣜͷศརͳ࢖͍ํ  wMFUࣜʴύλʔϯϚον λϓϧΛཁૉʹ෼ղ wϦετ಺แදهͰ࢖͏ wग़ྗʢcΑΓલͷ෦෼ʣ wMFUΑΓޙΖͷϦετ಺แදه͢΂ͯ ɹ 12೥7݄22೔೔༵೔

50. ()$JͰͷMFU w()$JͰ͸JOͷ෦෼ΛলུͰ͖Δ wলུ͢Δͱఆ໊ٛͨ͠લ͸ Ҏ߱ͷηογϣϯશମ͔Βݟ͑Δ 12೥7݄22೔೔༵೔

51. ؔ਺Λॻͨ͘Ίͷߏจ wύλʔϯϚον wΨʔυ wXIFSFઅ wMFUࣜ wDBTFࣜ 12೥7݄22೔೔༵೔

52. DBTFࣜ  wࢦఆͨ͠஋ʹର͢Δ ίʔυϒϩοΫΛධՁͰ͖Δ wʮࣜʯͰ͋Δ
    
    ஋Λ࣋ͭ wύλʔϯϚον΋࢖͑Δ 12೥7݄22೔೔༵೔

53. DBTFࣜ 12೥7݄22೔೔༵೔

54. ؔ਺Λॻͨ͘Ίͷߏจ wύλʔϯϚον wΨʔυ wXIFSFઅ wMFUࣜ wDBTFࣜ 12೥7݄22೔೔༵೔