有限バッファ問題のシミュレーション