関数型まつり2026

Transcript

1. ©2026 Wantedly, Inc. ূ໌ۦಈڝٕϓϩάϥϛϯά ηάϝϯτ໦ϥΠϒϥϦͷݕূ ؔ਺ܕ·ͭΓ 2026 Jul 12, 2026 - Masayuki Mizuno
2. ©2026 Wantedly, Inc. ࣗݾ঺հ ਫ໺խ೭ ॴଐ: ΢ΥϯςουϦʔגࣜձࣾ ৬ۀ: ΠϯϑϥΤϯδχΞʢ2025/07ʙʣ Twitter (ݱX): @fetburner mixi2: @lgtm GitHub: https://github.com/fetburner
3. ©2026 Wantedly, Inc. టष͍ϓϩάϥϜΛܗࣜݕূ͢Δࡍͷํ๏࿦Λ঺հ ڝٕϓϩάϥϛϯάͰ༻͍ΒΕΔσʔλߏ଄ͷηάϝϯτ໦Λ୊ࡐͱ͢Δ w ࣮ࡍʹಈ͔ͤΔ࣮૷ΛಘΒΕͳ͚Ε͹ίϯςετͰ࢖͑ͳ͍
   w ੑೳ্ͷ੍໿͔Β༷ʑͳߴ଎ԽͷϋοΫ͕ඞཁ
   w ͦ΋ͦ΋ςετͰͷਖ਼౰ੑͷอূ͕೉͘͠ܗࣜݕূͷՁ஋͕͋Δ
   ຊൃදͷΰʔϧ
4. ©2026 Wantedly, Inc. 1. ূ໌ۦಈ։ൃͱ͸ 2. ηάϝϯτ໦ͱ͸ 3. RocqʹΑΔݕূ 4. ࣮ࡍͷίϯςετͰͷϕϯνϚʔΫ 5. ·ͱΊ ΞδΣϯμ
5. ©2026 Wantedly, Inc. ূ໌ۦಈ։ൃͱ͸
6. ©2026 Wantedly, Inc. ূ໌ۦಈ։ൃͱ͸ʁ ςετۦಈ։ൃΛܗࣜݕূͰൃలͤͨ͞΋ͷ ϓϩάϥϜͷຬͨ͢΂͖ੑ࣭ΛܾΊɺఆཧূ໌ࢧԉܥͰূ໌Λߦ͏ • ϓϩάϥϜͷຬͨ͢΂͖ੑ࣭ΛܾΊΔ • ఆཧূ໌ࢧԉܥͰͦͷϓϩάϥϜΛ࣮૷͢Δ • ϓϩάϥϜ͕ظ଴͢Δੑ࣭Λຬͨ͢͜ͱΛূ໌͢Δ • ఆཧূ໌ࢧԉܥʹΑΔ࣮૷Λॴ๬ͷݴޠʹม׵͢Δ
7. ©2026 Wantedly, Inc. ςετͷ໰୊఺ ༗ݶͷ৔߹͔͠໢ཏͰ͖ͳ͍ ϓϩάϥϜʹόά͕͋Δূ໌͸Ͱ͖ͯ΋ɺશͯͷೖྗͰόά͕ͳ͍ূ໌͸ࠔ೉ https://www.nikkei.com/article/DGXLASDG04H5X_U5A900C1CR8000/
8. ©2026 Wantedly, Inc. 1. ਺ֶతهड़ΛܭࢉػͰѻ͏ϑϨʔϜϫʔΫ w ఆٛɾఆཧɾূ໌͕ਖ਼͍͜͠ͱͷݕࠪΛͯ͘͠ΕΔ
   2. ࠓճͷൃදͰ͸RocqΛ༻͍Δ w ଞʹ΋-FBOɺ"HEBɺ*TBCFMMF)0-
   ͳͲͷ࣮૷͕͋Δ
   3. ϓϩάϥϜͷੑ࣭΋ѻ͑Δ w ϓϩάϥϜͷ࢓༷Λఆཧͱͯ͠਺ֶతʹূ໌͢Ε͹ɺόά͕ͳ͍͜ͱΛอূͰ͖Δ ఆཧূ໌ࢧԉܥͱ͸
