昨日的燕園，正逢暑期，校園里一片寧靜祥和的氛圍。

趁著這個日朗風清的午后，北京尚學堂與來自北大軟件工程國家工程研發(fā)中心的課題小組，一行11個人，在北大勺園召開了一次有著特殊意義的會議——“程序理解與代碼正確性智能判定”聯(lián)合立項暨技術(shù)研討會。

此次與北大合作，旨在協(xié)同其在軟件開發(fā)研究領(lǐng)域的優(yōu)秀技術(shù)人才，聯(lián)合立項“程序理解與代碼正確性智能判斷”，成立課題小組，通過對“百戰(zhàn)6000集”課程內(nèi)容的改進和教學系統(tǒng)的優(yōu)化，從而達成軟件技術(shù)的優(yōu)化和升級，讓學員們學到更好的技術(shù)，更好用的技術(shù)。

尚學堂總裁高淇老師、副總向鳴老師，在北京大學軟件工程國家工程研究中心副主任孫基男和同學們的帶領(lǐng)下，來到了位于北大勺園5號樓的科學研究部大樓，由于都是技術(shù)出身，會議沒有花哨的場地布置，也沒有天花亂墜的開場白和寒暄，大家都是開門見山，直入主題，開口就是各種技術(shù)領(lǐng)域的專業(yè)名詞。

孫基男：北京大學軟件工程國家工程研究中心副主任，計算機軟件與理論專業(yè)博士。

孫主任和高總探討了關(guān)于在校大學生和在職社會人士在技術(shù)方面的異同，他表示，現(xiàn)在由于互聯(lián)網(wǎng)行業(yè)的高速發(fā)展和普及，它作為一項實用技能，在學習之時就注定了它不會太脫離實際，在北大的課程設(shè)置上，軟件開發(fā)這個專業(yè)就是和企業(yè)的項目、需求緊密聯(lián)系在一起的，在學習和研究的過程中，學生們是脫離不開實戰(zhàn)項目的研究和操作演練的。在這一點上，學生們的技術(shù)、代碼和以就業(yè)為目標而去學習的社會在職人士是相差無幾的。

而由于代碼的編寫和實現(xiàn)是依托于技術(shù)平臺的，人們在學習一門編程語言的時候，代碼正確與否、是否能保證程序順利運行，這些東西需要系統(tǒng)去實時反饋，這就少不了系統(tǒng)對于代碼的理解和智能判斷，這就回歸到了本次會議的主題——“程序理解與代碼正確性智能判斷”。

孫主任給在座的同學們強調(diào)說，“程序理解包含了很多方面，通過后臺判斷代碼正確性，不僅涉及到代碼的語法是否正確，系統(tǒng)是否提示bug，報錯，同時你們在提交代碼作業(yè)的時候，需要人工去判斷，是否跟老師所提的需求對應(yīng)?！?/span>

“在線課程的系統(tǒng)，比如百戰(zhàn)設(shè)置在線交作業(yè)，意義就在于它能通過系統(tǒng)自動去判斷代碼的正確性，系統(tǒng)處理90%的問題，剩下的交給人工，就大大地減輕了老師檢查作業(yè)的負擔，釋放了老師的雙手?！?/span>

經(jīng)過一陣熱烈的討論，高總決定上臺給大家親自演示一下百戰(zhàn)6000集。從課程內(nèi)容到課程設(shè)置，從在線交作業(yè)到如何答疑、報班、聽課，以及價格設(shè)置，整個課程體系都一目了然。

高總說著給在場的同學們施壓“同學們可得多多給我們的課程提意見啊，哪里需要優(yōu)化的，不好用的，都提出來”，同學們都笑了，表示“那肯定了”。

孫主任也給高總“下令”：把你們好的課都拿過來，多多拿過來，讓我們多用用，多看看……

為了推進研究的順利進行，雙方達成合作，尚學堂給課題組提供價值100萬元的課程以及后續(xù)支持。在愉快的氛圍下，孫主任提議大伙一起合影留念。

合影結(jié)束，面對這群智商超群的小伙子，高總不禁現(xiàn)場向他們討教起了關(guān)于6000集的建議。

孫主任和同學們一起討論，大家建議可以開設(shè)專門的老師和學生賬號，將二者分開，讓系統(tǒng)自動來出題，學生隨機抽題……孫主任給同學們聊起了技術(shù)，“代碼作為另一種語言，其實也是人類思想的一個延伸，同學們在一個系統(tǒng)里邊應(yīng)用學習一門技術(shù)，了解其語義，換一個地方可以將這個思想沿用過去?！?/span>

為了方便后續(xù)的溝通交流，大家拿起手機，進行面對面建群，創(chuàng)建了一個討論小組。會議結(jié)束，有任務(wù)在身的課題組小伙伴們又馬不停蹄地繼續(xù)著自己的科研作業(yè)。孫主任給大家推薦了燕園的美景……

這次的“程序理解與代碼正確性智能判斷”聯(lián)合研究立項會議就此圓滿結(jié)束。尚學堂與北京大學軟件工程國家工程研究中心的聯(lián)合研究拉開了序幕。

讓我們期待一個更加優(yōu)秀、更加完善的百戰(zhàn)，也祝北大和尚學堂在軟件開發(fā)領(lǐng)域的研究早日開花結(jié)果！