カリー化と部分適用

https://gijutsu-club.connpass.com/event/326674/
このイベントで発表した資料です

Transcript

1. LJJ ΧϦʔԽͱ෦෼ద༻
2. w LJJͱ͍͍·͢
   w ଔͷจܥେֶੜ
   w 5ZQF4DSJQUͰόοΫΤϯυ
   w ΧϯϑΝϨϯεʹΑ͍͘Δ
   w ΏΊΈೖࣾ༧ఆ ࣗݾ঺հ 9ΞΧ΢ϯτ
3. ΧϦʔԽͬͯ஌ͬͯ·͔͢ʁ
4. ӳޠʹ͢Δͱ$VSSZJOH
5. ؔ਺ʹ͓͍ͯɺҾ਺ΛҰͭͣͭड͚ औΔؔ਺ʹ͢Δ͜ͱ
6. ۩ମྫΛݟͳ͕Βɺ
   ΧϦʔԽΛཧղ͢Δ
7. ೋͭͷҾ਺Y
   ZΛड͚औΓɺ
   ͦͷ࿨Λฦؔ͢਺
8. ͜ͷೋͭͷҾ਺ΛҰͭͣͭड͚औΔ Α͏ʹ͢Δ
9. Ұͭͣͭड͚औΔͱ͍͏͜ͱ͸ɺ
   YΛ౉ͨ͠Βɺ
   ZΛड͚औΔؔ਺͕ฦͬͯ͘Δͱ͍͏͜ͱ
10. ΧϦʔԽͯ͠ΈΑ͏
11. YΛద༻͢Δͱɺ
    ZΛҾ਺ʹͱΔؔ਺Λฦ͍ͯ͠Δ
12. ͪͳΈʹɺ
    ؔ਺ΛฦΓ஋ʹ࣋ͬͨΓɺ
    ؔ਺ΛҾ਺ʹ࣋ͯΔؔ਺ͷ͜ͱΛ
    ߴ֊ؔ਺ͱݴ͍·͢
13. ࣮ࡍʹ࢖ͬͯΈΑ͏
14. Ҿ਺ʹͱΛద༻͕ͯ͠ฦͬͯ͘Δ
    
    
    
    
    
15. ΧϦʔԽͯ͠Έ͚ͨͲɺ
    Կ͕خ͍͠ͷʁ
16. ΧϦʔԽͷϝϦοτ
17. ͦΕ͸෦෼ద༻͢Δ͜ͱͰ
    ࢖͍ճ͕͠͠΍͘͢ͳΔͨΊ
18. ۩ମྫ
19. ΧϦʔԽ͞Εͨ͜ͱͰ
    ؔ਺Λ࢖͍ճͤΔΑ͏ʹͳͬͨ
20. ͜ͷΑ͏ʹΧϦʔԽ͞Εͨؔ਺ʹର͠
    Ҿ਺Λ෦෼తʹద༻͢Δ͜ͱΛ
    ෦෼ద༻ͱ͍͍·͢
21. ΋ͬͱ࢖͍ಓ͸ͳ͍ͩΖ͏͔ʁ
22. ΧϦʔԽ͞Εͨ෦෼ΛΑ͘ݟΔͱɺ
    ΠϯελϯεԽͱಉ͡
23. ΧϦʔԽ͸Ҿ਺ʹ஫໨Ͱ͖Δ
24. ΧϦʔԽͱ෦෼ద༻ͷಛ௃
25. ෦෼ద༻ͰΠϯελϯεԽ
    ΧϦʔԽ͸Ҿ਺ͷݸ਺ʹॊೈʹରԠ
26. ΧϦʔԽͷҾ਺Λ෼ׂ͢Δ
    ͱ͍͏ߟ͑͸
    ࠶ؼͱ૬ੑ͕͍͍
27. Ҿ਺Λ෼ׂ͢Δ͜ͱͰɺ࠶ؼԽ͕Ͱ͖Δ
28. ͜ͷ··ͩͱ஋ͷऔಘ͕Ͱ͖ͳ͍ͷͰ
    ܭࢉ݁ՌΛऔಘ͢ΔHFUϝιουΛੜ΍͢
29. ͜ͷΑ͏ʹϝιουνΣʔϯ͕Մೳ
30. ෦෼ద༻ʹΑΔΠϯελϯεԽ͸
    Ϋϥεͱಉ͡ߟ͑
    ΧϦʔԽʹΑΔҾ਺෼ׂ͸
    ϝιουνΣʔϯΛՄೳʹ͢Δߟ͑
31. ·ͱΊ
    ΧϦʔԽͱ෦෼ద༻͸໘ന͍
    ʢඞͣ͠΋ۀ຿Ͱద੾ͳίʔυͰ͸ ͳ͍ʣ