情報処理学会 第75回全国大会講演要旨

　本発表は数式の検索に関するものである．数式の検索では，検索対象となるデータ形式が表現する内容を考慮する必要がある．数式のデータ形式として主要なものはいくつか存在するが，それらは，その表現する内容が数式の"見た目"であるか，"意味"であるかに大別できる．例えば1+2は，見た目としては「1, +, 2という3つの記号が並ぶ」，意味としては「数1と数2を可算する」という形で，それぞれデータが記述される．見た目か意味かのいずれであるかによって，検索に用いることのできる問い合わせの性質が異なる．本発表では，発表者が提案および実装した，見た目と意味のそれぞれのデータ形式のための，2つの検索手法について述べる．