https://b.hatena.ne.jp/entry/s/zenn.dev/nrs/articles/93424504f49ce6 AI への指示書は自然言語で書きます。 書いた本人には明確に見えますし、AI も分かったという顔をして実装を始めます。 その結果、できあがったものが思っていたものではないことがあります。 なぜなら、自然言語... https://b.hatena.ne.jp/suji_ski/20260829#bookmark-4792215692075407202 2026-08-29T14:42:33Z https://b.hatena.ne.jp/chapirog/20260829#bookmark-4792215692075407202 2026-08-29T13:42:09Z https://b.hatena.ne.jp/umaidashi18/20260829#bookmark-4792215692075407202 2026-08-29T06:53:27Z https://b.hatena.ne.jp/hush_in/20260829#bookmark-4792215692075407202 2026-08-29T06:44:33Z ai development https://b.hatena.ne.jp/sora0513/20260829#bookmark-4792215692075407202 2026-08-28T23:51:46Z ai development コーディング ChatGPT 開発 チュートリアル programming 考え方 https://b.hatena.ne.jp/uniuni126/20260829#bookmark-4792215692075407202 2026-08-28T22:43:12Z あとで読む https://b.hatena.ne.jp/tokg/20260828#bookmark-4792215692075407202 2026-08-28T12:34:44Z https://b.hatena.ne.jp/yosf/20260828#bookmark-4792215692075407202 2026-08-28T12:34:00Z ai https://b.hatena.ne.jp/toriirot/20260828#bookmark-4792215692075407202 2026-08-28T11:27:56Z https://b.hatena.ne.jp/many939/20260828#bookmark-4792215692075407202 2026-08-28T10:59:58Z https://b.hatena.ne.jp/ttono/20260828#bookmark-4792215692075407202 2026-08-28T10:34:55Z あとで読む https://b.hatena.ne.jp/yumenaut/20260828#bookmark-4792215692075407202 2026-08-28T10:12:23Z https://b.hatena.ne.jp/auto_chan/20260828#bookmark-4792215692075407202 開発の左傾化！レッドシフト！ 2026-08-28T08:34:12Z https://b.hatena.ne.jp/highbridge71/20260828#bookmark-4792215692075407202 2026-08-28T08:23:21Z https://b.hatena.ne.jp/daitom/20260828#bookmark-4792215692075407202 2026-08-28T08:15:16Z https://b.hatena.ne.jp/horiri069/20260828#bookmark-4792215692075407202 2026-08-28T08:11:12Z https://b.hatena.ne.jp/yamori0408/20260828#bookmark-4792215692075407202 2026-08-28T07:32:57Z あとで読む https://b.hatena.ne.jp/dev_tamura/20260828#bookmark-4792215692075407202 2026-08-28T07:00:36Z https://b.hatena.ne.jp/grimleaper/20260828#bookmark-4792215692075407202 2026-08-28T06:54:10Z 人工知能 techfeed https://b.hatena.ne.jp/isudzumi/20260828#bookmark-4792215692075407202 2026-08-28T05:36:16Z https://b.hatena.ne.jp/knj2918/20260828#bookmark-4792215692075407202 2026-08-28T05:26:30Z あとで読む https://b.hatena.ne.jp/yarumato/20260828#bookmark-4792215692075407202 “自由文で書かれた仕様書はぶれやすく、読みづらいものです。というか読みたくない。形式手法は正しさが欲しい場面で昔から使われてきた道具だが、実務で常用するには仕様を書くコストが高かった。今はAIがある。” 2026-08-28T05:14:28Z https://b.hatena.ne.jp/iwata_n/20260828#bookmark-4792215692075407202 2026-08-28T04:54:32Z https://b.hatena.ne.jp/zu2/20260828#bookmark-4792215692075407202 2026-08-28T04:43:13Z https://b.hatena.ne.jp/pewe/20260828#bookmark-4792215692075407202 2026-08-28T04:41:24Z あとで読む https://b.hatena.ne.jp/tashiromachi001/20260828#bookmark-4792215692075407202 2026-08-28T04:30:48Z https://b.hatena.ne.jp/mstk_knife/20260828#bookmark-4792215692075407202 2026-08-28T04:18:12Z あとで読む https://b.hatena.ne.jp/nenchaa/20260828#bookmark-4792215692075407202 2026-08-28T04:11:43Z https://b.hatena.ne.jp/hatohaya0216/20260828#bookmark-4792215692075407202 2026-08-28T04:06:06Z あとで読む https://b.hatena.ne.jp/hourousuteneko/20260828#bookmark-4792215692075407202 2026-08-28T03:56:31Z あとで読む https://b.hatena.ne.jp/harupome335/20260828#bookmark-4792215692075407202 2026-08-28T03:48:26Z https://b.hatena.ne.jp/oioiKoKoRodayo9/20260828#bookmark-4792215692075407202 2026-08-28T03:42:41Z https://b.hatena.ne.jp/momonga_dash/20260828#bookmark-4792215692075407202 2026-08-28T03:35:16Z あとで読む https://b.hatena.ne.jp/toaruR/20260828#bookmark-4792215692075407202 だんだんコードになっていく(ノ∀`) 2026-08-28T03:28:10Z https://b.hatena.ne.jp/tarbonet/20260828#bookmark-4792215692075407202 2026-08-28T03:25:03Z https://b.hatena.ne.jp/sh0g0/20260828#bookmark-4792215692075407202 2026-08-28T03:24:31Z https://b.hatena.ne.jp/simplememofast/20260828#bookmark-4792215692075407202 検証器を回さない以上、iff仕様が誤れば下流は忠実に誤りを答え合わせする。曖昧さを自然言語から形式記法へ移した形で、どこから総当たり検証に踏み込むかが次の論点だ 2026-08-28T03:16:40Z 形式手法 https://b.hatena.ne.jp/mkusaka/20260828#bookmark-4792215692075407202 TAKTのformal_specでAIと事前合意し、Gherkinに加えQuint/Alloyで要件を曖昧さ除去する開発手法。 2026-08-28T03:08:22Z AI要約 形式手法 AIエージェント ガイド TAKT チュートリアル https://b.hatena.ne.jp/empereur-7/20260828#bookmark-4792215692075407202 2026-08-28T03:08:12Z https://b.hatena.ne.jp/guitgraph/20260828#bookmark-4792215692075407202 2026-08-28T02:58:49Z あとで読む https://b.hatena.ne.jp/kimunetQ/20260828#bookmark-4792215692075407202 2026-08-28T02:45:24Z https://b.hatena.ne.jp/hbmuser/20260828#bookmark-4792215692075407202 2026-08-28T02:44:54Z あとで読む https://b.hatena.ne.jp/takashabe/20260828#bookmark-4792215692075407202 2026-08-28T02:35:54Z https://b.hatena.ne.jp/uniom/20260828#bookmark-4792215692075407202 2026-08-28T02:33:01Z https://b.hatena.ne.jp/tasukuchan/20260828#bookmark-4792215692075407202 2026-08-28T02:25:57Z https://b.hatena.ne.jp/marutaku0131/20260828#bookmark-4792215692075407202 2026-08-28T02:16:48Z https://b.hatena.ne.jp/ippeichangg/20260828#bookmark-4792215692075407202 2026-08-28T02:11:28Z https://b.hatena.ne.jp/door-s-dev/20260828#bookmark-4792215692075407202 2026-08-28T02:06:28Z https://b.hatena.ne.jp/tossy_yukky/20260828#bookmark-4792215692075407202 2026-08-28T02:06:18Z https://b.hatena.ne.jp/namachikuwa/20260828#bookmark-4792215692075407202 2026-08-28T02:01:44Z あとで読む https://b.hatena.ne.jp/nikochan2k/20260828#bookmark-4792215692075407202 2026-08-28T01:55:22Z あとで読む https://b.hatena.ne.jp/moronbee/20260828#bookmark-4792215692075407202 "これまで先送りできていたことの一部が先送りできなくなったわけで、マインドチェンジが求められます。結果として、開発における意思決定はどんどん手前に寄っていく。" 2026-08-28T01:41:18Z ai development specification https://b.hatena.ne.jp/dpprkng/20260828#bookmark-4792215692075407202 2026-08-28T01:37:24Z https://b.hatena.ne.jp/otihateten3510/20260828#bookmark-4792215692075407202 AIこういうの苦手そう 2026-08-28T01:36:41Z https://b.hatena.ne.jp/fumikony/20260828#bookmark-4792215692075407202 2026-08-28T01:30:43Z あとで読む https://b.hatena.ne.jp/hasiduki/20260828#bookmark-4792215692075407202 形式手法の時代きたー！！！！！！！！！ 2026-08-28T01:20:40Z https://b.hatena.ne.jp/Retset/20260828#bookmark-4792215692075407202 2026-08-28T01:20:04Z あとで読む AI https://b.hatena.ne.jp/tchr567/20260828#bookmark-4792215692075407202 2026-08-28T01:04:40Z https://b.hatena.ne.jp/shino_azm/20260828#bookmark-4792215692075407202 2026-08-28T00:56:28Z あとで読む https://b.hatena.ne.jp/kazuya030/20260828#bookmark-4792215692075407202 2026-08-28T00:52:36Z https://b.hatena.ne.jp/yojik/20260828#bookmark-4792215692075407202 2026-08-28T00:49:24Z https://b.hatena.ne.jp/dnskimox/20260828#bookmark-4792215692075407202 2026-08-28T00:38:08Z https://b.hatena.ne.jp/utage_idea/20260828#bookmark-4792215692075407202 2026-08-28T00:30:00Z https://b.hatena.ne.jp/onigra/20260828#bookmark-4792215692075407202 2026-08-28T00:27:24Z https://b.hatena.ne.jp/fuji_haruka/20260828#bookmark-4792215692075407202 “Quint と Allo” 2026-08-28T00:25:58Z https://b.hatena.ne.jp/nhayato/20260828#bookmark-4792215692075407202 2026-08-28T00:23:34Z https://b.hatena.ne.jp/objectiveworker/20260828#bookmark-4792215692075407202 2026-08-28T00:20:17Z https://b.hatena.ne.jp/imaizm/20260828#bookmark-4792215692075407202 2026-08-27T23:58:18Z 202608 AI利用開発 https://b.hatena.ne.jp/R2M/20260828#bookmark-4792215692075407202 2026-08-27T23:39:26Z あとで読む 開発 AI https://b.hatena.ne.jp/nguyen-oi/20260828#bookmark-4792215692075407202 形式手法をAIに書かせる発想は面白いな。仕様の曖昧さを手前で潰すのは理にかなってる 2026-08-27T23:38:41Z https://b.hatena.ne.jp/toenobu/20260828#bookmark-4792215692075407202 2026-08-27T23:37:20Z https://b.hatena.ne.jp/myzkkzy/20260828#bookmark-4792215692075407202 2026-08-27T23:36:30Z https://b.hatena.ne.jp/buell/20260828#bookmark-4792215692075407202 2026-08-27T23:34:41Z https://b.hatena.ne.jp/advblog/20260828#bookmark-4792215692075407202 2026-08-27T23:32:11Z https://b.hatena.ne.jp/yasuhiro1212/20260828#bookmark-4792215692075407202 2026-08-27T23:26:52Z あとで読む https://b.hatena.ne.jp/toshikish/20260828#bookmark-4792215692075407202 2026-08-27T23:16:49Z https://b.hatena.ne.jp/StrawberryGelato/20260828#bookmark-4792215692075407202 2026-08-27T23:13:12Z ai chatGPT claude code https://b.hatena.ne.jp/quodius/20260828#bookmark-4792215692075407202 2026-08-27T23:11:49Z https://b.hatena.ne.jp/whalebone/20260828#bookmark-4792215692075407202 2026-08-27T22:18:40Z 読み物 AI