參考下面嘅段落,然後用同段落相同嘅語言回答問題: 段落:根據 Peter Denning,計算科學嘅基本問題係",有咩嘢可以 (高效) 自動化呢?" 計算理論嘅重點係解答有關可以計算嘅基本問題,以及計算需要幾多資源.為咗解答第一個問題,可計算性理論檢查喺各種理論模型嘅計算問題有咩計算問題可以解決.第二個問題係由計算複雜性理論解答,呢個理論研究同解決大量計算問題嘅唔同方法有關嘅時間同空間成本.問題: Peter Dennings 對於計算科學嘅觀點係咩?
究竟係咩嘢可以自動化呢?