深い言語理解と数式処理の接合による入試数学問題解答システム

DOI Web Site
  • 松崎 拓也
    国立情報学研究所 社会共有知研究センター
  • 岩根 秀直
    (株)富士通研究所ＩＴシステム研究所デザインイノベーション研究部
  • 穴井 宏和
    (株)富士通研究所ＩＴシステム研究所デザインイノベーション研究部
  • 相澤 彰子
    国立情報学研究所 コンテンツ科学研究系
  • 新井 紀子
    国立情報学研究所

書誌事項

タイトル別名
  • フカイ ゲンゴ リカイ ト スウシキ ショリ ノ セツゴウ ニ ヨル ニュウシ スウガク モンダイ カイトウ システム

この論文をさがす

抄録

<p>「ロボットは東大に入れるか」プロジェクトにおける数学問題への取り組みについて報告する。開発中の解答システムは、問題文の論理表現を接点として、統語・意味理論に基づく言語解析と数式処理システムによる推論とを直接結合したものである。本稿では、システムの概要および実際の試験問題を用いた実験について述べるとともに、さらに多様な解答システムの開発へ向けた基礎資源となる数学問題対訳コーパスについて紹介する。</p>

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