|
［山本 章博教授 研究室］ |
|---|
前半では離散データに対するデータマイニングに関して、特にデータ構造の素性に注目し、数理的背景と基本的なアルゴリズムを理解します。後半では最適化問題を解くための代表的手法である汎用ソルバ(SATソルバ、MIPソルバ)を利用した問題解決法の習得を目指します。
京都大学大学院 情報学研究科 知能情報学専攻 教授
山本 章博
山本 章博
京都大学大学院 情報学研究科 知能情報学専攻 助教
小林 靖明
小林 靖明
前半では離散データに対するデータマイニングに関して、特にデータ構造の素性に注目し、数理的背景と基本的なアルゴリズムを理解します。後半では最適化問題を解くための代表的手法である汎用ソルバ(SATソルバ、MIPソルバ)を利用した問題解決法の習得を目指します。
京都大学大学院 情報学研究科 知能情報学専攻 教授
山本 章博
山本 章博
京都大学大学院 情報学研究科 知能情報学専攻 助教
小林 靖明
| 前提知識 | Python等のオブジェクト指向言語でのプログラミング経験、大学初等の離散数学（集合論、ブール代数、グラフ理論）の知識 |
|---|
12月2日（木）
| 9:30～ |  |
頻出パターンマイニング |
|---|---|---|
| 11:00～ | |
飽和アイテム集合マイニング |
| 12:30～ | 休 憩 | |
| 13:30～ |  |
NISOLシステムの紹介と準備 |
| 15:00～ | |
アイテム集合マイニング |
| 16:30～ | |
頻出文字列パターンマイニング |
12月3日（金）
| 9:30～ | |
文字列間の距離と知識発見 |
|---|---|---|
| 11:00～ | |
木構造データ間の距離と知識発見 |
| 12:30～ | 休 憩 | |
| 13:30～ | |
文字列・木構造データ間の距離と知識発見 |
| 15:00～ | |
教師なし学習と計算代数・数学基礎論 |
| 16:30～ | |
人工知能生まれる前とこれから |
12月16日（木）
| 9:30～ | |
制約充足問題（CSP）の基礎 |
|---|---|---|
| 11:00～ | |
CSPソルバのためのモデリング |
| 12:30～ | 休 憩 | |
| 13:30～ | |
CSPソルバを用いた問題解決 |
| 15:30～ | |
混合整数計画法（MIP）の基礎 |
| 16:30～ | |
MIPソルバのためのモデリング |
12月17日（金）
| 9:30～ | |
MIPソルバを用いた問題解決 |
|---|---|---|
| 11:00～ | |
二分決定グラフの基礎 |
| 12:30～ | 休 憩 | |
| 13:30～ | |
二分決定グラフを用いた離散構造処理 |
| 15:00～ | |
二分決定グラフを用いた離散構造処理の演習 |
| 16:30～ | |
大規模な離散最適化問題を解くには？ |
| 18:00～ | アフターセッション | |
