扱わないもの
Topics not covered in this lecture
プログラミングの基礎
Programming basics
ソフトウェア工学
Software engineering
理論計算機科学
Theory of programming
計算可能性理論
Theory of computation
計算量理論
Complexity theory
ラムダ計算
Lambda calculus