Contents of Report

[Data of Report]

Report Number:
TR0586
Date of Registration:
1990.08
English Title:
Knowledge-Base-Oriented Parallel Inference System
Japanese Title:
知識ベース指向の並列推論処理システム
English Author:
H.Kitakami,H.Yokota
Japanese:
北上　始,横田　治夫
Name of Organization to which author belongs:
Fujitsu,Fujitsu
PDF:
tr0586.pdf

[Contents]

Abstract.... 2
概要.... 3
目次.... 4
1はじめに.... 5
2メタプログラミングによる推論.... 7
3GHCによる並列化.... 9
3.1$変数の導入.... 9
3.2並列プログラミング.... 11
3.3カットシンボルの処理.... 14
4大規模な知識ベース検索.... 15
5システムの評価.... 17
5.1静電界の問題.... 17
5.2測定結果.... 19
6おわりに.... 21
謝辞.... 21
参考文献.... 22
End.... 23

目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports