https://b.hatena.ne.jp/entry/s/zenn.dev/nrs/articles/10a331bae98bc4 TAKT にいれた形式仕様について、かなりいい感じに思うので記事にします。 形式仕様そのものになじみのない方も多いと思うので、そこから始めます。 形式仕様とは 自然言語で書かれた仕様書は読む人によって解釈... https://b.hatena.ne.jp/tchr567/20260925#bookmark-4793493542673868770 2026-09-25T09:32:03Z https://b.hatena.ne.jp/mathtonica/20260925#bookmark-4793493542673868770 2026-09-25T06:25:57Z あとで読む https://b.hatena.ne.jp/TakayukiN627/20260925#bookmark-4793493542673868770 形式手法は高い信頼性が求められる現場で古くから使われてきました。ただ、仕様を書いて維持するコストが高く　～　AI が書く側を引き受けるなら、仕様を書くコストは大きく下がります。 2026-09-25T05:27:06Z 開発 AI https://b.hatena.ne.jp/sochankun/20260925#bookmark-4793493542673868770 2026-09-25T02:59:42Z あとで読む https://b.hatena.ne.jp/yarumato/20260925#bookmark-4793493542673868770 “この記事は Quint をまったく知らないプログラマが、Quint を読み解けるようにするために書きました。　（実例）　コードにみえるので素直に読めそうなものですが、手続き型言語のノリで追っていくと迷子になります” 2026-09-25T02:59:18Z https://b.hatena.ne.jp/marices199/20260925#bookmark-4793493542673868770 2026-09-25T02:48:10Z https://b.hatena.ne.jp/yk5656/20260925#bookmark-4793493542673868770 2026-09-25T02:47:47Z ai https://b.hatena.ne.jp/dd41kk/20260925#bookmark-4793493542673868770 2026-09-25T00:54:48Z https://b.hatena.ne.jp/yojik/20260925#bookmark-4793493542673868770 2026-09-25T00:34:02Z https://b.hatena.ne.jp/t_stack/20260925#bookmark-4793493542673868770 2026-09-25T00:02:41Z https://b.hatena.ne.jp/yuiseki/20260925#bookmark-4793493542673868770 2026-09-25T00:01:10Z あとで読む https://b.hatena.ne.jp/satetsu_s/20260925#bookmark-4793493542673868770 2026-09-24T23:14:44Z あとで読む https://b.hatena.ne.jp/toshikish/20260925#bookmark-4793493542673868770 2026-09-24T22:58:06Z https://b.hatena.ne.jp/tokg/20260925#bookmark-4793493542673868770 2026-09-24T21:30:34Z https://b.hatena.ne.jp/toraneko219/20260925#bookmark-4793493542673868770 2026-09-24T19:40:42Z https://b.hatena.ne.jp/keita1714/20260925#bookmark-4793493542673868770 2026-09-24T18:28:54Z https://b.hatena.ne.jp/yamori0408/20260925#bookmark-4793493542673868770 2026-09-24T17:22:44Z あとで読む https://b.hatena.ne.jp/p-cscscs/20260925#bookmark-4793493542673868770 2026-09-24T16:47:07Z あとで読む https://b.hatena.ne.jp/quodius/20260925#bookmark-4793493542673868770 2026-09-24T16:21:22Z https://b.hatena.ne.jp/door-s-dev/20260925#bookmark-4793493542673868770 2026-09-24T15:48:09Z https://b.hatena.ne.jp/mkusaka/20260925#bookmark-4793493542673868770 Quintの形式仕様を「宣言・モデル・性質」3層で読み、AIと合意する方法を解説。verfiy/weakFair例も紹介。 2026-09-24T15:19:41Z AI要約 Quint 形式仕様 モデル検査 TAKT 入門 https://b.hatena.ne.jp/kart0408001/20260924#bookmark-4793493542673868770 2026-09-24T14:53:11Z あとで読む https://b.hatena.ne.jp/dkanikama/20260924#bookmark-4793493542673868770 2026-09-24T14:50:41Z https://b.hatena.ne.jp/fjch/20260924#bookmark-4793493542673868770 2026-09-24T13:51:16Z あとで読む https://b.hatena.ne.jp/umaidashi18/20260924#bookmark-4793493542673868770 2026-09-24T13:20:35Z https://b.hatena.ne.jp/whalebone/20260924#bookmark-4793493542673868770 2026-09-24T11:28:43Z 読み物 AI https://b.hatena.ne.jp/chapirog/20260924#bookmark-4793493542673868770 2026-09-24T11:28:23Z