理論計算機科学
とは
計算機を理論的に研究する学問で、計算機科学の一分野
コンピュータサイエンス（CS）との関係性
一言で言うと、CSは理論計算機科学の応用であり、理論計算機科学はコンピュータサイエンスの基盤となる理論的な枠組み
CSは、コンピュータや計算機システムを理解し、設計・開発・応用するための学問です。コンピュータサイエンスは広範で多様なトピックを含み、プログラミング、データ構造、アルゴリズム、ソフトウェアエンジニアリング、データベース、人工知能、ネットワーキング、セキュリティなど、さまざまな分野にわたります。コンピュータサイエンスは実際のシステムの設計やソフトウェア開発など、実用的な側面に重点を置くことがあります。
一方、理論計算機科学は、コンピュータサイエンスの中でも理論的な側面に特化しています。理論計算機科学は、アルゴリズム、計算理論、計算可能性、計算複雑性、形式言語、自動言語処理など、計算と情報処理の理論的な側面に焦点を当てています。理論計算機科学は、問題の難しさや計算可能性についての理論的な分析や証明、アルゴリズムの設計と解析、数学的モデルの開発などを行います。