理論計算機科学
theoretical computer science
形式科学
（
formal science
）
計算機科学の未解決問題
計算理論
（
theory of computation
）
計算模型
、
計算モデル
（
model of computation
）
λ計算
、
ラムダ計算
（
lambda calculus
）
#computer-science
https://ja.wikipedia.org/wiki/理論計算機科学