| 研究領域 | 情報爆発時代に向けた新しいIT基盤技術の研究 |
|---|
| 研究課題/領域番号 |
18049015
|
|---|
| 研究種目 |
特定領域研究
|
| 配分区分 | 補助金 |
|---|
| 審査区分 |
理工系
|
|---|
| 研究機関 | 東京大学 |
|---|
研究代表者 |
近山 隆 東京大学, 大学院・工学系研究科, 教授 (40272380)
|
|---|
| 研究分担者 |
湯淺 太一 京大, 情報学, 教授 (60158326)
上田 和紀 早大, 理工学術院, 教授 (10257206)
田浦 健次朗 東京大学, 大学院・情報理工学系研究科, 准教授 (90282714)
遠藤 敏夫 東京工業大学, 学術国際情報センター, 産学官連携研究員 (80396788)
横山 大作 東京大学, 大学院・情報理工学系研究科, 科学技術振興特任教員 (80345272)
|
|---|
| 連携研究者 |
田浦 健次朗 東大, 情報理工学系研究科, 准教授 (90282714)
遠藤 敏夫 東工大, 情報理工学研究科, 特任准教授 (80396788)
横山 大作 東大, 生産技術研究所, 助教 (80345272)
馬谷 誠二 京大, 情報学研究科, 助教 (40378831)
|
|---|
| 研究期間 (年度) |
2006 – 2010
|
| 研究課題ステータス |
完了 (2010年度)
|
| 配分額 *注記 |
64,600千円 (直接経費: 64,600千円)
2010年度: 15,000千円 (直接経費: 15,000千円)
2009年度: 11,900千円 (直接経費: 11,900千円)
2008年度: 13,600千円 (直接経費: 13,600千円)
2007年度: 9,600千円 (直接経費: 9,600千円)
2006年度: 14,500千円 (直接経費: 14,500千円)
|
|---|
| キーワード | 計算機システム / ソフトウェア学 / ハイパーフォーマンスコンピューティング / 並列分散処理 / アルゴリズム / ハイパフォーマンスコンピューティング / クラスターコンピューティング / システム検証 / プロセス計算 / LMNtal / InTrigger / ハイパーフォーマンス・コンピューティング / プログラム言語 / 計算モデル / 資源管理機構 |
|---|
| 研究概要 |
爆発的に増加する大量の情報を効率的に扱うソフトウェアの構成には、広域に分散配置した高度な並列性を持つ情報システムを柔軟に記述できるソフトウェアの枠組が基本技術として必要となる。このためのプログラミング言語やミドルウェアのシステムと、複雑なソフトウェアの正当性を検証するためのシステムを対象に研究を進め、具体的なシステムを提案、設計、実装し、その性能を検証した。代表的成果ソフトウェアは公開している。
|
