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