1504数理・情報 30年来の未解決問題「輪番割当の6分の5予想」を数学と計算機で証明―周期タスクの詰込・被覆問題で限界値を決定―
2026-08-17 京都大学京都大学数理解析研究所の河村彰星准教授、小林佑輔准教授らの研究グループは、実時間システムの基礎理論として知られる「輪番割当(Pinwheel Scheduling)」において、30年以上未解決だった「密度6分の...
1504数理・情報
1602ソフトウェア工学
1504数理・情報
1504数理・情報
1603情報システム・データ工学
1603情報システム・データ工学
1603情報システム・データ工学