変形依拠公式提示機能への拡張も含めた数式検索システムの応用

摘要

計算機上で数式を扱うためのデータ形式が普及し，それに伴い数式データが蓄積されたことによって，数式を検索するための技術の必要性が高まってきている．本研究室では，先行研究にてMathML Presentation Markup 形式で記述された数式を対象とした数式検索システムの開発を行い，またこのシステムを応用した機能の追加を行ってきた．本発表では，その応用例として，式変形の拠り所となっている公式を提示する変形依拠公式提示機能の拡張，および数式検索システムを用いた際の検索履歴データを蓄積，活用するための機能の実装について述べる．これらの機能追加?拡張により，数式検索システムの技術を応用した，数学教育の学習支援に役立つシステム構築を目指す．