diverge (発散する)

プログラムの実行は、期待どおりに終了しなければ発散するとされています。 発散することなく限られた時間で値が生成された場合、その実行は収束します。