抄録
計算複雑さの理論の研究についての解説．計算複雑さの理論は計算機科学の一分野であり，ソフトウェアの基盤であるアルゴリズムの設計の基礎理論でもある．しかし，ソフトウェアの開発などからは少し離れた研究分野でもある．この解説では，この近くて遠い計算複雑さの理論に親しみを持って頂くために，この分野の研究者たちは日々どんな研究をしているのか，という観点からの紹介を試みる．計算複雑さを研究する意義，この分野の重要なテーマであるP ≠ NP予想やその解決の難しさ，そして，この課題にどのように挑んでいるかを具体的な研究例を紹介しながら解説する．
