新会長就任挨拶
会長就任挨拶
石塚 満
p. 407
編集委員長就任にあたって
堀 浩一
p. 408
特集： ユビキタスコンピューティング
ユビキタスコンピューティングのめざすもの
～「人間中心」の時代に向けて～
徳田英幸
p. 409
ユビキタスコンピューティング環境構築のための入出力制御デバイス
寺田 努
p. 410
ユビキタスコンピューティングにおけるヒューマンコンピュータインタラクション
椎尾 一郎・中西 泰人
p. 418
ユビキタスコンピューティングにおけるシステムソフトウェアの役割
─ミドルウェアからアプリケーションまで─
高汐 一紀・中澤 仁・徳田 英幸
p. 425
ユビキタス情報処理環境が支える各種無電源小型情報端末CoBIT
西村 拓一
p. 433
マルチホップ無線センサネットワーク
田村 陽介・戸辺 義人
p. 441
＜概要＞現在，実世界の情報を取得するための手段として，センサネットワークの研究開発が盛んに行われている．センサネットワークの中でも，特に，微小無線を用いて相互にマルチホップ転送を行うものを，マルチホップ無線センサネットワークと呼ぶ．本稿では，「ネットワーク」面から見たマルチホップ無線センサネットワークの技術について解説する．
実空間指向ユビキタスネットワーク
森川 博之
p. 447
ユビキタスサービスと実空間コンピューティング
高田 敏弘
p. 454
＜概要＞ ユビキタスサービスの実現に必要な実空間コンピューティング技術について述べる．ユビキタスサービスの特徴は，現実空間の特性や制約，実時間性の影響を強く受ける点にある．またユビキタスサービスの現実化には，多種多様なユビキタスシステムの相互接続を可能にする共通基盤が必要となる．実空間コンピューティングは，ユビキタスサービスの実現に必要な，実空間性，実時間性，相互運用性への取り組みを行うものである．実空間コンピューティング基盤は人間の行動を反映させたサービス発見やサービス遂行機能そのものを共通基盤機能として提供するものであり，データの規則性・関連性の発見機能や，サービス生成のためのプランニング機能をも包含する，新たな意味でのプラットフォームの構築を目指している．また，センサデータの履歴から実空間の論理的モデルを自動構成するための技術，Proximity Miningの紹介を行う．
解説
一般単一化理論
原尾 政輝
p. 462
＜概要＞ 単一化やその特別な場合のマッチングは記号化された情報間の同等性を判定する機構であり 情報処理における最も基本的な機構になっている．単一化の研究は多岐に亘るが，本稿では 等式論理的な観点から計算機科学における単一化の代表的な用法について解説している． このアプローチでは，単一化は等価性を規定する理論Eの下で方程式を解くことに対応し， Eが空でないとき意味的単一化(sematical unification)，空のとき構文的単一化 (syntactical unification)とよぶ．まず，種々の理論Eの下での意味的単一化の計算量や 計算可能性などについて述べ，ついで高階単一化および２階のマッチングの計算量や順序 ソート項における単一化の特徴について述べている．さらに，構文的単一化の例として 情報検索などの観点から研究されている木構造データのパターンマッチング問題を採り上げ， その計算量ついて述べている．最後に様々な構造データに対するパターンマッチングに関する 研究動向などについても言及している．
レクチャーシリーズ：「AI 研究者が学ぶ言語学の新展開」〔第6 回〕
コミュニケーションの科学へ向けて
石崎 雅人
p. 468
連載解説：「データマイニング実践家達の声(3)」
マイニング技術を活用した金融業の与信モデルの現状と課題
小野 潔
p. 475
AI フロンティア論文
予見できない問題の処理とAI の意義
大須賀 節雄
p. 478
社会へのアンテナ［北村 一郎氏］ p.511
学生フォーラム［中小路久美代氏］ p.514
会議報告 p.518
カレンダー p.524
受賞のお知らせ・会告 pp.1-16
