情報数理基礎論講座

氏名	職名	研究テーマ	研究分野
安本 雅洋	教授	超準モデルとその計算量理論への応用	数理論理学 超準モデル 多項式時間計算量
松原 洋	教授	巨大基数の研究	公理的集合論
神保 雅一	教授	離散数学とその統計的データ解析、情報通信への応用	離散数学 統計学 離散数学の情報通信などへの応用
佐藤 潤也	准教授	円分体の理論とBernoulli数の研究	類数 L-関数 q-analogue
吉信 康夫	准教授	無限組合せ論と巨大基数公理	数学基礎論 公理的集合論
澤 正憲	助教	二次形式と高次形式、立体求積公式、最適実験計画法	代数的組合せ論、統計的実験計画、数値解析、グラフ理論

情報数理モデル論講座

氏名	職名	研究テーマ	研究分野
小澤 正直	教授	量子情報の研究	数理物理学 数理論理学 科学基礎論 量子情報 量子計算 量子測定 量子集合論 量子基礎論
柳浦 睦憲	教授	組合せ最適化問題に対するメタヒューリスティクスに関する研究	組合せ最適化 メタヒューリスティクス 汎用解法
金森 敬文	准教授	機械学習・統計学とデータ解析	機械学習 数理統計学 最適化
西村　治道	准教授	量子情報処理の計算理論的側面に関する研究	量子計算，計算量理論

計算論講座

氏名	職名	研究テーマ	研究分野
平田 富夫	教授	近似アルゴリズムに関する研究	グラフアルゴリズム 近似アルゴリズム 近似困難性
酒井 正彦	教授	プログラムの意味ってなんだろう	項書換え系 プログラム変換 定理自動証明
草刈 圭一朗	准教授	プログラム自動検証	定理自動証明 プログラム検証 計算モデル
橋本　英樹	助教	組合せ最適化問題に対する効率的なアルゴリズムの研究	組合せ最適化 アルゴリズム スケジューリング オペレーションズリサーチ

協力教員

氏名	職名	研究テーマ	研究分野
ブシェーミ　フランチェスコ	特任准教授	量子情報理論における基本原理の研究	量子基礎論、量子測定、量子通信、量子計算

情報プラットフォーム論

氏名	職名	研究テーマ	研究分野
高田 広章	教授	組込みリアルタイムシステムの設計・開発技術	組込みシステム リアルタイム処理 オペレーティングシステム
宮尾 克	教授	人間中心指向のモバイル・ネットワーク技術	人間工学 ユーザビリティ バーチャルリアリティ 公衆衛生学 災害情報学
枝廣　正人	教授	組込みマルチ・メニーコア向け最適化技術・アルゴリズム・開発環境	組込みマルチ・メニーコアプロセッサ 並列ソフトウェア（最適化技術・アルゴリズム・開発環境）
加藤　真平	准教授	並列分散システム	並列分散システム サイバーフィジカルシステム オペレーティングシステム

ソフトウェア論講座

氏名	職名	研究テーマ	研究分野
坂部 俊樹	教授	高品質ソフトウェアの構築技術	プログラムの仕様記述 検証 自動生成
結縁 祥治	教授	高信頼ネットワークコンピューティングのための並行計算モデル	並行計算 通信プロセスモデル プログラム検証
西田 直樹	准教授	関数型言語における逆計算プログラムの自動生成とソフトウェア検証	項書換え系，プログラム変換，定理自動証明
寺内　多智弘	准教授	プログラム解析とプログラム検証	プログラミング言語
濱口 毅	助教	形式的仕様記述を利用したソフトウェア開発	形式的仕様記述 ソフトウェア開発法 プログラム検証

ソフトウェア開発実践論

氏名	職名	研究テーマ	研究分野
中元 秀明	客員准教授	ビジネスオブジェクトによる情報システム開発	要求分析 部品化・再利用 Webシステム開発技術

情報ネットワークシステム論講座

氏名	職名	研究テーマ	研究分野
石井 克哉	教授	計算流体力学、並列計算環境の研究	様々な流体現象のシミュレーション 大規模並列計算 グリッドコンピューティング
高倉　弘喜	教授	情報セキュリティ	情報セキュリティ ネットワークセキュリティ 高機能ネットワーク 次世代ネットワーク
荻野　正雄	准教授	超並列計算環境向け数値解析技術	計算力学 並列計算 大規模構造解析
山口 由紀子	助教	幸せな利用環境の実現	ネットワーク運用技術 セキュリティ対策技術 音声言語処理
永井 亨	助教	地球内部不均質媒体中の波動場解析	地球物理学 グリッドコンピューティング

協力教員

氏名	職名	研究テーマ	研究分野
山本 修一郎	教授	知識流通コミュニケーション	ソフトウェア工学，要求工学，エンタープライズアーキテクチャ，知識流通コミュニケーション

