您認(rèn)為哪個是計算機(jī)科學(xué)中最有趣的研究領(lǐng)域？

我正在做的那個當(dāng)然。

每個計算機(jī)科學(xué)家都應(yīng)該給你答案。

如果我必須提出一個非亂倫的建議，我會選擇建構(gòu)邏輯，范疇理論，同倫類型理論。

我認(rèn)為這些領(lǐng)域現(xiàn)在非常有趣和“熱門”（正如現(xiàn)在正在取得很多進(jìn)展。不像以前那樣，很多人關(guān)心它）?？杀氖牵覍髢烧咧跎?。

編輯：如果你想知道我在做什么：我正在研究方法來檢查并發(fā)程序是否有錯誤，只測試單個線程的正確檢測代碼，而不是完整的程序。

到目前為止我所展示的是，多線程執(zhí)行中可能發(fā)生的任何錯誤也可以通過執(zhí)行來自無錯誤狀態(tài)的其中一個線程的確定性，單線程，正確檢測的代碼片段來找到。因此，不可能有一個你無法通過這種方法檢測到的錯誤（這并不意味著很容易找到觸發(fā)錯誤的初始狀態(tài)，而不是一般的測試）。

儀器設(shè)備源于注釋。該方法還會告訴您是否已正確注釋代碼。

我也在努力將這些結(jié)果擴(kuò)展到具有弱內(nèi)存模型的機(jī)器以及處理器正確性證明。

寶寶起名 起名