研究総括　片山　卓也（北陸先端科学技術大学院大学 情報科学研究科　教授） 第三期(2002-2005)　タイトル：機能と構成〜先進情報システムとその構成に向けて〜 研究者リスト 飯田　弘之 井口　寧 大崎　人士 デファゴクサビエ　 丹羽　純平 長谷川　真人 結縁　祥治 　 　 　 事後評価報告書 放映時間:30分 研究者名 研究課題名 研究終了時の所属 動画閲覧 飯田　弘之 探索と知識の融合がもたらす知能の創造と進化 北陸先端科学技術大学院大学情報科 井口　寧 ハードウェア・プログラミングによる超細粒度並列処理 北陸先端科学技術大学院大学情報科学センター　助教授 大崎　人士 刺激応答型実時間システムの自動検証技術：安全性・信頼性技術の開発 産業技術総合研究所システム検証研究センター　研究員 デファゴ クサビエ 大規模分散アルゴリズム開発及び性能評価のツール構築 北陸先端科学技術大学院大学情報科学研究科　特任助教授 丹羽　純平 広域分散共有メモリ機構を支援する最適化コンパイラ 科学技術振興機構　さきがけ研究者 長谷川　真人 プログラミング言語の制御構造の意味論的分析 京都大学数理解析研究所　助教授 結縁　祥治 Webアプリケーション指向ソフトウェアモデリング 名古屋大学大学院情報科学研究科　助教授  本サーバ上のコンテンツ(情報・資料・画像・音声等)の無断転載を禁止します。  このホームページについてのお問い合わせは e-mail:presto@jst.go.jp  Copyright(C)1999-2003 Japan Science and Technology Agency(JST)All Right Reserved.