Omotesando.rb #110

Transcript

1. ©2025 Wantedly, Inc. RubyKaigi 2025 ొஃৼΓฦΓ Omotesando.rb #110 Jun 5, 2025 - Masayuki Mizuno
2. ©2025 Wantedly, Inc. ࣗݾ঺հ ਫ໺խ೭ ࣗݾ঺հ ॴଐ: ΢ΥϯςουϦʔגࣜձࣾ ৬ۀ: όοΫΤϯυΤϯδχΞ ޷͖ͳݴޠ: OCaml, Coq, NEC IXͷίϯϑΟά Twitter: @fetburner mixi2: @lgtm GitHub: https://github.com/fetburner
3. ©2025 Wantedly, Inc. ࣗݾ঺հ RubyKaigi 2025 Ͱܧଓʹ͍ͭͯ࿩͖ͯ͠·ͨ͠ IUUQTSVCZLBJHJPSHQSFTFOUBUJPOTGFUCVSOFSIUNM
4. ©2025 Wantedly, Inc. ࠓ೔࿩͢͜ͱ  3VCZ,BJHJͱ͸
    3VCZ,BJHJͷ४උͰྑ͔ͬͨࣄ
    3VCZ,BJHJͷ൓ল఺
5. ©2025 Wantedly, Inc. 3VCZ,BJHJͱ͸
6. ©2025 Wantedly, Inc. RubyKaigiͱ͸ Rubyʹؔ͢Δࠃࡍձٞ w ೥ҰճͷϖʔεͰ։࠵͞Ε͍ͯΔ
   w ։࠵ͷ਺ϲ݄લʹൃද಺༰ͷQSPQPTBMΛ
   
   
   
   ग़ͯ͠ɺBDDFQU͞Εͨਓ͕ൃදͰ͖Δ
   w ެ༻ޠ͸ӳޠͰɺ೔ຊޠͰͷൃද΋Ͱ͖Δ
   w ೔ຊޠͰͷൃදʹ͸຋༁͕෇͘
   w ݱ஍Ͱ͸3VCZ,BJHJʹ߹ΘͤͨΠϕϯτ͕
   
   ଟ਺։࠵͞Εָ͍ͯ͠
   w FH
   0NPUFTBOEPSC
   NJEOJHIU
   NFFUVQ IUUQTSVCZLBJHJPSH
7. ©2025 Wantedly, Inc. Ͳ͏͍ͬͨൃද͕RubyKaigiͰߦΘΕ͍ͯΔͷ͔ Rubyͷ׆༻Ͱ͸ͳ͘ݴޠࣗମͷ։ൃʹओ؟ IUUQTSVCZLBJHJPSHTDIFEVMF
8. ©2025 Wantedly, Inc. 3VCZ,BJHJͷ४උͰྑ͔ͬͨࣄ
9. ©2025 Wantedly, Inc. ςʔϚग़͠Ͱྑ͔ͬͨ͜ͱ RubyKaigiͷςʔϚΛҙࣝͨ͠ωλग़͕͠Ͱ͖ͨ ؔ਺ܕք۾͔Βܧଓͷண૝Λಘ༷ͨʹɺଞίϛϡχςΟ͔ΒωλΛҾͬுΔͷ΋ྑ͍͔΋ IUUQTSVCZLBJHJPSHQSFTFOUBUJPOTGFUCVSOFSIUNM
10. ©2025 Wantedly, Inc. ςʔϚग़͠Ͱྑ͔ͬͨ͜ͱ RubyKaigiʹܨ͕Γͦ͏ͳωλΛษڧձͰԹΊ͍ͯͨ ςʔϚग़͠ͷྑ͍ػձʹͳΔ΄͔ɺϑΟʔυόοΫ΋ಘΒΕΔ
11. ©2025 Wantedly, Inc. ൃද४උͰྑ͔ͬͨ͜ͱ ొஃܦݧऀͷΞυόΠεΛड͚ΒΕͨ ஸ౓ಉ྅ʹڈ೥ൃදͨ͠@qnighy͞Μ͕ډͯɺCfP΍εϥΠυͷఴ࡟Λड͚ΒΕͨ ʢ͋Γ͕ͱ͏͍͟͝·͢ʣ
12. ©2025 Wantedly, Inc. 3VCZ,BJHJͷ൓ল఺
13. ©2025 Wantedly, Inc. ൃද಺༰ͷ൓ল఺ CfPͰပΊ͔࣮ͨ͠૷͕ؒʹ߹Θͳ͔ͬͨ ࠾୒ޙ͸εϥΠυ४උͰҙ֎ͱ͕࣌ؒऔΕͳ͍ͷͰɺࣄલʹऴΘΒ͓ͤͯ͘΂͖ͩͬͨ IUUQTSVCZLBJHJPSHQSFTFOUBUJPOTGFUCVSOFSIUNM
14. ©2025 Wantedly, Inc. ൃදʹ͍ͭͯͷ൓ল఺ ൃදձ৔ͷԼݟΛߦͳ͓ͬͯ͘΂͖ͩͬͨ w ձ৔ͷεΫϦʔϯ͕ڊେͰɺ୺ͷํ͸ൃදऀ͕ಡΉͷ͸ࠔ೉
    w ൃදऀʹ౰ͨΔεϙοτϥΠτ͕ᚶ͘͠ɺҰ࣌తʹ1$ͷΧϯϖ͕ݟ͑ͳ͘ͳͬͨ
15. ©2025 Wantedly, Inc. ൃදʹ͍ͭͯͷ൓ল఺ ΋ͬͱൃද࿅शΛ͢΂͖ͩͬͨ ࣮ࡍਓʹઆ໌͢Δͭ΋ΓͰಡ·ͳ͍ͱεϥΠυͷྑ͠ѱ͠͸෼͔Βͳ͍ͷͰɺ͵͍͙ΔΈ૬ख Ͱ΋ྑ͍ͷͰൃද࿅शΛ൓෮ͨ͠ํ͕ྑ͍
16. ©2025 Wantedly, Inc. ·ͱΊ
17. ©2025 Wantedly, Inc. ·ͱΊ  3VCZ,BJHJͷςʔϚΛҙࣝͯ͠ωλΛग़͢ͱྑ͍
     ษڧձͷൃද͸ςʔϚग़͠ͷྑ͍ػձʹͳΔ
     ొஃܦݧऀʹΞυόΠεΛ໯͏ͱྑ͍
     ࣄલ४උ͸೦ೖΓʹ