プログラム

  • 高度IT人材育成のための実践的ソフトウェア開発専修プログラム
  • ビジネスアプリケーション分野
  • 社会人のための 博士後期課程 早期修了 プログラム
  • ICT教育プログラム

研究紹介

教員一覧

(*記号は大学院学生の指導教員となることのできる教員であることを表します)
(☆記号は連携大学院客員教員であることを表します)

数理情報工学

*河辺 徹 制御デザイン:ロバスト制御、モデル予測制御、ハイブリッドシステム、ブレインマシンインターフェイスなどの理論とそれらの応用研究
*北川 高嗣 数値解析学:逆問題、不適切問題の数値解析、数理メディア情報学、意味的連想検索モデル
*久野 誉人 数理計画法:非凸計画問題の大域的最適化のための効率的なアルゴリズムの研究
*櫻井 鉄也 計算数学、コンピュータを利用するための数値数学、スーパーコンピュータのための並列コンピューティングアルゴリズム、大規模データ解析アルゴリズム、計算科学、数理ソフトウェア
*徳永 隆治 カオス・フラクタル・分岐理論
*蔡 東生 人工生命理論を使ったCG・デジタル生命、その芸術・音楽・映像メディアへの応用及び仮想環境の作成。高性能計算、大規模並列数値計算・高精度アルゴリズムの開発、その宇宙無気象予報への応用。カオス・フラクタル理論を使った画像圧縮、CGへの応用
*佐野 良夫 離散数学と数理最適化:グラフ・ネットワーク・行列・マトロイドといった離散システムの数理構造および最適化の研究
合原 一究 動物行動の数理モデリングと応用
今倉 暁 数値解析学:大規模線形計算、特に、連立一次方程式や固有値問題の高速・高安定数値解法の開発
二村 保徳 数値計算、高性能並列アルゴリズム、大規模連立一次方程式・固有値問題の並列解法、並列数値計算ソフトウェア
保國 惠一 数値線形代数、大規模疎行列計算、クリロフ部分空間法に対する前処理アルゴリズム、最小二乗問題、特異線形方程式

知能ソフトウェア

*大矢 晃久 知能ロボットとセンシング:人間の生活空間で働く移動ロボット、実世界センサ情報処理、ネットワークロボティクス、複数移動ロボットの協調行動
*亀山 幸義 プログラム言語と論理:型システム、メタプログラミング、プログラムの論理、プログラム検証
*三末 和男 インフォメーションビジュアライゼーション、視覚的表現の設計、視覚的分析ツール、ビジュアルインタフェース、グラフ自動描画
嵯峨 智 バーチャルリアリティ、ヒューマンインタフェース、オーグメンテッドリアリティ、触覚センサ、力触覚ディスプレイ、力覚教示システム
*志築 文太郎 ヒューマンコンピュータインタラクション:ビジュアルプログラミング、エンドユーザ向けインタフェース
*高橋 伸 ユーザインタフェースソフトウェア、ユビキタスコンピューティング
水谷 哲也 プログラム理論および音楽情報学:実時間知的プログラム系ならびに楽曲情報の検証・解析のための論理的基礎
ヴァシラケ・
シモナ
ソフトウェア工学、フォーマルメソッド、ヒューマンインタフェース
海野 広志 プログラム検証:モデル検査、型システム、プログラム解析、自動定理証明

ソフトウェアシステム

*追川 修一 オペレーティングシステム。組み込み、リアルタイム、並列分散システム
*加藤 和彦 クラウドコンピューティング、分散システム、仮想化技術、情報セキュリティ、オペレーティングシステム
*北川 博之 データベースシステム、データ工学:異種情報統合、データマイニング、ユビキタス情報管理、センサーデータベース、WWWとデータベース、マルチメディアデータベース、科学データベース
*李 頡 モバイル/ユビキタスネットワーキングとコンピューティング、クラウド分散処理、情報セキュリティ、OS、システムの信頼性。安全性と評価
*阿部 洋丈 システムソフトウェア、分散システム、コンピュータ・セキュリティ、コンピュータ・ネットワーク
*天笠 俊之 データベースシステム、データ工学:XML・RDFデータベース、ソーシャルメディア、科学データベース
*大山 恵弘 コンピュータセキュリティ、システムソフトウェア、オペレーティングシステム、仮想化
*岡 瑞起 ウェブサイエンス、複雑系、人工生命
*川島 英之 データベースシステム、ユビキタスコンピューティング、センサネットワーク、確率的データベース、データストリーム等
*新城 靖 オペレーティングシステム、分散システム、仮想化、並行処理、分散型ソーシャル・ネットワーキング・サービス(分散型SNS)
*秡川 友宏 情報家電、組み込みシステム、アクセシビリティ
古瀬 一隆 データベースシステム、情報検索、データ工学
*前田 敦司 プログラミング言語処理系、ガーベッジコレクション、ランタイムシステム、資源管理
陳 漢雄 データベースシステム、知識ベースシステム、ネットワーク環境における教育システム、情報検索、知識発見
塩川 浩昭 データベースシステム、データ工学:大規模データ分析、データマイニング、グラフデータベース
津川 翔 ネットワークマイニング:ソーシャルネットワーク分析、大規模オンラインコミュニティにおけるデータマイニング、およびそれらを応用したネットワークサービスの設計
橋本 康弘 ソーシャルメディア分析、ネットワーク分析、情報可視化に基づいた、人間性の探究のための現代的手法の開発
長谷部 浩二 数理論理学の情報科学への応用:形式手法、分散システム、マルチエージェントシステム、ゲーム理論
早瀬 康裕 ソフトウェア工学:プログラム理解、リポジトリマイニング、ソフトウェア保守
渡辺 知恵美 データ工学、データベース、暗号化DBMS、プライバシ保護検索、個人情報開示制御、匿名化

計算機工学

*佐藤 三久☆
理化学研究所
並列ハイパフォーマンス・コンピューティング、超並列マルチコア向けプログラミング言語コンパイラ技術、分散プログラミング技術等
*高橋 大介 ハイパフォーマンスコンピューティング:並列計算機における高性能数値計算アルゴリズムおよび性能評価に関する研究
*建部 修見 並列分散システムソフトウェア、データインテンシブコンピューティング、ハイパフォーマンスコンピューティング
*中田 秀基
産業技術総合研究所
分散並列プログラミング、グリッド、クラウド計算
*西川 博昭 超分散システムと仕様記述環境:データ駆動パラダイムによる超分散処理方式とその多面的仕様記述環境に関する研究
*朴 泰祐 高性能計算システムと性能評価、超並列処理システム向けネットワーク、並列処理システムソフトウェア、GPUコンピューティング
*安永 守利 VLSI工学、リコンフィギャラブルコンピューティング、FPGA応用、進化型ハードウェア、超高速ディジタル信号伝送技術、実装設計技術
*和田 耕一 並列・分散処理と計算機アーキテクチャ:並列計算機の構成方式を中心に、並列言語処理系、応用も含めた並列・分散処理システムの研究
*木村 成伴 情報通信工学:プロセス代数、ネットワークプロトコル、通信システムの効率評価などに関する研究
佐藤 聡 安全で安心な学術ネットワークシステムおよび学術情報基盤システムの設計,運用に関する研究
*庄野 和宏 アナログ集積回路と回路理論:高線形化CMOSトランスコンダクタ、複素フィルタに関する研究
*谷村 勇輔☆
産業技術総合研究所
並列分散ストレージ、大規模データ処理、クラウドコンピューティング、グリッドコンピューティング、E-サイエンス基盤
*山際 伸一 並列分散処理、ストリームコンピューティング、およびGPGPUに関するシステム開発と応用。組み込みシステムとそのスポーツ科学等への応用
*山口 佳樹 集積回路工学:書き換え可能ハードウェアとその応用(並列分散システム、複雑適応系、情報生物学)に関する研究
冨安 洋史 ベクトル型計算機および超並列計算機以降の並列計算機アーキテクチャ、特に高速化著しいマイクロプロセッサに対応するための並列計算機についての研究
金澤 健治 集積回路工学,リコンフィギュラブルコンピューティング、書き換え可能なLSIを用いた計算困難問題の高速解法
小林 諒平 FPGAの応用に関する研究、リコンフィギャラブルコンピューティングシステム、高速RTLシミュレーション
三宮 秀次 大規模集積システム向きプロセッサ・アーキテクチャ:自己同期型エラスティックパイプラインによるデータ駆動メニーコアプロセッサに関する研究
多田野 寛人 数値解析学:大規模線形計算。特に、連立一次方程式の高速求解法の開発、固有値問題の並列解法に関する研究

メディア工学

