1504数理・情報 30年来の未解決問題「輪番割当の6分の5予想」を数学と計算機で証明―周期タスクの詰込・被覆問題で限界値を決定―
2026-08-17 京都大学京都大学数理解析研究所の河村彰星准教授、小林佑輔准教授らの研究グループは、実時間システムの基礎理論として知られる「輪番割当(Pinwheel Scheduling)」において、30年以上未解決だった「密度6分の...
1504数理・情報
1903自然環境保全
2000原子力放射線一般
1601コンピュータ工学
2000原子力放射線一般
1207植物保護
1207植物保護
1404水産水域環境
1701物理及び化学
1701物理及び化学
1101大気管理