計算理論
theory of computation
「計算とは？」をやる理論
計算可能性理論
計算複雑性理論
計算モデル
https://ja.wikipedia.org/wiki/計算理論