論  文 ======== [オートマトン,言語理論,計算論] ■ コオペレーティング1方向カウンタ機械システム .................... 399 王  躍 井上克司 高浪五男 松野浩嗣 ■ 部分関数を定義するm-n列変換器の性質 ............................. 409 林 雄二 [ソフトウェア基礎] ■ 分散記憶型マルチプロセッサにおけるフローショップスケジューリング問題 の並列解法 ...................................................... 415 岡本秀輔 渡辺一衛 飯塚 肇 ■ 最汎E単一化子を用いたマイクロプログラム合成手続き............... 424 木下貴史 直井 徹 恩田雅隆 今井正治 [ソフトウェアシステム] ■ ソフトウェア信頼度成長曲線の分析に基づく連結指数形ソフトウェア信頼度 成長モデル ...................................................... 433 中川 豊 ■ 入出力例と説明文を生成するリスト処理プログラム理解支援システム .. 443 羽鳥健司 永田守男 ■ ニューラルネットを用いたソフトウェア信頼性予測モデル ............ 454 高田義広 松本健一 鳥居宏次 ◎ 英文論文誌紹介 (IEICE Transactions on Information and Systems) 462 ◎ 複写をされる方に ................................................ 463