Contents of Report

[Data of Report]

Report Number:: TR0569
Date of Registration:: 1990.07
English Title:: Proceeding of KL1 Programming Workshop 90'
Japanese Title:: KL1 プログラミング・ワークショップ
English Author:: K.Taki,K.Furukawa
Japanese:: 瀧　和男,古川　康一
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tr0569.pdf

[Contents]

	序	.... 3
	本ワークショップの目指すもの	.... 4
	プログラム委員会	.... 9
	KL1 Programming Workshop '90 プログラム	.... 10
1	疎結合並列計算機上でのOR並列問題に適した動的負荷分散方式とその評価(古市,滝,市吉)	.... 14
1.1	はじめに	.... 14
1.2	要求駆動型動的負荷分散方式	.... 14
1.3	マルチレベル動的負荷分散方式	.... 15
1.4	性能の測定とその評価	.... 16
1.5	考察	.... 19
1.6	おわりに	.... 21
1.7	謝辞	.... 22
1.8	参考文献	.... 22
2	マルチPSI上の最短経路問題の実現と評価(和田,市吉)	.... 23
2.1	はじめに	.... 23
2.2	分散アルゴリズム	.... 23
2.3	疎結合マルチプロセッサでの負荷分散	.... 24
2.4	実験と解析	.... 24
2.5	おわりに	.... 29
2.6	謝辞	.... 29
2.7	参考文献	.... 30
3	Exhaustive versus Pruned Search on the Multi-PSI(Bernard Burg)	.... 31
3.1	Introduction	.... 31
3.2	The Multi-PSI/V2 and granularity	.... 32
3.3	Exhaustive search	.... 32
3.4	Pruned search	.... 33
3.5	A case study;Inductive learning	.... 34
3.6	Results	.... 36
3.7	Conclusion	.... 36
3.8	Acknowledgment	.... 37
3.9	References	.... 37
4	Aアルゴリズムと模型探索の試み(星田,六沢,新田)	.... 38
4.1	アルゴリズム	.... 38
4.2	模型探索	.... 38
4.3	8/15パズルへの適用例	.... 39
4.4	牛パズル（箱入り娘）への適用例	.... 40
4.5	おわりに	.... 41
5	ANDOR-IIのマルチPSI上での実現(高橋,坂本,竹内)	.... 47
5.1	はじめに	.... 47
5.2	ANDOR-II概要	.... 48
5.3	計算モデル	.... 48
5.4	コンパイラの処理概要	.... 49
5.5	並列化について	.... 50
5.6		.... 51
5.7	コンパイラ自身の並列化	.... 53
5.8	おわりに	.... 53
5.9	参考文献	.... 54
6	スプレイ木の並列データ探索(和田久美子)	.... 55
6.1	はじめに	.... 55
6.2	並列アルゴリズム	.... 57
6.3	評価	.... 58
6.4	議論	.... 60
6.5	おわりに	.... 61
6.6	謝辞	.... 62
6.7	参考文献	.... 62
7	An overview of FLIB(Bernard Burg,Daniel Dure)	.... 63
7.1	Introduction	.... 64
7.2	Module fel	.... 64
7.3	Module list	.... 65
7.4	Matrix module	.... 65
7.5	Module par	.... 65
7.6	Module string	.... 66
7.7	Module util	.... 66
7.8	Module vect	.... 66
7.9	Examples	.... 67
7.10	References	.... 69
8	PIMOSの資源管理におけるストリームの扱いについて(藤瀬哲朗)	.... 70
8.1	OS資源管理の基本	.... 70
8.2	資源木による管理方式	.... 71
8.3	おわりに	.... 73
8.4	謝辞	.... 74
8.5	参考文献	.... 74
9	ストリームによる非同期処理の実現方法(堀　敦史)	.... 75
9.1	はじめに	.... 75
9.2	ストリームによるプロセス間通信	.... 75
9.3	ストリームによるプロセス間通信	.... 75
9.4	アテンション・ラインとアボード・ライン	.... 75
9.5	おわりに	.... 76
9.6	謝辞	.... 76
9.7	参考文献	.... 76
10	並列データベース管理システムの基本要素の試作評価(河村元夫)	.... 77
10.1	はじめに	.... 77
10.2	並列データベースのシステム構成	.... 77
10.3	並列データベース管理システムの基本要素の試作評価	.... 77
10.4	まとめ	.... 82
10.5	参考文献	.... 82
11	メタインタプリタを用いたパフォーマンスモニタ(田口,本城,中島)	.... 85
11.1	はじめに	.... 85
11.2	メタインタプリタによる動作情報収集	.... 85
11.3	パフォーマンスモニタによる動作情報表示	.... 88
11.4	今後の拡張	.... 89
11.5	まとめ	.... 90
11.6	参考文献	.... 90
12	KL1-FGHCとFGHC-KL1(近山　隆)	.... 91
12.1	実行管理機能	.... 91
12.2	資源管理機能	.... 98
12.3	計算量オーダの保存	.... 100
12.4	ガード実行の逐次化	.... 101
12.5	変数の同一性判定の廃止	.... 103
12.6	おわりに	.... 104
13	並列論理型言語による探索問題のプログラミング;Layered Stream法の拡張(松本,奥村)	.... 105
13.1	はじめに	.... 105
13.2	レイヤードストリームとその特徴	.... 106
13.3	探索問題とその再帰的記述	.... 107
13.4	レイヤードストリームプログラミング	.... 109
13.5	おわりに	.... 111
13.6	謝辞	.... 112
13.7	参考文献	.... 112
14	並列自然言語解析システムLaputaについて(山崎重一郎)	.... 113
14.1	処理モデル	.... 113
14.2	基本原理	.... 114
14.3	構文解析手法	.... 118
14.4	部分項の単一化の実装方法	.... 223
14.5	まとめ	.... 125
14.6	参考文献	.... 125
15	並列自然言語構文解析システムPAXの改良(佐藤裕幸)	.... 126
15.1	はじめに	.... 126
15.2	オリジナルPAX	.... 126
15.3	改良版PAX	.... 128
15.4	測定／評価	.... 131
15.5	おわりに	.... 133
15.6	付録	.... 133
16	並列一般化LRパーザの負荷分散の検討(沼崎,田中)	.... 136
16.1	まえがき	.... 136
16.2	KL1による並列一般化LRパーザの記述	.... 137
16.3	負荷分散	.... 140
16.4	実験	.... 140
16.5	おわりに	.... 142
16.6	謝辞	.... 143
16.7	参考文献	.... 143
17	KL1プログラミング雑感;proverの並列化の体験より	.... 144
17.1	いきさつ	.... 144
17.2	やってみたいこと	.... 144
17.3	やったこと	.... 145
17.4	雑感	.... 145
18	KL1による定理証明プログラム(藤田,長谷川)	.... 153
18.1	はじめに	.... 153
18.2	SATCHMO	.... 153
18.3	KL1インプリメンテーション	.... 155
18.4	性能評価	.... 158
18.5	議論	.... 159
18.6	結論	.... 160
18.7	謝辞	.... 161
18.8	参考文献	.... 161
18.9	付録;SATCHMO(KL1版)による問題記述(S2,S3)	.... 162
19	並列推論マシン上のLSIレイアウトシステムco-HLEXの概要(渡辺,小松)	.... 163
19.1	はじめに	.... 163
19.2	開発現況	.... 164
19.3	KL1の使用経験と要望事項	.... 168
19.4	まとめ	.... 169
19.5	謝辞	.... 169
20	KL1による帰納的学習システムの構築(坂本,高橋,竹内)	.... 172
20.1	はじめに	.... 172
20.2	システム構成	.... 172
20.3	学習アルゴリズム	.... 174
20.4	評価・検討	.... 175
20.5	おわりに	.... 175
20.6	参考文献	.... 176
21	並列協調設計システム評価用プログラム(神谷,丸山,吉田,大越,須田,箕田,澤田,滝沢)	.... 177
21.1	概要	.... 177
21.2	協調動作アルゴリズム	.... 177
21.3	シミュレータのシステム構成	.... 178
21.4	シミュレーションの実験結果	.... 179
21.5	シミュレータ作成時の問題点と今後の課題	.... 181
21.6	まとめ	.... 182
22	判例を用いた法的推論システム(新田,星田)	.... 183
22.1	はじめに	.... 183
22.2	事例を用いた法的推論モデル	.... 183
22.3	法的推論システム	.... 187
22.4	おわりに	.... 190
22.5	参考文献	.... 190

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

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