应用数理研究部门（河村 彰星）

About关于研究室

什么可以计算，什么不能计算。

计算理论研究室（河村研究室）研究关于信息处理的方法、效率与极限的基础理论（计算论）。
无论是计算机的计算，还是人类的数学推理，信息处理都可以用由有限操作构成的步骤（算法）来表示，而探究借此能做到什么、做不到什么，就是计算理论。
该研究室从设计有用的计算方法和探究其极限这两个方面开展研究。
该研究室以计算理论为中心，也将计算机数学、计算机辅助证明等数学与计算机科学的交叉领域作为研究课题。

Research研究课题

研究关于信息处理的方法、效率与极限的基础理论。从设计有用的计算方法和阐明其极限这两个方面入手，尤其关注将这些理论应用于广泛的数学对象。

※示意图

算法工程↗

针对计算几何、资源分配、调度等问题，运用数理工程方法设计并分析性能优良、效率高的算法。

※示意图

极限的阐明（计算复杂性理论）↗

在各种条件下，探究什么能够计算、能计算到何种程度，即计算的极限。目标是逼近问题内在的困难性以及智能处理的本质极限。

※示意图

递归分析↗

对于实数等连续对象以及高阶计算，也可以着眼于对数据施加的处理与操作的内容，研究其计算复杂度。

Voices学长学姐的评价

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

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