KV

教員/研究室

Lab. / Members

研究室一覧

Laboratories

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

(2022年4月)

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

  1. アルゴリズムの設計と解析、特に幾科学的なアルゴリズムとその計算代数への展開、システム解析も含めた離算システム論・最適化

  2. このアルゴリズム研究を踏まえて、 計算生物学・データベース・地理情報システム・カーナビ・ 知識発見など新たな分野にインパクトを与えること

  3. 量子計算・量子情報科学

数値アルゴリズムをテーマの基本にすえ、並列・分散・ネットワーク計算や物理などの応用シミュレーションと関連付けながら、主に高速・高性能をめざす研究を行っている。

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

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

  1. 3次元グラフィクスを手軽に生成・利用できるような インタラクション手法の研究

  2. 手書きの自由度を生かしたペン入力インタフェースに関する研究

  3. 膨大な情報空間を効率よく取り扱うためのインタフェースの研究

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

  1. 教師付き学習、教師なし学習,強化学習などの基礎理論

  2. 教師付き学習、教師なし学習,強化学習などの実用的なアルゴリズム

  3. 機械学習技術の産業・自然科学への応用

本研究室では、以下の研究テーマを中心に、自然言語処理・計算言語学の研究を行なっています。

  1. 自然言語の計算論的モデルや基礎解析技術:統語論・意味論、構文解析、意味解析など

  2. 自然言語処理の応用:機械翻訳、質問応答、対話システムなど

  3. 自然言語と他メディア(画像・映像、数値データなど)をつなぐグラウンディング

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

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

コンピュータアーキテクチャを中心に、FPGAや専用ハードウェアによるカスタムコンピューティング、機械学習処理などの計算対象アルゴリズムとハードウェアの協調設計、ハードウェア設計を支援する高位合成コンパイラなど、高効率で楽しい次世代コンピュータに関する研究を進めます。

本研究室では、機械学習に関する以下のテーマを研究しています.

予測の不確実性の定量化,データの特徴表現の学習,人とのインタラクションに基づく学習,偏りのある学習データからの学習,深層学習を含む学習の理論解析.

また応用として,医療分野での分析・支援システムの開発を行っています.

本研究室では、画像処理や時空間データ解析の研究を行なっています。特に以下のテーマに取り組んでいます。

  1. 画像処理:超解像、画像修復、ノイズ除去、圧縮センシング画像再構成、画像合成

  2. 時空間データ解析:意味的領域分割、変化検出・認識、信号源分離

  3. 画像処理と時空間データ解析の応用:災害状況把握、環境モニタリング

本研究室では、機械学習と記号論理の融合をベースとして、「より人間のように自然言語の意味を理解する自然言語処理技術」を目指して、以下のトピックを中心に計算言語学・自然言語処理の研究に取り組んでいます。

  1. 統計的言語処理技術の学際的・多面的な分析

  2. 意味解析・自然言語推論の基礎・応用技術

その他の研究室

中井研究室(医科学研究所)

ゲノム情報科学、DNA配列情報解析、遺伝子機能予測

井元•片山研究室(医科学研究所)

ゲノム統計科学、レセプト情報解析

朴研究室(医科学研究所)

生命情報、計算知能

渋谷研究室(医科学研究所)

ゲノム解析、アルゴリズム論

並列アーキテクチャ、並列プログラミング言語、サイバーフィジカルシステムのアーキテクチャ

清水研究室(農学生命科学研究科)

生物情報工学、並列・分散コンピューティング

相澤研究室(国立情報学研究所)

テキストメディア・知識処理

佐藤研究室(国立情報学研究所)

コンピュータビジョン、コンピューテーショナルフォトグラフィー、画像解析、反射解析、医療画像処理

河原林研究室(国立情報学研究所)

アルゴリズム、離散数学、理論計算機科学