我々研究グループは数理分野における自主学習を補助するツールとして数式検索システムを開発している．一方で，正規表現を用いて文字列のマッチングを行うシステムの都合上，同一表記の文字や記号に対し，含有される意味に応じて識別を行うことができないという課題が存在する．これは，数学は抽象度を高く文字や記号に特定の意味を持たせるという代数的側面からも本質的な問題である．本研究では，正規表現パターンの拡張と機械学習を用いて文字の意味情報を検索内容に付加する手法を提案，拡張することで課題解決に向けた提案を行う．これにより，システムを利用者にとって更に正確でより効率性の高い数式検索の実現に繋がるものと期待される.