Tagged “テスト” - yasunaのてっくぶろぐ

LLMで形式検証が現実的になった：Claudeが123のOSSライブラリで落ちないことを証明した

by yasuna

October 23rd, 2026

8 min read

Anthropic Claude 形式検証セキュリティテスト