金沢数理データサイエンス研究会（2018/03/23）

3月23日（金）  第5回金沢数理データサイエンス研究会

ワークショップ「数式処理とデータサイエンスの融合」
会場：自然科学5号館大講義室

14:00～15:00
講演者：小原 功任 氏　(金沢大学)
題目：数式処理とデータサイエンス — グレブナー基底, 微分方程式, 数理統計 —

15:15～16:15
講演者：佐藤 洋祐 氏　(東京理科大学)
題目：数式処理のアルゴリズムで解ける問題と解けない問題 — 大学入試問題を中心に —

16:30～17:30
講演者：岩根 秀直 氏　(富士通研究所)
題目：実閉体上の限量子消去による数学入試問題の自動解答 ～ロボットは東大に入れるか～