Contents of Report

[Data of Report]

1	関数型言語QUTEの特徴(佐藤,桜井)	.... 5
2	結合子を用いた簡約化と閉包を用いた簡約化の比較検討(井田)	.... 8
3	Eqlogについて(上田)	.... 19
4	リダクションシステムからながめた計算モデル(外山)	.... 22
5	FPプログラム代数則の証明,手続き(富樫)	.... 26
6	分散計算モデルと通信計算量(　田)	.... 50
7	プロセッサ・メモリ結合網のあるクラスの性能評価(萩原)	.... 54
8	Read Only AnnotationのUnificationとその応用(枚田)	.... 64
9	Parallel object oriented Programming with colored Messages(萩谷)	.... 68
	End	.... 76

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