5ZH-02
変形依拠公式提示機能への拡張も含めた数式検索システムの応用
○野崎 咲,宮崎佳典(静岡大),田中省作(立命館大)
計算機上で数式を扱うためのデータ形式が普及し,それに伴い数式データが蓄積されたことによって,数式を検索するための技術の必要性が高まってきている.本研究室では,先行研究にてMathML Presentation Markup形式で記述された数式を対象とした数式検索システムの開発を行い,またこのシステムを応用した機能の追加・拡張を行ってきた.本発表では,既存のシステムを応用し,式変形の拠り所となっている公式を提示する変形依拠公式提示機能の追加,および数式検索システムを用いた際の検索履歴データを蓄積,活用するための機能拡張を行う.これらの機能追加・拡張により,数式検索システムの技術を応用した,数学教育の学習支援に役立つシステム構築を目指す.

footer 著作権について 倫理綱領 プライバシーポリシー セキュリティ 情報処理学会