計算機科学
数論
組合せ数学
グラフ理論
数理論理学
情報理論
理論計算機科学 計算理論 チューリングマシン ラムダ計算 アルゴリズム解析
データ構造
形式言語
プログラム意味論 領域理論
計算科学