9. ©2026 Wantedly, Inc. ূ໌ۦಈ։ൃͷྫ: ೋ෼୳ࡧ (1/3) ࣮૷ྔͷׂʹቕ·ΓͲ͜Ζ͕ଟ͍ ऴྃ৚݅ɺఴࣈͷൣғɺΦʔόʔϑϩʔ౳ ʮचۄͷϓϩάϥϛϯάʯʹهࡌͷೋ෼୳ࡧ࣮૷ʹ΋Φʔόʔϑϩʔͷόά͕ଘࡏ͕ͨ͠ɺ20೥Ҏ্ൃݟ͞Εͳ͔ͬͨ https://research.google/blog/extra-extra-read-all-about-it-nearly-all-binary-searches-and-mergesorts-are-broken/
10. ©2026 Wantedly, Inc. ূ໌ۦಈ։ൃͷྫ: ೋ෼୳ࡧ (2/3) RocqͰ࢓༷Λهड़͠ɺূ໌Λߦ͏ ୯ௐͳड़ޠΛड͚औΓɺਅِ஋ͷڥքΛฦؔ͢਺ • Rocq͸ఀࢭ͢Δؔ਺͔͠ॻ͚ͳ͍ͷͰɺఀࢭੑ΋ಉ࣌ʹূ໌͢Δ͜ͱʹͳΔ • ࣮૷ʹόά͕͋Ε͹ূ໌Ͱߦ͖٧·Δ https://fetburner.hatenablog.com/entry/2018/05/27/125412
11. ©2026 Wantedly, Inc. ূ໌ۦಈ։ൃͷྫ: ೋ෼୳ࡧ (3/3) RocqͰূ໌ࡁͷ࣮૷͔Β࣮ߦՄೳͳίʔυΛಘΔ RocqͰॻ͍ͨίʔυ͸OCamlɺHaskell·ͨ͸Schemeʹม׵Ͱ͖Δ https://fetburner.hatenablog.com/entry/2018/05/27/125412
12. ©2026 Wantedly, Inc. టष͍ϋοΫΛ৐Γӽ͑Δඞཁ͕͋Δ ఆ਺ഒ࠷దԽɺίʔφʔέʔεͷॲཧ
    FUD ࣮ੈքͷίʔυʹূ໌ۦಈ։ൃΛద༻͢ΔͨΊͷ՝୊ ຊൃදͰ͸యܕྫͱͯ͠ηάϝϯτ໦Λѻ͏
13. ©2026 Wantedly, Inc. ηάϝϯτ໦ͱ͸
14. ©2026 Wantedly, Inc. ηάϝϯτ໦ͱ͸ Ұ఺ߋ৽ͱ۠ؒੵΛO(logN)Ͱߦ͏σʔλߏ଄ ۠ؒੵΛࣄલܭࢉ͢Δ͜ͱͰΫΤϦΛߴ଎Խ <  <  <  <  <  <  <         
15. ©2026 Wantedly, Inc. Ұ఺ߋ৽ͷྫ ߋ৽͍ͨ͠ఴࣈΛؚΉ۠ؒੵΛߋ৽͢Δ ༿͔Βॱʹॲཧ͢Δ <  <  <  <  <  <  <         
16. ©2026 Wantedly, Inc. ۠ؒੵͷྫ ࣄલܭࢉͨ۠ؒ͠ੵΛ࢖͏ ԋࢉͷॱংΛอͭ͜ͱͰҰൠͷϞϊΠυʹରͯ͠࢖͑Δ <  <  <  <  <  <  <         
17. ©2026 Wantedly, Inc. ۠ؒੵʹ༻͍ΒΕΔख๏ͷൺֱ
    ηάϝϯτ໦
    WT
    ྦྷੵ࿨  ηάϝϯτ໦͸ҰൠͷϞϊΠυʹద༻Ͱ͖Δ
    w ηάϝϯτ໦͸ٯݩͷଘࡏ͠ͳ͍
    NJOɺNBYɺHDE
    ౳ʹ΋ద༻Մೳ
    w ྦྷੵ࿨ʹ͸ٯݩ͕ඞཁ
     ηάϝϯτ໦͸Ұ఺ߋ৽͕଎͍
    w ηάϝϯτ໦͸
    0 MPH
    /
    ͰҰ఺ߋ৽Ͱ͖Δ
    w ྦྷੵ࿨͸ߋ৽͕
    0 /
    ͳͷͰجຊతʹࣄલܭࢉͨ͠Βߋ৽͠ͳ͍૝ఆ
     ྦྷੵ࿨ͷํ͕࣮૷͕͍ܰ
