論文
〔ソフトウェア基礎，プログラム理論〕
鉄道信号システムの連動装置の形式的検証向けモデル化と検証環境構築
川村 正 藤井英明 土田勝紀 高橋和子 …………………………1727
〔システムプログラム〕
メディアプロセッサを応用したブロードバンド端末のソフトウェア設計手法
小島啓二 西岡清和 川口敦生 薦田憲久 …………………………1740
〔情報セキュリティ応用〕
スケール変換と回転等への耐性をもつ電子透かし手法
戸根瑞紀 浜田 望 ……………………………………………………1750
〔人工知能，認知科学〕
コミュニケーションモデルに基づいたパーソナルロボットのアプリケーション調停機構
小林亮博 久米 出 上野敦志 河野恭之 木戸出正継 …………1760
強化学習の並列型メタ学習：学習率の調整
阿知波健 渡辺亮平 田中昭雄 大家淳二 松本 隆 ……………1773
〔福祉工学〕
バックグラウンドコミュニケーションをベースとした新しい見守りサービス
宮島麻美 伊藤良浩 渡邊琢美 ………………………………………1785
レター
免疫アルゴリズムにおける量子干渉交叉法の検討
中山 茂 飯村伊智郎 伊藤登志也 …………………………………1795
多値論理に基づく近似推論システムについての一考察
山本喜則 …………………………………………………………………1800
瞳孔面積を用いた入力操作課題の困難さ評価の検討
勝倉 真 中山 実 ……………………………………………………1806
動作オブジェクト群の変化に着目したオブジェクト指向プログラムの実行履歴分割手法
大平直宏 谷口考治 石尾 隆 神谷年洋 楠本真二
井上克郎 …………………………………………………………………1810
英文論文誌紹介(IEICE Transactions on Information and Systems)…1813
平成１７年度総目次… 1815
複写される方へ… 1830