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