---
title: 待ち行列理論：学習ルート
url: https://doc.liz6.com/ja/theory/03-queueing-theory
locale: ja
area: theory
tags:
- 待ち行列理論
- 基礎理論
date: 2026-09-10
modified: 2026-09-12
description: 待ち行列理論は限られた資源への到着、待機、処理を研究します。手計算できる時間線からLittleの法則と確率モデルへ進み、順序、ネットワーク、測定、容量回復に接続します。公式の条件を明示し、平均と裾を分けます。
---

# 待ち行列理論：学習ルート

待ち行列理論は限られた資源への到着、待機、処理を研究します。手計算できる時間線からLittleの法則と確率モデルへ進み、順序、ネットワーク、測定、容量回復に接続します。公式の条件を明示し、平均と裾を分けます。

## 章一覧

1. [システム境界と待ち行列の時間線](/ja/theory/03-queueing-theory/01-boundaries-and-timelines) — 待機、処理、系内数を分けてFIFO軌跡を計算。
2. [Littleの法則と統計の境界](/ja/theory/03-queueing-theory/02-littles-law) — 面積恒等式と打切り境界、未完了者の寄与。
3. [到着過程とモデルの仮定](/ja/theory/03-queueing-theory/03-arrival-processes) — Poisson、指数間隔、変動係数、Kendall記法。
4. [M/M/1：利用率とテールレイテンシ](/ja/theory/03-queueing-theory/04-mm1-and-tail-latency) — 定常分布、平均、モデル内の厳密なp99。
5. [変動、M/G/1とKingman近似](/ja/theory/03-queueing-theory/05-variability-and-mg1) — 二次モーメント、残余処理、近似の限界。
6. [複数窓口と資源プーリング](/ja/theory/03-queueing-theory/06-multiple-servers) — Erlang Cで共通列とランダム分流を比較。
7. [スケジューリング、先頭ブロッキング、公平性](/ja/theory/03-queueing-theory/07-scheduling-and-fairness) — 各仕事の利得と費用、公平性、飢餓。
8. [有限待ち行列と受付制御](/ja/theory/03-queueing-theory/08-finite-queues-and-admission) — 拒否、受付、利用率、受付者遅延を同時評価。
9. [待ち行列ネットワークとボトルネック](/ja/theory/03-queueing-theory/09-networks-and-bottlenecks) — 訪問数、制約界、直列とファンアウトの裾。
10. [測定、負荷試験、離散事象シミュレーション](/ja/theory/03-queueing-theory/10-measurement-and-simulation) — 開放・閉鎖負荷、打切り、初期偏り、標本誤差。
11. [容量計画と過負荷からの回復](/ja/theory/03-queueing-theory/11-capacity-and-overload-recovery) — 正味余力、再試行、増設遅延から回復を計画。

## 問題から順序を選ぶ

- 初学：01 → 02 → 03 → 04、その後は章順に進みます。
- 容量と裾：01 → 02 → 04 → 05 → 06 → 10 → 11。分布が不慣れなら03を補います。
- メッセージとマルチテナント：01 → 02 → 07 → 08 → 09 → 11、観測偏りは10で確認します。
- モデル化：01–02の境界を理解した後、03 → 04 → 05 → 06 → 09 → 10。

01–02は代数と面積、03–06は期待値、分散、指数、級数を使います。09は流量の線形方程式、10のコードは配列とループです。時間は秒を基準にし、例でmsへ換算するとき明示します。

## 記号の統一

| 記号 | 意味 |
| --- | --- |
| $a_i,b_i,d_i$ | 到着、開始、退出時刻 |
| $S_i,W_{q,i},T_i$ | 処理、待ち、系内時間。$T_i=W_{q,i}+S_i$ |
| $N(t),Q(t),B(t)$ | 系内、待機中、処理中の数 |
| $L,L_q$ | 長期平均の系内数と待機数 |
| $\lambda,\lambda_{\mathrm{eff}},X$ | 提供到着率、有効受付率、実完了率 |
| $\mu,c,K$ | 一窓口の能力、窓口数、処理中を含む総容量 |
| $\rho$ | 同質・無限容量モデルの一窓口利用率。有限列の提供比はr |
| $C_a^2,C_s^2$ | 間隔と処理時間の変動係数の二乗 |
| $V_j,D_j$ | 業務あたり訪問回数とサービス需要 |

03の$A(\Delta)$は窓内到着数、01の$A(t)$は原点からの累積数、11の$A$は業務あたり試行数として再定義します。Erlang Cと流体能力Cも各章の局所記号です。

## 結論と問いを対応させる

| 道具 | 分かること | 直接は分からないこと |
| --- | --- | --- |
| 面積恒等式 / Littleの法則 | 流量、平均個数、平均時間の整合 | p99、瞬時容量保証 |
| 定常M/M/1、M/M/c、M/M/1/K | 仮定内の厳密な指標 | 任意の実流量で同じ結果になること |
| M/G/1 PK | 有限二次モーメント時のFCFS厳密平均 | 裾の分布全体 |
| Kingman | GI/GI/1平均待ちの近似 | 普遍的な上界やp99 |
| 有限軌跡 / シミュレーション | 方策比較、実装と感度の確認 | 一軌跡による定常性や統計精度の証明 |
| 流体仕事収支 | 滞留傾向と余力からの回復時間 | 確率的な要求の裾 |

## 実験の使い方

予想してから一つの変数を変え、変化を説明します。各章に二つの展開式解説があり、スクリプトなしでも式、手計算、要約を読めます。初期状態、単位、順序、打切りを明示し、同じ設定を再現できます。固定シードでも統計誤差は残ります。

## 参考と知識の接続

範囲は [CMU性能モデル講義](https://www.cs.cmu.edu/~harchol/Tools/class.html)と [MIT待ち行列講義](https://web.mit.edu/1.041/www/lectures/L8-queuing-models-2026sp.pdf)を参考にしています。工程実践にはGoogle SRE、AWS Builders’ Library、k6、HdrHistogramの原資料を各章で引用します。例と操作は独自作成で、普遍的利用率や本番容量を保証しません。

[制御理論](/ja/theory/02-control-theory)と合わせて待ちの発生と資源調整を、[メッセージの意味論](/ja/distributed-systems/07-messages-and-streams/01-message-semantics)と合わせて永続性と再試行を考えます。情報理論は情報の不確実性、待ち行列理論は有限資源での滞在を扱い、指標を交換することはできません。