noun
postcondition
Computing term: a condition that must be true after a program or function executes. Often used in formal verification and design by contract.
関数の事後条件を満たすように実装する。
Implement the function so that it satisfies the postcondition.
事
If the postcondition does not hold, there may be a bug.