generated at
理論計算機科学
theoretical computer science
形式科学（formal science）
計算機科学の未解決問題
計算理論（theory of computation）
計算模型、計算モデル（model of computation）
λ計算、ラムダ計算（lambda calculus）
#computer-science

https://ja.wikipedia.org/wiki/理論計算機科学