Session4 知能計算 Session4 知能計算 [山本研究室]
2nd_pc_border_top.png
前半では離散データに対するデータマイニングに関して、特にデータ構造の素性に注目し、数理的背景と基本的なアルゴリズムを理解します。後半では最適化問題を解くための代表的手法である汎用ソルバ(SATソルバ、MIPソルバ)を利用した問題解決法の習得を目指します。
 
山本 章博
京都大学大学院 情報学研究科 知能情報学専攻 教授
山本 章博
山本 章博
前提知識 Python等のオブジェクト指向言語でのプログラミング経験、大学初等の離散数学(集合論,ブール代数,グラフ理論)の知識
2nd_pc_border_bottom.png
12月19日(木)
9:30~ 講義 アイテム集合マイニング
データマイニングの初歩バスケット・データアイテム集合,列挙
11:00~ 講義 形式概念解析と閉アイテム集合
形式概念解析, 閉集合閉アイテム集合高速列挙アルゴリズム
12:30~ 休 憩
13:30~ 演習 データの準備
素データのバスケット・データへの変換
15:00~ 演習 アイテム集合マイニング
素朴なアルゴリズム,LCMアルゴリズム
18:00~ 懇親会
 
12月20日(金)
9:30~ 講義 距離を用いたクラスタリング
データ間の距離,クラスタリング,k-means
11:00~ 講義 文字列間の距離と動的計画法
編集距離,動的計画法,LCS
12:30~ 休 憩
13:30~ 講義 木構造データ間の距離
Thaiマッピング,ボトムアップ距離,トップダウン距離
15:00~ 演習 データの準備
素データの木構造データへの変換
16:00~ 演習 文字列・木構造データのクラスタリング
文字列のクラスタリング、木構造データ間の距離によるクラスタリング
 
12月26日(木)
9:30~ 講義 充足可能性問題(SAT)の基礎
SATの歴史,基礎,ブール代数
11:00~ 講義 SATソルバと定式化
CNF変換,SAT定式化方法
12:30~ 休 憩
13:30~ 演習 SATを用いた問題解決
Python + Minisatを用いた組合せ最適化問題やパズルを解くためのアルゴリズムを実装する
 
12月27日(金)
9:30~ 講義 混合整数計画法(MIP)の基礎
線形/整数計画法
11:00~ 講義 MIPソルバと定式化
線形/整数計画法定式化入門
12:30~ 休 憩
13:30~ 演習 MIPを用いた問題解決
Python + MIPソルバを用いた組合せ最適化問題やパズルを解くためのアルゴリズムを実装する
18:00~ 懇親会
 
講座について
要項・申込
 
お問い合わせ お問い合わせ
©Kyoto University Original Co., Ltd. All rights reserved. ©Kyoto University Original Co., Ltd. All rights reserved.  
TOP