確率文脈自由文法に基づく遺伝子情報RNAデータベース検索システム