補足説明 これは、「【定理１０】」から始まる一連の証明の一部です。文字記号の意味については「【定理１０】」から順にエントリーを参照して下さい。 【定理１４】定理１３で述べた変換の前後でロットの待ち時間の平均値は変化しない。 （証明） ロットの…

補足説明 これは、「【定理１０】」から始まる一連の証明の一部です。文字記号の意味については「【定理１０】」から順にエントリーを参照して下さい。 【定理１３】：同時に２ロット以上が処理中になることがなく、かつ、待ちロットが１ロット以上あるのに…