教員一覧
(*記号は大学院学生の指導教員となることのできる教員であることを表わします)
| 数理情報工学 | |
|---|---|
| *北川高嗣 | 数値解析学：逆問題, 不適切問題の数値解析, 意味的連想検索, メディア情報システムの研究. |
| *久野誉人 | 数理計画法：非凸計画問題の大域的最適化のための効率的なアルゴリズムの研究. |
| *櫻井鉄也 | 数値解析学：数値アルゴリズムとその応用, 精度保証計算, 数理ソフトウェア. |
| *徳永隆治 | カオス・フラクタル・分岐理論を中心とする小自由度非線形問題, 画像圧縮伸張を中心とするコンピュータアミューズメント向け要素技術開発 |
| 水野貴之 | 経済物理学, 複雑ネットワーク, 時系列解析. |
| *河辺 徹 | 制御デザイン：ロバスト制御，モデル予測制御，ハイブリッドシステム， ブレインマシンインターフェイスなどの理論とそれらの応用研究． |
| *コール ジェームス |
応用物理学：電気工学問題の数値解と並列計算機及びデータ画像化のための高精度数値アルゴリズムの開発. |
| *蔡 東生 | 人工生命理論を使ったCG・可視化, その芸術・音楽・映像メディアへの応用及び仮想環境の作成. 高性能計算, 大規模並列数値計算・高精度アルゴリズムの開発, その宇宙気象予報への応用. カオス・フラクタル理論を使った画像圧縮, CGへの応用. |
| 知能ソフトウェア | |
| *井田哲雄 | プログラミングと記号計算：プログラミング言語の計算モデル, 項書換え系, 制約解消系, 方法論. |
| *亀山幸義 | ソフトウェアの基礎理論, 特に, 型体系と論理を用いたプログラミング言語の基礎理論とソフトウェア検証への応用. |
| *田中二郎 | ユビキタスコンピューティング, インタラクティブソフトウェア, Webインタフェース, ヒューマンインタフェース, ビジュアル言語, スクリプト言語, ソフトウェア工学. |
| *大矢晃久 | 知能ロボットとセンシング：人間の生活空間で働く移動ロボット, 実世界センサ情報処理, ネットワークロボティクス, 複数移動ロボットの協調行動. |
| *高橋 伸 | ユーザーインターフェースソフトウェア，ユビキタスコンピューティング． |
| *三末和男 | 情報可視化：視覚的インタフェース，視覚的分析ツール，ネットワークの可視化，グラフ自動描画． |
| *南出靖彦 | プログラミング言語の理論, 言語処理系, 型システム, 関数型プログラミング. |
| 志築文太郎 | ヒューマンコンピュータインタラクション：ビジュアルプログラミング, エンドユーザ向けインタフェース. |
| 水谷哲也 | プログラム理論および音楽情報学：実時間知的プログラム系ならびに楽曲情報の検証・解析のための論理的基礎. |
| ソフトウェアシステム | |
| *加藤和彦 | システムソフトウェア：オペレーティングシステム，分散システム，仮想計算環境，情報セキュリティ. |
| *北川博之 | データベースシステム, データ工学：異種情報統合, WWWとデータベース, XMLデータベース, マルチメディア情報検索, DBMSアーキテクチャ等. |
| *李 頡 | 分散／並列コンピューティングシステム, モバイル／マルチメディアコンピューティング, コンピュータネットワーク, システムのモデリング, 性能評価及び信頼性の総合的研究. |
| *天笠俊之 | データベース，データ工学：XMLデータベース，科学分野におけるデータベース応用など. |
| *追川修一 | オペレーティングシステム，リアルタイム，組み込み，並列分散システム． |
| *新城 靖 | オペレーティングシステム, 分散システム, 仮想化, 並行処理, ソーシャル・ネットワーキング・サービス. |
| *秡川友宏 | 情報家電, 組み込みシステム, アクセシビリティ. |
| *前田敦司 | プログラミング言語処理系，ガーベッジコレクション，ランタイムシステム，資源管理． |
| 川島英之 | データベースシステム，DBMSアーキテクチャ，センサネットワーク，データストリーム. |
| 陳 漢雄 | データベースシステム, 知識ベースシステム, ネットワーク環境における教育システム, 情報検索, 知識発見. |
| 平山哲治 | 確率システムのモデリングと解析, 情報通信システムの性能評価. |
| 古瀬一隆 | データベースシステム, 情報検索, データ工学. |
| 杉木章義 | システムソフトウェア，分散システム，オペレーティングシステム，サーバ管理技術 |
| 長谷部浩二 | 数理論理学の情報科学への応用：形式手法, 分散システム, マルチエージェントシステム, ゲーム理論. |
| 早瀬康裕 | ソフトウェア工学：プログラム理解, リポジトリマイニング, ソフトウェア保守. |
| 計算機工学 | |
| *板野肯三 | プログラミング言語の処理系, 言語指向計算機アーキテクチャハードウェアの構成方式, オペレーティングシステム, 分散処理システムなどの研究. |
| *海老原義彦 | 通信システム工学：知的分散処理および計算機ネットワーク・アーキテクチャーの研究. |
| *児玉祐悦 | 並列計算機アーキテクチャ, リコンフィギャラブルシステム, 広域ネットワークアーキテクチャ, 低消費電力アーキテクチャ. |
| *佐藤三久 | 高性能並列計算システム：計算機クラスタコンピューティング, OpenMP やHPF などの並列プログラミングシステム, 並列システムの性能評価, Grid による広域分散コンピューティング. |
| *西川博昭 | 超分散システムと仕様記述環境：データ駆動パラダイムによる超分散処理方式とその多面的仕様記述環境に関する研究. |
| *朴 泰祐 | 超並列／高性能計算機システム：超並列計算機システムアーキテクチャ, クラスタコンピューティングとシステムソフトウェア, 並列システム性能評価. |
| *安永守利 | 集積回路工学：並列分散システム, 進化システムの集積回路化の研究. |
| *山口喜教 | インタラクティブアーキテクチャ：並列計算機アーキテクチャ, 並列処理実行モデル, 分散システム, 高速パケット処理, リコンフィギュラブルシステム, 実時間処理などの研究． |
| *和田耕一 | 並列・分散処理と計算機アーキテクチャ：並列計算機の構成方式を中心に, 並列言語処理系, 応用も含めた並列・分散処理システムの研究. |
| *木村成伴 | 情報通信工学：プロセス代数, ネットワークプロトコル, 通信システムの効率評価などに関する研究. |
| *庄野和宏 | アナログ集積回路と回路理論：高線形化トランスコンダクタ，複素フィルタに関する研究． |
| *高橋大介 | ハイパフォーマンスコンピューティング：並列計算機における高性能数値計算アルゴリズムおよび性能評価に関する研究. |
| *建部修見 | 高性能計算機システム：ハイパフォーマンスコンピューティング, グリッドコンピューティング, クラウドコンピューティング, 並列分散システムソフトウェア, 分散ファイルシステム. |
| 佐藤 聡 | 安全で安心な学術ネットワークシステムおよび学術情報基盤システムの設計, 運用に関する研究. |
| 冨安洋史 | ベクトル型計算機および超並列計算機以降の並列計算機のアーキテクチャ, 特に高速化著しいマイクロプロセッサに対応するための並列計算機について研究. |
| 山口佳樹 | 集積回路工学：書き換え可能ハードウェアとその応用（並列分散システム, 複雑適応系, 情報生物学）に関する研究. |
| 多田野寛人 | 数値解析学：大規模線形計算. 特に, 連立一次方程式の高速求解法の開発, 固有値問題の並列解法に関する研究. |
| メディア工学 | |
| *工藤博幸 | 画像・映像情報と医用画像：画像・映像メディア処理, CT・PET・MRIを中心とした医用画像工学と計算機支援診断システム, 知的画像センシング, 音楽メディア処理, 逆問題の数理. |
| *福井幸男 | 人間特性に合わせた製品設計に関する研究：自由変形手法(FFD)を利用した人体特徴点抽出, 自律行動コンピュータマネキン, 非設置型力覚デバイス等. |
| *牧野昭二 | 音響信号処理, 音楽信号処理, 聴覚情報処理：ブラインド音源分離, 音響エコーキャンセラ, 音楽信号の分解・処理・合成・３Ｄ再生・検索, カクテルパーティー効果の工学的実現. |
| *亀山啓輔 | 学習, 適応情報処理：学習や適応を用いたフレキシブルな情報処理方式, 信号や画像の符号化, 検索, 修復への応用. |
| *滝沢穂高 | 知的画像処理：医用画像処理・認識, 計算機診断支援, コンピュータビジョン, ３次元物体認識. |
| *三谷 純 | 形状モデリング・コンピュータグラフィックス・CAD：モデリングインターフェイス, ノンフォトリアリスティックレンダリング, 立体形状の2次元への展開. |
| *山田武志 | 音声認識, 音環境理解, 多チャネル信号処理, メディア品質評価. |
| ルトコフスキ トマシュ | 計算聴覚神経科学, ブレインコンピュータインタフェース・ヒューマンコンピュータインタフェース, 多感覚の脳反応とメディアデザイン, 脳・生体多チャンネル信号のデータドリブンな分離および分解. |
| 金森由博 | コンピュータグラフィクス：リアルタイムレンダリング, ビジュアルシミュレーション, 形状モデリング. |
| 宮部滋樹 | メディア工学, 音声信号処理, 音響信号処理, 音源分離, 3次元音場再現. |
| 知能・情報工学 | |
| *酒井 宏 | 視覚の計算論：中低次視覚, 3次元構造知覚, 皮質細胞の非線型解析, ネットワークモデル, 心理物理実験. |
| *平井有三 | ニューラルネットワーク：視覚情報処理, パターン認識, 学習回路, 概念記憶モデル. |
| *山本幹雄 | 自然言語処理：統計的手法を用いたWeb上の自然言語テキスト処理. 特に, 統計的機械翻訳や評判分析などのWeb文書処理. |
| *狩野 均 | 遺伝的アルゴリズム, 人工生命, 進化システム, 知識システム, 知識表現. |
| *佐久間 淳 | 機械学習と知識発見：データマイニング，統計的機械学習，セキュリティ・プライバシー保護技術，暗号プロトコル，個人情報の高度活用． |
| *福井和広 | パターン認識・コンピュータビジョン：顔画像認識，3次元物体認識，ヒューマンセンシング，ロボット視覚. |
| 乾 孝司 | 自然言語処理：自然言語データからの情報抽出, 知識獲得, 及びWeb情報処理. |
| 連携大学院客員教員 | |
|---|---|
| *赤松幹之 産業技術総合研究所 |
認知行動の解析とモデル化, 行動計測, コンピュータ入力デバイスの人間工学的評価. |
| *坂上勝彦 産業技術総合研究所 |
マシンビジョンのためのアルゴリズムとシステムの研究開発, 及びその実世界環境での応用. |
| *中田秀基 産業技術総合研究所 |
並列計算, 分散計算, グリッド, クラウド. |
| *樋口哲也 産業技術総合研究所 |
進化型計算やニューラルネットに基づく適応型ハードウェア／システムに関する研究：遺伝的アルゴリズム, LSI, 再構成可能型ハードウェア素子. |
| *佐藤雄隆 産業技術総合研究所 |
ユビキタスビジョン，ロボットビジョン，全方向 ステレオシステム(SOS) |
| *谷村勇輔 産業技術総合研究所 |
並列分散ストレージ, 大規模データ処理, クラウドコンピューティング, グリッドコンピューティング, E-サイエンス応用. |
| 高度IT人材育成のための実践的ソフトウェア開発専修プログラム教員 | |
| 中沢研也 | 実践的情報処理教育，IT技術者のキャリアデザイン，ソフトウェア工学． |
| 山戸昭三 | プロジェクトの定量的評価モデルの提案と適用，プロジェクト成熟度別PMOアクション． |
| オブザーバ教員 | |
| 伊藤 誠 | システム安全性：ヒューマンマシンの信頼と協調，不確実状況での認知・推論・決定，リスクの認知と受容． |
| 稲垣敏之 | 人間・機械共生系，リスク環境下での人と知能機械の協調，アダプティブ・オートメーション，ヒューマン・マシン・システムの信頼性・安全性，不確実情報のもとでの推論と意思決定． |
| ヴァシラケ シモナ | ソフトウェア工学，フォーマルメソッド，ヒューマンインタフェース． |
| 岡本栄司 | 暗号と情報セキュリティの研究：暗号・認証、不正アクセス・ウイルス対策，ソフトウェア・コンテンツ保護，および情報セキュリティ対策インフラの構築・整備など． |
| 片岸一起 | 新世代ネットワーク，現代情報理論，ネットワークセキュリティ． |
| 金岡 晃 | |
| 三宮秀次 | 自律並列分散型プロセッサ・アーキテクチャ：自己同期型エラスティックパイプラインによるデータ駆動チップマルチプロセッサに関する研究． |
| 塙 敏博 | 省電力耐故障高性能ネットワーク，並列システムの性能評価，ディペンダブルオペレーティングシステムとディペンダブルシステムベンチマーク． |
| ブシャ ジャンルク | コンピュータの算術，暗号． |
| 古川 宏 | 認知システム工学：人間と機械の協調支援，認知能力を拡張・支援するヒューマンインタフェース，ナビゲーション支援と空間認知，メンタルモデル・知識の獲得支援． |
| 細野千春 | 数理計算理論． |
| 山本順人 | プログラミング言語・処理系，言語パラダイム，記号計算，高階手続き，Hyperlogo． |
研究室一覧
| 数理情報工学 | |
|---|---|
| カオス研究室 | 高性能計算・ビジュアルサイエンス研究室 |
| システム数理研究室 | 情報数理研究室 |
| 制御システム研究室 | |
| 知能ソフトウェア | |
| インタラクティブプログラミング研究室 | 記号計算研究グループ |
| 人工知能研究室(水谷研究室) | 知能ロボット研究室 |
| プログラム論理研究室 | |
| ソフトウェアシステム・計算機工学 | |
| インタラクティブ・アーキテクチャ研究室 | オペレーションズ･リサーチ研究室 |
| オペレーティングシステムとシステムソフトウェア研究室 | OS分散/並列処理研究室 |
| コンピュータネットワーク研究室 | 集積システム研究室(安永研究室) |
| 実時間組み込みアーキテクチャ研究室 | ソフトウェア研究室 |
| 北川データ工学研究室 | データシステムエンジニアリング研究室 |
| 電子回路研究室(庄野研究室) | データ駆動ネットワーキングアーキテクチャ研究室(西川研究室) |
| ハイパフォーマンス・コンピューティング・システム研究室 | 並列分散処理研究室 |
| ライフエレクトロニクス研究室(秡川研究室) | |
| メディア工学・知能情報工学 | |
| イメージサイエンス研究室 | 機械学習・データマイニング研究室(佐久間研究室) |
| 計算視覚科学研究室 | コンピュータビジョン研究室 |
| 視覚情報処理研究室 | 知識システム研究室(狩野研究室) |
| 知能情報・生体工学研究室 | 適応情報処理研究室 |
| 非数値処理アルゴリズム研究室(福井・三谷・金森研究室) | マルチメディア研究室 |
| 連携大学院 | |
| インフラウェア研究グループ | 行動モデリング研究室 |
| 適応型システム研究室 | ヒューマンセンタードビジョン研究室 |