• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2015 年度 実績報告書

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

研究課題

研究課題/領域番号 24300062
研究機関国立情報学研究所

研究代表者

相澤 彰子  国立情報学研究所, コンテンツ科学研究系, 教授 (90222447)

研究期間 (年度) 2012-04-01 – 2016-03-31
キーワード数式検索 / 数式理解 / 自然言語処理 / 数学知識基盤 / MathML
研究実績の概要

数式は多くの科学技術分野で重要な役割を果たすが、非言語的な表現を含むことから、自然言語処理の研究対象として考慮されることは、これまでほとんどなかった。そこで本研究では、数式を独自の構造を持つ文書の言語的な構成要素として捉え、説明文と対応付けて解析することで、数式の意味を扱うための言語処理アプローチを研究して、数学的知識の活用基盤の実現へと結びつける。

平成27年度では、これまでの研究で得られた知見に基づき、情報検索の評価型ワークショップであるNTCIR-12において、数式検索に焦点をあてた「MathIR」を企画・提案してタスク運営に取り組んだ。海外3名の共同オーガナイザと連携しつつ、学術論文およびWikipedia数学関連記事の2種類のデータセットを整備して参加者に配布し、提出された結果のプーリングおよび上位文書の人手による適合性判定を行った。本タスクを通して構築したクエリや判定結果は、数式検索システムの開発や評価に有用な研究リソースとして、NTCIRの枠組みのもとで関連研究者に広く公開予定である。

数学知識アクセスのための基盤技術に関しては、まず、数式間の構造の依存関係を論文から自動抽出して情報を補完する手法の改良に取り組み、数式依存関係グラフの抽出性能を改善した。また、数式の部分構造やキーワードなど性質が異なる複数個の索引を最適に組み合わせる手法の有効性を検証した。さらに、変数を含む数式に対応するため、単一化を利用した再ランキングの仕組みを実現した。これらの手法を実装した数式検索システムを用いてNTCIR-12 MathIRタスクに参加し、すべてのタスクにおいて本研究で開発した数式検索システムが優れた性能を持つことを示した。

現在までの達成度 (段落)

27年度が最終年度であるため、記入しない。

今後の研究の推進方策

27年度が最終年度であるため、記入しない。

  • 研究成果

    (5件)

すべて 2016

すべて 雑誌論文 (1件) (うち査読あり 1件、 謝辞記載あり 1件) 学会発表 (4件) (うち国際学会 1件、 招待講演 1件)

  • [雑誌論文] Efficient Algorithm for Math Formula Semantic Search2016

    • 著者名/発表者名
      Shunsuke Ohashi, Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa
    • 雑誌名

      IEICE TRANSACTIONS on Information and Systems

      巻: E99-D ページ: 979-988

    • DOI

      10.1587/transinf.2015DAP0023

    • 査読あり / 謝辞記載あり
  • [学会発表] MathIR Task Overview2016

    • 著者名/発表者名
      Richard Zanibbi, Akiko Aizawa, Michael Kohlhase, Iadh Ounis, Goran Topic, Kenny Davila
    • 学会等名
      The 12th NTCIR Conference
    • 発表場所
      国立情報学研究所、東京都
    • 年月日
      2016-06-07 – 2016-06-10
  • [学会発表] MCAT Math Retrieval System for NTCIR-12 MathIR Task2016

    • 著者名/発表者名
      Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa
    • 学会等名
      The 12th NTCIR Conference
    • 発表場所
      国立情報学研究所、東京都
    • 年月日
      2016-06-07 – 2016-06-10
  • [学会発表] Combining Effectively Math Expressions and Textual Keywords in Math IR2016

    • 著者名/発表者名
      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-02-06
    • 国際学会
  • [学会発表] コンピュータによる数式理解と数式検索システム2016

    • 著者名/発表者名
      相澤彰子
    • 学会等名
      第120回情報基礎とアクセス技術研究会・第47回ディジタル図書館ワークショップ合同研究会
    • 発表場所
      東京工業大学、東京都
    • 年月日
      2016-01-25 – 2016-01-25
    • 招待講演

URL: 

公開日: 2017-01-06  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi