泉研究室

About关于研究室

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

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

Research研究课题

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

※示意图

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

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

Voices学长学姐的评价

评价基于在读（或曾在读）学生的个人经历，不代表研究室官方观点。评价的有无或数量不代表对研究室的评价。

对于接受采访的学生，无论内容如何，我们可能会赠送谢礼（价值1,000日元的礼品）。