「ロードポートネックの判定式」で述べた判定式の拡張を試みたいと思います。 拡張の一つは、をキャリア交換時間（Carrier Excahnge Time）に置き換えることです。すると、「ロードポートネックの判定式」で述べた式は、以下のようになります。 ならば なら…