プロジェクト概要 高い生産性を持つ高信頼ソフトウェア作成技術の開発 情報の高信頼蓄積・検索技術等の開発 イベント 資料

Home > 情報の高信頼蓄積・検索技術等の開発 > 村岡 洋一

村岡 洋一

プロジェクトリーダー

村岡 洋一(早稲田大学)

課題名

インターネット上の知識集約を可能にするプラットフォーム構築技術

代表者・所属

村岡 洋一 (早稲田大学)

目的

インターネット上のWebページの情報(2003年末時点で予想される全世界約119億のWebページ規模)を収集し、平均して1ヶ月以内の新しいデータに更新することを可能とするソフトウェアを開発する。
また、収集された情報から、利用者の検索目的に応じて必要となる情報を抽出することを可能とするソフトウェアを開発する。

目標

組込みシステム特有の計算資源、実時間処理といった制約を取り扱えるようにし、ソフトウェアの正しさや整合性の検証を容易に行うことを可能とするため、組込みソフトウェアをオブジェクト指向の統一モデル化言語UML(Unified Modeling Language)によって記述することを可能とする支援ツールを開発する。

共同研究者

菅原 (NTT未来ねっと研究所)
松井 (富士通研究所)
進藤 (アクセラテクノロジ)

期間

5年