Shorによる素因数分解量子アルゴリズム、およびGroverによる量子探索アルゴリズムは最も知られている量子アルゴリズムですが、他にも様々な量子アルゴリズムが開発されてきました。（興味のある方は是非Quantum Algorithm Zooをご覧ください）
我々のグループの目標は、新しい量子アルゴリズムを発見し、量子コンピュータのキラーアプリケーションを見出すことです。
また、数学的な手法を用いて、量子アルゴリズムの優位性を理論的に証明することです。
量子計算量理論（量子複雑性理論）の中核的な問は、量子計算が古典計算を凌駕する理由を究明し、その量子優位性を定量化することです。我々のグループでは、様々な設定でその問に取り組んでいます。特に、時間計算量、領域計算量、クエリー計算量、および通信計算量といった設定で、量子計算量理論の研究を行っています。
