05月14日(Wed) 13:20〜15:00 D会場(48人-ひめぎんホール 第3会議室)
| 演題番号 | 3D3-5 |
|---|---|
| 題目 | 数学入試問題における数式処理システムの性能評価 |
| 著者 | 矢吹 太朗(千葉工業大学 社会システム科学部 プロジェクトマネジメント学科) |
| 時間 | 05月14日(Wed) 14:40〜15:00 |
| 概要 | 大学入試の数学の問題を人工知能によって解く試みでは，問題文を一階述語論理式に変換し，限量記号消去法（quantifier elimination, QE）のような数式処理アルゴリズムを適用するというアプローチが採用されている．本研究では，東京大学の実際の入試問題を人手で論理式に変換し，数式処理システムで解いた場合の計算時間等を特定することによって，このアプローチの妥当性を議論する． |
| 論文 | PDFファイル |