18. ©2026 Wantedly, Inc. టष͍࠷దԽ1: ഑ྻ΁ͷຒΊࠐΈ ੑೳ্ͷཁ੥͔Β഑ྻʹຒΊࠐΉ͜ͱ͕ଟ͍ ׬શೋ෼໦ͳΒ෯༏ઌॱʹ௖఺Λฒ΂Ε͹ఴࣈ i ͷࢠ͕ 2i ͱ 2i+1 ʹͳΔ <  ˠ <  ˠ <  ˠ <  ˠ <  ˠ <  ˠ <  ˠ ˠ ˠ ˠ ˠ ˠ ˠ ˠ ˠ
19. ©2026 Wantedly, Inc. ഑ྻ΁ͷຒΊࠐΈͷ՝୊: ༿ͷ਺͕2ႈͰ͸ͳ͍৔߹ͷѻ͍ ༿ͷ਺͕2ႈͰ͸ͳ͍৔߹ɺ׬શೋ෼໦ʹͳΒͳ͍ ఴࣈ i ͷ௖఺ͷࢠ͕୯७ʹఴࣈ 2i ͱ 2i+1 ͰΞΫηεͰ͖ͳ͍ <  <  ˠ <  <  ˠ <  ˠ <  ˠ <  ˠ ˠ ˠ ˠ ˠ ˠ ˠ 
20. ©2026 Wantedly, Inc. టष͍࠷దԽ2: ηάϝϯτ໦্ͷೋ෼୳ࡧ ۠ؒੵ+ೋ෼୳ࡧΛ௚઀࣮૷͢Δͱߴ଎ԽͰ͖Δ ໦ͷ૸͕ࠪҰճͰࡁΉ෼ܭࢉྔͷΦʔμʔ͕མͪΔ <  <  <  <  <  <  <         
21. ©2026 Wantedly, Inc. 3PDRʹΑΔݕূ
22. ©2026 Wantedly, Inc. ૉ๿ͳݕূͷ՝୊  ͦ΋ͦ΋௚઀తূ໌͕ඇࣗ໌
    w ഑ྻʹຒΊࠐΜͰ͍ΔͷͰߏ଄తؼೲ๏͕ճͤͳ͍
    w ؼೲ๏Λճͨ͢Ίͷ໋୊ͷҰൠԽ΋഑ྻ΁ͷຒΊࠐΈʹৼΓճ͞ΕΔ
     ࠷దԽΛࢪ͢౓ʹূ໌ͷमਖ਼͕ඞཁʹͳΔ
    w ഑ྻ΁ͷຒΊࠐΈํ๏͸ηάϝϯτ໦ͷຊ࣭తͳਖ਼౰ੑͱ͸ແؔ܎
23. ©2026 Wantedly, Inc. ࠓճ༻͍Δख๏: ؔ৺ͷ෼཭ ຊ࣭తͳ࣮૷ͱ഑ྻ΁ͷຒΊࠐΈΛผʑʹݕূ͢Δ w ηάϝϯτ໦ͷදݱํ๏͕มΘͬͯ΋ຊ࣭෦෼ͷݕূ͸ྲྀ༻Ͱ͖Δ
    w ຊ࣭෦෼Λݕূ͢Δࡍʹߏ଄తؼೲ๏Λճ͠΍͘͢ͳΔ
    ຊ࣭తͳ࣮૷ Ұ࣍ݩ഑ྻʹΑΔ࣮૷ ਖ਼౰ੑΛݕূ ਪҠతʹਖ਼౰ੑ͕ূ໌Ͱ͖Δ ຒΊࠐΈͷਖ਼౰ੑΛݕূ
24. ©2026 Wantedly, Inc. ༿͔Βॱʹ௖఺Λฒ΂ͨδϟά഑ྻͰѻ͏ ૸ࠪͷ౎߹্ɺ༿͔ΒΞΫηεͰ͖ͨํ͕خ͍͠ ݕূʹద͢Δηάϝϯτ໦ͷ࣮૷
    δϟά഑ྻ         <  <  <  <  <  <  < 
