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

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

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

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

我認(rèn)為這些領(lǐng)域現(xiàn)在非常有趣和“熱門”（正如現(xiàn)在正在取得很多進(jìn)展。不像以前那樣，很多人關(guān)心它）。可悲的是，我對(duì)后兩者知之甚少。

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

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

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

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

寶寶起名 起名