論文
〔計算論，計算モデル〕
構成子項書換え系の逆計算プログラムの生成
西田直樹 酒井正彦 坂部俊樹 ………………………………………1171
〔VLSIシステム〕
暗号処理ボードSEBSWの実装と性能評価
梶崎浩嗣 山内 剛 黒川恭一 ………………………………………1184
サーボコントローラ用制御演算プロセッサRT-COP（RealTime-Control Operation Processor）の設計，試作及び評価
柏木喜孝 祖田龍一 中村裕司 ………………………………………1195
〔システムプログラム〕
処理順序保証を考慮した負荷分散機構の設計と評価
横山和俊 谷口秀夫 ……………………………………………………1203
〔ソフトウェア工学〕
MUDABlue：ソフトウェアリポジトリ自動分類システム
川口真司 パンカジガーグ 松下 誠 井上克郎 …………………1217
〔コンテンツ技術，Web情報システム〕
資源ピークを緩和するために資源共用コミュニティを利用する際の適切な所有資源の計算方法
増石哲也 大木康幸 森 欣司 ………………………………………1226
〔分散協調とエージェント〕
分散制約最適化問題の非同期分散探索における上下界の導出と学習を用いた効率改善手法
松井俊浩 松尾啓志 岩田 彰 ………………………………………1235
〔人工知能，認知科学〕
推論の失敗を考慮した仮説推論システム
山ノ口崇 参沢匡将 木村春彦 小越康宏 広瀬貞樹 ……………1247
レター
視覚障害者用スクリーンリーダの速度・ピッチ・性別の設定状況
渡辺哲也 …………………………………………………………………1257
弱制約最長共通部分配列問題
酒井義文 …………………………………………………………………1261
英文論文誌紹介(IEICE Transactions on Information and Systems)…1264
複写される方へ… 1266