音声映像科学講座

氏名	職名	研究テーマ	研究分野
村瀬 洋	教授	映像・画像の認識により視覚機能を増強	画像認識 車載映像認識 放送映像認識
武田 一哉	教授	音の情報科学	音響信号処理 音声・言語情報処理 行動信号処理
井手 一郎	准教授	大規模放送映像群の内容理解	マルチメディアコンテンツ処理
北岡 教英	准教授	機械による音声の認識	音声認識 音声対話
松原 茂樹	准教授	自然言語のコンピュテーションとコミュニケーション	自然言語処理 情報検索 デジタル図書館
松本 哲也	助教	柔軟なマルチメディア情報処理システムの構築	ニューラルネット 画像処理 パターン認識
宮島 千代美	助教	人の声と動きのモデル化	運転行動信号処理，音声信号処理

知能メディア工学講座

氏名	職名	研究テーマ	研究分野
大西 昇	教授	脳を知り、脳を創り、脳を助ける	視聴覚情報処理 ロボットの目と耳 福祉工学
長尾 確	教授	知的コンテンツと知的エージェントさらに移動体とロボット	デジタルコンテンツ技術 自然言語処理 エージェント技術
工藤 博章	准教授	人間の情報処理機能のモデル化と応用	生体機能計測・応用 ヒューマンインタフェース
小田 昌宏	助教	ナビゲーション診断に基づく大腸がん診断支援システムの開発	医用画像処理 パターン認識 計算機支援診断 計算機支援治療

認知情報論講座

氏名	職名	研究テーマ	研究分野
齋藤 洋典	教授	人の認知と行為の意味を探る：「わかること」と「できること」、両者の統合と支援に向けて	脳・意味 言語・記憶・感情 行為・支援
三輪 和久	教授	発見と創造に関する認知科学的研究	認知モデル 認知心理学 学習支援システム
川合 伸幸	准教授	ヒトの心の輪郭	実験心理学 認知科学 比較認知科学
寺井　仁	特任准教授	洞察問題解決過程に関する認知科学的研究	認知科学 問題解決 洞察問題解決 情報探索行動
光松 秀倫	助教	意図的行為と環境変化の因果性知覚に関する実験心理学的研究	実験心理学 環境知覚 意図的行為

メディア表現論

氏名	職名	研究テーマ	研究分野
中岩 浩巳	客員教授	言語文脈理解技術：文脈を踏まえて自然言語をコンピュータに理解させるための機構・資源・翻訳	自然言語理解 意味辞書 機械翻訳
中谷 智広	客員准教授	音声コミュニケーションシーンからの音による情報抽出	音によるシーン分析 音声強調 統計的信号処理

情報メディア空間構成論講座

氏名	職名	研究テーマ	研究分野
大平 茂輝	助教	マルチメディアコンテンツの半自動的構造化と知的応用	マルチメディアコンテンツ処理 音声言語処理 情報検索

協力教員

氏名	職名	研究テーマ	研究分野
森 健策	教授	高次元画像処理手法の開発とその医用画像への応用	画像処理 可視化 医用画像処理
出口 大輔	准教授	気管支鏡ナビゲーションシステムの開発	画像処理 パターン認識 物体検出 ITS

多自由度システム情報論講座

氏名	職名	研究テーマ	研究分野
杉山 雄規	教授	多体系動力学の数理物理的研究	多体系動力学の数理物理的研究
谷村　省吾	教授	量子力学・情報理論・幾何学・力学系理論・統計力学	量子力学 物理学における幾何学的方法
時田　恵一郎	教授	複雑に相互作用するたくさんの「もの」の集まりをどう理解し制御するか？	統計物理学，数理生物学，多様性の科学
中村 泰之	准教授	マルチエージェントゲームの理論とシミュレーション	ｅラーニング 統計物理学 経済物理学

物質情報論講座

氏名	職名	研究テーマ	研究分野
古賀 伸明	教授	分子の電子状態と化学反応の量子化学研究	計算量子化学
長岡 正隆	教授	物質の変化を計算科学する！- 理論的理解とヴィジュアル理解 -	理論化学 計算科学 非平衡現象学
張 賀東	准教授	ナノワールドを観る、楽しむ	ナノ物理現象のシミュレーション ナノ計測 ナノトライボロジー
井内　哲	助教	溶液内における分子ダイナミックスの理論研究	理論化学 計算化学
高柳 昌芳	特任助教	光励起ミオグロビンの振動緩和経路に関する理論的研究	計算化学 理論化学

生命情報論講座

