程式設計可否做到自動化?

時間 2021-06-17 14:16:36

1樓:

如果試過用C語言在DOS下寫編輯器,再用C#的時候,就覺得實在太自動化了。

當你試過用標準C語言實現FFT,再用Matlab的時候,就覺得太自動化了。

是的,高階語言加上高階工具,就是那麼的自動化。

2樓:Cosmia Fu

如果Template Haskell等metaprogramming工具算的話已經算是可以自動化了吧

雖然我覺得題主不是想要這個。。。

3樓:不知道叫什麼好

有非常多的科學家在這方面研究,其實可以把planning看成是基礎版的自動化程式設計。也就是把目標用邏輯(一階邏輯居多)表達出來,讓電腦找出sequence of actions。不過程式設計更難的是要組合多個函式,不只是action。

記得以前看過Vardi的一篇文章,好像證明了用LTL做planning的方法只能做很基礎的問題,任何需要迴圈等等的問題都是不可計算的。所以目前做自動化程式設計只有通過統計的手段了。非這個領域,有錯請見諒……

4樓:fantiny

在限定約束範圍內程式設計可自動化。

不限定約束範圍程式設計無法自動化。

無限的那是上帝。

雖然我不相信上帝。

但是超越理解範圍的無限真實存在。

5樓:瓦當下

我只說說自己的看法(不專業)

1.在程式設計師眼中,程式是可以萬能的,而且這種用基本程式自發程式設計是可以實現的,至少理論上行的通

2.人類基因遺傳的模板是父母的兩條鏈,用程式自發程式設計是否應該也要模板?

3.如果2中要模板,人類基因雖然和父母有相同的地方,但每個人都是不同的,計算機用模板編出的程式和原程式是否相同?那是通過遺傳程式來製造出不同的程式來迎合人類的需求?

4.如果2中不要模板,僅僅通過人工智慧來製造出不同的程式,這個資料庫包羅天地萬物,你覺得有這種無限大的資料庫嗎?

ps:我覺得AI最難的地方在於機器是二進位制的,只有對和錯,它只會按照程式來。它不像人,你想不出可以不去想,機器就像一些自殺的人,他們理解不了這個世界,他們的想法和這個世界有出入,但他們又不能不去想,如果程式面對這種情況,八成宕機。

6樓:

二進位制的機器碼給計算機發出指令;

彙編幫生成機器碼;

高階語言生成彙編;

產品經理的人類語言;

中間是不是缺了一環?

你能把這一環解決掉就可以了。目前這一環是由程式設計師來做的。

7樓:葉小倫

你說的這個其實就是「說明性的知識(declarative knowledge)」與「行動性的知識(imperative knowledge)」之間的差別,現在的程式語言基本上都是過程性的「行動性的知識」,即解決「如何做」的問題,所以現在有乙個研究領域是關於設計超高階語言(very high-level languages),其目的是:

The idea is to make interpreters sophisticated enough so that, given 「what is」

knowledge specied by the programmer, they can generate 「how to」 knowledge automatically.

即程式設計師不用像現在一樣總是告訴計算機「如何做」,只要告訴計算機「問題是什麼」,那麼程式可以自動化地由「是什麼」的知識推出「如何做」的知識,舉乙個很簡單的例子,平方根的定義很簡單:

但是僅僅給你乙個這樣的定義(說明性的知識),還是不知道如何求乙個數的平方根,如果有一門語言,只要描述清楚這個問題,便可以知道「行動性的知識」,那麼,這種自動化才是最有意義的。

8樓:Mars Zhao

做不到。程式是需求的準確描述,和描述的機器實現。後者每個精確的描述可以只做一次,但前者每次新需求都避免不了。

另外一方面,由於現實的複雜性和各種條件的受限,每個需求都可以有很多種描述(簡化,抽象,建模),又會需要不同的實現,相當於又變成了新的需求,還得人工參與。

除非機器能跟人一樣理解世界、社會,然後進行推理,自動進行需求提取建模,否則程式設計師一定少不了。

當然現在很多語言或程式有過多不必要的細節需要人工重複實現,這是值得改進的。

9樓:

個人以為,高度抽象化的情況下可以實現。生物可以自我繁衍,物質可代謝,為什麼程式不可以。人類科學無非研究自然和模仿自然,個人認為自然一切定律都可被複製,時間問題

