泉研究室

About关于研究室

用数理方法探究问题困难性的本质。

泉研究室以分布式与并行系统为中心，研究面向多种计算模型的算法设计与分析。
该研究室通过对计算对象进行数学建模和理论分析来探究“问题困难性的本质”，并致力于将其应用于优秀算法的设计。
该研究室所从事的理论计算机科学，是一个重视以可数学证明的形式阐明各类问题计算方法原理的领域。
被分配到该研究室的学生，原则上以自己感兴趣的对象作为课题开展研究。

Research研究课题

该研究室站在理论计算机科学的立场上，将计算机所要处理的现象和问题形式化为数学模型，致力于设计高效算法、进行理论分析，以及阐明计算的性能极限。该研究室列为自身优势的领域有：分布式与并行计算、自主分布式机器人群的数理、图算法，以及针对计算困难问题的算法。

※示意图

可数学证明的算法设计↗

这是一项以可数学证明的形式阐明计算原理的理论计算机科学研究，涉及问题的数学建模、算法的设计与分析、性能极限的阐明，以及针对共通困难性的通用解法。

Voices学长学姐的评价

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

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