論　　文
========
 
［ソフトウェアシステム]
 
■ プログラム変更に対する正当性検証技法と分割技法の適用 ............ 747
        小野康一　丸山勝久　深澤良彰

［ネットワーク]
 
■ 放送型通信網における因果順序制御プロトコルの評価 ................ 759
        藤井章博　根元義章


レター
======
 
■ 多字種に対応したトライの構成方法 ................................ 767
        熊谷　毅　中川征己

■ Chor-Goldreich並列GCDアルゴリズムの動作解析 ..................... 770
        當山孝義　堀口　進

◎ 英文論文誌紹介　（IEICE Transactions on Information and Systems） 774
◎ 複写をされる方に ................................................ 775