ブログ
数理物質融合科学センター 第６回 数理連携サロン
hakumei筑波大学数理物質融合科学センター (CiRfSE) では、分野横断的な研究交流の一助となることを目指し、互いの研究分野の相互理解を推進する場として数理連携サロンを開催します。
今回は「人工知能」をキーワードにしています。興味のある方はお気軽にご参加ください。
日時・場所
2016年12月5日（月） 15:15~17:15
筑波大学第一エリア 自然系学系D棟 D509セミナー室
プログラム
15:45~15:45
「大規模固有値解析エンジンの開発とそのシミュレーション・データ解析への応用」
櫻井鉄也（筑波大学 システム情報系）
16:00－16:30
「限量記号消去を推論器とする数学入試問題の自動解答器」
「限量記号消去を推論器とする数学入試問題の自動解答器」
岩根秀直（（株）富士通研究所／国立情報学研究所）
16:45－17:15
「大学入試の数列問題を解く自動推論アルゴリズム」
「大学入試の数列問題を解く自動推論アルゴリズム」
照井 章（筑波大学 数理物質系）
14 時 45 分から 15 時 15 分までと 17 時 15 分 から 18 時までは tea time を設けます。他分野の研究者と気軽に交流できる機会です。ご自由にご歓談下さい。
お問い合わせ先
筑波大学数理物質融合科学センター (CiRfSE)
数理物質系数学域 青嶋 誠 (aoshima@math.tsukuba.ac.jp)
