生成検証サイクル

ある単位の作業（1 つの関数、1 つの変更）について、次を仮定します。

• 1 回の生成にかかるコストを $g \ge 0$ とする。
• 生成物が仕様を満たすかどうかを判定するコストを $v > 0$ とする。
• 各回の生成が仕様を満たす確率は $q \in (0, 1]$ であり、各回は独立とする。
• 検証は正しく判定する（見逃しも誤検出もない）とする。
• 満たさないと判定されたら、生成をやり直す。

このとき、最初に受理されるまでの総コストの期待値を $E(g, v, q)$ と書きます。