Contents of Report


[Data of Report]

Report Number:
TM0151
Date of Registration:
1986.01
English Title:
***
Japanese Title:
情報処理学会第32回(昭和61年前期)全国大会発表論文集
English Author:
***
Japanese:
***
Name of Organization to which author belongs:
***
PDF:
tm0151.pdf

[Contents]

1データフロー方式並列推論マシン;実験機の動特性(六沢,大原,来住,伊藤).... 2
2データフロー方式並列推論マシン;実験機のプロセッサ割付方式(大原,久野,来住,伊藤).... 4
3データフロー方式並列推論マシン;実験機の性能評価(久野,六沢,富沢,伊藤).... 6
4データフロー方式並列推論マシン;ソフトウェアシミュレータによるGHCプログラムの評価(佐藤,伊藤,来住,久野,六沢).... 8
5関係データベースマシンにおける関係代数演算専用エンジンの並列処理評価(伊藤,安部,角田).... 10
6単一化エンジンを用いた知識ベース・マシンの構成方法(横田,村上,森田,伊藤).... 12
7単一化結合の処理方式(森田,横田,西田,伊藤).... 14
8単一化による関係型知識ベース操作(坂間,村上,横田).... 16
9単一化検索言語による知識ベースソフトウェアの記述(村上,横田,伊藤).... 18
10KBMS PHI(1)分散知識ベースシステムのシステム構成方式(伊藤,森田,大場,山崎).... 20
11KBMS PHI(2)知識とデータの扱いに関する一考察(宮崎,横田,阿比留).... 22
12KBMS PHI(3)分散ベース制御方式(吉田,高杉,大場).... 24
13KBMS PHI(4)知識ベースマシンシミュレータの機能概要(山中,山下,森田).... 26
14マルチポートページメモリを用いた大規模知識ベースの制御方式(物井,横田,西田,伊藤,酒井).... 28
15GHCプログラムのアルゴリズミック・デッバキングについて(竹内).... 30
16GHCサブセット逐次型処理系の作成(江崎,宮崎,太細).... 32
17Analogical Reasoning Probabilistic Reasoning(Yokomori).... 34
18On Semantic Logic Programs with Uncertainties(Sakakibara).... 36
19On Semantic Analogy inObject-Oriented representation(Takada).... 38
20問題解決支援環境KORE(その1)概要(新谷,片山,平石,戸田).... 40
21問題解決支援環境KORE(その2)知識記憶利用機構KORE/EDENとその応用(新谷,片山,平石).... 42
22問題解決支援環境KORE(その3)知識表現サブシステムKORE/KRとその概要(片山,新谷,平石).... 44
23問題解決支援環境KORE(その4)関係データベース・サブシステムKORE/DBとその概要(平石,新谷,片山).... 46
24方式設計段階における性能評価支援の一検討(蛭田,野田,植村,平野).... 48
25知識表現/推論システムpeaceとその故障診断問題への適用(古関,和田,西田,若杉,近藤).... 50
26仮定の修正を行う推論方式の故障診断への応用(和田,古関,若杉).... 52
27オンラインKWIC検索システムにおける分かち書き処理(岡,重永,玉越).... 54
28数式を含む日本文の構文解析(和田,西谷,岩元).... 56
29文書要約システムにおける世界知識の構造(安原,小松,北,加藤,山本).... 58
30PGEN-1;仕様書理解をベースとしたプログラム自動生成システム(岩元,西谷,和田,庄司,土田).... 60
31並列論理型言語によるLSIのフロアプランシステム(吉永,青柳,白木).... 62
32並列論理型言語によるLSIのフロアプランシステムの検討(吉永,青柳,白木).... 64
33Multi-PSIシステムの概要(滝,木村,横田,近山,内田).... 66
34高性能Prologマシン(CHI)の機械語命令先取り方式についての考察(和田,中崎,梅村).... 68
35高性能PROLOGマシン(CHI)における最適化技法(小長谷,中崎,幅田,梅村).... 70
End.... 71


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

ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda