本文へジャンプ

教員/研究室
  • HOME
  • 教員/研究室
  • 研究室一覧

研究室一覧

(平成30年4月)

情報理工学系研究科コンピュータ科学専攻に所属する研究室および教員の紹介です。

理学部七号館周辺の研究室

萩谷研究室
萩谷昌己 教授 / 福永津嵩 助教

本研究室では、論理学をベースとして、新しい計算モデルの提案、各種計算モデルの解析や検証、そのためのツールの設計と実装などを行っています。主としてソフトウェアやプログラミング言語を対象としていますが、電子計算機から成る計算システム以外に、分子系や生物系も研究の対象としており、特に現在は分子コンピューティングの研究も行っています。

今井研究室
今井浩 教授 / 平石秀史 助教
  1. アルゴリズムの設計と解析、 特に幾何学的なアルゴリズムとその計算代数への展開、 システム解析も含めた離散システム論・最適化
  2. このアルゴリズム研究を踏まえて、 計算生物学・データベース・地理情報システム・カーナビ・ 知識発見など新たな分野にインパクトを与えること
  3. 量子計算・量子情報科学
須田研究室
須田礼仁 教授 / 松本正晴 特任講師
数値アルゴリズムをテーマの基本にすえ、並列・分散・ネットワーク計算や物理などの応用シミュレーションと関連付けながら、主に高速・高性能をめざす研究を行っている。
小林研究室
小林直樹 教授 / 塚田武志 助教

本研究室では、ソフトウェアの基礎理論およびそのプログラミング言語、プログラム検証、プログラム変換などへの応用について研究しています。最近は特に高階モデル検査に基づくプログラムの自動検証手法の研究に力をいれています。

五十嵐研究室
五十嵐健夫 教授 / 福里司 助教

コンピュータアプリケーションを使いやすくするためのユーザインタフェースの研究を行っている。特に以下の研究を行っている。

  1. 3次元グラフィクスを手軽に生成・利用できるような インタラクション手法の研究
  2. 手書きの自由度を生かしたペン入力インタフェースに関する研究
  3. 膨大な情報空間を効率よく取り扱うためのインタフェースの研究
杉山研究室
杉山将 教授 / 佐藤一誠 講師 / 本多淳也 講師

本研究室では,機械学習に関する様々な研究を行っています.

  1. 教師付き学習,教師なし学習,強化学習などの基礎理論
  2. 教師付き学習,教師なし学習,強化学習などの実用的なアルゴリズム
  3. 機械学習技術の産業・自然科学への応用
吉本研究室
吉本芳英 准教授

計算科学はコンピュータの指数関数的発展とともに発展してきた実験、理論につづく新しい科学のアプローチです。本研究室では第一原理電子状態計算を核として計算科学と計算機科学の境界領域の教育研究を行ないます。

加藤研究室
加藤真平 准教授

本研究室では、オペレーティングシステム、リアルタイムシステム、並列分散システムに関する研究を行っています。特にメニーコアCPU、GPGPU、FPGA等を統合したヘテロジニアスコンピューティング環境に対するリソース管理に取り組んでいます。それらのプロセッサの特徴を活かした並列処理や性能解析もテーマにしています。アプリケーションとしては、自動運転車や高精度3次元地図、オンライン機械学習フレームワークの開発を行っています。

國廣研究室
國廣昇 准教授

本研究室では,暗号理論および情報セキュリティについて研究を行っています.特に,代数学をはじめとする数学的な理論,計算量理論を道具として用い,証明可能安全な暗号方式の提案,高機能暗号の提案,および安全性解析の研究に力を入れています.

その他の研究室

宮野研究室(医科学研究所)
宮野悟 教授 / 山口類 准教授
DNA情報解析、計算量理論、機械学習と発見
中井研究室(医科学研究所)
中井謙太 教授 / Ashwini Patil 講師
ゲノム情報科学、DNA配列情報解析、遺伝子機能予測
井元研究室(医科学研究所)
井元清哉 教授
ゲノム統計科学、マイクロアレイデータ解析
渋谷研究室(医科学研究所)
渋谷哲朗 准教授
ゲノム解析、アルゴリズム論
中田研究室(ソーシャルICT研究センター)
中田登志之 教授
並列アーキテクチャ、並列プログラミング言語、サイバーフィジカルシステムのアーキテクチャ
清水研究室(農学生命科学研究科)
清水謙多郎 教授
生物情報工学、並列・分散コンピューティング
高野研究室(国立情報学研究所)
高野明彦 教授
ソフトウェア研究、プログラミング技法
相澤研究室(国立情報学研究所)
相澤彰子 教授
テキストメディア・知識処理