横内 寛文

理論計算機科学（りろんけいさんきかがく、英語：theoretical computer science）または理論コンピュータ科学は、計算の理論的基礎を研究する学問で、計算機科学の一分野である。計算を数理モデル化して数学的に研究することを特徴としている。「数学的」という言葉は広義には公理的に扱えるもの全てを指すので、理論計算機科学は広義の数学の一分野でもある。理論計算機科学では、チューリングマシンなどの計算モデルを扱う。
この分野のテーマの例を以下に挙げる（特に意図や理由のある選出ではない）。