気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
1user
がブックマーク
0
0
RubyKaigi 2026 - From Formal Specification to Property Based Test - Techouse Developers Blog
1 user
developers.techouse.com
developers.techouse.com
記事へのコメント0件
- 注目コメント
- 新着コメント
新着コメントはまだありません。
このエントリーにコメントしてみましょう。
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
RubyKaigi 2026 - From Formal Specification to Property Based Test - Techouse Developers Blog
はじめに こんにちは、株式会社Techouseでバックエンドエンジニアをしている satoh(@shiro-tec) です。 ... はじめに こんにちは、株式会社Techouseでバックエンドエンジニアをしている satoh(@shiro-tec) です。 本記事では、RubyKaigi 2026 の Day2 で発表された Masato Ohba(@ohbarye) さんによるセッション「From Formal Specification to Property Based Test」について紹介させていただきます。 このセッションは、@ohbarye さんが RubyKaigi 2024 で発表された「Unlocking Potential of Property Based Testing with Ractor」の続編にあたる内容です。形式仕様（Formal Specification）から、プロパティベーステスト（Property Based Testing）を自動生成するというテーマで、Ruby向けに開発さ
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
developers.techouse.com
developers.techouse.com
developers.techouse.com
developers.techouse.com
president.jp
note.com/mainichihardy
ourfeel.jp
anond.hatelabo.jp
ponflog.com
techblog.zozo.com
www.asahi.com
pc.watch.impress.co.jp
ubuntu.com
arxiv.org
www.publickey1.jp
speakerdeck.com/yuya4
www.gizmodo.jp
narinari.com
magumataishi.seesaa.space
nazology.kusuguru.co.jp
studyhacker.net
levtech.jp
www.hotpepper.jp
onaji.me
