事前条件
en : precondition
契約による設計におけるコードの利用条件のひとつ