電子情報通信学会論文誌　VOL.82-DI No.6 June 1999

論　　文
〔計算論，計算モデル〕
　テープ記号数を制限したチューリング機械の領域階層
		…岩本宙造　岩間一雄　　661

　不完全指定ファジー論理関数の簡単化
		…荒木智行　向殿政男　　669

〔アルゴリズム〕
　直交順序を保存する方形の最小面積非交差再配置問題
		…林　邦彦　井上美智子　増澤利光　藤原秀雄　　679

　冠頭標準形有理数プレスブルガー文の真偽判定アルゴリズムの提案
		…柴田直樹　岡野浩三　東野輝夫　谷口健一　　691

〔計算機システム〕
　逐次アクセス資源のある計算機システムの待ち行列網によるモデル化と評価法
		…木下俊之　高橋幸雄　　701

　動的粒子集団分割による分子動力学法の並列処理
		…高井昌彰　江丸裕教　山本　強　　711

〔ソフトウェア基礎〕
　動的な役割変化を考慮したオブジェクト間の協調動作記述とそのモジュール化
　メカニズム
		…鵜林尚靖　玉井哲雄　　718

〔ソフトウェアシステム〕
　マイクロカーネルLavenderの設計と開発
		…毛利公一　大久保英嗣　　730

〔ソフトウェア工学〕
　設計工程に合わせたビュー生成を可能にするソフトウェア文書管理手法の提案
		…手嶋茂晴　荒木円博　阿草清滋　　740

〔フォールトトレランス〕
　タグ付きタスクモデルによる待ち行列ネットワークの一解法について
　		…今井博英　角山正博　石井郁夫　牧野秀夫　　751

　ZBDDに基づく非同期式回路の検証方式
		…増倉孝一　富坂　稔　米田友洋　　760

〔情報セキュリティ応用〕
　多重ファイアウォール環境に適したVPN構築方式の提案
　		…萱島　信　寺田真敏　藤山達也　小泉　稔　加藤恵理　　772

〔人工知能，認知科学〕
　実験によるデータ獲得に基づく帰納的発見手法
		…村田剛志　志村正道　　779

--------------------------------------------------------

英文論文誌紹介(IEICE Transactions on Information and Systems)…　　786
複写をされる方に…　　787