論　　文
========
 
［アルゴリズム，計算複雑性]
 
■ 分散アルゴリズムによるルート切換え制御方式 ...................... 573
        川原洋人

［計算機構成要素]
 
■ 機能設計を対象とする合成予測の実現 .............................. 588
        野地　保　清水圭典　中村　彰　浜田英幸

［計算機システム]
 
■ 共通バス調停型マルチプロセッサシステムのアクセス競合に関する近似解析
            ........................................................ 597
        星合隆成

［ソフトウェア基礎]
 
■ 経路依存フローグラフを用いたプログラムスライシング .............. 607
        直井邦彰　高橋直久

［ソフトウェアシステム]
 
■ あるスタイルに基づく順序機械型記述における詳細化の正しさの証明方法
            ........................................................ 622
        岡野浩三　東野輝夫　谷口健一

◎ 英文論文誌紹介　（IEICE Transactions on Information and Systems） 634

◎ 複写をされる方に ................................................ 636