← すべての言語
Verified Evaluation Criterion Specification .vecs
システムが自らの基準を動かせるべきではありません。
範囲が限定された決定論的な結果を持つ評価基準を定義します。
自身の評価基準を変更したり昇格を承認したりできません。基準の正しさを証明するものでもありません。
