数式記述構造化言語オブジェクト検索システム，検索方法，検索プログラムおよびその記録媒体