承認の件数と見逃し（仮定つきの模型）

1 つの作業で人間に確認を求める件数を $m$ とし、そのうち危険な行為は $d$ 件とする。仮定: 人間が危険な行為 1 件を誤って承認する確率は、件数の関数 $h(m)$ で、$h$ は広義単調増加（件数が増えるほど、1 件あたりの確認の質は下がるか、変わらない）である。危険な行為の見逃しの期待件数を $L = d\,h(m)$ とする。

確認を減らす仕組み（許可規則や、サンドボックスの中での自動実行）を入れて、$m_0$ 件を確認なしで実行するようにし、その中に危険な行為が $d_0$ 件含まれるとする。確認なしで実行された危険な行為が被害につながる確率を $\eta$ とする。このときの見逃しの期待件数は $L' = (d - d_0)\,h(m - m_0) + d_0\,\eta$ である。

1. $d_0 = 0$（確認なしにしたものに危険な行為が含まれない）ならば、$L' \le L$。
2. 一般には、$L' \lt L$ となるのは $d_0\,\bigl(\eta - h(m - m_0)\bigr) \lt d\,\bigl(h(m) - h(m - m_0)\bigr)$ のとき、かつそのときに限る。