研究者総覧「情報知」
情報数理基礎論講座
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 松原 洋 | 教授 | 巨大基数の研究 | 公理的集合論 |
| 佐藤 潤也 | 准教授 | 円分体の理論とBernoulli数の研究 | 類数 L-関数 q-analogue |
| 吉信 康夫 | 教授 | 無限組合せ論と巨大基数公理 | 数学基礎論 公理的集合論 |
情報数理モデル論講座
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 柳浦 睦憲 | 教授 | 組合せ最適化問題に対するメタヒューリスティクスに関する研究 | 組合せ最適化 メタヒューリスティクス 汎用解法 |
| 西村 治道 | 教授 | 量子情報処理の計算理論的側面に関する研究 | 量子計算 計算量理論 |
| ブシェーミ フランチェスコ | 教授 | 量子情報理論における基本原理の研究 | 量子基礎論 量子測定 量子通信 量子計算 |
| 胡 艶楠 | 助教 | 組合せ最適化問題に対する実用的な近似解法の開発 | 組合せ最適化 |
| 岡村 和弥 | 特任助教 | 場の量子論の研究 | 場の量子論 量子測定 統計学 |
計算論講座
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 酒井 正彦 | 教授 | プログラムの意味ってなんだろう | 項書換え系 プログラム変換 定理自動証明 |
情報プラットフォーム論
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 高田 広章 | 教授 | 組込みリアルタイムシステムの設計・開発技術 | 組込みシステム リアルタイム処理 オペレーティングシステム |
| 枝廣 正人 | 教授 | 組込みマルチ・メニーコア向け最適化技術・アルゴリズム・開発環境 | 組込みマルチ・メニーコアプロセッサ 並列ソフトウェア（最適化技術・アルゴリズム・開発環境） |
| 本田 晋也 | 准教授 | マルチプロセッサ組込みシステム向けリアルタイムＯＳと設計自動化技術 | 組込みシステム オペレーティングシステム マルチプロセッサ |
| 松原 豊 | 准教授 | 安全・セキュアな組込みシステムの設計・開発技術 | 組込みシステム リアルタイム処理 安全・セキュアシステム構築技術 |
情報プラットフォーム開発実践論
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 大山 博司 | 客員教授 | 組込みコンポーネントシステム 組込み装置向きプログラミング言語 |
ソフトウェア論講座
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 結縁 祥治 | 教授 | 高信頼ネットワークコンピューティングのための並行計算モデル | 並行計算 通信プロセスモデル プログラム検証 |
| 関 浩之 | 教授 | 言語ベースセキュリティ・プライバシー，弱文脈規定文法とその応用 | 形式言語理論 ソフトウェア基礎論 |
| 山本 修一郎 | 教授 | 知識流通コミュニケーション | ソフトウェア工学 要求工学 エンタープライズアーキテクチャ 知識流通コミュニケーション |
| 西田 直樹 | 准教授 | 関数型言語における逆計算プログラムの自動生成とソフトウェア検証 | 項書換え系 プログラム変換 定理自動証明 |
| 森﨑 修司 | 准教授 | ソフトウェア開発の高度化 | ソフトウェア工学 |
| 中澤 巧爾 | 准教授 | プログラミング言語と論理の対応関係に基づくプログラムの解析と検証 | プログラミング言語の理論 型理論 数理論理学 |
| 濱口 毅 | 助教 | 形式的仕様記述を利用したソフトウェア開発 | 形式的仕様記述 ソフトウェア開発法 プログラム検証 |
| 橋本 健二 | 助教 | 構造化データ変換の自動検証 | 形式言語理論 オートマトン 形式的検証 |
ソフトウェア開発実践論
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 佐藤 守一 | 客員教授 | 自動車の高信頼化技術 | 故障診断 システム検証 セーフティ・セキュリティ解析 |
情報ネットワークシステム論講座
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 村瀬 勉 | 教授 | 高品質な情報ネットワークとQoS・輻輳制御 | 高度情報ネットワーク QoS制御 輻輳制御 通信品質 無線ネットワーク |
| 片桐 孝洋 | 教授 | 高性能計算およびソフトウェア自動チューニングの技術開発 | 高性能計算・コデザイン ソフトウェア自動チューニング 超並列数値計算アルゴリズム |
| 嶋田 創 | 准教授 | 情報基盤システムの消費電力削減によるグリーンコンピューティングの実現 | グリーンコンピューティング 情報ネットワーク 計算機アーキテクチャ |
| 山口 由紀子 | 助教 | 幸せな利用環境の実現 | ネットワーク運用技術 セキュリティ対策技術 |
| 永井 亨 | 助教 | 地球内部不均質媒体中の波動場解析 | 地球物理学 グリッドコンピューティング |
音声映像科学講座
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 村瀬 洋 | 教授 | 映像・画像の認識により視覚機能を増強 | 画像認識 車載映像認識 放送映像認識 |
| 武田 一哉 | 教授 | 音の情報科学 | 音響信号処理 音声・言語情報処理 行動信号処理 |
| 井手 一郎 | 准教授 | 大規模放送映像群の内容理解 | マルチメディアコンテンツ処理 |
| 松原 茂樹 | 教授 | 自然言語のコンピュテーションとコミュニケーション | 自然言語処理 情報検索 デジタル図書館 |
| 竹内 栄二朗 | 准教授 | 認識と行動計画問題の同時解決 | 確率ロボティクス |
| 松本 哲也 | 助教 | 柔軟なマルチメディア情報処理システムの構築 | ニューラルネット 画像処理 パターン認識 |
| 川西 康友 | 助教 | 歩行者を対象とした画像処理 | 人物画像処理 パターン認識 物体検出 |
知能メディア工学講座
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 長尾 確 | 教授 | 知的コンテンツと知的エージェントさらに移動体とロボット | デジタルコンテンツ技術 自然言語処理 エージェント技術 |
| 工藤 博章 | 准教授 | 人間の情報処理機能のモデル化と応用 | 生体機能計測・応用 ヒューマンインタフェース |
| 小田 昌宏 | 助教 | ナビゲーション診断に基づく大腸がん診断支援システムの開発 | 医用画像処理 パターン認識 計算機支援診断 計算機支援治療 |
認知情報論講座
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 三輪 和久 | 教授 | 発見と創造に関する認知科学的研究 | 認知モデル 認知心理学 学習支援システム |
| 川合 伸幸 | 教授 | ヒトの心の輪郭 | 実験心理学 認知科学 比較認知科学 |
| 光松 秀倫 | 助教 | 意図的行為と環境変化の因果性知覚に関する実験心理学的研究 | 実験心理学 環境知覚 意図的行為 |
メディア表現論講座
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 小林 哲生 | 客員准教授 | こどもの言語発達・認知発達 | 実験心理学 発達認知科学 心理言語学 |
情報メディア空間構成論講座
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 戸田 智基 | 教授 | 不可能を可能とする音情報処理 | 音声情報処理 音メディア信号処理 コミュニケーション支援・拡張 |
| 大平 茂輝 | 助教 | マルチメディアコンテンツの半自動的構造化と知的応用 | マルチメディアコンテンツ処理 音声言語処理 情報検索 |
協力教員
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 森 健策 | 教授 | 高次元画像処理手法の開発とその医用画像への応用 | 画像処理 可視化 医用画像処理 |
| 出口 大輔 | 准教授 | 気管支鏡ナビゲーションシステムの開発 | 画像処理 パターン認識 物体検出 ITS |
| 石黒 祥生 | 特任准教授 | コンピュータによる人間の能力拡張 | ヒューマンコンピュータインタラクション 画像処理 |
リーディング大学院担当
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 鈴木 一克 | 特任助教 | 自由視点映像生成技術に関する研究 | 画像処理 自由視点映像 |
多自由度システム情報論講座
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 杉山 雄規 | 教授 | 多体系動力学の数理物理的研究 | 多体系動力学の数理物理的研究 |
| 谷村 省吾 | 教授 | 量子力学・情報理論・幾何学・力学系理論・統計力学 | 量子力学 物理学における幾何学的方法 |
| 時田 恵一郎 | 教授 | 複雑に相互作用するたくさんの「もの」の集まりをどう理解し制御するか？ | 統計物理学，数理生物学，多様性の科学 |
| 中村 泰之 | 准教授 | マルチエージェントゲームの理論とシミュレーション | ｅラーニング 統計物理学 経済物理学 |
物質情報論講座
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 古賀 伸明 | 教授 | 分子の電子状態と化学反応の量子化学研究 | 計算量子化学 |
| 長岡 正隆 | 教授 | 物質の変化を計算科学する！- 理論的理解とヴィジュアル理解 - | 理論化学 計算科学 非平衡現象学 |
| 張 賀東 | 准教授 | ナノワールドを観る、楽しむ | ナノ物理現象のシミュレーション ナノ計測 ナノトライボロジー |
| 井内 哲 | 助教 | 溶液内における分子ダイナミックスの理論研究 | 理論化学 計算化学 |
創発システム論講座
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 有田 隆也 | 教授 | 人工生命：生命性／社会性の起源と進化へのアプローチ | 人工生命 複雑系科学 人間行動の進化的理解 |
| 北 栄輔（英輔） | 教授 | コンピュータシミュレーションが拓く豊かな社会 | 計算科学 マルチエージェント 金融・経済 ベイジアンネットワーク |
| 永峰 康一郎 | 准教授 | 自然および人間環境に存在する各種情報の抽出と解析 | 地球化学 画像解析 地図学 |
| 鈴木 麗璽 | 准教授 | 創ってわかる創発的ダイナミクス | 人工生命 エージェントベースモデリング 進化的計算手法 |
| 笹原 和俊 | 講師 | コミュニケーションの複雑系科学 | 人工生命 情報行動学 複雑系 |
複雑系計算論講座
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 畔上 秀幸 | 教授 | モデリングと最適化の数理 | 応用数理 数理設計 形状最適化 バイオメカニクス |
| 大岡 昌博 | 教授 | ヒトの感覚機能の模型化とロボティクスへの応用 | ロボット工学 センサ・アクチュエータ 心理物理学 |
| 渡邉 崇 | 教授 | 物質の流れと情報の流れの複雑現象を解明する | 流れの情報学 計算流体力学 画像解析 |
| 鈴木 泰博 | 准教授 | ハーネスの科学 | 自然計算 ハーネスの科学 複雑系 システム生物学 計算美学 |
情報可視化論講座
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 内山 知実 | 教授 | 複雑流動現象の先進的数値シミュレーション | 計算流体力学 混相流工学 |
| 安田 耕二 | 准教授 | 巨大分子の理論化学シミュレーション | 量子化学 生体関連分子 専用計算機 |
| 新美 倫子 | 准教授 | 人間と環境のつきあい －過去から現在、未来へ－ | 環境考古学 動植物遺存体 |
知識社会システム論講座
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 間瀬 健二 | 教授 | マルチメディアコミュニケーション工学の研究 | 対話支援 状況処理・理解 ユビキタスインタフェース |
| 石川 佳治 | 教授 | 大規模かつ動的なデータを扱うデータベース技術 | データベース データ工学 ウェブ情報システム |
| 榎堀 優 | 助教 | 日常・生活・活動に融和する情報システムの研究 | ユビキタス ウェアラブル 技能解析･習得･指導支援 医療･看護支援 |
電子社会設計論講座
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 安田 孝美 | 教授 | 生活者視点に立った電子社会の設計 | 電子社会設計論 メディア社会論 社会情報学 |
| 遠藤 守 | 准教授 | 情報通信技術（ICT）の社会応用 | メディア情報学 社会情報学 |
情報創造論講座
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 戸田山 和久 | 教授 | 科学と技術と社会をフィールドにした生きた哲学の研究 | 科学哲学 科学技術社会論 技術者倫理 |
| 秋庭 史典 | 准教授 | 芸術作品の研究から人間の情報理解の特徴を引き出す | 美学と科学の恊働 人工物によるコミュニケーション誘発 身体論 |
| 小池 直人 | 准教授 | 北欧型福祉国家おける情報概念と政治的・社会的紐帯の比較研究 | 社会文化論 社会哲学 北欧思想史 |
| 久木田 水生 | 准教授 | 数学の哲学，言語哲学，技術哲学，技術倫理 | 哲学 倫理学 |
情報社会基盤環境論講座
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 外山 勝彦 | 教授 | 知識情報と言語情報の統合と応用 | 知識情報処理 自然言語処理 法情報処理 |
| 小川 泰弘 | 准教授 | 自然言語処理による多言語情報共有 | 自然言語処理 機械翻訳 法律情報処理 |
協力教員
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 加藤 芳秀 | 准教授 | 自然言語処理 データマイニング 情報検索 |
附属組込みシステム研究センター
| 氏名 | 職名 | 研究テーマ | 研究分野 |
|---|---|---|---|
| 高田 広章 | センター長 / 教授 | 組込みリアルタイムシステムの設計・開発技術 | 組込みシステム リアルタイム処理 オペレーティングシステム |
| 山本 雅基 | ディレクタ / 特任教授 | 組込みソフトウェア技術者に対する教育手法と教育評価 | 組込みソフトウェア 教育評価 |
| 坂本 直史 | 特任教授 | 組込みシステムの設計・開発技術 | 組込みシステム 自動車用SPF開発 |
| 吉田 則裕 | 准教授 | ソースコード解析技術を応用したソフトウェア開発支援 | ソフトウェア工学 |
| 高嶋 博之 | 特任准教授 | 組込みソフトウェア技術者の生産性の向上／自動車用SPFの開発 | 技術経営 組込みシステム イノベーション 生産性 |
| 倉地 亮 | 特任准教授 | 次世代車載LANに関する研究 |
