| 概要 | .... 2 | |
| 1 | はじめに | .... 2 |
| 2 | 第7研究室の活動 | .... 3 |
| 3 | 応用プログラムの概要(1) | .... 4 |
| 3.1 | 論理シミュレータ | .... 4 |
| 3.2 | LSIレイアウトシステム | .... 5 |
| 3.3 | タンパク質配列解析プログラム | .... 6 |
| 3.4 | 折れ畳みシミュレーションプログラム | .... 7 |
| 3.5 | タンパク質の構造解析プログラム | .... 9 |
| 3.6 | 法的推論実験システム | .... 9 |
| 3.7 | 結果 | .... 10 |
| 3.8 | 囲碁対局システム「碁世代(GOG)」 | .... 11 |
| 4 | 応用プログラムの概要(2) | .... 12 |
| 4.1 | Co-HLEX;協調的再帰計算原理を用いたLSIレイアウト問題解決システム | .... 12 |
| 4.2 | 協調型論理設計エキスパートシステム | .... 13 |
| 4.3 | 事例に基づく回路設計支援システム | .... 14 |
| 4.4 | 並列ルールベース・アニーリングによる論理回路のハイレベル合成 | .... 15 |
| 4.5 | 深い知識に基づく設計支援システム | .... 16 |
| 4.6 | ブランドモデルに基づく診断制御エキスパートシステム | .... 17 |
| 4.7 | 適応型モデルベース診断システム | .... 17 |
| 4.8 | モチーフ抽出システム | .... 18 |
| 5 | 並列プログラム能勢伊能解析 | .... 19 |
| 5.1 | なぜ性能解析か? | .... 19 |
| 5.2 | 初期の経験 | .... 19 |
| 5.3 | スケーラビリティ解析 | .... 20 |
| 5.4 | 残された問題 | .... 21 |
| 6 | 並列プログラム開発のまとめ | .... 21 |
| 7 | まとめ | .... 23 |
| 8 | 謝辞 | .... 23 |
| 9 | 参考文献 | .... 23 |
| End | .... 25 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports