 | | 市瀬 龍太郎 |  | 准教授
関係知識の学習
知識処理
データマイニング |
|
|
 | | 井上 克巳 | | 教授
推論と知識表現に関する研究
帰納およびアブダクションによる仮説発見に関する研究、システム生物学における知識発見
|
|
|
 | | 宇野 毅明 | | 准教授
データマイニングやゲノム情報学での大規模計算の高速化アルゴリズムの開発
離散、特に列挙アルゴリズムの計算量解析
スケジューリング、施設配置など産業用計算モデルの構築と高速解法の研究 |
|
|
 | | 小野 順貴 | | 准教授
マイクロフォンアレイによる音源定位・音源分離
音声・音楽信号の分析・加工
音楽情報検索 |
|
|
 | | 河原林 健一 | | 教授
離散数学におけるグラフ彩色問題
グラフ構造理論とアルゴリズム
ネットワークフローとパス問題 |
|
|
 | | コリアー ナイジェル | | 准教授
テキストマイニング
自然言語処理
オントロジー工学の研究
|
|
|
 | | 佐藤 健 | | 教授
投機的計算機構をもつマルチエージェントシステムの構築
法的推論への人工知能からのアプローチ
|
|
|
 | | 武田 英明 | | 教授
知識共有システム
コミュニティ支援
設計学
|
|
|
 | | 根本 香絵 | | 教授
量子情報・計算
量子光学
理論物理学 |
|
|
 | | 藤山 秋佐夫 | | 教授
比較ゲノムインフォマティクスの手法によるゲノム機能解析研究 |
|
|
 | | 山田 茂樹 | | 教授
ユビキタス／モバイルネットワークとそのアプリケーションに関する研究
DTN (Delay/Disruption-Tolerant Network)に関する研究
|
|
|
|  |  | | 稲邑 哲也 | | 准教授
ヒューマン・ロボット・インタラクション
確率的情報処理に基づくロボット知識
社会的な知能発生メカニズムの構成論的研究 |
|
|
 | | 宇都宮 聖子 | | 助教
光半導体を用いた量子シミュレーション
光半導体の量子物性 |
|
|
 | | 金沢 誠 | | 准教授
ラムダ計算にもとづく形式文法の研究
自然言語の論理的意味論の研究 |
|
|
 | | 隈 啓一 | | 教授
分子進化学に基づく比較ゲノム解析
|
|
|
 | | 定兼 邦彦 | | 准教授
データの効率的格納，検索のための簡潔データ構造
高速文字列処理のためのデータ構造
グラフ探索アルゴリズム，ランダムウォーク |
|
|
 | | 佐藤 寛子 | | 准教授
化学反応分類・予測に関する研究
NMR化学シフト予測・分子構造決定に関する研究
化学情報の可視化と化学ソフトウェアのインタフェースに関する研究 |
|
|
 | | 龍田 真 | | 教授
古典理論に対応する型理論
置換簡約の強正規化可能性
|
|
|
 | | 速水 謙 | | 教授
数値解析、数値線形代数
大規模連立一次方程式、最小二乗問題の反復法の開発、解析 |
|
|
 | | 松本 啓史 | | 准教授
量子情報および量子計算
|
|
|
 | | 山本 喜久 | | 教授
光子を用いた量子情報処理、通信の研究
電子を用いた量子シミュレーションの研究
|
|
 | | バーンズ ティム | | 助教
量子情報、量子計算、固体物理
|
|
|
|
|
