計算機科学
理論計算機科学における概念との対応.