*井野 秀一
産業技術総合研究所
ヒューマンインタフェース,ソフトアクチュエータ,情報バリアフリー,触覚インタフェース,健康・福祉工学,リハビリテーション工学
*亀山 啓輔 環境に適応する情報処理システム、パターン認識、学習理論、信号・画像処理
*工藤 博幸 画像・映像メディア処理、CT・PET・MRIを中心とした医用画像工学とコンピュータ支援診断・治療システム、イメージングサイエンス、知的画像センシング、音楽メディア処理、逆問題の数理
*牧野 昭二 音響信号処理、音楽信号処理、聴覚情報処理:ブラインド音源分離、音響エコーキャンセラ、音楽信号の分解・処理・合成・3D再生・検索、カクテルパーティー効果の工学的実現
*三谷 純 コンピュータグラフィックス、CAD、形状モデリング、ユーザインターフェイス、折紙工学
*滝沢 穂高 知的画像処理:医用画像処理・認識、障がい者支援システム、コンピュータビジョン
*山田 武志 音声・音響情報処理:音声認識、音環境理解、多チャネル信号処理、メディア品質評価、eラーニング
遠藤 結城 コンピュータグラフィクス、画像合成・編集技術、画像認識、時空間データマイニング、ディープラーニング
金森 由博 コンピュータグラフィクス:リアルタイムレンダリング、ビジュアルシミュレーション、形状モデリング、ノンフォトリアリスティックレンダリング、画像編集技術
鈴木 大三 メディア信号処理:画像・映像処理、情報源符号化、フィルタバンク/ウェーブレット

知能・情報工学

*狩野 均 進化計算、遺伝的アルゴリズム、粒子群最適化、人工生命、知識処理、高度交通システム
*酒井 宏 視覚の計算論:中低次視覚、3次元構造知覚、皮質細胞の非線型解析、ネットワークモデル、心理物理実験
*佐久間 淳 知識発見とセキュリティー・プライバシー:データマイニング、機械学習、プライバシ保護データマイニング、匿名化、個人情報の保護と活用
*福井 和広 パターン認識・コンピュータビジョンの理論と応用:3次元物体・顔認識、多視点状況認識、ロボットビジョン、画像インタフェース
*山本 幹雄 自然言語処理(人言語処理):数理統計的モデルを利用した自然言語(人言語)の理解・生成・変換に関する研究
*乾 孝司 自然言語処理:自然言語データからの情報抽出・情報集約、意見マイニング、評判分析
*佐藤 雄隆
産業技術総合研究所
コンピュータビジョンに関する要素技術と応用システム:知的画像処理、次世代画像センシングシステムなど
*日野 英逸 機械学習;カーネル法、距離学習、ランキングモデル、次元削減、エントロピー推定、スパース表現
アランニャ・
クラウス
人工知能・機械学習・進化論的計算。最適化・バイオインフォマティクス・ゲームへの応用。機械学習の並列化

オブザーバ教員

伊藤 誠 システム安全性:ヒューマンマシンの信頼と協調、不確実状況での認知・推論・決定、リスクの認知と受容
面 和成 ネットワークセキュリティ:マルウェア対策、サイバー攻撃に対するリスク評価、クラウドセキュリティ、センサネットワークのセキュリティ
片岸 一起 智慧情報通信システム:フルーエンシ情報理論とその応用、コンテンツ志向の新世代ネットワーク、ネットワークセキュリティ
西出 隆志 情報セキュリティ:公開鍵暗号設計、暗号プロトコル、プライバシ保護、および情報システムのための安全性向上技術
古川 宏 認知工学的インタフェース:認知能力を拡張・支援するヒューマンインタフェース、ナビゲーション支援、学習支援、メンタルモデル

名誉教授一覧(コンピュータサイエンス専攻、電子・情報工学系関係)

平成4年度 森 亮一 先生
平成9年度 鈴木 功 先生
藤原 譲 先生
平成10年度 中田 育男 先生
池辺 八洲彦 先生
平成13年度 五十嵐 滋 先生
池田 克夫 先生
森 正武 先生
平成14年度 坂本 直人 先生
平成15年度 齋藤 恒雄 先生
平成16年度 名取 亮 先生
平成17年度 板橋 秀一 先生
平澤 一紘 先生
平成18年度 亀田 壽夫 先生
平成19年度 寅市 和男 先生
根本 承次郎 先生
平成21年度 石橋 幸男 先生
大保 信夫 先生
西原 清一 先生
平成22年度 北脇 信彦 先生
平成24年度 井田 哲雄 先生
海老原 義彦 先生
平井 有三 先生
平成25年度 福井 幸男 先生
平成26年度 佐藤 三久 先生
平成27年度 田中 二郎 先生

研究室一覧

(☆記号は連携大学院客員教員の研究室であることを表します)

数理情報工学

知能ソフトウェア

ソフトウェアシステム・計算機工学

メディア工学・知能情報工学