実時間スケジューリング

30年来の未解決問題「輪番割当の6分の5予想」を数学と計算機で証明―周期タスクの詰込・被覆問題で限界値を決定―

2026-08-17 京都大学京都大学数理解析研究所の河村彰星准教授、小林佑輔准教授らの研究グループは、実時間システムの基礎理論として知られる「輪番割当（Pinwheel Scheduling）」において、30年以上未解決だった「密度6分の...

2026-08-18

1504数理・情報