| 准教授 | 鈴木徹也 |  |
制約プログラミング特論 |
Constraint Programming |
開講部 | 大学院理工学研究科 修士課程 |
開講学科 | 電気電子情報工学専攻 |
開講学年 | 1年次 |
開講時期 | 後期 |
単位数 | 2 |
単位区分 | 特修 |
系列区分 | 特論 |
講義区分 | 講義 |
| 准教授 | 鈴木徹也 | |
| 1． | 制約プログラミング入門 |
| 2． | 制約充足問題 |
| 3． | 制約プログラミングの枠組み(1) |
| 4． | 制約プログラミングの枠組み(2) |
| 5． | 完全な制約充足法(1) |
| 6． | 完全な制約充足法(2) |
| 7． | 局所整合性(1) |
| 8． | 局所整合性(2) |
| 9． | 不完全な制約充足法(1) |
| 10． | 不完全な制約充足法(2) |
| 11． | 制約伝播(1) |
| 12． | 制約伝播(2) |
| 13． | 探索(1) |
| 14． | 探索(2) |
| 15． | 様々な問題 |