電子情報通信学会論文誌　VOL.J85-D�T No.3 March 2002

論　　文
〔計算論，計算モデル〕
π-計算の名前制限の名前生成による実装の正しさ
河辺義信　真野　健　堀田英一　小暮　潔　　………………………………249

〔計算機システム〕
ディジタルミュージアムのためのキオスク型WWWブラウザ
重定如彦　越塚　登　坂村　健　　……………………………………………262

MULHIキャッシュの設計及び評価
多田十兵衛　仲池卓也　鈴木健一　大庭信之　小林広明　中村維男　……274

〔ソフトウェアシステム〕
カーネルの外部で走行するカーネルスレッドの提案とその実装法
多田好克　福田伸彦　鈴鹿倫之　中村嘉志　　………………………………286

〔ソフトウェア工学〕
タグ操作を許すデータ駆動プログラムの開発・再利用支援手法
西川博昭　我孫子泰祐　　………………………………………………………294

〔データベース〕
楕円体問合せのための空間変換を用いた類似探索アルゴリズム
櫻井保志　吉川正俊　植村俊亮　片岡良治　　………………………………303

〔人工知能，認知科学〕
故障診断のための事例ベース推論を導入した高速仮説推論システム
越野　亮　林　貴宏　木村春彦　広瀬貞樹　　………………………………313

レ タ ー
バイナリー2次計画問題に対するk-opt局所探索法の効率化
河本敬子　片山謙吾　成久洋之　　……………………………………………322

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