電子情報通信学会論文誌　VOL.J83-DI No.12 December 2000

 

論　　文
　〔計算論，計算モデル〕
　ソートと述語の二つの階層をもつ論理のホーン節計算の完全性…兼岩　憲　東条　敏　　1239

　〔アルゴリズム〕
　離散周波数制御を利用した2次電池の最長利用のためのタスクスケジューリング
　　アルゴリズム…中本幸一　辻野嘉宏　都倉信樹　　1249

　〔ソフトウェアシステム〕
　連結の強さに基づく変更テスト範囲の形式的拡張…持田泰昭　　1260

　〔データベース〕
　放送型データ受信のためのアクティブデータベースシステムの設計と実装
              …寺田　努　塚本昌彦　西尾章治郎　　1272

　高次元データのための相対的近似を用いた索引手法
              …櫻井保志　吉川正俊　植村俊亮　児島治彦　　1284

レ タ ー
　GBD木における線分の分割法の改良…伊野敦士　増田澄男　山口一章　　1300

-------------------------------------------------------
英文論文誌紹介(IEICE Transactions on Information and Systems)…　　1305
平成12年総目次…　　1307
複写される方へ…　　1318