泉研究室

About研究室について

問題の難しさの本質を、数理で探る。

泉研究室は、分散・並列システムを中心に、多様な計算モデルを対象としたアルゴリズムの設計や解析を研究しています。
計算対象の数理モデル化と理論解析を通して「問題の難しさの本質」を探り、優れたアルゴリズムの設計に生かすことを目指しています。
研究室が取り組む理論計算機科学は、様々な問題に対する計算法の原理を、数学的に証明できる形で解き明かすことを重視する分野です。
研究室に配属された学生は、原則として自分が興味のある対象をテーマに研究します。

Research研究テーマ

理論計算機科学の立場から、計算機が扱いたい現象や問題を数理モデルとして定式化し、効率的なアルゴリズムの考案と理論的な解析、計算の性能限界の解明に取り組んでいます。研究室が強みとして挙げる分野は、分散・並列計算、自律分散ロボット群の数理、グラフアルゴリズム、計算困難問題に対するアルゴリズムです。

※イメージ画像

数学的に証明できるアルゴリズム設計↗

計算の原理を数学的に証明できる形で解き明かす理論計算機科学の研究です。問題の数理モデル化、アルゴリズムの考案と解析、性能限界の解明、共通する困難性への普遍的な解法を扱います。

Voices先輩の声

評価・クチコミは、在籍している（していた）学生個人の経験に基づくもので、研究室の公式見解ではありません。クチコミの有無や件数は、研究室の評価を表すものではありません。

インタビューに協力いただいた学生に、内容にかかわらず謝礼（1,000円分のギフト）をお渡しすることがあります。