論  文 ======== [オートマトン,言語理論,計算論] ■ ファジー論理関数の当てはめ問題――論理式による知識獲得―― ...... 595 菊池浩明 向殿政男 ■ 1-有界無競合ペトリネットにおける二つのトランジションの同時発火可能性 を判定する Yenのアルゴリズムの改良 ............................. 605 高橋正毅 荒木俊郎 柏原敏伸 [ソフトウェア基礎] ■ Adaptive Garbage Collectionの提案および実験 ..................... 611 田中詠子 田中良夫 中西正和 [ソフトウェアシステム] ■ マルチプロセッサシステムにおける並列処理の変化に向けた高速プロセス生 成手法 .......................................................... 619 横山和俊 谷口秀夫 ■ クラスライブラリーインタフェースの成熟度評価方法 ................ 628 中西弘毅 荒野高志 今瀬 真 ■ 出力様式から形式的要求仕様を生成する要求分析システム GRACE ..... 635 原田 実 大坪稔房 ■ プログラマのデバッグ能力をキーストロークから測定する方法 ........ 646 高田義広 鳥居宏次 レター ====== ■ RAID 5型ディスクアレーのスペアリングに関する一考察 ............. 656 林 逸樹 福本 聡 石井直宏 ◎ 英文論文誌紹介 (IEICE Transactions on Information and Systems) 660 ◎ 複写をされる方に ................................................ 661