シラバス参照
シラバス参照
| 科目一覧へ戻る | 2026/03/11 現在 |
| 科目名／Subject | 計画数理特論／Advanced Mathematical Decision Making |
|---|---|
| 担当教員（所属）／Instructor | ジョーダン チャールズ(商学部) |
| 授業科目区分／Category | 現代商学専攻博士後期課程 企業情報戦略教育研究分野 |
| 開講学期／Semester | 2026年度／Academic Year 前期／Spring Semester |
| 開講曜限／Class period | 木/Thu 3 |
| 対象所属／Eligible Faculty | 商学研究科現代商学専攻博士後期課程／Graduate School of CommerceGraduate School of Commerce Major in Modern Commerce |
| 配当年次／Years | 1年,2年,3年 |
| 単位数／Credits | 2.0 |
| 研究室番号／Office | |
| オフィスアワー／Office hours |
| 更新日／Date of renewal | 2026/02/26 | ||
|---|---|---|---|
| 授業の目的・方法 ／Course Objectives and method |
この科目では、計画を数理的に立てる時重要になる計算複雑性について学ぶ。計算複雑性（計算量）とは、計算問題を解くため必要な計算資源で定義され、計算機科学において基礎的で重要な研究分野になっている。最適な計画やスケジュールを要望する時も、それを立てるため必要な計算資源を理解すると助かる。 この科目では、計算複雑性の古典的な基礎を復習し、記述計算量や最近の研究論文の上級なトピックまで学ぶ。授業はゼミ形式で行う予定で、受験者が発表する回もある。 |
||
| 達成目標 ／Course Goals |
・計算複雑性（計算量理論）の基礎を理解する ・計算問題の複雑性を証明できる ・近年の計算量理論の研究論文が読める ・計算量理論に関連する発表ができる |
||
| 授業内容 ／Course contents |
第１部 計算複雑性の基礎（第１週〜第８週） ・形式言語、正規言語の基礎 ・チューリング機械 ・計算量クラスとその関係 ・古典的な研究成果、回路計算量 第２部 記述計算量 （第９週〜第１３週） ・有限モデル理論と記述計算量の基礎 ・計算量クラスや帰着を形式論理で実現 ・記述計算量の応用 第３部 上級トピック（第１４週〜第１５週） ・受験者の興味に合わせ、最近の研究論文を発表してもらう |
||
| 事前学修・事後学修 ／Preparation and review class |
毎回のテーマについて、参考資料等を事前に読む。計算量理論関連の研究論文を読むことも望ましい。 | ||
| 使用教材 ／Teaching materials |
資料はmanabaで配布する予定である。参考書は初回のガイダンス等で紹介する。 | ||
| 成績評価の方法 ／Grading |
発表：40%、小テスト：30%、討論への参加状況：30% | ||
| 成績評価の基準 ／Grading Criteria |
社会情報コース標準成績評価基準に従う。 | ||
| 履修上の注意事項 ／Remarks |
履修を予定している学生は事前にメール等で連絡すること。受験者の数によって授業内容とスケジュールを調整する場合がある。 | ||
| 実務経験者による授業 ／Courses conducted by the ones with practical experiences |
該当しない／No | ||
| 授業実施方法 ／Method of class |
○大学院授業／Graduate school class | ||
| 遠隔授業 ／Online class |
|