主張：數學領域之一的計算理論，爲了對計算進行嚴謹的研究會運用一些計算模型。
領域：其他
判定：supports