現在的計算機能完全代替人開發程序嗎?看皇家學會院士怎麼說!

2020-12-20 無聲涼夜

寫不完的代碼,熬不完的夜,進度總是趕不上變化。程序開發是一項既費時費力,又容易出錯的工作。但當前持續湧現的軟體工程大數據以及快速發展的人工智慧技術,正使得軟體自動化成為可能。通過程序合成、代碼補全、程序變換、代碼推薦、程序修復、自適應演化等手段,軟體自動化可以將軟體開發者從繁重的編碼工作中「解放」出來。

AI代替人開發

「讓計算機完全代替人開發程序,理論上是不可能的。」在近日舉辦的雁棲湖會議上,中國科學院院士林惠民告訴《中國科學報》記者。他表示,雖然從任意的規範說明中自動生成程序的問題不可判定,但可以通過讓計算機與人交互的方式生成程序,也可以在某些特定領域自動生成程序,讓計算機代替人完成軟體開發過程中不需要創造性的工作。

第三次工業革命通常被認為是由計算、通信和軟體來驅動,正在給人類生活和工作方式帶來巨大的變化。軟體工程大數據帶來了新機遇,但程序自動化依然面臨著挑戰。

林惠民說:「深度學習依賴於能夠涵蓋幾乎所有可能的應用場景的大型訓練數據集。從代碼中學習比從數據中學習要困難得多。數據的含義是不言而喻的,而程序的含義則極其複雜;為了提高效率,有些代碼非常晦澀難懂;在程序的語法和語義之間存在著巨大的鴻溝。」

AI代替人開發

軟體自動化不僅能降低程序編寫的難度,還可以為軟體持續演化提高質量提供有效的支持。

「正如我們所見,軟體技術從根本上改變了商業模式以及人類社會,但與此同時如何應對系統和軟體質量方面的巨大挑戰成為一個新問題,特別是安全性、適應性、互操作性等質量屬性及其相互之間的衝突和影響,在這個方面軟體開發大數據分析大有可為。」林惠民表示。

美國南加州大學計算機科學教授、美國工程院院士Barry W. Boehm介紹了他所在團隊在基於大數據分析的軟體自動化及開發過程中的一些改進工作。他說,通過大規模程序分析和大數據分析可以持續監控軟體開發中的漏洞和技術債務。此外,通過將基於領域模型的代碼生成等軟體自動化技術與敏捷開發過程相結合,還可以進一步提升已有軟體開發效率和質量。

AI代替人開發

面對計算技術、機器學習和能夠用於訓練算法的大數據的發展,人工智慧正在變得可行。「在人工智慧這條路上,我們仍然還有很長的路要走。但是在很多應用上人工智慧都表現得比人類更加優秀,尤其是在分析大數據並進行預測的工作上,這將導致許多工作包括編寫程序可以被自動化流程以及機器所取代。」英國南安普敦大學計算機科學教授、英國皇家學會院士Dame Wendy Hall表示。

即便如此,Hall也強調在軟體自動化領域,AI的發展可能會給社會帶來的潛在威脅以及需要解決的道德、責任和多樣性問題。她通過《愛麗絲夢遊仙境》比喻說:「正如愛麗絲在透過鏡子時發現的,一些事情並非總是它最初的樣子!在快速發展的AI時代,各類獨立開發的程序導致網際網路內的某些系統彼此不兼容,未來必將面臨混亂和困惑的風險。」

林惠民對此表示認同,在他看來,軟體自動化需要將人類程式設計師的創造性思維和能力與機器的自動化處理能力有機結合。機器無法取代人類,真正需要創造力的工作還需回歸人類本身。思辨性與創造力,始終是人類的核心競爭力。

