06月05日(Wed) 15:00〜17:40 A会場(-国際会議場3F メインホール)
演題番号 | 2A4-1 |
---|---|
題目 | 深い言語理解と数式処理の接合による入試数学問題解答システム |
著者 | 松崎 拓也(国立情報学研究所 社会共有知研究センター) 岩根 秀直((株)富士通研究所ITシステム研究所デザインイノベーション研究部) 穴井 宏和((株)富士通研究所ITシステム研究所デザインイノベーション研究部) 相澤 彰子(国立情報学研究所 コンテンツ科学研究系) 新井 紀子(国立情報学研究所) |
時間 | 06月05日(Wed) 15:00〜15:20 |
概要 | 「ロボットは東大に入れるか」プロジェクトにおける数学問題への取り組みについて報告する。開発中の解答システムは、問題文の論理表現を接点として、統語・意味理論に基づく言語解析と数式処理システムによる推論とを直接結合したものである。本稿では、システムの概要および実際の試験問題を用いた実験について述べるとともに、さらに多様な解答システムの開発へ向けた基礎資源となる数学問題対訳コーパスについて紹介する。 |
論文 | PDFファイル |