実習概要
プロジェクト名
数式処理で数学の大学入試問題を解いてみよう
本プロジェクトの実習内容
計算機で数式を扱う数式処理は、人工知能技術の一つとしても活用されており、大学入試などの数学の問題を解くための研究も行われています。
本実習では、実際に数式処理システムを用いて、数学の演習問題や入試問題の解法にチャレンジします。
実習の流れ
- 人工知能プロジェクト「ロボットは東大に入れるか」の紹介
- 「東ロボくん」の数学問題の解法の紹介: 1階述語論理式の量化子消去 (Quantifier Elimination)
- 数式処理システム Mathematica の使い方
- 数学の演習／入試問題を1階述語論理式に変換し、Mathematicaで解く
- Mathematicaのオンラインでの活用
- まとめ