著者
岩根 秀直 松崎 拓也 穴井 宏和 新井 紀子
出版者
人工知能学会
雑誌
人工知能学会全国大会論文集 (ISSN:13479881)
巻号頁・発行日
vol.27, 2013

数式処理は浮動小数点計算を用いる数値計算とは異なり 計算機上で誤差の生じない代数計算を実現する. 数式処理により入試数学問題を正確に解くことが実現できる. 本稿では, 入試問題の解法のための数式処理手法の紹介と 言語処理との接合における定式化や計算量などの課題について述べる.
著者
松崎 拓也 岩根 秀直 穴井 宏和 相澤 彰子 新井 紀子
出版者
人工知能学会
雑誌
人工知能学会全国大会論文集 (ISSN:13479881)
巻号頁・発行日
vol.27, 2013

「ロボットは東大に入れるか」プロジェクトにおける数学問題への取り組みについて報告する。開発中の解答システムは、問題文の論理表現を接点として、統語・意味理論に基づく言語解析と数式処理システムによる推論とを直接結合したものである。本稿では、システムの概要および実際の試験問題を用いた実験について述べるとともに、さらに多様な解答システムの開発へ向けた基礎資源となる数学問題対訳コーパスについて紹介する。
著者
岩根 秀直 松崎 拓也 穴井 宏和 新井 紀子
出版者
一般社団法人 人工知能学会
雑誌
人工知能学会全国大会論文集 第27回全国大会(2013)
巻号頁・発行日
pp.2A42, 2013 (Released:2018-07-30)

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