|
氏名
|
職名
|
専門分野（テーマ）
|
|
相澤 彰子
|
教授
|
●テキスト情報の同定とリンク抽出
●統計的テキストの処理
●言語資源の自動構築
|
|
合田 憲人
|
教授
|
●並列計算
●グリッドコンピューティング
●スケジューリング
|
|
相原 健郎
|
准教授
|
●文化・芸術に関する生涯学習者を支援する方策に関する研究
●実世界と情報空間での行動情報の統合に関する研究
|
|
浅野 正一郎
|
教授
|
●次世代光ネットワーク制御技術の開発
●耐災害性を考慮するネットワーク運用技術の開発
|
|
安達 淳
|
教授
|
●不均質コンテンツ、特にWebコンテンツの検索と情報統合
●情報検索の高度化と実装
●テキストマイニング
|
|
阿部 俊二
|
准教授
|
●通信トラヒック計測による性能解析と品質制御方式の研究
●ホトニックネットワークアーキテクチャの研究
●モーバイルIP通信方式の研究
|
|
新井 紀子
|
教授
|
●情報共有・コミュニティ形成型遠隔教育システムの研究開発
●Web上の協調作業および協調学習
●数理論理学
|
|
アンドレス フレデリック
|
准教授
|
●多言語マルチメディアセマンティック管理の研究
●ジオメディア（地理情報）に関するデータベース管理の研究
●画像学習オントロジーに関する研究
●セマンティックトラッキングコンピューティングの研究
|
|
石川 冬樹
|
助教
|
●契約に基づいたコンテンツやサービスの合成、流通、提供、利用のためのソフトウェア基盤
●サービス指向コンピューティング
●形式手法
|
|
市瀬 龍太郎
|
准教授
|
●関係知識の学習
●知識の共有システム
●データマイニング
|
|
稲邑 哲也
|
准教授
|
●ヒューマン・ロボット・インタラクション
●確率的情報処理と身体性に基づくロボット知能
●社会的な知能発生メカニズムの構成論的研究
|
|
井上 克巳
|
教授
|
●推論と知識表現に関する研究
●帰納およびアブダクションによる仮説発見に関する研究
●システム生物学における知識発見
|
|
井上 雅史
|
助教
|
●複数情報源の利用
●マルチモーダルコミュニケーション理解
|
|
植木 浩一郎
|
助教
|
●次世代情報システムの開発
|
|
上田 昌史
|
助教
|
●ブロードバンド社会のネットワーク政策
●オープンソースソフトウェアの社会・経済分析
|
|
宇都宮 聖子
|
助教
|
●光半導体を用いた量子シミュレーション
●光半導体の量子物性
|
|
宇野 毅明
|
准教授
|
●データマイニングやゲノム情報学での大規模計算の高速化アルゴリズムの開発
●離散、特に列挙アルゴリズムの計算量解析
●スケジューリング、施設配置など産業用計算モデルの構築と高速解法の研究
|
|
漆谷 重雄
|
教授
|
●マルチレイヤネットワークにおける動的資源最適化制御
●ユニバーサルシステムアーキテクチャ
|
|
越前 功
|
准教授
|
●多様なメディアを対象としたセキュリティ基盤技術およびセキュリティシステムの研究
●コンテンツの真正性保証および証拠性維持の研究
●情報ハイディングの研究
|
|
大向 一輝
|
助教
|
●セマンティックWebにおけるコミュニケーションとインタラクションに関する研究
●パーソナルネットワークに基づく情報流通支援
|
|
大山 敬三
|
教授
|
●Web情報活用技術の研究
●学術情報統合プラットフォームの研究
●全文検索技術の研究
|
|
岡田 仁志
|
准教授
|
●電子商取引および電子マネーの成長決定要因に関する国際比較研究
●高等教育機関の情報セキュリティポリシー策定の支援に関する研究
|
|
柿沼 澄男
|
教授
|
●科学技術・学術政策
●科学計量学
●科学社会学
|
|
片山 紀生
|
准教授
|
●映像コーパス解析のためのデータベースシステム技術
|
|
加藤 弘之
|
助教
|
●カジュアルなデータベース問合わせの最適化手法に関する研究
●XMLデータベースの問合わせ最適化のための基礎的枠組みに関する研究
|
|
金沢 誠
|
准教授
|
●ラムダ計算にもとづく形式文法の研究
●自然言語の論理的意味論の研究
|
|
河原林 健一
|
准教授
|
●離散数学におけるグラフ彩色問題
●グラフ構造理論とアルゴリズム
●ネットワークフローとパス問題
|
|
神門 典子
|
教授
|
●情報検索システムの評価
●情報メディアの構造・ジャンルの分析と情報アクセス技術への応用
●マルチファセットメタデータと検索UI
●言語横断検索
|
|
北本 朝展
|
准教授
|
●大規模科学画像データベースのマイニング
●メテオインフォマティクス（気象情報学）
●デジタルアーカイブ
|
|
隈 啓一
|
教授
|
●分子進化学に基づく比較ゲノム解析
|
|
計 宇生
|
准教授
|
●マルチサービスネットワークにおける品質保証の研究
●ネットワークトラヒックの特性解析と制御手法の研究
●分散システムにおける資源管理方式の研究
|
|
胡 振江
|
教授
|
●プログラミング理論：関数プログラミング、プログラミングの代数
●ソフトウエア工学：高信頼ソフトウエアの構築環境、双方向モデル変換
●並列プログラミング：スケルトン並列プログラミング、自動並列化
|
|
鯉渕 道紘
|
助教
|
●計算機システムネットワーク
●チップ内マルチプロセッサネットワーク
●大規模高性能計算システム
|
|
古賀 崇
|
助教
|
●政府情報アクセスに関する法・制度・政策的研究
●横断的アーカイブズ論の研究（「レコードキーピング」の社会的基盤を中心に）
|
|
児玉 和也
|
准教授
|
●実時間での品質調整に適した多次元画像情報の構造化とその分散共有通信方法の研究
|
|
小林 哲郎
|
助教
|
●情報通信技術利用の社会的・政治的帰結に関する研究
●社会的ネットワークとコミュニケーションに関する社会心理学的研究
●社会関係資本論に関する政治学的研究
|
|
小山 照夫
|
教授
|
●テキストコーパスからの用語抽出
●用語の体系化
●複合語の構造解析
●知識の表現と利用
|
|
コリアー ナイジェル
|
准教授
|
●テキストマイニング
●自然言語処理
●オントロジー工学の研究
|
|
後藤田 洋伸
|
准教授
|
●三次元形状モデルの類似検索
●論文情報の可視化
|
|
坂内 正夫
|
所長
|
|
|
佐藤 健
|
教授
|
●投機的計算機構をもつマルチエージェントシステムの構築
●法的推論への人工知能からのアプローチ
|
|
佐藤 寛子
|
准教授
|
●化学反応分類・予測に関する研究
●NMR化学シフト予測・分子構造決定に関する研究
●化学情報の可視化と化学ソフトウェアのインタフェースに関する研究
|
|
佐藤 一郎
|
教授
|
●ユビキタス・モバイルコンピューティング向けミドルウェアの研究
●分散オブジェクト・モバイルエージェントの研究
|
|
佐藤 真一
|
教授
|
●放送映像アーカイブを用いた映像解析・検索・情報発見に関する研究
●画像検索に関する研究
|
|
佐藤 いまり
|
准教授
|
●物理ベースドビジョンに基づく物体の形状および反射特性の解析
●現実空間におけるユーザの電子的活動支援
|
|
柴山 盛生
|
准教授
|
●研究動向と研究評価に関する計量的研究
●研究環境の動態に関する統計的研究
●研究活動における創造性の創出に関する研究
|
|
杉本 晃宏
|
教授
|
●日常生活環境における人間の行動計測技術の研究開発
●物体３次元形状の簡易モデル化
●離散コンピュータビジョンの構築
|
|
曽根原 登
|
教授
|
●デジタル・コンテンツのネットワーク流通の研究
●知的財産権の生産・流通・消費ライフサイクル管理技術の研究
|
|
孫 媛
|
准教授
|
●産官学連携に関するビブリオメトリックス的研究
●情報科学関連研究のネットワーク構造分析
●日本語テストにおけるDIF研究
|
|
高須 淳宏
|
教授
|
●データマイニングとテキストマイニング
●時系列文書からの情報抽出
●分散インデクス処理
|
|
高野 明彦
|
教授
|
●連想の情報学
●プログラミングの代数
|
|
武田 英明
|
教授
|
●知識共有システム
●コミュニティ支援
●設計学
|
|
龍田 真
|
教授
|
●古典理論に対応する型理論
●置換簡約の強正規化可能性
|
|
東倉 洋一
|
副所長
|
●情報科学技術と社会制度の係わりに関する研究
●科学技術の社会貢献に関する研究
●人間情報処理の学際的研究
|
|
中島 震
|
教授
|
●形式手法の実用化研究、ソフトウェア・モデル検査法の研究
|
|
中村 素典
|
教授
|
●ネットワークコミュニケーションシステム
●セキュリティ・認証技術
●ネットワーク運用管理技術
|
|
西岡 真吾
|
教授
|
●自然言語コーパスにおける大規模並列連想計算方式の研究
●連想に基づく情報空間との対話技術の研究
|
|
西澤 正己
|
准教授
|
●情報科学関連研究のネットワーク構造とその動向把握に関する調査研究
●基礎研究振興における科学研究費の役割に関する実証的研究
●我が国の産学官連携ネットワークの実証的分析
|
|
根岸 正光
|
教授
|
●情報通信技術の進展下における、データベース、電子図書館、電子ジャーナル等の技術とサービスの動向に関する研究
●研究水準の測定および研究動向の把握に関するビブリオメトリックス的研究
|
|
根本 香絵
|
准教授
|
●量子情報・計算
●量子光学
●理論物理学
|
|
橋爪 宏達
|
教授
|
●ヒューマンインターフェース及び強化現実感
●共調作業支援システム
|
|
速水 謙
|
教授
|
●数値解析、数値線形代数
●大規模連立一次方程式、最小二乗問題の反復法の開発、解析
|
|
日高 宗一郎
|
助教
|
●XML問合せ言語処理系における最適化に関する研究
●非数値計算向け並列処理環境に関する研究
●拡張型分散OSに関する研究
|
|
福田 健介
|
准教授
|
●インターネットトラフィック測定、解析およびモデリングに関する研究
●ネットワーク科学に関する研究
|
|
藤山 秋佐夫
|
教授
|
●比較ゲノムインフォマティクスの手法によるゲノム機能解析研究
|
|
古山 宣洋
|
准教授
|
●コミュニケーションにおける身体協調に関する研究
|
|
細部 博史
|
准教授
|
●柔らかい制約の理論と解消法
●視覚的インタフェースを対象とした制約プログラミング
●ハイブリッド並行制約プログラミング
|
|
本位田 真一
|
教授
|
●エージェント
●ユビキタスコンピューティング
●ソフトウェア工学
|
|
プレンディンガー ヘルムト
|
准教授
|
●擬人化キャラクタ
●バーチャル世界と3Dウェブのための自動コンテンツクリエーション
●テキストからの感情認識
●マルチモーダルインターフェース
|
|
松本 啓史
|
准教授
|
●量子情報および量子計算
|
|
松本 尚
|
准教授
|
●次世代オペレーティングシステムSSS-PCの耐故障性機能拡張に関する研究
●Soc(System on a Chip)技術を活かした制御用組込要素LSIに関する研究
|
|
丸山 勝巳
|
教授
|
●コンポーネント化による拡張型分散ＯＳの研究
●能動オブジェクトによる広域連携システムの研究
●通信ソフトウェアの研究
|
|
三浦 謙一
|
教授
|
●グリッドコンピューティング
●スーパーコンピュータのアーキテクチャと性能評価
●大規模シミュレーション向き並列数値アルゴリズム、モンテカルロ法、非線形力学
|
|
宮澤 彰
|
教授
|
●総合目録データベースの構築・利用に関する研究
●メタデータの表現・構築に関する研究
●データ表現の基礎としての文字セットに関する研究
●D-データ処理用システムの構築
|
|
孟 洋
|
助教
|
●事例型映像索引付け手法に関する研究
●映像の知的構造化に関する研究
|
|
山地 一禎
|
准教授
|
●学術コンテンツのメタデータ化と共有に関する研究
●学術コミュニティ形成プラットフォームに関する研究
|
|
山田 茂樹
|
教授
|
●ユビキタス／モバイルネットワークとそのアプリケーションに関する研究
●DTN (Delay/Disruption-Tolerant Network)に関する研究
|
|
山田 誠二
|
教授
|
●ヒューマンエージェントインタラクション
●知的Webインタラクション
|
|
山本 喜久
|
教授
|
●光子を用いた量子情報処理、通信の研究
●電子を用いた量子シミュレーションの研究
|
|
吉岡 信和
|
准教授
|
●エージェント指向ソフトウェア工学
●エージェントアーキテクチャ
●セキュリティソフトウェア工学
|
|
米田 友洋
|
教授
|
●非同期式回路技術に基づくディペンダブルVLSI基盤技術の研究
●リアルタイムソフトウェアの形式的検証に関する研究
|
|
レイ ユイ デン
|
助教 |
●映像インデキシングと検索のための意味的表現
●高度な映像検索エンジン
●顔アノテーションと検索
●映像マイニング
●高次元データ処理のための効率的方法 |
|
渡辺 曜大
|
助教
|
●量子鍵配送方式の安全性についての研究
●暗号系の安全性概念についての研究
●確率推論アルゴリズムの特性についての研究
|
|
|
