最近の研究とか、RubyへのContributionとか / Recent My Study and Ruby Contributions

RubyKaigi 2025 follow upでの発表スライドです。

https://rhc.connpass.com/event/356128/

Transcript

1. Hiroiya Fujinami 2025/08/30 @ RubyKaigi 2025 follow up ࠷ۙͷݚڀͱ͔ɺ Ruby΁ͷContributionͱ͔ 1
2. Hiroya Fujinami • g m a kenowjust / t m a ke_now_just • Ph.D student a t the N a tion a l Institute of Inform a tics (NII) • Ruby committer, worked on regex m a tching • Ruby 3.2, 3.3: regex m a tching with memoiz a tion 2
3. RubyKaigi 2025Ͱͷൃද 3
4. RubyKaigi 2025Ͱͷൃද 4 Make Parsers Compatible Using Automata Learning - Hiroya Fujinami @ RubyKaigi 2025 Matsuyama Talk Summary 4 I found the compatibility issue (BUG) between Prism and parse.y using automata theory. $ ruby --parser=prism \ 'x = ("a":); p x' :a BUG Applying automata theory, we need to obtain automata corresponding to parsers. For this purpose, we employ automata learning. ΦʔτϚτϯֶशΛ࢖ͬͯɺ ύʔαʔͷόάΛൃݟͨ͠
5. ۙگ: ΦʔτϚτϯֶश 5 ATVAͱ͍͏ࠃࡍձٞʹ௨Γ·ͨ͠
6. ATVA 25 6 Intern a tion a l Symposium on Autom a ted Technology for Veri f ic a tion a nd An a lysis
7. ATVA 25ͷ৔ॴ 7 όϯΨϩʔϧʹߦ͖ͬͯ·͢
8. Componentwise Automata Learning 8 ATVAͰൃද͢Δ࿦จʹ͍ͭͯ https:// a rxiv.org/ a bs/2508.04458
9. Compositional Automata Learning 9 q1 / a component 1 q1 / a component 2 q1 / a component 3 ෳ਺ͷίϯϙʔωϯτ͕͋ͬͯɺ ίϯϙʔωϯτؒͰ΍ΓऔΓͰ͖Δ γεςϜʹର͢ΔΦʔτϚτϯֶश Moore M a chine Network
10. Moore Machine Networkͱݱ࣮ͷγεςϜͷؔ܎ 10 q1 / a ΞϓϦέʔγϣϯ αʔόʔ APIαʔόʔ 1 APIαʔόʔ 2 APIϦΫΤετ Ϩεϙϯε Moore M a chine Network ݱ࣮ੈքͰͷԠ༻ΛΠϝʔδͨ͠ઃఆͷ ݚڀͷͭ΋Γ ϚΠΫϩαʔϏεతͳ
11. Componentwise Automata Learning 11 q0 / a q1 / b p0 / x p1 / x x a b y ෳࡶͳ෦෼ b component 1 component 2 ͜ͷ෦෼ʹ౸ୡ͢Δ͜ͱ͸ ແ͍ ෳ਺ίϯϙʔωϯτΛಉ࣌ʹ ֶश͢Δ͜ͱͰɺ ແବͳ෦෼ΛֶशͤͣʹࡁΉ
12. ۙگ: υΠπʹߦ͍ͬͯ·ͨ͠ 12 Summer School M a rktoberdorf 2025 ʹࢀՃ͖ͯ͠·ͨ͠ (8/6-8/15ͷ2िؒ)
13. MarktoberdorfͰֶΜͩ͜ͱ • ࣗಈఆཧূ໌ɾϓϩάϥϜݕূͱͦͷԠ༻ • Byron Cook (AWSͷ෭ࣾ௕) ͷ࿩ͳͲ΋͋Γ ڵຯਂ͔ͬͨ • ͦΕΒͷجૅͱͯ͠SATɾSMTιϧόͷ࿩΋ 13
14. SATιϧόΛ࡞Γͨ͘ͳͬͨ • ͷͰ࡞ͬͨ • https://gist.github.com/m a kenowjust/ 254 a 70804179ce3025 a 274d8c12b5945 • ໊લ͸ KiriMochi • ৭ʑ (CDCL, 2WL, VSIDS, LBD) ࣮૷ͨ͠
15. SATιϧόͱ͸ʁ 15 • ༩͑ΒΕͨ࿦ཧࣜΛॆ଍͢Δ ม਺ͷׂΓ౰ͯΛٻΊΔϓϩάϥϜ • ༷ʑͳ໰୊ (਺ಠͳͲ)Λ࿦ཧࣜʹ Τϯίʔυͯ͠ղܾͰ͖Δ x ∧ (¬y ∨ ¬x) ∧ (y ∨ z) {x := ⊤ , y := ⊥ , z := ⊤ }
16. RubyͰSATιϧόΛ࡞Δ΂͖Ͱ͸ͳ͍ • Ͳ͏଍ૡ͍ͯ΋଎౓Ͱউͯͳ͍ͷͰ Ϟνϕʔγϣϯ͕ଓ͔ͳ͍ • ͔ͳΓݶք·Ͱ࠷దԽ͕ͨ͠ ੑೳ͸C++࣮૷ͷ 5~30ഒ͘Β͍஗͍ (΋ͬͱ஗͍͜ͱ΋͋Δ) (2...w.size).each do |k| (w.size - 2).times do |k0| k = k0 + 2 k = 2 while k < w.size ... k += 1 144s 114s 97s
17. SATιϧόͰ΍Γ͍ͨ͜ͱ 17 • ʮਖ਼نදݱΛͭ͘Δʯ • ΦʔτϚτϯˠਓؒͷಡΈ΍͍͢ਖ਼نදݱɺ͸೉͍͠ • ਖ਼نදݱͷςϯϓϨʔτΛੜ੒ˠ ΦʔτϚτϯͱ౳͘͠ͳΔจࣈͷׂΓ౰ͯΛ SATιϧόʔͰ୳ࡧ / */ □ q1 a ≃
18. ͱ͍͏࿩ΛYAPC::FukuokaͰ͍ͨ͠ 18 https://fortee.jp/y a pc-fukuok a -2025/ propos a l/8788e20c- bc a 5-4 ff 8-8c46-58673415f4f3
19. Ruby΁ͷContribution 19
20. Ruby΁ͷContribution 20