近年、計算機（コンピューター）の発展に伴い、コンピューターサイエンスの研究が進み、個々別々であった有限数学的問題が系統的に扱うことが出来るようになり生まれた分野の1つが、有限数学である。この分野の歴史的背景から、情報系分野において扱う問題の基礎となる概念や問題解決のアプローチ方法など多くを含む。この科目では、トピック的に、組合せ論、グラフ理論、計算の複雑さの理論などの実社会に即して有限数学の範囲内で解決できる問題を紹介し、問題解決に必要な基礎概念を学び、解決方法との関連を学ぶ。
| 授業計画 | 授業時間外課題（予習および復習を含む） | 必要学習時間 | |
|---|---|---|---|
| 1． | 組合せ幾何１ | シラバスに目を通すこと | 10分 |
| 教科書1.1節、1.2節、1.3節に目を通すこと | 140分 | ||
| 2． | 組合せ幾何２ | 教科書1.4節、2.1節、2.2節に目を通すこと | 120分 |
| 3． | 組合せ幾何３ | 教科書2.3節、2.4節、2.5節に目を通すこと | 130分 |
| 復習 | 60分 | ||
| 4． | 可視性問題１ | 教科書3章に目を通すこと | 120分 |
| グラフ理論における平面性に関して調べ、理解しておくこと | 100分 | ||
| 美術館問題と要塞問題の違いを確認すること | 30分 | ||
| 5． | 可視性問題２ | 教科書4章に目を通すこと | 120分 |
| グラフ理論における因子に関する基本事項を調べ理解しておくこと | 100分 | ||
| 警備問題と証明問題の違いを確認すること | 20分 | ||
| 6． | ネットワーク問題１ | 教科書5.1節、5.2節、5.3節に目を通すこと | 120分 |
| 全域木とシュタイナー木の違いを理解すること | 100分 | ||
| 7． | ネットワーク問題２ | 教科書5.4節、5.5節、5.6節に目を通すこと | 100分 |
| 最小全域木問題とシュタイナー問題の違いを理解すること | 60分 | ||
| 8． | 詰め込み問題１ | 教科書6.1節に目を通すこと | 90分 |
| ボロノイ図とその性質について理解すること | 100分 | ||
| 9． | 詰め込み問題２ | 教科書6.2節、6.3節に目を通すこと | 100分 |
| 6章に紹介している未解決問題を検討すること | 100分 | ||
| 10． | スケジュール作成問題１ | 教科書7.1節に目を通すこと | 90分 |
| LISTに関して理解しておくこと | 100分 | ||
| 11． | スケジュール作成問題２ | 教科書7.2節に目を通すこと | 90分 |
| 独立なタスク群と制約のあるタスク群の違いを理解しておくこと | 100分 | ||
| 12． | 極値集合論 | 集合に関する基本事項を確認すること | 100分 |
| 授業の説明を復習すること | 100分 | ||
| 13． | 計算可能性の理論 | 教科書8.1節、8.2節に目を通すこと | 100分 |
| 計算理論における計算可能性について確認すること | 100分 | ||
| 14． | 複雑さの理論 | 教科書8.3節、8.4節に目を通すこと | 100分 |
| 計算理論における複雑さについて確認すること | 100分 | ||
| 合計 | - | - | 2700分 |
最終更新 : Sat Mar 21 14:17:42 JST 2020