◎渡部孝幸・宮崎佳典（静岡大）

本研究は，計算機上で表現された数式の検索手法を提案する．既存の数式検索研究は，ユーザが直接，問い合わせを記述することを想定したものが主流を占める．一方，より高次の処理を実現するための要素技術として検索を利用することも想定される．本論文では，数式を利用したアプリケーション開発における要素技術として利用する際に特に効果を発揮するような検索手法を提案する．要素技術としての数式検索を構築する上で，本研究では，問い合わせ言語の設計と，検索処理の互換性を重視している．簡潔で一貫性のある問い合わせ言語を実現するために2種類の記法を用意し，様々な環境での動作を視野にXQueryを採用する．