情報科学 › Claude Code の中身 › ツールと権限

規則集合に対する判定

定義 3.2（「ツールと権限」§3）

規則集合 RR に対する判定 decR:Q→{deny,ask,allow,⊥}\mathrm{dec}_R : Q \to \{\mathrm{deny}, \mathrm{ask}, \mathrm{allow}, \bot\} を

decR(q)={denyq∈Matdeny(R) のときaskq∉Matdeny(R) かつ q∈Matask(R) のときallowq∉Matdeny(R)∪Matask(R) かつ q∈Matallow(R) のとき⊥それ以外のとき\mathrm{dec}_R(q) = \begin{cases} \mathrm{deny} & q \in \mathrm{Mat}_{\mathrm{deny}}(R) \text{ のとき} \\ \mathrm{ask} & q \notin \mathrm{Mat}_{\mathrm{deny}}(R) \text{ かつ } q \in \mathrm{Mat}_{\mathrm{ask}}(R) \text{ のとき} \\ \mathrm{allow} & q \notin \mathrm{Mat}_{\mathrm{deny}}(R) \cup \mathrm{Mat}_{\mathrm{ask}}(R) \text{ かつ } q \in \mathrm{Mat}_{\mathrm{allow}}(R) \text{ のとき} \\ \bot & \text{それ以外のとき} \end{cases}

と定める。⊥\bot は「どの規則にもマッチしない」ことを表し、そのときの扱いは権限モード（6 節）が決める。Den(R)\mathrm{Den}(R)、Ask(R)\mathrm{Ask}(R)、All(R)\mathrm{All}(R) を、それぞれ判定が deny\mathrm{deny}、ask\mathrm{ask}、allow\mathrm{allow} になる呼び出しの集合とする。

本文で読む（前後の説明と例）→

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理 証明で参照している 2 件

関連するノック 2 問