相關焦點

  • 中國工程院院士、清華教授吳建平當選英國皇家工程院外籍院士
    據清華新聞網消息,英國皇家工程院9月30日宣布,中國工程院院士、清華大學計算機系主任吳建平教授當選2019年英國皇家工程院外籍院士。英國皇家工程院對吳建平的評價是:「吳建平教授在中國乃至亞太地區網際網路的開發和發展中作出了傑出貢獻並產生了重要國際影響,還在國際網際網路體系結構工程和關鍵技術領域取得了開創性成果。」
  • 清華大學吳建平教授入選英國皇家工程院院士
    新中國成立70周年前夕,英國皇家工程院9月30日宣布,中國工程院院士、清華大學計算機系主任吳建平教授當選2019年英國皇家工程院外籍院士。英國皇家工程院給出的當選理由是:"吳建平教授在中國乃至亞太地區網際網路的開發和發展中做出了傑出貢獻並產生了重要國際影響,還在國際網際網路體系結構工程和關鍵技術領域取得了開創性成果。"成立於1976年的英國皇家工程院(Royal Academy of Engineering,RAE)是英國工程學界的最高學會,由工程科技各領域的專家組成。
  • 不是計算機專業的學Java軟體開發能學會嗎?
    根據統計數據,我國仍有近百萬IT人才缺口,其中大部分是軟體開發和軟體測試人才。預計差距將高達30到40萬人。軟體開發人才正在成為目前中國IT行業最稀缺的人才之一。那麼,不是計算機專業的學生,零基礎學習Java軟體開發技術可以嗎?
  • 4名華裔精英入選加拿大皇家學會新院士
    9月8日,加拿大皇家學會(RSC)及其委員增選了今年的87位新院士,其中華人新院士4名,包括中國哈工大首名計算機博士、香港中文大學(深圳)張大鵬、加拿大卡爾加裡大學 Schulich工程學院教授陳掌星,加拿大西部大學教授蔣敬、約克大學教授王睿。
  • 全球的50多名頂尖工程師被選為皇家工程院院士!華人院士共7名
    全球的50多名頂尖工程師被選為皇家工程院院士! 近日,來自全球的50多名頂尖工程師被選為皇家工程院院士,以此表彰他們對該行業做出的傑出貢獻。 皇家工程院(Royal Academy of Engineering,RAE),英國的學術榮譽性機構,是英國工程學界的最高學會。被入選皇家工程院被視作是英國工程師的最高榮譽。 英國皇家工程院成立於1976年,迄今為止共有約1600名院士。
  • 六神花露水能代替大牌香水? 看專家怎麼說
    六神花露水能代替大牌香水?然而,花露水和大牌香水真的能讓人辨別不清嗎?    求證一:香調成分比對    結論:僅有一兩處相同的香味,大部分香調成分不同,大牌香水的成分更有層次。    六神清新花香型花露水:初調是活氧、西柚,中調是鈴蘭、鳶尾,底香是琥珀與杉木。
  • 華人學者趙月枝教授獲評加拿大皇家學院院士
    趙月枝 9月10日,值此教師節之際,加拿大皇家學會(Royal Society of Canada)公布最新一期入選的院士名單。華人學者趙月枝教授成為新晉加拿大皇家學會院士,也是第一位獲此殊榮的傳播學學者。趙月枝教授1965年出生於浙江省縉雲縣,1984年獲北京廣播學院(今中國傳媒大學)新聞學本科學位,1996年獲加拿大西門菲莎大學傳播學博士學位,1997年至2000年間曾任教於美國加州大學聖迭哥分校傳播系。
  • 計算機能做數學嗎?|展卷
    當時的計算機運算速度還不夠高,整個證明過程的耗時超過了1000小時。能相信計算機嗎?計算機只能執行指令,並無自主創造力。但是,想要證實程序中是否存在錯誤是很困難的。我們能在多大程度上相信計算機,這個問題一直困擾著人工智慧領域的學者。
  • 信息科學技術學院高文院士當選美國計算機學會會士
    2013年12月10日,美國計算機學會(ACM)宣布全球五十位專家被遴選為會士(ACM Fellow)。2010年,因「音視頻編解碼理論、標準及應用的突出成就」被授予中國計算機學會王選獎。2011年,當選中國工程院院士。高文院士1982年於哈爾濱科技大學獲得計算機軟體學士,1985年和1988年在哈爾濱工業大學獲得計算機體系結構碩士學位和計算機應用博士學位,於1991年在東京大學獲得電子學博士學位。
  • 北大工學院院友王泉博士當選為加拿大皇家科學院院士
    據加拿大皇家學會2016年9月7日新聞發布,北京大學工學院力學與工程科學系1994屆院友王泉博士當選為加拿大皇家科學院院士。加拿大皇家學會是加拿大最重要的科學團體之一,成立於1883年。皇家學會包括藝術人文學院、社會科學院和科學院。
  • 深圳先進院醫工所名譽首席科學家楊廣中當選英國皇家工程院院士
    7月5日,英國皇家工程院在其年會上公布了2010年新科院士名單,包括榮譽院士1名,院士53名,國際院士6名。中國科學院深圳先進技術研究院生物醫學與健康工程研究所名譽首席科學家兼名譽中心主任楊廣中名列其中。英國皇家工程院是英國工程學的最高殿堂,匯聚了英國最優秀的工程師。
  • 張藝興MV「皇家翻譯」爆紅,歌詞完全看不懂,興迷:哥哥快拔刀
    ,在全網還出了個「皇家翻譯」,而這個翻譯又是說的什麼呢?原來是不少人都在吐槽,張藝興這首舞蹈的歌詞,幾乎沒有幾個人能夠聽懂,也完全不可能唱的出來。   於是為了滿足粉絲們的要求和需求,這位小哥哥就在抖音上用中文的方式對這首歌進行了一個「翻譯」而這一翻譯就不得了,在全網被稱之為「皇家翻譯」,要是中文不太好的人,估計看都看不懂
  • 諾貝爾獎得主、英國皇家院士、IEEE Fellow……CCF-GAIR 2019 震撼...
    孟教授是 IEEE 機器人與自動化學會管理委員會(AdCom)的當選成員;IEEE 千禧大獎章的獲得者,IEEE 院士,HKIE 院士和加拿大工程院院士。現任香港中文大學電子工程學系教授、系主任。曾擔任多個國際期刊的編輯和許多國際會議的總主席和程序委員會主席。英國皇家科學院、加拿大科學院院士,體素科技首席科學家,ACM、IEEE Fellow
  • 九章量子計算機能讓中國計算機彎道超車嗎?
    還有問九章能不能挖比特幣的。事實果真如此嗎?我們來看一下。1200億年是算的什麼東西?這次九章開發團隊宣傳使用的計算是高斯玻色取樣,100億樣本的時候,這個東西用世界第一超算富嶽算要1200億年而九章只要10個小時,這個數據把量子計算機推上神壇。
  • 英國皇家學會院士Ronald Kerry ROWE博士受聘浙大名譽教授
    7月4日上午,英國皇家學會院士、美國工程院外籍院士、英國皇家工程院院士、加拿大科學院和工程院院士、加拿大女王大學教授國際土力學及巖土工程學會(ISSMGE)在環境巖土工程方向以其名字設立了學術講座(R.Kerry Rowe Lecture),對其作出的學術貢獻給予了充分的肯定。
  • 英國皇家工程院外籍院士蘇才江加盟南京信息工程大學!
    11月30日下午,英國皇家工程院外籍院士、世界第一位無線交通標誌創建者及智慧城市專家蘇才江教授正式加盟南京信息工程大學。校長李北群、副校長戴躍偉出席聘任儀式。黨委校長辦公室、人事處、院士辦、教務處、科學技術處、科技產業處、研究生院等相關部門負責人,自動化學院、人工智慧學院、電子與信息工程學院、計算機與軟體學院等相關學院領導,以及人工智慧學院師生代表參加了聘任儀式。聘任儀式在圖書館報告廳舉行,由副校長戴躍偉主持。蘇才江院士在會上簡要介紹了自己的研究領域以及求學、工作經歷。
  • 中國海洋大學於志剛校長會見英國皇家學會院士TimothyIan Eglinton...
    中國海洋大學於志剛校長會見英國皇家學會院士TimothyIan Eglinton教授 http://www.huaue.com  2017年4月28日  來源:華禹教育網   4月27
  • 英國皇家工程院外籍院士蘇才江加盟南京信息工程大學
    11月30日下午,英國皇家工程院外籍院士、世界第一位無線交通標誌創建者及智慧城市專家蘇才江教授正式加盟南京信息工程大學。校長李北群、副校長戴躍偉出席聘任儀式。黨委校長辦公室、人事處、院士辦、教務處、科學技術處、科技產業處、研究生院等相關部門負責人,自動化學院、人工智慧學院、電子與信息工程學院、計算機與軟體學院等相關學院領導,以及人工智慧學院師生代表參加了聘任儀式。聘任儀式在圖書館報告廳舉行,由副校長戴躍偉主持。  蘇才江院士在會上簡要介紹了自己的研究領域以及求學、工作經歷。
  • 學會了C語言真的能開發很多東西嗎?
    不過我能理解你的困惑。投入大量時間看完教程,結果只能在黑框裡輸出一串數字。這是在學編程還是在向七十年代致敬?編程是這樣無法給人成就感的活動嗎?是,也不是。看你的表述,應該不是小孩子了,因為小孩子不會因為初學編程能做的事情很少而沒有成就感,或者說,覺得這樣做沒有成就感的小孩子根本不會繼續學下去。
  • 計算機的前身,萬事俱備只差……
    雖然巴貝奇喜愛機械,還曾於 1813 年小試身手,發明一款新的機械鎖,但他可沒打算投身製造計算機。畢竟他的本業是數學,而他只想儘快謀得教職,證明自己是個自力更生的紳士,而不是坐享家產的紈絝子弟。然而儘管巴貝奇的數學才能頗受肯定,還於 1816 年獲選為英國皇家學會院士,他仍然好幾年都找不到工作。