研究領域・研究設備
トップ 研究領域・研究設備
研究設備
共同実験室
PC教室
研究領域
「情報科学科」では、2つのコースを設定。他学部や他学科との連帯が期待される2つの応用領域と、情報科学の基幹をなす3つの基礎領域に分けられます。
情報システムコース
- 浅野研究室：空間図形の離散幾何学と計算機による図形の処理
- ◇ 研究分野 離散幾何学
- 点や線分などの単純な図形でも，同時に多数を配置すると多様で複雑な現象が起こり，計算機による物体認識や，３次元グラフィックスを表示する際に大きな障害になります．このような現象を数理的に明らかにし，図形を計算機で処理する新しい手法の研究を進めています．
- →研究紹介のページへ
- 石浦研究室：専用ディジタル信号処理プロセッサとそのソフトウェアの設計
- ◇ 研究分野 VLSIの設計自動化，組み込みシステムのハードウェア・ソフトウェア協調設計，リターゲッタブルコンパイラ
- 現在のディジタルオーディオやカメラ，ビデオ，携帯電話には，10年前のスーパーコンピュータに匹敵する計算能力が備わっています．この能力を小さなサイズの中で可能にしたのが「ディジタル信号処理プロセッサ」です．現在，極めて限られた電力で，高度な性能を達成するプロセッサの設計とそのプログラミングについて研究しています.
- →研究紹介のページへ
- 岡田研究室：データベースからの知識発見と理論の応用
- ◇ 研究分野 データマイニング，帰納学習，化学と生命の情報学
- ITによって集められる莫大なデータ．このデータベースには，未だ知られざる有用な知識が数多く埋まっています．これらを掘り起こすための帰納学習理論とシステムの構築，および分子，生命からスポーツ，商業にいたる幅広い分野での応用が研究課題です．
- →研究紹介のページへ
- 高橋研究室：数理論理学に基づく知識情報処理
- ◇ 研究分野 知識情報処理，時空間推論，並行プログラミング，プログラミング検証
- ネットワーク上で動きまわる「エージェント」たちが，うまく「対話」をしながら問題を解決するにはどのような仕組みが必要か，またそのプログラムが正しく動くことは保証されるのか，といった問題を対象として知識の表現方法や推論機構について研究しています．
- →研究紹介のページへ
- 早藤研究室：コンピュータ仮想実験室による材料設計
- ◇ 研究分野 計算機実験，コンピュータ・シミュレーション，量子材料設計学
- 発見や発明は技術者・研究者の能力に依存することは勿論ですが，何度も失敗し，試行錯誤を繰り返しているうちに，＜偶然の幸運＞に巡り合うことも数多くあります．コンピュータの中に仮想実験室をつくることでその偶然の確率を高め，新しい材料を発見，発明する方法を研究しています．
- →研究紹介のページへ
- 西谷研究室：計算機支援による「物質・材料」設計
- ◇ 研究分野 結晶固体の電子構造計算と物性評価，計算物理学
- 著しく発展する情報処理技術を駆使して，科学的な「物質・材料」の開発技術を確立する研究にとり組んでいます．特に物質の結合を担う電子レベルの複雑な計算機シミュレーションを可能にするための手法の開発と，現実的な対象への適用を行っています．
- →研究紹介のページへ
ネットワークシステムコース
- 井坂研究室：情報伝送の信頼性と安全性の向上
- ◇ 研究分野 誤り訂正符号，ディジタル通信理論，情報理論，暗号・情報セキュリティ
- 情報通信技術が社会の基盤となっている現代では，その効率の向上と信頼性と安全性の確保が極めて重要になっています．情報を定量的に扱うことで，これらの限界を調べるのが情報理論と呼ばれる学問ですが，特に信頼性を向上させるための誤り訂正符号化やディジタル通信方式，安全性向上のための暗号の研究を行っています．
- →研究紹介のページへ
- 北村研究室：インターネット上で働くマルチエージェントシステム
- ◇ 研究分野 マルチエージェントシステム，分散協調問題解決，WWW情報統合
- エージェントとは，人間のように賢くふるまう自律的ソフトウェアです．インターネット上で複数のエージェントが協力したり，競争したりしながら，利用者の情報検索や問題解決を支援する，新しい分散システムやインタフェースの研究開発を行っています．
- →研究紹介のページへ
- 多賀研究室：広帯域モバイルマルチメディアシステムの実現
- ◇ 研究分野 広帯域モバイル通信，チャネル解析・モデリング，無線LAN
- 高速な情報伝送を可能とするモバイルシステムを実現するには，電波の伝わり方を明らかにし，阻害要因を克服する技術を開発することが重要です．現在，電波の伝搬現象の解明とモデリング，並びにその成果を応用したモバイル通信システムの研究開発を進めています．
- →研究紹介のページへ
- 巳波研究室：インターネットの制御・設計と数学
- ◇ 研究分野 グラフ理論，アルゴリズム，離散最適化
- インターネット上での制御や，信頼性の高いネットワーク設計に関する研究開発をしています．これらの技術の数理的基盤には，幾何的図形の構造や最適な解を導き出す手順などを調べる理論が密接に関わっています．このような実世界に存在する数学の世界も探求します．
- →研究紹介のページへ