言語的アプローチによる数学的知識の理解と利用に関する研究

• 研究課題/領域番号: 24300062
• 研究種目: 基盤研究(B)
• 配分区分: 一部基金
• 応募区分: 一般
• 研究分野: 知能情報学
• 研究機関: 国立情報学研究所
• 研究代表者: 相澤 彰子 国立情報学研究所, コンテンツ科学研究系, 教授 (90222447)
• 研究期間 (年度): 2012-04-01 – 2016-03-31
• 研究課題ステータス: 完了 (2015年度)
• 配分額: 17,680千円 (直接経費: 13,600千円、間接経費: 4,080千円); 2014年度: 5,720千円 (直接経費: 4,400千円、間接経費: 1,320千円); 2013年度: 5,460千円 (直接経費: 4,200千円、間接経費: 1,260千円); 2012年度: 6,500千円 (直接経費: 5,000千円、間接経費: 1,500千円)
• キーワード: 数式検索 / 数式理解 / 自然言語処理 / 数学知識基盤 / MathML / 情報検索 / 数学知識 / 情報抽出 / XML構造 / 評価用データ

研究成果の概要

本研究課題では、数式を独自の構造を持つ科学技術文書の構成要素として捉え、言語処理アプローチによって数式の意味を扱うための手法の研究開発に取り組んだ。研究期間内では、数学記号を含む数式の自然言語による説明記述の自動抽出、数式間の依存関係の抽出、数式の大規模複雑な木構造に対する高速な類似度計算アルゴリズムの手法を新たに提案して有効性を示した。また、数式検索システム評価型ワークショップの企画・運営を通して、数式検索の評価用テストコレクションを構築して、関連研究者に広く公開した。

研究成果

• [雑誌論文] Efficient Algorithm for Math Formula Semantic Search (2016)
  • 著者名/発表者名: Shunsuke Ohashi, Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa
  • 雑誌名: IEICE Transactions on Information and Systems 巻: E99.D 号: 4 ページ: 979-988
  • DOI: 10.1587/transinf.2015DAP0023
  • NAID: 130005141361
  • ISSN: 0916-8532, 1745-1361
  • 査読あり / オープンアクセス
• [雑誌論文] Using MathML Parallel Markup Corpora for Semantic Enrichment of Mathematical Expressions (2013)
  • 著者名/発表者名: Minh-Quoc Nghiem, Giovanni Yoko Kristianto and Akiko Aizawa
  • 雑誌名: IEICE Transactions on Information and Systems 巻: E96.D 号: 8 ページ: 1707-1715
  • DOI: 10.1587/transinf.E96.D.1707
  • NAID: 130003370952
  • ISSN: 0916-8532, 1745-1361
  • 査読あり
• [学会発表] MathIR Task Overview (2016)
  • 著者名/発表者名: Richard Zanibbi, Akiko Aizawa, Michael Kohlhase, Iadh Ounis, Goran Topic, Kenny Davila
  • 学会等名: The 12th NTCIR Conference
  • 発表場所: 国立情報学研究所、東京都
  • 年月日: 2016-06-07
• [学会発表] MCAT Math Retrieval System for NTCIR-12 MathIR Task (2016)
  • 著者名/発表者名: Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa
  • 学会等名: The 12th NTCIR Conference
  • 発表場所: 国立情報学研究所、東京都
  • 年月日: 2016-06-07
• [学会発表] Combining Effectively Math Expressions and Textual Keywords in Math IR (2016)
  • 著者名/発表者名: Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa
  • 学会等名: Third International Workshop on “Digitization and E-Inclusion in Mathematics and Science 2016” (DEIMS2016)
  • 発表場所: 湘南国際村センター、神奈川県
  • 年月日: 2016-02-04
  • 国際学会
• [学会発表] コンピュータによる数式理解と数式検索システム (2016)
  • 著者名/発表者名: 相澤彰子
  • 学会等名: 第120回情報基礎とアクセス技術研究会・第47回ディジタル図書館ワークショップ合同研究会
  • 発表場所: 東京工業大学、東京都
  • 年月日: 2016-01-25
  • 招待講演
• [学会発表] SIGURE Hash: 数式検索のための高速な類似検索アルゴリズム (2015)
  • 著者名/発表者名: 大橋駿介, 相澤彰子
  • 学会等名: 第7回データ工学と情報マネジメントに関するフォーラム（第13回日本データベース学会年次大会）
  • 発表場所: 磐梯熱海ホテル華の湯、郡山市
  • 年月日: 2015-03-02 – 2015-03-04
• [学会発表] The MCAT Math Retrieval System for NTCIR-11 Math Track (2014)
  • 著者名/発表者名: Giovanni Yoko Kristianto, Goran Topic, Florence Ho, and Akiko Aizawa
  • 学会等名: The 11th NTCIR Conference
  • 発表場所: 国立情報学研究所、東京都
  • 年月日: 2014-12-09 – 2014-12-12
• [学会発表] NTCIR-11 Math-2 Task Overview (2014)
  • 著者名/発表者名: Akiko Aizawa, Michael Kohlhase, Iadh Ounis, and Moritz Schubotz
  • 学会等名: The 11th NTCIR Conference
  • 発表場所: 国立情報学研究所、東京都
  • 年月日: 2014-12-09 – 2014-12-12
• [学会発表] Exploiting Textual Descriptions and Dependency Graph for Searching Mathematical Expressions in Scientific Papers (2014)
  • 著者名/発表者名: Giovanni Yoko Kristianto, Goran Topic, and Akiko Aizawa
  • 学会等名: The 9th International Conference on Digital Internation Management (ICDIM 2014) (Best Paper Award)
  • 発表場所: Bangkok, Thailand
  • 年月日: 2014-09-29 – 2014-10-01
