数式処理による入試数学問題の解法と言語処理との接合における課題

抄録

数式処理は浮動小数点計算を用いる数値計算とは異なり 計算機上で誤差の生じない代数計算を実現する. 数式処理により入試数学問題を正確に解くことが実現できる. 本稿では, 入試問題の解法のための数式処理手法の紹介と 言語処理との接合における定式化や計算量などの課題について述べる.