論  文 ======== [オートマトン,言語理論,計算論] ■ ある制限を加えた同期型交代マルチヘッド有限オートマトン .......... 273 松野浩嗣 井上克司 高浪五男 [アルゴリズム,計算複雑性] ■ ストリングパターンマッチングマシンの動的構成法 .................. 282 津田和彦 入口浩一 青江順一 [計算機構成要素] ■ 自律的なしきい素子回路網で実現できる状態列とその逆状態列 ........ 290 宮崎清則 ■ けた上げ先見加算器の高速化 ...................................... 299 宮島廣美 小田幹雄 三田村勇人 村島定行 [計算機システム] ■ WASMII:データ駆動型制御機構をもつMPLD .......................... 309 凌 暁萍 天野英晴 [フォールトトレランス] ■ 活性化入力対を用いた組合せ回路の多重縮退故障の診断に関する一考察 318 柳田宣広 高橋 寛 高松雄三 ■ 2重化とオンラインテストによる耐故障分散型バスアービタの実現法 .. 328 蓑原 隆 小野尾隆一 当麻喜弘 レター ====== ■ サブゴールの生成に基づくマイクロプログラム合成手続きの拡張 ...... 338 木下貴史 直井 徹 恩田雅隆 今井正治 ◎ 英文論文誌紹介 (IEICE Transactions on Information and Systems) 341 ◎ 複写をされる方に ................................................ 342