情報処理学専攻 　高度情報処理を実現するための核である情報論理、形式論理、計算機言語学、自然言語理解、知識表現、画像認識、音声認識・合成などの基礎理論や処理方式についての高度な研究・教育を行っています。 講座及び教員 教　育　研　究　分　野 基幹講座 　■　情報基礎学 　教授 　関　浩之 　准教授 　楫　勇一 　助教 　中村　嘉隆 　助教 　橋本　健二 情報セキュリティ基礎技術、高信頼性ソフトウェア設計検証法に関する研究・教育を行う。 ● セキュリティ　：　鍵管理、セキュアアドホックネットワーク、XMLセキュリティ ソフトウェア設計検証法　：　無限状態モデル検査、情報流解析、XMLスキーマ進化 誤り制御方式　：　ＬＤＰＣ（Ｌｏｗ　Ｄｅｎｓｉｔｙ　Ｐａｒｉｔｙ　Ｃｈｅｃｋ）符号 基礎理論　：　形式文法理論とその生物配列構造予測への応用 　■　ソフトウェア基礎学 　教授 　伊藤　実 　准教授 　安本　慶一 　助教 　孫　為華 　助教 　山内　由紀子 ユビキタス、マルチメディア、モバイルなどの分野において、対象問題のモデル化、問題解決のためのアルゴリズムおよびアプリケーションソフトウェアの設計・開発を目標とした研究・教育を行う。 ● 分散システム、データベース、ミドルウェア、ピアツーピア、ユビキタスアプリケーション、マルチメディア通信、高度交通システム（ＩＴＳ）、ネットワークゲーム、アドホックネットワーク、ネットワークシミュレーション、遺伝的アルゴリズム、組合せ最適化問題、組込みシステム、分散アルゴリズム 　■　コンピュータ設計学 　教授 　藤原　秀雄 　准教授 　井上　美智子 　助教 　大竹　哲史 　助教 　米田　友和 論理設計論、VLSIの設計とテスト、設計自動化、フォールトトレランス、並列／分散アルゴリズムなどの研究・教育を行う。 ● VLSI CAD、VLSI のテスト容易化設計、テスト容易化合成、テスト生成アルゴリズム、システムオンチップ(SOC)の設計とテスト、故障シミュレーション、組込自己テスト、ソフトウェアベース自己テスト、遅延故障テスト、低消費電力テスト、再構成可能なハードウェア(FPGA)の設計とテスト、フォールトトレラントシステム、並列画像処理、並列計算モデル、フォールトトレラント分散システム、共有メモリアルゴリズム 　■　インターネット工学 　教授 　山口　英 　准教授 　門林　雄基 　助教 　樫原　茂 　助教 　櫖山　寛章 社会インフラの一翼を担うようになったインターネットを高度化していくための基礎的な技術開発と、社会に対する積極的な技術移転を目指す研究・教育を行う。 ● 次世代インターネット、分散処理環境構築、グリッド、オーバーレイネットワーク、モバイルネットワーク、セキュリティ技術、認証技術、ＤＲＭ、ＯＳ 　■　自然言語処理学 　教授 　松本　裕治 　准教授 　乾　健太郎 　助教 　浅原　正幸 　助教 　新保　仁 　特任助教 　松吉　俊 　特任助教 　村上浩司 人間の知能の本質である自然言語の計算機による解析と理解を中心的なテーマとし、言語の構造の解明と定式化、また、その応用及び関連の研究・教育を行う。 ● 言語解析、言語知識獲得、機械学習、テキストマイニング、言語理解、言語表現の言い換え、コミュニケーション支援、対話、言語資源データベース、リンク解析、探索、文書からの情報抽出／知識獲得、機械翻訳 　■　知能情報処理学 　教授 　木戸出　正繼 　准教授 　浮田　宗伯 　助教 　波部　斉 　助教 　松原　崇充 複数の人間と機械が共存する実環境における、知的な情報処理及び通信処理の要素技術の研究・教育を行う。 ● 視覚メディア、体験メディア、ことばメディア、身体メディア、分散協調視覚、ウェアラブルコンピューティング、自由対話、ロボット協調、ヒューマンコミュニケーション、知的ヒューマンインタフェース 　■　像情報処理学 　教授 　千原　國宏 　准教授 　眞鍋　佳嗣 　助教 　池田　聖 　助教 　浦西　友樹 画像メディアと人工現実感技術の融合を通して、画像を機械と人間また人間と人間とのコミュニケーションの主要なメディアと捉え、広く画像情報処理に関する研究・教育を行う。 ● バーチャルリアリティ、画像メディア、医用工学、カラー画像処理、スペクトル画像解析、質感認識・表現、画像計測、CG、医用画像計測・処理、ウェアラブルコンピュータ、可視化、情報考古学、ユビキタスコンピューティング、視覚認知、福祉工学 　■　音情報処理学 　教授 　鹿野　清宏 　准教授 　猿渡　洋 　助教 　川波　弘道 　助教 　戸田　智基 音声による人と計算機のコミュニケーションや音のバーチャルリアリティなどの音環境コントロールの研究など、音・音声の認識、合成、再現、通信の研究・教育を行う。 ● 音声認識、音声合成、ロボット音声対話、話者環境適応、無音声認識、無音声電話、マイクロホンアレー、音場制御、ブラインド音源分離、音楽音響、音声対話システム、自由発話認識、音声分析合成、声質変換、感情音声分析、テキスト音声合成 　■　インタラクティブメディア設計学 　教授 　加藤　博一 　准教授 　宮崎　純 　助教 　天野　敏之 　助教 　藤澤　 誠 普段の生活の中で誰もがその恩恵に預かることができる未来のインタラクティブメディアのあり方を考え、それを実現するために必要となる、メディア処理、ヒューマンインタフェース、データベースに関する研究・教育を行う。 ● ヒューマンインタフェース、拡張現実感、画像計測、パターン認識、コンピュータグラフィックス、情報検索、ＸＭＬデータベース、ブログ解析 客員講座 　■　言語科学 　教授 　Nick Campbell 　准教授 　柏岡　秀紀 人間の声情報や発話様式の意味処理技術を開発するため、コーパス・ベース音声合成、音声対話、音声翻訳の観点から音声インタフェースとコミュニケーション情報処理の研究・教育を行う。 ● 音声合成、韻律情報処理、音声データベース、パラ言語情報処理 音声言語処理、対話システム、音声対話データベース、機械翻訳 　■　量子情報処理学 　教授 　清水　薫 　教授 　中ノ　勇人 情報処理過程における量子力学に特有の効果の利用によって、古典情報科学では困難であるとされてきた課題を解決したり、従来の問題に対する新しい側面を明らかにする等の、情報科学と量子物理学の境界領域の研究・教育を行う。 ● 高速高精度数値計算、量子演算過程の数値シミュレーション 　　　情報システム学専攻 　高度情報社会実現のための基礎技術確立を目指して、先進情報システムのアーキテクチャ、ソフトウェア、オペレーティングシステム、データベースシステム、先端情報メディア、これらを融合した情報通信ネットワーク、システムのモデリングとシミュレーション、システム制御、ロボティクスなどについての研究・教育を行っています。 講座及び教員 教　育　研　究　分　野 基幹講座 　■　コンピューティング・アーキテクチャ 　教授 　中島　康彦 　准教授 　嶋田　創 　助教 　中田　尚 　助教 　姚 駿 次世代計算・通信パラダイムの開発を目指し、マルチコア、低電力プロセッサ、高信頼ＬＳＩ、リコンフィギャラブルＬＳＩ、量子情報処理に関する研究・教育を行う。 ● 高性能プロセッサ、コンピュータ・アーキテクチャ、マルチコア、低電力、並列計算、高信頼ＬＳＩおよびＣＡＤ、高機能リコンフィギャラブルＬＳＩ、量子アルゴリズム、量子暗号（量子分野についてはＭ２から量子情報処理学講座に配属されます。） 　■　ソフトウェア工学 　教授 　松本　健一 　准教授 　門田　暁人 　助教 　大平　雅雄 　助教 　森崎　修司 ソフトウェアの開発・利用・管理・教育を支援する技術について、理論面での議論と共に技術の有用性を確かめる実証実験の両面から研究・教育を行う。 ● ソフトウェアタグ、プログラム解析・信頼性、インスペクション/レビュー、ソフトウェア電子透かし・難読化、ソーシャルネットワーク分析、ヒューマン・コンピュータ・インタラクション、ユーザビリティ評価、派生開発プロセス、プロジェクト管理、エクストリームプログラミング 　■　情報コミュニケーション 　教授 　岡田　実 　准教授 　原　孝雄 　助教 　齋藤　将人 　助教 　寺田　直美 　助教 　宮本　龍介 通信システムや信号処理に関する基礎理論に基づき、実装を考慮に入れたワイヤレス通信システムや組込み信号処理技術についての研究・教育を行う。 ● 信号処理、変復調方式、無線通信、移動通信、ディジタル放送、衛星通信、組込みシステム、ITS、モバイルマルチメディア、多元接続技術、アドホックネットワーク、センサネットワーク、無線LAN、MIMO、ディジタル回路設計、認識技術、画像処理、コグニティブ無線 　■　視覚情報メディア 　教授 　横矢　直和 　准教授 　山澤　一誠 　助教 　神原　誠之 　助教 　佐藤　智和 コンピュータやロボットが外界を視る技術とコンピュータ内部の多様な情報を人間に効果的に見せる技術を中心に、視覚情報処理全般についての研究・教育を行う。 ● コンピュータビジョン、ロボットビジョン、画像処理、画像計測、全方位視覚、仮想現実、複合/拡張現実、ウェアラブルコンピュータ、ヒューマンインターフェース、ネットワークメディア 　■　応用システム科学 　教授 　杉本　謙二 　准教授 　平田　健太郎 　助教 　小木曽　公尚 　助教 　橘　拓至 コンピュータ制御やネットワーク通信などの情報科学技術に対してシステム科学的・数理的な手法を適用し、システムとしての統一的な評価や設計に関する研究・教育を行う。 ● システム制御、最適化、適応学習、知能化システム、むだ時間システム、メカトロ制御、受動歩行、信号処理、応用数理、メディアコミュニケーションシステム、インターネットQoS、制御検証実験、（非）線形計画問題、ネットワーク制御 　■　システム制御・管理 　教授 　西谷　絋一 　准教授 　野田　賢 　助教 　中村　文一 　助教 　中村　奈美 システム制御や管理工学に関する幅広い基礎理論をもとに、人工物を人間が設計・制御・運転・管理する際に生じる様々な問題を解決するための研究・教育を行う。 ● システム制御理論、最適化理論、非線形システム、ロボット制御、センサフュージョン、プロセス制御、制御技術応用、監視制御、プラント運転、ヒューマンインタフェース、ヒューマンファクター、ヒューマンエラー、ドライバーモデル、感性工学、技術伝承、アラーム・マネジメント 　■　ロボティクス 　教授 　小笠原　司 　准教授 　高松　淳 　助教 　栗田　雄一 　助教 　竹村　憲太郎 視覚情報・触覚情報などのリアルタイムセンシングに基づいて知的システムを構成するために必要な技術に関して研究・教育を行う。 ● ロボットシステム、リアルタイムシステム、人間機械協調、ロボットビジョン、移動ロボット、ヒューマンインタフェース、マニピュレーション、ロボットハンドの制御、ビジョンベースドヒューマンインタフェース、ヒューマンモデリング 　■　ソフトウェア設計学 　教授 　飯田　元 　特任教授 　Barker Michael Dean 　助教 　川口　真司 大規模で複雑なソフトウェア・インフラストラクチャやソフトウェア・インテンシブ・システムの設計・開発に必要とされる基盤技術や、設計法，開発管理手法について研究・教育を行う。 ● ソフトウェア・デザイン、ソフトウェア・プロセス、ソフトウェア解析、コードクローン、開発支援環境、プロジェクト管理、ソフトウェア開発の見える化、ソフトウェア・ユーザビリティ､ソフトウェア教育 　■　インターネット・アーキテクチャ 　教授 　砂原　秀樹 　准教授 　藤川　和利 　特任准教授 　猪俣　敦夫 　助教 　垣内　正年 　助教 　和泉　順子 　特任助教 　松浦　知史 次世代インターネットの基盤技術を核に、オペレーティングシステムからアプリケーションまで実環境での利用を前提とした技術の研究・教育を行う。 ● インターネット、モバイルコンピューティング、ITS、オペレーティングシステム、マルチメディアシステム、分散システム技術、ユビキタスコンピューティング、センサネットワーク、Ｐ２Ｐネットワーク、グリッドコンピューティング、暗号、モバイルセキュリティ、セキュアプログラミング 　■　環境知能学 　教授 　萩田　紀博 ロボットや人工物の「個体知能」と人、モノ、コトの環境情報を計測・認識して、数値・言語情報で構造化した「環境知能」を融合するネットワークヒューマンインタフェースに関する研究・教育を行う。 ● ネットワークロボット、環境情報構造化、ユビキタスコンピューティング、パターン認識、ネットワークヒューマンインタフェース、人・ロボットインタラクション、位置計測、意図認識・理解 　　　情報生命科学専攻 　ゲノム情報科学、ゲノム機能解析、タンパク質構造機能解析を３つの柱として、ポストゲノムシーケンス研究における生命科学に関する研究・教育と、それを支える情報処理技術に関する研究・教育を統合的に行っています。 講座及び教員 教　育　研　究　分　野 基幹講座 　■　データベース学 　教授 　加藤　博一 　准教授 　宮崎　純 　助教 　天野　敏之 　助教 　藤澤　誠 データベース技術を核に、生命科学情報を主な対象として、多種多様で分散したディジタルメディアを有機的に統合し活用する基盤となる高度情報システムに関する研究・教育を行う。 ● データベースアーキテクチャ、生命科学とデータベース、高機能・高性能データベースシステム、ゲノムデータベース、XMLデータベース等の先進的データベース、情報検索システムとデータベース、ブログ解析、Ｗｅｂマイニング 　■　論理生命学 　教授 　池田　和司 　准教授 　柴田　智広 　助教 　竹之内　高志 　助教 　渡辺　一帆 学習するシステムとしての生命・知能の本質を数理情報学的視点から解明するため、機械学習・脳情報科学・適応システムなどの幅広い融合領域分野での研究・教育を行う。 ● 数理工学、機械学習、統計的学習理論、データサイエンス、脳情報科学、生体情報処理、適応システム、学習によるロボット制御 　■　生命機能計測学 　教授 　湊　小太郎 　准教授 　杉浦　忠男 　助教 　佐藤　哲大 　助教 　中尾　恵 ナノからマクロに至る様々な生命機能に対する計測手法と、それによる生命機能解明のための情報処理技術に関する研究・教育を行う。 ● 医療情報学、生命機能計測、生体医工学、バイオイメージング、近接場光学、ナノフォトニクス、インシリコバイオロジー、医用画像工学、医用バーチャルリアリティ、医用グラフィックス、可視化・触力覚情報処理 　■　生命システム学 　教授 　石井　信 　特任准教授 　作村　諭一 　特任助教 　五十嵐　康伸 生物の複雑な機能は、固有の機能を持つ生体内分子群の役割分担と協調によるシステムによって生まれる。このメカニズムを情報科学的手法を用いて理解する研究・教育を行う。 ● システム生物学、生物の形態形成モデル、細胞の化学・温度走性モデル、細胞内分子活性データの解析、神経及び神経集団の情報処理 　■　構造生物学 　教授 　箱嶋　敏雄 　助教 　北野　健 　助教 　平野　良憲 タンパク質をネットワークの論理素子と捉え、その動作原理を解明するため、蛋白質の相互作用複合体の高次構造を決定し、蛋白質－蛋白質相互作用の構造的基盤を構築するための研究・教育を行う。 ● 構造生物学・医学、細胞接着、細胞骨格、蛋白質核酸相互作用、蛋白質結晶学、構造化学、生物化学、構造機能相関 　■　システム細胞学 　教授 　小笠原　直毅 　助教 　小林　和夫 　助教 　大島　拓 　助教 　石川　周 生物の基本単位である細胞を、ゲノムに書き込まれた遺伝子のネットワークとして捉え、そのダイナミックな動態を解明するための研究・教育を行う。 ● 細菌ゲノムの構造と機能、細菌の情報伝達・転写制御ネットワーク、細菌の必須遺伝子の機能ネットワーク、細菌の細胞周期の制御機能 　■　比較ゲノム学 　教授 　金谷　重彦 　准教授 　MD. ALTAF-UL-AMIN 　特任准教授 　中村　建介 　助教 　高橋　弘喜 バクテリアからヒトに至るゲノム情報を中心に生命現象を理解することを目的とした研究・教育を行う。 ● ゲノム解析、ポストゲノム解析、遺伝暗号、自己組織化法、比較ゲノム解析、ゲノム進化、バイオネットワーク、バイオインフォマティクス、ネットワーク解析、メタボロミクス、システムズバイオロジー 　■　蛋白質機能予測学 　准教授 　川端　猛 分子立体構造データを駆使し、蛋白質の「配列・構造・機能」の関係の解明を目指した理論的・情報学的な研究・教育を行う。 ● 構造バイオインフォマティクス、分子立体構造の比較手法の開発、蛋白質複合体の立体構造モデリング、低分子と蛋白質の相互作用の予測、アミノ酸配列の分子系統解析 客員講座 　■　神経計算学 　教授 　銅谷　賢治 　准教授 　吉本　潤一郎 脳の柔軟な学習のしくみの解明に向けて，強化学習やベイズ推定の新手法の開発とロボット実験による検証，脳の回路と物質系の数理モデル化とその生理実験による検証を行う。 ● 計算神経科学、強化学習、ベイズ推定、マルチエージェント、大脳基底核　神経修飾物質 　　　教育連携講座 講座及び教員 教　育　研　究　分　野 教育連携講座 　■　コミュニケーション学 　教授 　上田　修功 　准教授 　山田　武士 工学だけでなく社会科学、人間科学などを融合した学際的なアプローチで、コミュニケーションの本質について研究・教育を行う。 ● Web科学、データマイニング、センサーネットワーク、実世界セマンティックス (　連携機関名： 日本電信電話（株）NTTコミュニケーション科学基礎研究所 ) 　■　計算神経学 　教授 　川人　光男 　准教授 　神谷　之康 脳機能を情報処理の観点から明らかにするために、神経生理学、心理学、脳活動非侵襲計測、デコーディング手法、ロボティクス、ブレイン・ネットワーク・インタフェースなど実験的な手法を、計算理論的な枠組で有機的に統合する研究・教育を行う。 ● 計算神経学、デコーディング手法、運動制御、視覚、内部モデル、強化学習、小脳、大脳基底核、脳活動計測、ロボット、ブレイン・ネットワーク・インタフェース (　連携機関名： （株）国際電気通信基礎技術研究所 ) 　■　ヒューマンウェア工学 　教授 　山本　正樹 　准教授 　脇田　由実 ネットワーク社会における人間中心の情報処理をめざすヒューマンウェアを、音声／画像処理、知能処理、ロボティクス／メカトロニクスを統合したシステムとして実現する研究・教育を行う。 ● ヒューマンウェア、音声処理、画像処理、知能処理、ロボティクス、メカトロニクス (　連携機関名： パナソニック（株）先端技術研究所 ) 　■　シンビオティックシステム 　教授 　山田　敬嗣 　准教授 　國枝　和雄 ３０年後の社会実現に向けての情報システムのあるべき姿の検討を通して、人間、社会、環境、情報を統合した社会インフラとして実現するための研究・教育を行う。 ● 生体計測、センシング、実環境理解、因果関係分析、セキュリティ、情報表現、実世界インタフェース (　連携機関名： 日本電気（株）C&Cイノベーション研究所 ) 　■　ヒューマン・インターフェース 　准教授 　潮田　明 コンピュータやネットワークを通した人と人とのコミュニケーション、および人とコンピュータとのコミュニケーションに関し、情報科学、統計学、言語学などの立場から、学際的な研究・教育を行う。 ● 機械翻訳、音声認識、言語横断検索、統計自然言語処理、ナレッジコンピューティング (　連携機関名： （株）富士通研究所 ) 　■　マルチメディア移動通信 　教授 　山口　良 超広帯域なマルチメディア情報が伝達できる次世代移動通信方式の移動無線アクセス、適応無線信号処理、アンテナ伝搬、無線回路についての教育・研究を行う。 ● 移動通信、ブロードバンド、移動無線アクセス、マルチキャリア、無線リソース制御、ダイバーシチ、適応信号処理、アンテナ伝搬、無線回路 (　連携機関名： （株）ＮＴＴドコモ ) 　■　光センシング 　教授 　緒方　司郎 　准教授 　諏訪　正樹 画像処理によるパターンや立体物の認識、あるいは人間の顔や動作の認識などを中心に、人間の視覚機能に迫るビジョンセンシングの研究・教育を行う。 ● ビジョンセンシング、画像意味理解、ステレオ、画像処理、顔画像処理、FA画像処理、ひとの動作理解 (　連携機関名： オムロン（株）技術本部コアテクノロジーセンター ) 　■　生体分子情報学 　教授 　上野　豊 　教授 　福井 　一彦 タンパク質など生体分子の機能とそのメカニズムを探るための、バイオインフォマティクスの手法を研究する。大規模計算機を活用したデータベースからの網羅的な探索、さらに実験的データにおける情報の欠損を補う分子シミュレーションなど、情報工学的な手法により生命科学における知識発見を目指す研究・教育を行う。 ● バイオインフォマティクス、タンパク質、分子間相互作用、分子シミュレーション、単粒子解析、スクリプト言語 (　連携機関名： 独立行政法人産業技術総合研究所 ) 　■　デジタルヒューマン学 　教授 　金出　武雄 　准教授 　加賀美　聡 人間の機能を計算機により再現することを目標に、人間の動作、運動、認知、心理的な機能に着目し、機能の計測、モデル化・提示技術の観点から研究・教育を行う。 ● デジタルヒューマンモデル、人間の運動の理解、ヒューマノイド (　連携機関名： 独立行政法人産業技術総合研究所 ) 　■　放射線機器学 　教授 　飯田　秀博 　准教授 　渡部　浩司 最先端の画像診断機器（PET,SPECT,MRI装置）を利用した組織、細胞、生体分子の機能を正確に観察するための基礎から臨床応用分野の研究・教育を行う。 ● 医用放射線機器、放射線画像処理、PET、MRI、診断支援システム (　連携機関名： 国立循環器病センター研究所 ) ユニバーサルコミュニケーション講座 　■　ナレッジクラスタ 　教授 　田中　克己 　教授 　西尾　章治郎 　教授 　磯崎　秀樹 　教授 　木俵　豊 　准教授 　原　隆浩 　准教授 　是津　耕司 高度情報社会に必要な”ユニバーサルコミュニケーション”の最先端技術の研究・教育を行う。要素技術の高度化と統合的なシステム構築の人材育成の場とします。 ● ナレッジクラスタ（けいはんな連携大学院機構） 　■　ユニバーサルソサイエティ 　教授 　河原　達也 　教授 　八木　康史 　教授 　萩田　紀博 　教授 　中村　篤 　教授 　山﨑　達也 高度情報社会に必要な”ユニバーサルコミュニケーション”の最先端技術の研究・教育を行う。要素技術の高度化と統合的なシステム構築の人材育成の場とします。 ● ユニバーサルソサイエティ （けいはんな連携大学院機構） 　■　高臨場感コミュニケーション 　教授 　美濃　導彦 　教授 　竹村　治雄 　教授 　安藤　広志 高度情報社会に必要な”ユニバーサルコミュニケーション”の最先端技術の研究・教育を行う。要素技術の高度化と統合的なシステム構築の人材育成の場とします。 ● 高臨場感コミュニケーション （けいはんな連携大学院機構） 　■　ユニバーサル対話エージェント 　教授 　西田　豊明 　教授 　岸野　文郎 　教授 　鳥澤　健太郎 　教授 　中村　哲 　教授 　櫻井　保志 高度情報社会に必要な”ユニバーサルコミュニケーション”の最先端技術の研究・教育を行う。要素技術の高度化と統合的なシステム構築の人材育成の場とします。 ● ユニバーサル対話エージェント （けいはんな連携大学院機構）