文献

J-GLOBAL ID：201702285557016689   整理番号：17A0717448

「ロボットは東大に入れるか」という企て[物理]4 力学問題の自動解答への取り組み

著者 (4件)： 岩根秀直 (富士通研) ,  横野光 (富士通研) ,  岩ヶ谷崇 (サイバネットシステム) ,  五十嵐健夫 (東大)
資料名： 情報処理  (IPSJ Magazine)
巻： 58  号： 7  ページ： 605-606  発行年： 2017年06月15日 
JST資料番号： G0427A  ISSN： 0447-8053  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 「ロボットは東大に入れるか」の物理ソルバーは問題文と画像を入力とし,解答に必要な情報を述語論理形式(形式表現)に変換してシミュレータなどによって問題を解く。本論文では,述語項構造をもとに語彙の知識を用いて行う問題文の言語理解と画像理解には人手での解釈を必要とするが,自動化の範囲を広げた2015年度の物理ソルバーについて述べた。まず,力学問題だけを対象とする偏差値が46.5(42点)から59.0(62点)に大幅に向上したことを示した。次に,シミュレーションを用いた自動解答のために,限量子消去ツールSyNARCを拡張・利用し,基本的な状況に対する関係式を構築できるようにした。また,中間言語としてMapleとその上の関数群を導入することでシミュレーション用のモデルの自動生成を実現し,入力表現Modelicaを用いてシミュレータMapleSim上で計算を実行できるようにした。さらに,図形を対象とした自動解答の例として静的釣り合い問題を対象とするソルバーでは,形式表現中の要素と図形中の要素の対応関係を求め,図形要素の位置関係から要素間の関係を求めた。それによって物理法則を表す連立方程式を立て,数式処理ソルバーに入力して解答を生成する手順について説明した。

シソーラス用語： 試験 ,  大学 ,  *英語 ,  プロジェクト ,  *知能ロボット ,  評価試験 ,  *機械学習 ,  量化記号 ,  プログラムパッケージ ,  *図形処理 ,  連立方程式 ,  数式処理
準シソーラス用語： Maple ,  限量子 ,  東大入試 ,  入試試験

分類 (2件)： 情報加工一般  (AC05010A) ,  人工知能  (JE08000Z)

引用文献 (3件)：

• 横野 光,稲邑哲也:シミュレーションによる物理問題解答のための問題分類,人工知能学会全国大会論文集,第29巻(2015).
• 岩根秀直,横野 光,岩ヶ谷崇,五十嵐健夫:言語処理で生成する形式表現とシミュレータの接合による大学入試物理の力学問題の自動解答,人工知能学会全国大会論文集,第31巻(2017).
• 五十嵐健夫、横野 光,岩根秀直:図形描画とテキスト入力を用いた力学に関する質問応答システム,ソフトウェア科学会WISS(2016).

タイトルに関連する用語 (6件)： ロボット ,  東大 ,  物理 ,  力学 ,  問題 ,  解答