本文へジャンプ

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

研究室一覧

(平成26年10月)

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

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

平木研究室
平木敬 教授

研究室の基本テーマは計算の高速化であり、ハードウェア、アーキテクチャ、基本ソフトウェア、プログラミング言語、アルゴリズム、アプリケーションなど計算機が関わる全ての側面から、高速化の研究をすすめています。

  1. 計算機を非常に多数並列に動作させて 高速性を達成する並列分散計算機システム
  2. 並列度の高い超並列分散計算システム
萩谷研究室
萩谷昌己 教授 / 角谷良彦 助教

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

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

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

五十嵐研究室
五十嵐健夫 教授

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

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

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

  1. 教師付き学習,教師なし学習,強化学習などの基礎理論
  2. 教師付き学習,教師なし学習,強化学習などの実用的なアルゴリズム
  3. 機械学習技術の産業・自然科学への応用
高橋研究室
高橋成雄 准教授
コンピュータグラフィックスの技術を用いて、形状を処理(設計・解析・可視化)するためのさまざまなモデリング手法の開発を行っている。最近の研究テーマは次の通り。
  1. 3次元形状処理: 3次元メッシュ・メッシュレス処理、形状モーフィング・3次元形状電子透かし
  2. ボリューム可視化: サイエンテフィックビジュアリゼーション、ボリューム特徴解析など
  3. 物体の最適視点計算と新しい投影法の構築: 形状特徴を考慮にいれた視点計算、手描き風案内図自動生成など
吉本研究室
吉本芳英 准教授

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

蓮尾研究室
蓮尾一郎 講師

計算機科学に現れる諸現象を数学のことば(とくに圏論,数理論理学)を用いて記述することで,より良い理解と同時に応用上の新手法をめざす.応用例は:システムの形式検証,情報セキュリティ,量子計算,ハイブリッド・システムなど.

その他の研究室

宮野研究室(医科学研究所)
宮野悟 教授 / 井元清哉 准教授
DNA情報解析、計算量理論、機械学習と発見
中井研究室(医科学研究所)
中井謙太 教授
ゲノム情報科学、DNA配列情報解析、遺伝子機能予測
渋谷研究室(医科学研究所)
渋谷哲朗 准教授 / 山口類 講師
ゲノム解析、アルゴリズム論
池内研究室(情報学環)
池内克史 教授
コンピュータビジョン
清水研究室(農学生命科学研究科)
清水謙多郎 教授
生物情報工学、並列・分散コンピューティング
本位田研究室(国立情報学研究所)
本位田真一 教授
マルチエージェント
高野研究室(国立情報学研究所)
高野明彦 教授
ソフトウェア研究、プログラミング技法
相澤研究室(国立情報学研究所)
相澤彰子 教授
テキストメディア・知識処理