Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Omotesando.rb #110
Search
Masayuki Mizuno
June 05, 2025
0
90
Omotesando.rb #110
Masayuki Mizuno
June 05, 2025
Tweet
Share
More Decks by Masayuki Mizuno
See All by Masayuki Mizuno
Continuation is to be continued
fetburner
1
1.2k
callccの実装を読む
fetburner
0
150
RubyでSlackのbotを作ろう
fetburner
0
150
継続オペレータの話
fetburner
0
220
Rubyでリストモナドを使う
fetburner
0
170
次世代のプロファイラVernierを試す
fetburner
0
120
数値計算とメモリ最適化
fetburner
0
220
3/14なので円周率を計算する
fetburner
0
390
ネットワーク機器の中の OCaml
fetburner
1
720
Featured
See All Featured
Java REST API Framework Comparison - PWX 2021
mraible
31
8.6k
Rails Girls Zürich Keynote
gr2m
94
14k
A Tale of Four Properties
chriscoyier
159
23k
The Web Performance Landscape in 2024 [PerfNow 2024]
tammyeverts
8
640
4 Signs Your Business is Dying
shpigford
183
22k
Let's Do A Bunch of Simple Stuff to Make Websites Faster
chriscoyier
507
140k
Music & Morning Musume
bryan
46
6.6k
Raft: Consensus for Rubyists
vanstee
138
7k
Understanding Cognitive Biases in Performance Measurement
bluesmoon
29
1.8k
A designer walks into a library…
pauljervisheath
206
24k
The Success of Rails: Ensuring Growth for the Next 100 Years
eileencodes
45
7.3k
For a Future-Friendly Web
brad_frost
179
9.8k
Transcript
©2025 Wantedly, Inc. RubyKaigi 2025 ొஃৼΓฦΓ Omotesando.rb #110 Jun 5,
2025 - Masayuki Mizuno
©2025 Wantedly, Inc. ࣗݾհ ਫխ೭ ࣗݾհ ॴଐ: ΥϯςουϦʔגࣜձࣾ ৬ۀ: όοΫΤϯυΤϯδχΞ
͖ͳݴޠ: OCaml, Coq, NEC IXͷίϯϑΟά Twitter: @fetburner mixi2: @lgtm GitHub: https://github.com/fetburner
©2025 Wantedly, Inc. ࣗݾհ RubyKaigi 2025 Ͱܧଓʹ͍͖ͭͯͯ͠·ͨ͠ IUUQTSVCZLBJHJPSHQSFTFOUBUJPOTGFUCVSOFSIUNM
©2025 Wantedly, Inc. ࠓ͢͜ͱ 3VCZ,BJHJͱ 3VCZ,BJHJͷ४උͰྑ͔ͬͨࣄ 3VCZ,BJHJͷল
©2025 Wantedly, Inc. 3VCZ,BJHJͱ
©2025 Wantedly, Inc. RubyKaigiͱ Rubyʹؔ͢Δࠃࡍձٞ w ҰճͷϖʔεͰ։࠵͞Ε͍ͯΔ w ։࠵ͷϲ݄લʹൃද༰ͷQSPQPTBMΛ ग़ͯ͠ɺBDDFQU͞Εͨਓ͕ൃදͰ͖Δ
w ެ༻ޠӳޠͰɺຊޠͰͷൃදͰ͖Δ w ຊޠͰͷൃදʹ༁͕͘ w ݱͰ3VCZ,BJHJʹ߹ΘͤͨΠϕϯτ͕ ଟ։࠵͞Εָ͍ͯ͠ w FH0NPUFTBOEPSCNJEOJHIUNFFUVQ IUUQTSVCZLBJHJPSH
©2025 Wantedly, Inc. Ͳ͏͍ͬͨൃද͕RubyKaigiͰߦΘΕ͍ͯΔͷ͔ Rubyͷ׆༻Ͱͳ͘ݴޠࣗମͷ։ൃʹओ؟ IUUQTSVCZLBJHJPSHTDIFEVMF
©2025 Wantedly, Inc. 3VCZ,BJHJͷ४උͰྑ͔ͬͨࣄ
©2025 Wantedly, Inc. ςʔϚग़͠Ͱྑ͔ͬͨ͜ͱ RubyKaigiͷςʔϚΛҙࣝͨ͠ωλग़͕͠Ͱ͖ͨ ؔܕք۾͔ΒܧଓͷணΛಘ༷ͨʹɺଞίϛϡχςΟ͔ΒωλΛҾͬுΔͷྑ͍͔ IUUQTSVCZLBJHJPSHQSFTFOUBUJPOTGFUCVSOFSIUNM
©2025 Wantedly, Inc. ςʔϚग़͠Ͱྑ͔ͬͨ͜ͱ RubyKaigiʹܨ͕Γͦ͏ͳωλΛษڧձͰԹΊ͍ͯͨ ςʔϚग़͠ͷྑ͍ػձʹͳΔ΄͔ɺϑΟʔυόοΫಘΒΕΔ
©2025 Wantedly, Inc. ൃද४උͰྑ͔ͬͨ͜ͱ ొஃܦݧऀͷΞυόΠεΛड͚ΒΕͨ ஸಉ྅ʹڈൃදͨ͠@qnighy͞Μ͕ډͯɺCfPεϥΠυͷఴΛड͚ΒΕͨ ʢ͋Γ͕ͱ͏͍͟͝·͢ʣ
©2025 Wantedly, Inc. 3VCZ,BJHJͷল
©2025 Wantedly, Inc. ൃද༰ͷল CfPͰပΊ͔࣮͕ͨؒ͠ʹ߹Θͳ͔ͬͨ ࠾ޙεϥΠυ४උͰҙ֎ͱ͕࣌ؒऔΕͳ͍ͷͰɺࣄલʹऴΘΒ͓͖ͤͯͩͬͨ͘ IUUQTSVCZLBJHJPSHQSFTFOUBUJPOTGFUCVSOFSIUNM
©2025 Wantedly, Inc. ൃදʹ͍ͭͯͷল ൃදձͷԼݟΛߦͳ͓͖ͬͯͩͬͨ͘ w ձͷεΫϦʔϯ͕ڊେͰɺͷํൃදऀ͕ಡΉͷࠔ w ൃදऀʹͨΔεϙοτϥΠτ͕ᚶ͘͠ɺҰ࣌తʹ1$ͷΧϯϖ͕ݟ͑ͳ͘ͳͬͨ
©2025 Wantedly, Inc. ൃදʹ͍ͭͯͷল ͬͱൃද࿅शΛ͖ͩͬͨ͢ ࣮ࡍਓʹઆ໌͢ΔͭΓͰಡ·ͳ͍ͱεϥΠυͷྑ͠ѱ͔͠Βͳ͍ͷͰɺ͵͍͙ΔΈ૬ख Ͱྑ͍ͷͰൃද࿅शΛ෮ͨ͠ํ͕ྑ͍
©2025 Wantedly, Inc. ·ͱΊ
©2025 Wantedly, Inc. ·ͱΊ 3VCZ,BJHJͷςʔϚΛҙࣝͯ͠ωλΛग़͢ͱྑ͍ ษڧձͷൃදςʔϚग़͠ͷྑ͍ػձʹͳΔ ొஃܦݧऀʹΞυόΠεΛ͏ͱྑ͍
ࣄલ४උ೦ೖΓʹ