活動情報

トピックス

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:
 
領域全体の報告（伊藤 健洋）
 
 
 
戻る