プログラム(2019年3月10日(日))

開会・主催者挨拶
10:00 10:10 千原 由幸(文部科学省 審議官(研究振興局担当))
後藤 吉正(科学技術振興機構 理事)
「最適化/マッチング問題とその応用」セッション
10:10 10:35 『微分代数方程式モデルの最適化』
 岩田 覚(東京大学 大学院情報理工学系研究科、CREST)
10:35 11:00 『保育所マッチング自動化の実現』
 岩下 洋哲(株式会社富士通研究所 人工知能研究所)
11:00 11:25 『計算複雑性から眺めるマッチング問題』
 神山 直之(九州大学マス・フォア・インダストリ研究所、さきがけ)
招待講演
11:30 12:30  川上 量生(カドカワ(株)取締役)
12:30 13:30 昼食時間
ポスターセッション
13:30 14:50 会場:白鳳
「生命現象の数理とその応用」セッション
14:50 15:15 『分化の波を通して見る数理モデル構築と解析のための新しい試み』
 栄 伸一郎(北海道大学大学院理学研究院、CREST)
15:15 15:40 『昆虫の複眼におけるタイリングパターンの制御メカニズム』
 佐藤 純(金沢大学新学術創成研究機構、CREST)
15:40 16:05 『生命科学の美と不思議、そして謎解き屋の反応拡散方程式』
 李 聖林(広島大学大学院理学研究科、さきがけ)
16:05 16:20 休憩時間
AIMaP公開ワークショップ「数学と諸科学分野・産業との協働の進化」
16:20 16:25 『AIMaP概要紹介』
 福本 康秀(九州大学マス・フォア・インダストリ研究所)
16:25 16:50 『AIMaP研究集会から異分野融合共同研究へ』
 時弘 哲治(東京大学大学院数理科学研究科)
16:50 17:15 『イジング型計算機、日立製作所と北海道大学の取り組み』
 寺本 央(北海道大学電子科学研究所、さきがけ)
17:15 17:40 『エレクトロニクス産業分野からの数学パワーへの期待』
 檜貝 信一(株式会社村田製作所)
 神坂 英之(株式会社村田製作所)
17:40 17:50 質疑応答
閉会
17:50 17:55 閉会挨拶
17:55 18:00 会場移動
情報交換会(会費制)
18:00 20:00 会場:白鳳(会費:6,500円の予定)

プログラム(2019年3月11日(月))

開会・主催者挨拶
10:00 10:10 國府 寬司 (JST さきがけ「数学協働」領域 研究総括)
さきがけ「数学協働」2期生成果発表セッション1
10:10 10:35 『高頻度データを用いた株価変動リスクの統計解析と機械学習』
 荻原 哲平(情報・システム研究機構 統計数理研究所)
10:35 11:00 『フォノニック結晶における多相形状最適化』
 Elliott Ginder(明治大学 総合数理学部)
11:00 11:25 『非疫学データによる感染症流行動態解析の新展開』
 大森 亮介(北海道大学 人獣共通感染症リサーチセンター)
11:25 11:50 『脳動脈瘤治癒過程における血栓化ダイナミクスを説明する数理モデルの構築』
 杉山 由恵(大阪大学 大学院情報科学研究科)
11:50 12:50 昼食時間
ポスターセッション
12:50 14:00 会場:白鳳
さきがけ「数学協働」2期生成果発表セッション2
14:00 14:25 『増殖系に内在する変分構造とその増殖制御問題への応用』
 小林 徹也(東京大学 生産技術研究所)
14:25 14:50 『計算論的代数幾何学によるデータ駆動科学の発展』
 永田 賢二(産業技術総合研究所 人工知能研究センター)
14:50 15:15 『やわらかいデバイスのための力学系に基づいた新規情報処理技術の開発』
 中嶋 浩平(東京大学大学院情報理工学系研究科)
15:15 15:25 休憩時間
さきがけ「数学協働」2期生成果発表セッション3
15:25 15:50 『ハイブリッドシステムのための超準プログラミング言語理論を用いた形式手法』
 末永 幸平(京都大学 大学院情報学研究科)
15:50 16:15 『函数論に基づく間接計測の数理基盤構築』
 奈良 高明(東京大学 大学院情報理工学系研究科)
16:15 16:30 休憩時間
さきがけ企画セッション
16:30 17:30  "数学『協働』活動事例紹介"
閉会
17:30 17:40 閉会挨拶