研究者紹介

小さい頃から宇宙や素粒子といった根源的な対象に興味を持ち、科学者となることを夢見てきました。現在は、計算機によって計算可能なものと計算不可能なものを理論的に明らかすることで、計算と知能の本質に迫ることに興味があります。特に、計算の限界を数学的に証明することで、ある特定の問題がどんな上手い工夫を施しても速く解けないことを裏づけ、算法設計の向上に対する恒久的に無駄な努力を省くことができます。そのために、論理式という根源的な計算模型に対してその構造的複雑さを議論し、それ以上その基本素子の数を小さくできないといった限界（下界）を証明する技術を線形計画法の理論の考えを活用しながら構築していきます。