情報の高信頼蓄積・検索技術等の開発 (特集 学と産の連携による基盤ソフトウェアの先進的開発)