https://b.hatena.ne.jp/entry/s/zenn.dev/mizchi/articles/quint-application-modeling 本記事は、AIに分散システムのバグを探させて、そのレポートを自分が理解できるように整形させたものです。 実際に見つかったバグは以下の Issues で、現在修正済みです。 これをどうやって見つけたのか、それを... https://b.hatena.ne.jp/kazufsaf/20260821#bookmark-4791817836140567106 2026-08-21T04:38:13Z https://b.hatena.ne.jp/uehaj/20260821#bookmark-4791817836140567106 2026-08-20T23:40:59Z https://b.hatena.ne.jp/k0yoshitsugu/20260820#bookmark-4791817836140567106 2026-08-20T09:12:28Z https://b.hatena.ne.jp/igrep/20260820#bookmark-4791817836140567106 "1. 守りたい制約を一行の invariant にする 2. 関係する状態遷移だけを小さく書く 3. checker に嫌な実行順序を探してもらう 4. 反例を本物のテストとして実装へ戻す" 2026-08-20T08:31:23Z 形式手法 AI 分散処理 https://b.hatena.ne.jp/t_f_m/20260820#bookmark-4791817836140567106 2026-08-20T02:19:29Z https://b.hatena.ne.jp/yuiseki/20260820#bookmark-4791817836140567106 2026-08-20T02:02:48Z あとで読む https://b.hatena.ne.jp/kuwadgi/20260820#bookmark-4791817836140567106 2026-08-20T01:48:30Z あとで読む https://b.hatena.ne.jp/tinsep19/20260820#bookmark-4791817836140567106 時間が合わないとキツい処理はデバッグも大変 2026-08-19T23:20:51Z https://b.hatena.ne.jp/threeMonths/20260820#bookmark-4791817836140567106 2026-08-19T23:02:47Z https://b.hatena.ne.jp/yamori0408/20260819#bookmark-4791817836140567106 2026-08-19T14:47:21Z あとで読む https://b.hatena.ne.jp/mandel59/20260819#bookmark-4791817836140567106 2026-08-19T14:33:12Z https://b.hatena.ne.jp/rutei/20260819#bookmark-4791817836140567106 2026-08-19T14:33:02Z https://b.hatena.ne.jp/MASSI/20260819#bookmark-4791817836140567106 2026-08-19T14:20:30Z あとで読む https://b.hatena.ne.jp/xef/20260819#bookmark-4791817836140567106 2026-08-19T13:54:42Z FormalMethod https://b.hatena.ne.jp/toshikish/20260819#bookmark-4791817836140567106 2026-08-19T12:34:19Z https://b.hatena.ne.jp/master9064/20260819#bookmark-4791817836140567106 2026-08-19T12:14:25Z https://b.hatena.ne.jp/mska/20260819#bookmark-4791817836140567106 論理型言語大好き人間なので大変興味あり 2026-08-19T11:55:23Z https://b.hatena.ne.jp/ragi256/20260819#bookmark-4791817836140567106 2026-08-19T11:49:28Z https://b.hatena.ne.jp/knjname/20260819#bookmark-4791817836140567106 2026-08-19T09:16:40Z https://b.hatena.ne.jp/takutakuma/20260819#bookmark-4791817836140567106 2026-08-19T09:13:08Z https://b.hatena.ne.jp/dowhile/20260819#bookmark-4791817836140567106 2026-08-19T09:06:16Z https://b.hatena.ne.jp/en-en-ra/20260819#bookmark-4791817836140567106 2026-08-19T09:00:58Z あとで読む https://b.hatena.ne.jp/keita1714/20260819#bookmark-4791817836140567106 2026-08-19T08:56:10Z https://b.hatena.ne.jp/mkusaka/20260819#bookmark-4791817836140567106 Quintでcelldのsingle-writer違反を探索し、TTL10s・clock skewで二重writer反例を特定してRustテストで再現 2026-08-19T08:37:35Z AI要約 Quint celld clockSkew 形式検証 分散システム https://b.hatena.ne.jp/yhara/20260819#bookmark-4791817836140567138 形式手法、Alloyとか触ったことはあるけど、実際の課題に適用したことはなくて、このへんAIに手伝ってもらって実用できるようになるとよさそう 2026-08-19T08:27:36Z