10樓:原地爆炸

不知道樓主聽說過基因演算法沒有。這玩意的運作形式就和自然界的基因差不多,搞一堆隨機數模擬變異,互相組合模擬基因組合,然後根據目的,設定篩選條件,多輪自動演化運算後得到最佳的結果組合。但是演化過程,篩選條件都需要程式設計師完成,這倆玩意的複雜度隨著目的的複雜度上公升,一樣木有辦法一勞永逸。

補充下,演化規則倒是有可能寫個簡潔萬能的類似基因規則,但自然界篩選基因的外力是千變萬化的大自然。。人要是可以用程式完全模擬大自然,那就是已經是造物主了。

11樓:鏡澄

在螢幕輸出hello world,不也是一種自動化了嗎?不需要打孔機、不需要寫彙編。所以你要的自動化是哪種自動化?

你得能描述你的自動化範疇,而需要描述這種範疇的語言叫做DSL,這也是要程式設計師來學習的?如果說普通人的自然語言也能夠要求的那種自動化,那是神話中的阿拉丁神燈,這個人類恐怕花很多年辦不到。

12樓:大妖

給本題加上了乙個哲學的標籤。

其實,所謂的『智慧型』事實上,都是你給某種『東西』或者叫『生物』劃定乙個圈,然後給出生存在這個圈裡的一些基本條件。例如:乙個圈叫做DNA解析,一些基本條件包括但不限於:

計算力,能源,可分析的基本資料等。那麼,計算可以以『智慧型』的方式自我進化,但是,它終究是不能跳出『DNA解析』這個圈子,產生諸如『生產一台計算機』或者『給自己造個身體』這樣的能力。

人類又何嘗不是呢?人類的能力頂點,是不可能超越造物者的限定範圍的。

13樓:

沒人說計算原理麼?如果存在可以根據輸入生成任意其他程式的程式A,那麼A是否能夠生成A本身?

於是,從前有座山,山里有座廟……根本停不下來啊~~~~~如果只能根據特定輸入生成程式,那麼直接解決不就好了。

計算原理才是王道啊,一台圖靈機定義出來之後,transition table就已經定義好了,你讓他怎麼根據不同輸入做出修改嘛。

14樓:夏梓耀

Fifth generation computer 第五代計算機SQL,NoSQL 以及資料庫的實質 看Prolog 與人工智慧的沒落那一段就行了

PS 你知道DNA的資訊量是多大嗎?

期待題主實現夢想!

15樓:

前提都是需要人工前期進行加工處理,後面它才會按照設定的程式進行運轉,不可能做到自動化,因為在現實生活中,人的需求都是時刻變化,而不是固定套路

前端自動化測試如何做到足夠健壯

清道夫 前端自動化測試的維護成本較高,這個是業界共同的難題,很難完全解決,不過也是有非常多方法可以降低維護成本的,針對你提出的這幾個問題,可以看出你做UI自動化測試的經驗不足,需要多多積累一下。實施自動化測試是有前提和先決條件的,並且也要定位好自動化測試的使用範圍。1.測試環境的不穩定性 自動化測試...

電氣工程及其自動化和自動化,學校自動化是A ,電氣是C 選哪個專業比較好?

想搞學術讀了碩士讀博士去自動化,沒打算搞學術想最多讀到碩士就工作就去電氣。作為乙個馬上博士畢業的自動化老哥哥,我要羨慕死之前電氣專業的同學了 WarChiefL 看你以後想幹啥,這是最重要的,有國網渠道就行選電氣,如果現在不知道幹啥,你們學校名氣一般,你又想留城市,那我感覺差不多,自動化是弱電,比較...

用 Python 自動化辦公能做到哪些有趣或有用的事情?

夜雨微寒 對pyecharts使用pyqt5進行了封裝,做了乙個匯入Excel,選擇列名,即可一鍵生成Echarts圖表的視覺化工具,目前支援餅圖,圓環圖,南丁格爾圖,更多圖表有時間了慢慢加,支援主要的Echarts圖表配置,如顯示或者隱藏圖例,設定標籤顯示樣式 顯示數值或者百分比 自定義標題 顏色...