データベースのコネクションプールサイズを待ち行列理論（M/M/c）でモデル化する July 16, 2026 12 min readデータベース DB 統計学 待ち行列理論 Python シミュレーション