「ロードポートネックの判定式（teとCETが変動しない場合）」での考察を、処理時間とキャリア交換時間が変動する一般的な場合に拡張します。 ロードポートネックは個々の装置に個別に起きる現象なので、ステーション内の任意の１台の装置に注目します。そし…