電子情報通信学会論文誌 VOL.J84-DI No.6 June
2001
システム開発論文特集
システム開発論文特集の発行にあたって…馬場敬信 511
招待論文
信号処理システムLispの展望…竹内郁雄 513
論 文
〔計算論，計算モデル〕
決定グラフに基づく論理関数の評価システム…井口幸洋 笹尾 勤 松浦宗寛 伊勢野総 523
〔VLSIシステム〕
最適アロケーションに基づく道路抽出VLSIプロセッサとその高安全知能自動車への応用
…張山昌論 工藤隆男 亀山充隆 531
SHOKE2000: PCI-Based FPGA Cardの開発とその評価…田中康一郎 有田五次郎 540
マルチメディア用大規模システムLSIのコンカレントデザイン環境
…岩崎裕江 落合克幸 長沼次郎 遠藤 真 小倉 武 548
並列マスクCADシステムの開発と実用化…辻村 亮 森下和正 町田泰秀 白石 博 石井光雄 558
〔計算機システム〕
SMPクラスタ向け並列処理実行環境の構築…石畑宏明 小林健一 石井光雄 568
128-CPU SMP PRIMEPOWERシリーズの構成と実装
…清水俊幸 船木 淳 渡部 徹 小田原孝一 細江広治 石畑宏明 576
〔ソフトウェアシステム〕
性能評価のための命令トレーサの開発…森本洋行 小宮山彰一郎 毛利公一 吉澤康文 584
並列再帰の実行方式をプログラマが指定可能なコンパイラの評価
…水谷泰治 中島大輔 藤本典幸 萩原兼一 594
彩：コンパイル時に自動生成されるPortalをもとに動的再構成可能なオペレーティング
システム…小林良岳 佐藤友隆 唐野雅樹 結城理憲 前川 守 605
分散オペレーティングシステムSolelcの設計と実装…芝 公仁 大久保英嗣 617
高負荷オンライントランザクション処理を実現するオペレーティングシステム…箱守 聰 谷口秀夫 627
仮想機械独立なアプレットシステムの実現
…板橋一正 松原克弥 森山 豊 染谷祐一 加藤和彦 関口龍郎 米澤明憲 639
XMLによるWeb上の論文検索システムの構築…高田伸彦 田村武志 大沢一彦 650
大規模学術情報データベースに適した情報検索システムの開発
…大山敬三 影浦 峡 神門典子 木村 優 丸山勝巳 吉岡真治 高橋一道 658
〔ソフトウェア工学〕
UMLにおけるモデル整合性検証支援システム…大西 淳 671
状態遷移モデルで記述された要求仕様に基づく組込みソフトウェアの自動試験法
…中島 毅 別所雄三 山中 弘 広田和洋 682
ディジタルAV機器向けGUIソフトウェア開発システム
…春名修介 眞田紀男 喜納久行 角谷和俊 瀧 和男 693
ソフトウェア開発の上流工程を支援するSpecRefiner…工藤隆司 中須賀真一 堀 浩一 702
Webシステムにおけるコンテクストデータストア機構の設計とコンポーネントオブジェクト
技術を利用した実装…上原 智 水野 修 菊野 亨 713
概念モデリングにおける判断基準の提案とその有効性評価…大木幹雄 秋山構平 723
高信頼コンポーネントソフトウェアの開発支援ツール…松本充広 二木厚吉 736
レガシーな組込みソフトウェアの改良支援ツール…阪井 誠 久保田益史 沖田昌也 松本健一 鳥居宏次 745
機能実行履歴を用いたソフトウェア機能の発見支援システム
…森崎修司 白石裕美 大和正武 門田暁人 松本健一 鳥居宏次 755
〔データベース〕
メタデータを中心に構成した文書画像の電子図書館システム…安達 淳 768
マルチメディアデータブラウジングのための視覚的データベースインタフェースAVISの
実装…家富誠敏 森嵜慎之 富井尚志 有澤 博 777
〔ネットワーク〕
NFSをベースとした異なる管理ドメイン間での安全かつ簡便なファイル共有
…山井成良 中吉 功 石橋勇人 安倍広多 村上孝三 松浦敏雄 790
局所定常な2項分布モデルを組み合わせた通信トラヒック監視システム
…松本一則 橋本和夫 800
IPネットワークを活用した分散型音声会議通話システム構成手法…山田秀昭 小田稔周 809
〔フォールトトレランス〕
耐故障バッファリングディスクシステムの性能評価…後藤正徳 横田治夫 819
〔情報セキュリティ応用〕
公開鍵証明書を用いた国立大学病院保健医療情報利用者認証システムの開発…坂本憲広 830
〔分散協調とエージェント〕
WWW上の社会活動における競合的な振舞いを支援するマルチエージェントシステム…園城浩行 ベルーズ H.ファー 840
〔人工知能，認知科学〕
院内巡回ロボットシステムの開発と評価実験…佐藤和人 石井雅樹 間所洋和 855
PEXIS：統計的経験表現に基づくパーソナルロボットとの適応的インタラクションシステム
…稲邑哲也 稲葉雅幸 井上博允 867
遺伝的アルゴリズムを用いた光ファイバの自動調芯システム
…村川正宏 野田芳弘 樋口哲也 878
航空機スケジューリング問題への遺伝アルゴリズムの応用
…安達統衞 佐藤眞木彦 小林重信 888
2段階CLP緩和解法によるリソース平準化スケジューリングシステム…高田真好 寺野隆雄 896
〔教育工学〕
褥瘡ケアのための在宅看護ガイダンスシステム
…真嶋由貴恵 楢崎博司 島田恭宏 山崎敏範 塩野 充 橋本禮治 906
KITEマイクロプロセッサによる計算機工学教育支援システム
…末吉敏則 久我守弘 柴村英智 917
インターネット環境上のタイ語総合力学習支援システムの開発
…スヤダー ダンスワン 仁科喜久子 清水康敬 927
DigitalEE：分散仮想空間による協調型環境教育支援システム
…岡田昌也 吉村哲彦 垂水浩幸 守屋和幸 酒井徹朗 936
衛星通信回線を利用した遠隔学習システムの開発
…谷川 健 池浦繁夫 安西正浩 金子 功 947
大規模教育用計算機システムにおける授業・運用支援システムの設計と実装
…齊藤明紀 西田知博 中西通雄 安留誠吾 馬場健一 重弘裕二 原田 章 山井成良 松浦敏雄 956
インプラントJPEGを利用した静止画像教材のプレゼンテーションシステム
…米澤宣義 佐々木整 大槻善樹 浮貝雅裕 宮寺庸造 奥貫 崇 吉原章司 亀井降照 966
教官の研究教育活動等報告書データベースシステムの開発と運用
…野中裕介 井上創造 秦野克彦 原田 努 乃村能成 岩井原瑞穂 峯 恒憲 牛島和夫 974
〔福祉工学〕
手話アニメーション作成・編集ツール…猪木誠二 渡辺錬士 呂 山 987
-------------------------------------------------------
英文論文誌紹介(IEICE Transactions on Information and Systems)… 996
複写される方へ… 997