
前提条件- 行為が行われる前または出来事が起こる前に満たされなければならない条件
Bedingung, die erfüllt sein muss, bevor eine Handlung gesetzt wird oder ein Ereignis eintreten kann
事前条件- 関数の実行が定められた結果をもたらすために備わっていなければならない前提
Voraussetzung, die gegeben sein muss, damit die Ausführung einer Funktion ein definiertes Ergebnis erbringt