論　　文
========
 
［ソフトウェア基礎]
 
■ 複数の簡約順序のもとでの項書換えシステム完備化手続き .............. 1
        近藤　久　栗原正仁　大内　東

［ソフトウェアシステム]
 
■ 再帰を含むプログラムのスライス計算法 ............................. 11
        植田良一　練　　林　井上克郎　鳥居宏次

■ プロダクトをもとにしたソフトウェアの仕様作成のための会議の分析法 . 23
        海谷治彦　佐伯元司

［データベース]
 
■ トークン授受方式による分散デッドロック検出アルゴリズム ........... 32
        江口賢和　義永常宏

■ 検索処理を高速化するためのデータベーススキーマの設計手法 ......... 44
        中西通雄　葛山善基　伊藤　実　橋本昭洋

◎ 英文論文誌紹介　（IEICE Transactions on Information and Systems）  55
◎ 複写をされる方に ................................................. 56