数式を含む文書の検索・利用基盤の構築に関する研究

数学公式文献检索与使用平台的构建研究

• 批准号: 21650023
• 负责人: 相澤 彰子
• 金额: $ 1.98万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Challenging Exploratory Research
• 财政年份: 2009
• 资助国家: 日本
• 起止时间: 2009 至 2011
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21650023/
• 关键词: 数式検索; XML; 情報検索; 関係抽出; 情報抽出

本研究では、科学や教育のための数学知識共有基盤の構築を目的としている。具体的には、数式の構造を解析し、さらに数式と説明テキストを対応づけることにより、現在の検索エンジンでは限定的な扱いしかできない数式の高度な検索機能の実現を目指すものである。研究期間では、(1)MathMLやlatexなどの標準形式で表現された数式の検索、(2)数式の近くにある説明文の解析、(3)両者の活用による数式意味のコンピュータによる理解、の3つの要素技術を中心に、数式の異なる利用環境にあわせて、以下の2通りのアプローチによる研究開発を行った。第1は、数式を含む文書の理解支援環境の構築である。論文誌に掲載された科学技術論文を解析して、数式で使われている変数や関数の名前を抽出する手法を提案するとともに、数式の木構造に基づく類似数式検索を実現した。これに基づき、数式ごとに変数や関数の名前一覧を提示したり、他論文や外部の数式データベース上の類似数式を提示したりするシステムを開発した。情報処理分野の104論文を対象に変数・関数名抽出および数式検索の性能評価を行い、実際に支援環境を構築して理解支援における有用性を調べた。第2は、拡張キーワードを用いた数式検索機能の強化である。索引対象となる数式と同一段落にある説明文から、その数式を参照する名前や記述を抽出することで、通常の検索エンジンによる数式の検索機能を高める手法を提案し、wikipediaの数学カテゴリ文書に含まれるlatex形式の数式を用いて実験による評価を行った。以上に基づき本研究では、数式と周辺の説明テキストを組み合わせてアクセス支援に用いる枠組みを新たに提案し、有用性を示した。実験で作成したアノテーションや評価用データについては、今後整備して公開する予定である。

The purpose of this study is to build a common foundation for で で, science や, education <e:1> ため, and mathematical knowledge を, with the aim of と て て る る. Specific に は, several analytical し の を in structure, さ ら に number type と illustrate テ キ ス ト を 応 seaborne づ け る こ と に よ り, now の 検 cable エ ン ジ ン で は qualified な Cha い し か で き な い number type の height な 検 cable function is の be presently を refers す も の で あ る. During the study period で は, (1) MathML や latex な ど の standard form で performance さ れ た number type の 検 cable, (2) the number type の nearly く に あ る exposition の parsing, (3) struck の use に よ る number type means の コ ン ピ ュ ー タ に よ る understanding, 3 つ の に を の elements technology center, the number of type の different な る use environmental に あ わ せ て, の 2 below To study the development of を and った through アプロ アプロ and チによる. The first を, numerical expression を contains む document block understanding support environment <e:1> construction である. Paper tzu に first white jasmines load さ れ た を analytical science and technology thesis し て, several type で わ れ て い る - several や masato number の former を spare す る technique proposed を す る と と も に, several type の wooden structure に づ く similar number type 検 cable を be presently し た. こ れ に base づ き, several ご と に - several や masato number の former one 覧 を prompt し た り, he paper や external の デ ー タ ベ ー ス の on similar type を number し た り す る シ ス テ ム を open 発 し た. Intelligence 処 manage eset の 104 paper を like に seaborne - number, masato several spare お よ び 検 number type cable の performance evaluation 価 を い, be interstate に support environment を construct し て understanding support に お け る usefulness を adjustable べ た. The 2nd キ and 拡 sheets キ ワ ワ ドを ドを can be strengthened by 検 た numbers. Several type と indexes like と seaborne な る same paragraph に あ る exposition か ら, そ の を reference number type す る former や account を spare す る こ と で, usually の 検 cable エ ン ジ ン に よ る number type の 検 line function high を め る technique proposed を し, wikipedia の mathematical カ テ ゴ リ document contains に ま れ る latex form の number type を with い て be 験 に よ 価 る assessment Youdaoplaceholder0 lines った. Above に base づ き this study で は week, several と 辺 の illustrate テ キ ス ト を group み close わ せ て ア ク セ ス support に with い る 枠 group み を new た に proposal し, usefulness を shown し た. Be 験 で made し た ア ノ テ ー シ ョ ン や review 価 with デ ー タ に つ い て は, future development し て public す る designated で あ る.

项目成果

意味と構造を考慮した数式検索手法の提案

提出一种考虑意义和结构的公式搜索方法

• 发表时间: 2011
• 作者: 横井啓介;Minh-Quoc Nghiem;松林優一郎;相澤彰子
• 通讯作者: 相澤彰子

Contextual Analysis of Mathematical Expressions for Advanced Mathematical Search

• DOI: 10.17562/pb-43-11
• 发表时间: 2011-06
• 期刊: Polibits
• 作者: Keisuke Yokoi;Minh-Quoc Nghiem;Yuichiroh Matsubayashi;Akiko Aizawa

数学概念検索のための情報抽出手法に関する検討

数学概念检索信息提取方法研究

• 发表时间: 2010
• 作者: 横井啓介;NGHIEM Minh;相澤彰子
• 通讯作者: 相澤彰子

デジタルライブラリーにおける類似数式検索

数字图书馆中的相似公式搜索

• 发表时间: 2009
• 作者: 横井啓介;相澤彰子
• 通讯作者: 相澤彰子

数式構造と周辺テキストの両面を考慮した数式情報抽出

考虑公式结构和周围文本的公式信息提取

• 发表时间: 2011
• 作者: 横井啓介;Minh-Quoc Nghiem;松林優一郎;相澤彰子
• 通讯作者: 相澤彰子