前提呼び出し