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

About研究室について

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

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

Research研究テーマ

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

※イメージ画像

アルゴリズム工学↗

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

※イメージ画像

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

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

※イメージ画像

帰納的解析学↗

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

Voices先輩の声

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

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