smartbank https://blog.hatena.ne.jp/smartbank/ inSmartBank https://blog.smartbank.co.jp/ Engineering みなさんこんにちは、nyancoです。 いよいよ RubyKaigi 2026 が近づいてきましたね。今年もスマートバンクは登壇・スポンサーとして参加します！ スマートバンクから2名登壇します ohbarye：From Formal Specification to Property Based Test 日時：4月23日（木）16:40〜17:10 場所：Small Hall （#rubykaigiC） テーマは形式仕様とプロパティベーステストの橋渡し。「あいまいさの無い仕様記述と、実装が仕様を満たすことの検証の重要性って変わりないよね」という話から入りつつ、形式仕様をパースしてプロパティパ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.smartbank.co.jp%2Fentry%2Frubykaigi2026" title="RubyKaigi 2026でスマートバンクのメンバーと握手🤝 #rubykaigi - inSmartBank" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/s/smartbank/20260417/20260417194323.png Hatena Blog https://hatena.blog 2026-04-17 20:00:00 rich https://blog.smartbank.co.jp/entry/rubykaigi2026 1.0 100%