情報処理学会 第82回全国大会 会期:2020年3月5日~7日 会場:金沢工業大学 扇が丘キャンパス 情報処理学会 第82回全国大会 会期:2020年3月5日~7日 会場:金沢工業大学 扇が丘キャンパス

6ZH-05
代数的変形に対応した変形依拠公式提示ツールの開発
○脇 弘太,宮崎佳典(静岡大)
MathML,TeX,OpenMathなどをはじめとして,数式を記述するためのデータ形式が普及し,計算機上の数式利用ならびに数式を検索する技術に対する関心が高まっている. 本研究では,MathML Presentation Markup形式で記述された数式を対象とした,数学学習支援に役立つ数式検索システムの開発ならびに同システムを応用した機能の追加・拡張に焦点を当てる.具体的には,Wolfram Alpha Full Results APIを用いることで,代数的変形に対応した拡張数式検索システムを考案し,マッチング機能の改善および変形依拠公式提示ツールへの応用を試みる.また,Wolfram Alpha APIを通じて取得可能な各種情報を活用し,等式成立条件の表示など数学学習支援にシステムが一層役立つための改良を試みる.