氏名	職名	研究テーマ	研究分野
太田 元規	教授	構造バイオインフォマティクス・システムバイオロジー	タンパク質の立体構造 複合体形成 相互作用ネットワーク
吉田 久美	教授	生命情報を最前線で担う有機分子の構造と機能の解明	天然物化学 生物有機化学 植物科学
青木 摂之	准教授	情報分子の相互作用による生命機能の生成と創出	生物リズム 遺伝子ネットワーク 分子生物学
塚本 眞幸	助教	核酸合成の方法論の開拓と機能性核酸の創製	核酸有機化学 有機合成化学 有機金属化学
小池 亮太郎	助教	データベースを用いた蛋白質の構造・機能解析	構造バイオインフォマティクス 生物物理学

創発システム論講座

氏名	職名	研究テーマ	研究分野
有田 隆也	教授	人工生命：生命性／社会性の起源と進化へのアプローチ	人工生命 複雑系科学 人間行動の進化的理解
北 栄輔（英輔）	教授	コンピュータシミュレーションが拓く豊かな社会	計算科学 マルチエージェント 金融・経済 ベイジアンネットワーク
永峰 康一郎	准教授	自然および人間環境に存在する各種情報の抽出と解析	地球化学 画像解析 地図学
鈴木 麗璽	准教授	創ってわかる創発的ダイナミクス	人工生命 エージェントベースモデリング 進化的計算手法
笹原　和俊	助教	コミュニケーションの複雑系科学	人工生命 情報行動学 複雑系

複雑系計算論講座

氏名	職名	研究テーマ	研究分野
畔上 秀幸	教授	モデリングと最適化の数理	応用数理 数理設計 形状最適化 バイオメカニクス
大岡 昌博	教授	ヒトの感覚機能の模型化とロボティクスへの応用	ロボット工学 センサ・アクチュエータ 心理物理学
渡邉 崇	教授	物質の流れと情報の流れの複雑現象を解明する	流れの情報学 計算流体力学 画像解析
鈴木 泰博	准教授	ハーネスの科学	自然計算 ハーネスの科学 複雑系 システム生物学 計算美学

情報可視化論講座

氏名	職名	研究テーマ	研究分野
内山 知実	教授	複雑流動現象の先進的数値シミュレーション	計算流体力学 混相流工学
新美　倫子	准教授	人間と環境のつきあい －過去から現在、未来へ－	環境考古学 動植物遺存体
安田 耕二	准教授	巨大分子の理論化学シミュレーション	量子化学 生体関連分子 専用計算機

知識社会システム論講座

氏名	職名	研究テーマ	研究分野
石川 佳治	教授	大規模かつ動的なデータを扱うデータベース技術	データベース データ工学 ウェブ情報システム
間瀬 健二	教授	マルチメディアコミュニケーション工学の研究	対話支援 状況処理・理解 ユビキタスインタフェース
加藤 ジェーン	准教授	映像の認識・理解による人間の社会活動の支援	コンピュータビジョン パターン認識 機会学習 データマイニング

電子社会設計論講座

氏名	職名	研究テーマ	研究分野
安田 孝美	教授	生活者視点に立った電子社会の設計	電子社会設計論 メディア社会論 社会情報学
茂登山 清文	教授	電子社会におけるヴィジュアルコミュニケーション	情報デザイン メディアとアート ヴィジュアルリテラシー

情報創造論講座

氏名	職名	研究テーマ	研究分野
米山 優	教授	単子論（モナドロジー）的な考え方を出発点にした、情報に関する哲学的・美学的研究	情報学 ライプニッツ研究 モナドロジーの美学
戸田山 和久	教授	科学と技術と社会をフィールドにした生きた哲学の研究	科学哲学 科学技術社会論 技術者倫理
秋庭 史典	准教授	芸術作品の研究から人間の情報理解の特徴を引き出す	美学と科学の恊働、人工物によるコミュニケーション誘発、身体論
小池 直人	准教授	北欧型福祉国家おける情報概念と政治的・社会的紐帯の比較研究	社会文化論 社会哲学 北欧思想史

情報社会基盤環境論講座

氏名	職名	研究テーマ	研究分野
外山 勝彦	教授	知識情報と言語情報の統合と応用	知識情報処理 自然言語処理 法情報処理
小川 泰弘	准教授	自然言語処理による多言語情報共有	自然言語処理 機械翻訳 法律情報処理

氏名	職名	研究テーマ	研究分野
高田 広章	センター長 / 教授	組込みリアルタイムシステムの設計・開発技術	組込みシステム リアルタイム処理 オペレーティングシステム
山本 雅基	ディレクタ / 特任教授	組込みソフトウェア技術者に対する教育手法と教育評価	組込みソフトウェア 教育評価
本田 晋也	准教授	マルチプロセッサ組込みシステム向けリアルタイムＯＳと設計自動化技術	組込みシステム オペレーティングシステム マルチプロセッサ
松原 豊	助教	時間保護機能をもつ組込みシステム向けリアルタイムOSに関する研究
倉地 亮	特任助教	次世代車載LANに関する研究