電子情報通信学会論文誌　VOL.J84-DI No.7 July 2001

論　　文
　〔アルゴリズム〕
　凹多面体併合を用いた有理数プレスブルガー文真偽判定アルゴリズムの実装と形式的
　　設計検証への適用…柴田直樹　岡野浩三　谷口健一　　999

　〔ソフトウェアシステム〕
　電子図書館のための適合可能性示唆によるブラウジング支援
　　　　　　　　　　　　　　…曲　艶華　佐藤慶三　中島　誠　伊藤哲郎　 1009

　〔ソフトウェア工学〕
　スライス計算効率化のためのプログラム依存グラフの節点集約法
　　　　　　　　　　　　　　…大畑文明　横森励士　西松　顯　井上克郎　 1021

　ソフトウェア品質を評価する複雑さのメトリックスのプロジェクト非依存性の検証…高橋良英　 1030

　〔フォールトトレランス〕
　故障診断機能を有する耐故障組合せ回路――ゲート間配線の単一断線故障に対する
　　耐故障化――…西垣正勝　仲野聖人　曽我正和　 1045

　組合せ回路におけるテスト数制限下でのIDDQテスト集合の一生成法
　　――Cyclic greedy法――…篠木　剛　牛尾昌博　林　照峯　 1059

　〔人工知能，認知科学〕
　動的環境下におけるProfit Sharing…加藤新吾　松尾啓志　 1067

　マクロオペレータの部分的再利用による強化学習システムの動的環境への適応能力の改善
　　　　　　　　　　　　　　…嶋田総太郎　安西祐一郎　 1076

　〔教育工学〕
　テンプレートオートマトンによるオンライン知的英作文教育支援システム
　　　　　　　　　　　　　　…徳田尚之　黄　　亮　陳　　亮　日下部誠　永井　明　 1089

　〔福祉工学〕
　誤り箇所指摘機能をもたせた点字翻訳編集システムIBUKI-TEN
　　　　　　　　　　　　　　…兵藤安昭　横平貫志　早川哲史　村上　裕　池田尚志　 1102

　ポインティングデバイスのスイッチ代行機構への歯の接触音とハミングの応用
　　　　　　　　　　　　　　…橋本昌巳　米澤義道　伊東一典　 1112

レ タ ー
　インターネット上のエンドホスト間通信におけるバーストパケット損の測定
　　　　　　　　　　　　　　…新井雅之　千葉　篤　岩崎一彦　 1119


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