論  文 ======== [オートマトン,言語理論,計算論] ■ ファジー論理関数の同定問題――部分関数がファジー論理関数で表されるた めの必要十分条件―― ............................................ 465 菊池浩明 向殿政男 [計算機構成要素] ■ 高速アウトラインフォント展開プロセッサのアーキテクチャ .......... 477 長谷川和子 田中紀夫 脇坂新路 和田弘士 林 繁夫 [計算機システム] ■ UNIXにおけるコマンド単位の負荷分散機能の設計と実装 .............. 483 山井成良 若林 進 下條真司 宮原秀夫 [ソフトウェアシステム] ■ テキスト型アプリケーション群を統合するグラフィカルユーザインタフェー スシステム: XTSS .............................................. 493 高濱徹行 小倉久和 中村正郎 [データベース] ■ マジックセット法を用いた問合せ処理の停止性について .............. 503 直井秀暢 関 浩之 藤井 護 ■ オブジェクト指向データベースにおける競合保存直列可能スケジューラの有 効性 ............................................................ 514 谷口伸一 西尾章治郎 久保信也 レター ====== ■ 論理式充足可能性問題の双線形計画問題としての記述――標準形の場合―― ........................................................ 525 萩原 斉 中森眞理雄 ◎ 英文論文誌紹介 (IEICE Transactions on Information and Systems) 528 ◎ 複写をされる方に ................................................ 529