情報科学 › Claude Code の中身 › 安全性
プロンプトインジェクション
プロンプトインジェクションとは、攻撃者が文章を差し込んで、AI アシスタントの指示を上書き・操作しようとする手法をいう(Claude Code の公式ドキュメントの説明)。利用者自身が敵対的な入力を作る場合を直接の、利用者は信頼できるが、モデルが利用者の代わりに読む第三者の内容(ウェブページ、メール、文書、ツールの結果)に敵対的な指示が含まれる場合を間接のプロンプトインジェクションという(Claude API の公式ドキュメントの区別)。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。