第6回数理連携サロン（2016年12月5日）

筑波大学数理物質融合科学センター（CiRfSE）では、分野横断的な研究交流の一助となることを目指し、互いの研究分野の相互理解を推進する場として「数理連携サロン」を開催しています。

今回は「人工知能」をキーワードに3 名の講師に講演していただきました。

要項

日時：2016年12 月5 日 月曜日 15:15-17:15

場所：筑波大学第一エリア 自然系学系棟D509

プログラム

15:15－15:45 「大規模固有値解析エンジンの開発とそのシミュレーション・データ解析への応用」

     櫻井鉄也（筑波大学 システム情報系）

16:00－16:30 「限量記号消去を推論器とする数学入試問題の自動解答器」

                          岩根秀直（（株）富士通研究所／国立情報学研究所）

16:45－17:15 「大学入試の数列問題を解く自動推論アルゴリズム」

                          照井 章（筑波大学 数理物質系）

お問い合わせ先

筑波大学数理物質融合科学センター (CiRfSE)

逆問題研究推進室長    数理物質系数学域 教授  青嶋 誠       E-mail：aoshima@math.tsukuba.ac.jp