論  文 ======== [アルゴリズム,計算複雑性] ■ 文字列集合における識別文字列を求めるための多項式時間手続き ...... 531 伊藤 実 清水邦保 中西通雄 橋本昭洋 ■ 包除原理による和集合のサイズの評価について ...................... 539 神保秀司 丸岡 章 [計算機構成要素] ■ 依存性グラフを用いた2相式非同期回路の合成 ...................... 548 籠谷裕人 南谷 崇 [ソフトウェア基礎] ■ トポロジカルなプログラミングが可能な並列オブジェクト指向言語 A-NETL ........................................................ 557 吉永 努 馬場敬信 [ソフトウェアシステム] ■ ソフトウェアの機能変更と移植における生産性モデル ................ 567 和佐野哲男 小林吉純 [データベース] ■ 大規模データベースを用いた計画問題とその並列処理方式 ............ 577 大森 匡 松本弘 レター ====== ■ 多分木を扱う並列メモリのための木のラベル付け .................... 589 中澤寿之 熊谷 毅 ◎ 英文論文誌紹介 (IEICE Transactions on Information and Systems) 592 ◎ 複写をされる方に ................................................ 593