 |
全体説明
ここでは、
- 第五世代コンピュータ技術とは
- 第五世代コンピュータプロジェクト(ICOT)とは
- 第五世代コンピュータ研究基盤化プロジェクトとは
- 本ビデオで説明するデモンストレーションの内容
についてご説明します。 |
ビデオの概要説明
(4:39) |
 |
並列推論マシン PIM
ここでは、
- 並列推論マシン(PIM)とは
- 疎結合構造の PIM とは
- クラスタ構造の PIM とは
- パフォーマンス・モニターとは
についてご説明します。 |
ビデオの概要説明
(5:49) |
 |
遺伝子情報処理システム
ここでは、
- 配列解析のアライメントとは
- 並列反復改善法とは
- アライメントのワークベンチとは
についてご説明します。 |
ビデオの概要説明
(5:13) |
 |
定理証明システムMGTP
ここでは、
- 定理証明とは
- MGTP とは
- 準群の存在問題とは
- PIM-m での稼動状況と台数効果
についてご説明します。 |
ビデオの概要説明
(7:37) |
 |
法的推論システム new Helic-II
ここでは、
- 法的推論とは
- new Helic-II とは
- new Helic-II の３つのモジュール
- 事例問題
についてご説明します。 |
ビデオの概要説明
(7:43) |
 |
汎用計算機上のKL1言語処理系KLIC
ここでは、
- KLIC とは
- 対象とする計算機システムとは
- 高い移植性と高性能
- 多様な並列計算機で動作するための工夫
についてご説明します。 |
ビデオの概要説明
(4:36) |
 |
終わりに
ここでは、
- 第五世代コンピュータ技術の公開方法
- ICOT 無償公開ソフトウェア
- アクセス状況
についてご説明します。 |
ビデオの概要説明
(1:54) |