論　　文 ======== 　〔オートマトン，言語理論，計算論〕 ■ ブール相補ファジー論理系 ........................................ 395 鈴木　寿 　〔アルゴリズム，計算複雑性〕 ■ 並列分枝限定法に対するビジュアリゼーションシステム .............. 400 大西克実　榎原博之　中野秀男 ■ 軸平行多角形障害物がある平面上の最短路 .......................... 409 岩井　誠　鈴木　均　西関隆夫 　〔計算機構成要素〕 ■ 商選択テーブルを用いない高基数除算器の構成 ...................... 416 青木孝文　常世大史　樋口龍雄 　〔計算機システム〕 ■ データの更新をバイト単位で管理するキャッシュメモリ .............. 425 高橋雅史　大庭信之　小林広明　中村維男 ■ 光ウェーブキャスティングに基づく並列コンピューティングアーキテクチャ ........................................................ 437 青木孝文　桜井　賢　樋口龍雄 　〔ソフトウェア工学〕 ■ FIND：デバッグ自動化支援システム ................................ 446 下村隆夫 ■ 分岐実時間正則時相論理による実時間並行システムの形式的検証 ...... 457 山根　智 　〔フォールトトレランス〕 ■ 標準化プロジェクトを基盤としたオペレーティングシステムの設計フォール トトレランスの実現 .............................................. 468 渡辺亜紀　坂村　健 レ タ ー ======== ■ 網目結合計算機の再構成アルゴリズムとその評価 .................... 475 重井徳貴　宮島廣美　村島定行 ◎ 英文論文誌紹介(IEICE Transactions on Information and Systems) ... 479 ◎ 複写をされる方に ................................................ 480