論　　文
========
 
［ソフトウェア基礎]
 
■ 高階関数を対象としたlazyな関数型言語についての並列リダクション .. 839
        国持良行　鈴木敏之　関本彰次

［ソフトウェアシステム]
 
■ タイミング制約記述を含む非同期型リアルタイムソフトウェアにおけるハイ
   ブリッド　検証方式の提案 ........................................ 850
        山根　智


レター
======
 
■ プロセッサクラスタ用メモリアクセスバッファリング機構 ............ 861
        高橋雅史　大庭信之　小林広明　中村維男

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