25. ©2026 Wantedly, Inc. ࠶ܝ: ۠ؒੵͷ࣮૷ ྆୺ͷΈࢠͷੈ୅Ͱॲཧ͠ɺ࢒Γ͸਌ੈ୅ʹୗ͢ ϞϊΠυͰ͸Մ׵ੑ͕อূ͞Εͳ͍ͨΊɺԋࢉͷॱংΛอͭඞཁ͕͋Δ         <  <  <  <  <  <  < 
26. ©2026 Wantedly, Inc. ߏ଄త࠶ؼͰදݱͰ͖Δ ఀࢭੑ͕ࣗಈతʹอূ͞ΕΔ δϟά഑ྻͰηάϝϯτ໦Λදݱͨ͠৔߹ͷ۠ؒੵͷ࣮૷
27. ©2026 Wantedly, Inc. ೖྗ͕ηάϝϯτ໦ʹͳ͍ͬͯΕ͹۠ؒੵ͕ಘΒΕΔ ୯७ͳ۠ؒੵͷ࣮૷ͱग़ྗ͕Ұக͢Δ δϟά഑ྻͰηάϝϯτ໦Λදݱͨ͠৔߹ͷਖ਼౰ੑͷεςʔτϝϯτ
28. ©2026 Wantedly, Inc. ਌ੈ୅͸ࢠੈ୅ͷ෦෼ੵΛࣄલܭࢉͨ͠΋ͷ ਌ੈ୅ͷཁૉ਺͸ࢠੈ୅ͷ൒෼ʹͳΔ δϟά഑ྻ͕ηάϝϯτ໦ͷදݱͱͯ͠ଥ౰ʹͳΔ৚݅         <  <  <  <  <  <  < 
29. ©2026 Wantedly, Inc. δϟά഑ྻ͕ηάϝϯτ໦ͷදݱͱͯ͠ଥ౰ʹͳΔ৚݅
30. ©2026 Wantedly, Inc. δϟά഑ྻͰηάϝϯτ໦Λදݱͨ͠৔߹ͷਖ਼౰ੑূ໌ͷงғؾ
31. ©2026 Wantedly, Inc. ࠶ܝ: ࠓճͷݕূͰ͸ؔ৺ͷ෼཭Λߦ͏ ຊ࣭తͳ࣮૷ͱ഑ྻ΁ͷຒΊࠐΈΛผʑʹݕূ͢Δ ຊ࣭తͳ࣮૷ Ұ࣍ݩ഑ྻʹΑΔ࣮૷ ਖ਼౰ੑΛݕূ ਪҠతʹਖ਼౰ੑ͕ূ໌Ͱ͖Δ ຒΊࠐΈͷਖ਼౰ੑΛݕূ ࠓऴΘͬͨͷ͸ຊ࣭తͳ࣮૷ͷݕূͰɺຒΊࠐΈͷਖ਼౰ੑ΋ඞཁ
32. ©2026 Wantedly, Inc. ࠶ܝ: ηάϝϯτ໦ͷ഑ྻ΁ͷຒΊࠐΈ ෯༏ઌॱʹ௖఺Λฒ΂Δ Ұൠʹ͸ηάϝϯτ໦͸׬શೋ෼໦ͱ͸ݶΒͳ͍ͷͰ஫ҙ <  ˠ <  ˠ <  ˠ <  ˠ <  ˠ <  ˠ <  ˠ ˠ ˠ ˠ ˠ ˠ ˠ ˠ ˠ
33. ©2026 Wantedly, Inc. Ұ࣍ݩ഑ྻʹຒΊࠐΜͩηάϝϯτ໦Λѻ͏ ׬શೋ෼໦Ͱ͸ͳ͍৔߹΋ѻ͏ͨΊʹ༿ͷ਺ΛҾ͖ճ͢ ࠷ऴతʹݕূ͍ͨ۠ؒ͠ੵͷ࣮૷
34. ©2026 Wantedly, Inc. δϟά഑ྻΛฏୱԽ͢Δ͚ͩ ηάϝϯτ໦ͷ഑ྻ΁ͷຒΊࠐΈͷදݱ
35. ©2026 Wantedly, Inc. ηάϝϯτ໦ͷҰ࣍ݩ഑ྻ΁ͷຒΊࠐΈͷਖ਼౰ੑ
36. ©2026 Wantedly, Inc. ࠶ܝ: ࠓճͷݕূͰ͸ؔ৺ͷ෼཭Λߦ͏ ຊ࣭తͳ࣮૷ͱ഑ྻ΁ͷຒΊࠐΈ͕ݕূͰ͖ͨ ຊ࣭తͳ࣮૷ Ұ࣍ݩ഑ྻʹΑΔ࣮૷ ਖ਼౰ੑΛݕূ ਪҠతʹਖ਼౰ੑ͕ূ໌Ͱ͖Δ ຒΊࠐΈͷਖ਼౰ੑΛݕূ ྆ऀ͔ΒਪҠతʹҰ࣍ݩ഑ྻʹΑΔ࣮૷ͷਖ਼౰ੑ͕ূ໌Ͱ͖Δ
37. ©2026 Wantedly, Inc. ೋ෼୳ࡧͷݕূ ಉ༷ʹؔ৺ͷ෼཭ʹΑΓূ໌͕༰қʹͳΔ ࠷దԽ͞Ε࣮ͨ૷ͷมߋʹ΋ڧ͘ͳΔ ຊ࣭తͳ࣮૷ Ұ࣍ݩ഑ྻʹΑΔ࣮૷ ਖ਼౰ੑΛݕূ ਪҠతʹਖ਼౰ੑ͕ূ໌Ͱ͖Δ ຒΊࠐΈͷਖ਼౰ੑΛݕূ
38. ©2026 Wantedly, Inc. ࠶ܝ: ηάϝϯτ໦্ͷೋ෼୳ࡧͷ࣮૷ ྆୺͚ͩݸผνΣοΫͯ͠਌ੈ୅ʹୗ͢ ਌ੈ୅Ͱ୳ࡧͨ͠ޙɺӈ୺͕ड़ޠΛຬ͔ͨ͢ݕࠪ͢Δඞཁ͕͋Δ <  <  <  <  <  <  <         
39. ©2026 Wantedly, Inc. δϟά഑ྻͰηάϝϯτ໦Λදݱͨ͠৔߹ͷೋ෼୳ࡧͷ࣮૷ ୯७ʹ࣮૷͢Δͱ຤ඌ࠶ؼʹͳΒͳ͍
40. ©2026 Wantedly, Inc. ۠ؒੵʹରͯ͠୯ௐͳड़ޠͷਅِͷڥքΛฦ͢ δϟά഑ྻͰηάϝϯτ໦Λදݱͨ͠৔߹ʹೋ෼୳ࡧͷຬͨ͢΂͖ੑ࣭
41. ©2026 Wantedly, Inc. δϟά഑ྻͰηάϝϯτ໦Λදݱͨ͠৔߹ͷೋ෼୳ࡧͷݕূΠϝʔδ
42. ©2026 Wantedly, Inc. ຤ඌ࠶ؼͷͨΊɺ໦ΛొΔؔ਺ͱ߱ΓΔؔ਺ʹ෼཭ Ұ࣍ݩ഑ྻͰηάϝϯτ໦Λදݱͨ͠৔߹ͷೋ෼୳ࡧͷ࣮૷
43. ©2026 Wantedly, Inc. ηάϝϯτ໦ͷҰ࣍ݩ഑ྻ΁ͷຒΊࠐΈͷਖ਼౰ੑ
44. ©2026 Wantedly, Inc. ࣮ࡍͷίϯςετͰͷϕϯνϚʔΫ
45. ©2026 Wantedly, Inc. OCaml࣮૷ͷநग़ Rocqͷඪ४ػೳͰOCamlͷ࣮૷Λநग़Ͱ͖Δ ࣮༻తʹ͸Rocqͷࣗવ਺ΛOCamlϓϦϛςΟϒͷintʹஔ͖׵͑Δඞཁ͸͋Δ
46. ©2026 Wantedly, Inc. Rocq͔Βநग़ͨ͠OCaml࣮૷: ۠ؒੵ
47. ©2026 Wantedly, Inc. AtCoder ARC033-Cʮσʔλߏ଄ʯ RocqͰݕূͨ͠ηάϝϯτ໦Ͱ໰୊Λղ͘ ͜Ε͸લॲཧͯ͠ηάϝϯτ໦Λ࢖͏͚ͩͷ໰୊ https://atcoder.jp/contests/arc033/tasks/arc033_3
48. ©2026 Wantedly, Inc. ݁Ռ: RocqͰݕূࡁͷ࣮૷͸࣮༻ʹ଱͑Δ ࣮૷ ࣮ߦ࣌ؒ ࢖༻ϝϞϦ ݕূࡁೋ෼୳ࡧ NT ,# ݕূࡁ۠ؒੵ ൚༻ೋ෼୳ࡧ
    NT ,# ࢀߟ
    ϰΝϦΞϯτʹΑΔ࣮૷ NT ,#
49. ©2026 Wantedly, Inc. ·ͱΊ
50. ©2026 Wantedly, Inc. 1. టष͍ϓϩάϥϜʹ΋ܗࣜݕূ͕ద༻Ͱ͖Δ 2. ূ໌ʹରͯ͠΋ؔ৺ͷ෼཭͸༗༻ 3. ੑೳΛ٘ਜ਼ʹͤͣূ໌ۦಈ։ൃͰ͖Δͱࣔͨ͠ ·ͱΊ