• [学会発表] Exploiting Textual Descriptions and Dependency Graph for Searching Mathematical Expressions in Scientific Papers (2014)
  • 著者名/発表者名: Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa
  • 学会等名: The 9th International Conference on Digital Internation Management (ICDIM 2014)
  • 発表場所: Bangkok, Thailand
  • 年月日: 2014-09-29 – 2014-10-01
• [学会発表] Extracting Textual Descriptions of Mathematical Expressions in Scientific Papers (2014)
  • 著者名/発表者名: Giovanni Yoko Kristianto, Goran Topic, and Akiko Aizawa
  • 学会等名: The 3rd International Workshop on Mining Scientific Publications, held in conjunction with Digital Libraries 2014
  • 発表場所: London, United Kingdom
  • 年月日: 2014-09-08 – 2014-09-12
• [学会発表] Which one is better: presentation-based or content-based math search? (2014)
  • 著者名/発表者名: Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa
  • 学会等名: The Conference on Intelligent Computer Mathematics (CICM 2014)
  • 発表場所: Coimbra, Portugal
  • 年月日: 2014-07-07 – 2014-07-11
• [学会発表] 表記が異なる同義の数式の高速な検索法 (2014)
  • 著者名/発表者名: 大橋駿介，高須淳宏，相澤彰子
  • 学会等名: 第6回データ工学と情報マネジメントに関するフォーラム(第12回日本データベース学会年次大会)
  • 発表場所: 淡路夢舞台＆ウェスティン淡路、淡路市
  • 年月日: 2014-03-03 – 2014-03-05
• [学会発表] 数式検索タスク NTCIR-11 Math-2 (2013)
  • 著者名/発表者名: 相澤 彰子，Michael Kohlhase，Iadh Ounis
  • 学会等名: 情報アクセス技術の評価ワークショップ特別セッション： NTCIR-11, インタラクティブ情報アクセスと可視化マイニング(SIG-AM)第5回研究会
  • 発表場所: 慶應義塾大学日吉キャンパス、横浜市
  • 年月日: 2013-10-25
• [学会発表] Sense disambiguation: from natural language words to mathematical termsSense disambiguation: from natural language words to mathematical terms (2013)
  • 著者名/発表者名: Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa
  • 学会等名: The 6th International Joint Conference on Natural Language Processing (IJCNLP 2013)
  • 発表場所: 名古屋国際会議場、名古屋市
  • 年月日: 2013-10-14 – 2013-10-18
• [学会発表] A Hybrid Approach for Semantic Enrichment of MathML Mathematical Expressions (2013)
  • 著者名/発表者名: Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topic and Akiko Aizawa
  • 学会等名: The Conference on Intelligent Computer Mathematics (CICM 2013)
  • 発表場所: Bath, UK
• [学会発表] NTCIR-10 Math Pilot Task Overview (2013)
  • 著者名/発表者名: Akiko Aizawa, Michael Kohlhase and Iadh Ounis
  • 学会等名: The 10th NTCIR Conference
  • 発表場所: 国立情報学研究所（東京）
• [学会発表] The MCAT Math Retrieval System for NTCIR-10 Math Track (2013)
  • 著者名/発表者名: Goran Topić, Giovanni Yoko Kristianto, Minh-Quoc Nghiem and Akiko Aizawa
  • 学会等名: The 10th NTCIR Conference
  • 発表場所: 国立情報学研究所（東京）
• [学会発表] Annotating Scientific Papers for Mathematical Formula Search (2012)
  • 著者名/発表者名: Giovanni Yoko Kristianto, Goran Topic, Minh-Quoc Nghiem and Akiko Aizawa
  • 学会等名: The Fifth Workshop on Exploiting Semantic Annotations in Information Retrieval (ESAIR 2012) of The 21st ACM International Conference on Information and Knowledge Management (CIKM 2012)
  • 発表場所: Maui, Hawaii, USA
• [学会発表] An Overview of NTCIR-10 Math Pilot Task (2012)
  • 著者名/発表者名: Akiko Aizawa, Michael Kohlhase and Iadh Ounis
  • 学会等名: MIR 2012 Workshop ― Mathematics Information Retrieval at Conferences on Intelligent Computer Mathematics (CICM 2012)
  • 発表場所: Bremen, Germany
• [学会発表] Annotating Mathematical Expression Definitions for Automatic Detection (2012)
  • 著者名/発表者名: Giovanni Yoko Kristianto, Minh-Quoc Nghiem, Nobuo Inui, Goran Topic and Akiko Aizawa
  • 学会等名: MIR 2012 Workshop ― Mathematics Information Retrieval at Conferences on Intelligent Computer Mathematics (CICM 2012)
  • 発表場所: Bremen, Germany
• [学会発表] Automatic Approach to Understanding Mathematical Expressions Using MathML Parallel Markup Corpora (2012)
  • 著者名/発表者名: Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Yuichiroh Matsubayashi and Akiko Aizawa
  • 学会等名: 第26回人工知能学会全国大会(JSAI 2012) International Organized Session
  • 発表場所: 山口県教育会館（山口）
• [学会発表] Extracting Definitions of Mathematical Expressions in Scientific Papers (2012)
  • 著者名/発表者名: Giovanni Yoko Kristianto, Minh-Quoc Nghiem, Yuichiroh Matsubayashi and Akiko Aizawa
  • 学会等名: 第26回人工知能学会全国大会 (JSAI 2012) International Organized Session
  • 発表場所: 山口県教育会館（山口）
• [備考] Aizawa-lab MathCat Group
  • URL: http://mathcat.nii.ac.jp/
• [備考] NTCIR-10 Math Pilot Task Webpage
  • URL: http://ntcir-math.nii.ac.jp/