本研究室では，計算機ソフトウェアについて理論面ならびに実際面の両面から研究を行っています．

理論面では，ソフトウェアの意味を形式的に記述してソフトウェアの 正当性検証などに役立たせる研究，項書換えシステムなどの計算モデルの研究といった計算機科学の基礎的研究を行っています．

また，実際面では，並列処理言語，関数型言語，オブジェクト指向型言語などのプログラミング言語の設計・実現法の研究，RISC，スーパースカラーマシン向きの効率のよいコードを生成する最適化コンパイラの研究，ネットワークでつながった複数の計算機から構成される並列・分散システムの研究，また最近インターネットを通じて急速に普及しつつあるJava言語を用いた分散プログラミングシステムの研究などを行っています．

ワークステーション

マルチプロセッサWS

本研究室は，計算機ネットワークと画像処理の研究を基盤に， 計算機をマルチメディア通信に応用する研究を目指して平成４年に発足しました．

コンピュータネットワークとしては，インターネットの性能解析モデルの作成と性能予測を，マルチメディア通信としては，刻々変化するインターネットの負荷を観測して，最適速度を算出し，動画を配信する方式の研究を行っています．

画像処理に関しては，分散環境での効率的な画像処理手法の開発，３次元画像処理手法の医学応用（脳の構造を地図にする），知的画像処理システムの開発などの研究を行っています．また，これらの応用として，自立型ロボットの視 覚情報処理，協調動作などの研究も行います．

ネットワークのデータの流れシュミレーション

自立型ロボット
テレビカメラで写したボールを認識し
サッカーをプレーするロボット

マルチメディア情報，特にその中核である映像情報をスピーディに処理するハードウェアが，並列処理の活用により， いかに小型化，高性能化できるかについて研究しています．

　具体的には，映画並みの高品位大画面に対応する超高精細映像圧縮／解凍システムの実現を目指し， そのキー技術である動き検出，ノイズ除去等に関して，アルゴリズムとハードウェア構成の両面から研究を行っています．

　また，計算機自身については，ＰＣ集合体による超高速処理システムの経済的な実現を目指し， 性能向上の決め手となるといわれているＰＣ間結合用ネットワークのアーキテクチャを中心に，研究を進めています．

画像処理構成の即時評価システム

信号処理技術・統計処理技術・人工知能技術を用いたパターン処理・データ処理の研究を行っています.

• ディジタル信号処理:計測センサにおける時系列パターンの信号処理システムの研究・開発をしています.
• 量子情報処理:量子現象を利用したコンピュータの研究をしています.
• 機械学習: 学習・適応するコンピュータを目指し, ニューロ, サポートベクトルマシンなどを研究しています.
• データマイニング:金融・保険分野の巨大なデータベースから有効な知識を抽出する研究を行っています.

超音波センサにおけるディジタル信号処理システムをとりつけた自律移動ロボット

計算機による知的情報処理技術の研究を行っています．

• テキスト利用技術：インターネットに代表される，膨大なテキスト情報を自動解析することによって，人間の知識処理を支援する技術を研究しています．また，日本文や英文の添削システムの研究を行っています．
• 比喩理解モデル：人間の思考活動に欠かせない比喩理解処理を，計算機上で実現する技術を研究しています．
• 生体情報処理：：バーチャルリアリティや微少重力で生じる感覚情報の競合と，生体の反応を研究しています．

情報抽出技術の応用システム例

生体情報処理実験風景

下記の分野について研究しています．

• 文書画像処理：ニューラルネットによる文字パターン認識や，郵便物の住所認識への応用に関する研究などです．
• 医用画像処理：心臓の超音波あるいはMRI断層像の処理・解析・心機能の自動診断（三重県度会郡南勢町立病院との共同研究）などです．
• ３次元画像処理：物体表面の忠実表現，物体・情景のモデルを計算機中に表現し操作するためのソリッドモデラの開発，動画生成（人体の歩行モデルなど），布地の着衣状態の表示などです．

超音波心断層像からの心輪郭線の抽出