活動情報

トピックス

2023.02.21開催「組合せ遷移」最終報告会の模様(スライド資料+講演動画)を公開しました

 
科研費・学術変革領域研究(B)「組合せ遷移の展開に向けた計算機科学・工学・数学によるアプローチの融合」の最終報告会の模様をYouTube公開しました.また本ページには,当日の講演プログラムとスライド資料も公開しています.
 
学術変革領域研究(B)「組合せ遷移」最終報告会
日時:2023年2月21日(火) 9:30~15:30
会場:東北大学 大学院情報科学研究科+オンライン
 
研究領域全体スライド資料_領域目的
01:
 
本研究領域の目的と計画(伊藤 健洋)
 
計画研究A01班スライド資料_A01班
02:
 
A-1. 計画研究A01班の報告(伊藤 健洋)
03:
 
A-2. アルゴリズム基盤:組合せ遷移のアルゴリズム的メタ定理(大舘 陽太)
04:
 
 
 
A-3. アルゴリズム基盤の隣接分野への展開
A-3.1. 組合せ遷移と列挙(和佐 州洋)
A-3.2. 組合せ遷移と分散計算(山内 由紀子)
 
計画研究B01班スライド資料_B01班
05:
 
B-1. 計画研究B01班の報告(川原 純)
06:
 
 
 
 
 
B-2. 実装技術基盤:組合せ遷移ソルバーとその技術
B-2.1. GUI 実演(川原 純)
B-2.2. ZDDベースソルバー(川原 純)
B-2.3. BMCベースソルバー(戸田 貴久)
B-2.4. SATベースソルバー(宋 剛秀)
07:
 
B-3. 実装技術基盤の配電制御への展開 (飯岡 大輔,鈴木 顕)
 
計画研究C01班スライド資料_C01班
08:
 
C-1. 計画研究C01班の報告(岡本 吉央)
09:
 
 
 
 
C-2. 数学基盤:組合せ遷移の研究に資する数理手法
C-2.1. 組合せ遷移と離散構造(小林 佑輔)
C-2.2. 組合せ遷移と不変量(岩政 勇仁)
C-2.3. 組合せ遷移とトポロジー(野崎 雄太)
10:
 
C-3. 数学基盤のアルゴリズム的ゲーム理論への展開(神山 直之)
 
研究領域全体スライド資料_領域報告
11:
 
領域全体の報告(伊藤 健洋)