関連ニュース
時相論理の形式仕様の Quint を使って、denoland/celld の二重 writer バグを見つけた
本記事は、AIに分散システムのバグを探させて、そのレポートを自分が理解できるように整形させたものです。 実際に見つかったバグは以下の Issues で、現在修正済みです。 これをどうやって見つけ...
はてなテクノロジー
08/19 08:27
Strands Agents と Bedrock Guardrails を連携してAIエージェントにガードレールを適用する - Taste of Tech Topics
こんにちは。大橋です。 先週は、お盆休みを活かして、4年前に家族旅行で訪れて以来、久しぶりに思い入れのある鎌倉に行ってきました！ 思ったほど暑くはなく、海沿いを歩きながら、心地よい潮風を感じてき...
はてなテクノロジー
08/19 04:17
SREの積み重ねがAI駆動開発のガードレールになった ― 7つの実践/SRE Guardrails The 7
SRE Next 2026の登壇資料です
はてなテクノロジー
07/10 08:30
出典メディア
はてなテクノロジー (4)
つながり
数字は「ガードレール」と一緒に出てきた記事の本数。 グラフには強いものだけが出るので、ここが全部です。
AI・人工知能
4
Claude
2
Anthropic / Claude
2
サブカル全般
2
Guardrails
2
Strands
1
実践/SRE
1
坂口友紀
1
形式仕様
1
The
1
Quint
1
、Taste
1
Issues
1
仕様駆動開発
1
1ヶ月
1
Topics
1
denoland/celld
1
全部見
1
denoland/
1
AIエージェント
1
グッドパッチ
1
Goodpatch
1
上場デザイン
1
SRE
1
バックオフィス20
1
時相論理
1
バックオフィス20名
1
AI設計図
1
実践/
1
生成AI
1
家族旅行
1
設計図
1
AI設計
1
Claude/ChatGPT
1
AI駆動開発
1
お盆休み
1
OpenAI / GPT
1
AI駆動
1
上場デザイン会社
1
Agents
1