[山本 章博教授 研究室] |
前提知識 | Python等のオブジェクト指向言語でのプログラミング経験、大学初等の離散数学(集合論、ブール代数、グラフ理論)の知識 |
---|
9:30~ |
頻出パターンマイニング |
|
---|---|---|
11:00~ |
飽和アイテム集合マイニング |
|
12:30~ | 休 憩 | |
13:30~ |
NISOLシステムの紹介と準備 |
|
15:00~ |
アイテム集合マイニング |
|
16:00~ |
知識発見は人工知能か? 機械学習は人工知能か? |
9:30~ |
文字列間の距離と知識発見 編集距離、動的計画法、LCS |
|
---|---|---|
11:00~ |
木構造データ間の距離と知識発見 Thaiマッピング、ボトムアップ距離、トップダウン距離 |
|
12:30~ | 休 憩 | |
13:30~ |
文字列・木構造データ間の距離と知識発見 |
|
15:00~ |
離散データ間の距離と数学基礎論・代数学 |
|
16:00~ |
頻出パターンマイニングと情報幾何 |
9:30~ |
充足可能性問題(SAT)の基礎 SATの歴史,基礎,ブール代数 |
|
---|---|---|
11:00~ |
SATソルバと定式化 CNF変換,SAT定式化方法 |
|
12:30~ | 休 憩 | |
13:30~ |
SATを用いた問題解決 Python + Minisatを用いた組合せ最適化問題やパズルを解くためのアルゴリズムを実装する |
9:30~ |
混合整数計画法(MIP)の基礎 線形/整数計画法 |
|
---|---|---|
11:00~ |
MIPソルバと定式化 線形/整数計画法定式化入門 |
|
12:30~ | 休 憩 | |
13:30~ |
MIPを用いた問題解決 Python + MIPソルバを用いた組合せ最適化問題やパズルを解くためのアルゴリズムを実装する |