第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