← オペレーションズマネジメント 一覧

🎓 第4章：待ち行列理論

第4章 待ち行列理論

行列は「到着がランダム・サービスに時間がかかる・窓口が有限」だから生まれます——平均では能力が足りていても、ばらつきがある限り待ちは消えません。本章はその「待ち」を勘でなく数理で設計します。まずケンドール記法と性能指標（系内数 $L$・待ち $L_q$・系内時間 $W$・待ち時間 $W_q$・稼働率 $\rho$）を整え、プロセス分析とリトルの法則 の $L=\lambda W$ を待ち行列に当てます。次にM/M/1 を birth-death 過程の流量釣り合いから解き、定常分布 $P_n=(1-\rho)\rho^n$ と4指標を導出。最後にM/M/c とアーランCで多窓口の要員設計（目標を満たす最小窓口数）とプーリング効果まで進みます。各手法は閉形式の導出（なぜその式か）と、離散事象シミュレーション（Lindley 再帰 $D_i=\max(A_i,D_{i-1})+S_i$）・アーランC実装による実行可能な Python コードで裏取りします。共通の教訓は、稼働率を 1 に近づけると待ちが $1/(1-\rho)$ で爆発すること——オペレーションズ・マネジメントとは の「稼働率100%は危険」を数値で確かめます。

トピック一覧

1. 待ち行列の基礎とリトルの法則 — 標準（ケンドール記法 A/S/c・性能指標 $L,L_q,W,W_q$・稼働率 $\rho=\lambda/(c\mu)$・リトルの法則 $L=\lambda W,\ L_q=\lambda W_q,\ W=W_q+1/\mu$・離散事象シミュで $L=\lambda W$ 実証・$\rho\to1$ の待ち爆発を定量化）
2. M/M/1 待ち行列モデル — 標準（birth-death の流量釣り合い $\lambda P_n=\mu P_{n+1}$ → 定常分布 $P_n=(1-\rho)\rho^n$・安定条件 $\rho<1$＝幾何級数の収束・$L=\frac{\rho}{1-\rho},\ L_q=\frac{\rho^2}{1-\rho},\ W=\frac{1}{\mu-\lambda},\ W_q=\frac{\rho}{\mu-\lambda}$・シミュで分布まで一致・余力を作る効果）
3. M/M/c 待ち行列と窓口設計 — 応用（状態依存サービス率 $\min(n,c)\mu$・アーランC $C(c,a)$・$W_q=\frac{C(c,a)}{c\mu-\lambda}$・目標サービス水準を満たす最小窓口数 $c$ の探索・プーリング効果＝独立 $c$ 列より統合 M/M/c が有利）

関連章

• 第1章 オペレーションズの枠組み（リトルの法則 $L=\lambda W$ の導入・プロセス分析とリトルの法則 の面積論・オペレーションズ・マネジメントとは の「稼働率100%は危険」を本章で定量化・ボトルネックとキャパシティ のサーバ能力設計）
• 第5章 生産計画とスケジューリング（ばらつきと仕掛・待ちの設計）／第6章 サプライチェーン（リスクプーリング：在庫集約で安全在庫が $\sqrt{n}$ 減。プーリング効果と同一原理）
• 統計：確率過程（マルコフ連鎖・ポアソン過程）（ポアソン過程＝指数間隔・無記憶性・連続時間マルコフ／詳細釣り合い＝birth-death の土台）／指数分布・ガンマ分布・ベータ分布（指数サービスの無記憶性）／ポアソン分布（到着数の分布）