応用数理研究部門（河村 彰星）

About关于研究室

何が計算できて、何ができないのか。

計算理論研究室（河村研究室）は、情報処理の方法・効率・限界に関する基礎理論（計算論）を研究しています。
コンピュータの計算でも人間の数学的推論でも、情報処理は有限的な操作からなる手順（アルゴリズム）で表され、それで何ができて何ができないかを探るのが計算理論です。
有用な計算法を設計することと、その限界を調べることの両面から取り組んでいます。
計算理論を中心に、計算機数学や計算機援用証明など、数学と計算機科学の境界領域もテーマにしています。

Research研究课题

情報処理の方法・効率・限界に関する基礎理論を研究しています。有用な計算法の設計とその限界の解明の両面から取り組み、特にこれらの理論を広い数学的対象に適用することに関心を持っています。

※示意图

アルゴリズム工学↗

計算幾何、資源配分、スケジューリングなどの問題について、数理工学的手法で性能・効率のよいアルゴリズムを設計・分析しています。

※示意图

限界の解明（計算量理論）↗

様々な条件の下で、何がどこまで計算できるかという限界を探ります。問題に内在する困難さや知的処理の本質的限界に迫ることを目指します。

※示意图

帰納的解析学↗

実数など連続的な対象や高階の計算も、データに施す処理・操作の内容に着目して計算論的複雑さを調べることができます。

Voices学长学姐的评价

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

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