論　　文
========
 
［計算機システム]
 
■ 非長方形ウィンドウの高速操作機能を備えたマルチウィンドウシステムの実
   現法 ............................................................ 509
        前田敏行　佐藤洋一郎　横平徳美　岡本卓爾

［ネットワーク]
 
■ 通信プロトコルのフェーズ連結法とそれに基づく検証法 .............. 519
        佐野哲央　樋口昌宏　関　浩之　嵩　忠雄

［フォールトトレランス]
 
■ 制約のないテスト労力投入量を考慮したソフトウェア信頼度成長モデル  532
        山田　茂　木村光宏

■ 仕様を利用した非同期式順序回路のタイミング検証――詳細に検証すべき状
   態遷移の　絞り込み―― .......................................... 539
        大西　淳　杉山裕二　岡本卓爾

［情報セキュリティ]
 
■ UUIを利用した鍵配送方式の実装と評価 ............................. 549
        田中清人　小柳津育郎


レター
======
 
■ 共有メモリ型並列計算機における項書換え系の実現方式 .............. 559
        山本晋一郎　石川　亮　酒井正彦　阿草清滋

■ 外平面グラフの最長路問題を解く並列アルゴリズム .................. 563
        中山慎一　増山　繁

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

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