事後条件
じごじょうけん
- postcondition n comp
Kanji
事
ジ • ズ
こと • つか.う • つか.える
matter; thing; fact; business; reason; possibly
後
ゴ • コウ
のち • うし.ろ • うしろ • あと • おく.れる
behind; back; later
条
ジョウ • チョウ • デキ
えだ • すじ
article; clause; counter for articles, clauses, paragraphs, etc.; twig; item; stripe; streak
件
ケン
くだん
affair; case; matter; item