2008-09-02 補足 待ち行列理論 いくつかの式の導出方法をここに記します。 以下の諸式において[tex:-1 ・・・・(1) (証明) と置く。 よって よって ・・・・(2) (証明) (1)の両辺をで微分する。 よって ・・・・(3) (証明) (2)の両辺をで微分する。 よって