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

論　　文
〔計算論，計算モデル〕
順序ソート項書換え系における合流性のモジュラ性
河辺義信……………………………………………………………………………331

〔オートマトン理論，言語理論〕
反例によるセルオートマトン上の決定リストの学習可能性
酒井義文……………………………………………………………………………342

〔アルゴリズム〕
パラメータフリー遺伝的アルゴリズムの固定チャネル割当問題への適用方式
松井正一　渡邊　勇　所　健一…………………………………………………350

〔ソフトウェア基礎〕
スタック検査機能をもつプログラムに対するセキュリティ検証問題の決定可能性
新田直也　高田喜朗　関　浩之…………………………………………………360

〔ソフトウェアシステム〕
小規模ネットワークの構築に適したIPv6対応ISDNルータの実装と評価
木本雅彦　末永浩樹　野田明生　白砂　哲　木村俊洋　大野浩之……………371

〔人間・機械系，マルチメディア処理〕
研究用プラットホームとしての日常活動型ロボット“Robovie”の開発
神田崇行　石黒　浩　小野哲雄　今井倫太　前田武志　中津良平……………380

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