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

論　　文
　〔計算論，計算モデル〕
　消去法による項書換え系の停止性判定について
		…中村正樹　草刈圭一朗　外山芳人　　1225

　〔アルゴリズム〕
　マルチプロセッサ向き目的コードスケジューリングについて
		…松原義和　大山口通夫　太田義勝　　1232

　〔ソフトウェア工学〕
　ディジタル図書館のための概念情報を用いた科学技術論文の検索
		…堀井千夏　今井正和　千原國宏　　1245

　関数呼出し情報を用いたスライスサイズの削減のための一手法
　		…西松　顯　地平　稔　楠本真二　井上克郎　　1256

　階層化データフロー図によるプログラムの設計と実動
		…川口　進　白須宏俊　奥田　哲　　1265

　〔フォールトトレランス〕
　フォールトトレラントシステムの領域分割モデル――冗長性固定信頼度最大化問題の
　定式化と解析――
		…森永　聡　　1276

　〔人間・機械系，マルチメディア処理〕
　GUIダイアログのための検証法について
		…辻野嘉宏　　1286

　角膜反射像と虹彩輪郭情報を併用した視線検出法
		…竹上　健　後藤敏行　　1295

-------------------------------------------------------
英文論文誌紹介(IEICE Transactions on Information and Systems)…　　1304
複写される方へ…　　1305