特集論文
ITを活用した知識共有への提言
犬塚 篤 中森義輝 …………………………………………………179
eビジネスモデル化の価値評価の考察
高尾みどり 松本正雄 ………………………………………………188
論 文
〔アルゴリズム〕
α制約遺伝的アルゴリズムαGAによる制約付き最適化
高濱徹行 阪井節子 …………………………………………………198
いくつかの特徴をもつ方形描画の列挙
高木正博 中野眞一 …………………………………………………208
〔ソフトウェアシステム〕
Java Just -in -Timeコンパイラのためのコスト効率の良いコンパイル手法
首藤一幸 関口智嗣 村岡洋一 ……………………………………217
〔ソフトウェア工学〕
実時間システムのための近似手法に基づいた記号モデル検査器の開発と評価
山根 智 中村一博 ……………………………………………………232
〔フォールトトレランス〕
多種クロックをもつ論理回路の決定性組込みテスト
中尾教伸 佐藤康夫 畠山一実 福本 聡 岩崎一彦 ………………248
〔情報セキュリティ応用〕
SSLとリレーサーバを用いたPOP before SMTPのセキュアな実現法
増井健司 友石正彦 米崎直樹 ………………………………………260
〔福祉工学〕
歩行ガイドロボットの経路理解支援システム
史 亜芳 小谷信司 森 英雄 …………………………………………269
英文論文誌紹介(IEICE Transactions on Information and Systems)… 280
複写される方へ …………………………………………………………281