Tag Archives: 歷史

Benoît Mandelbrot 與碎形

雲、山、海岸線、閃電等都是自然界可看到的碎型,複雜而不規則。然而這是自然之所以美的原因。如果雲是圓形的,那多無聊。而如果數學不能捕捉自然之美,那是多麼可惜的事情。碎型理論揭去了這層神秘的面紗,告訴我們,這些自然事物的「規則」其實隱藏在另一個維度中。

Posted in 人物 | Also tagged | Leave a comment

Milner 消失的論文

令 Gordon 感興趣的是,稿子上方手寫著「投稿給 JACM, 1971 年九月」。但大家知道這篇論文一直都是技術報告。難道 JACM 把它退件了嗎?

Posted in 人物 | Also tagged | Leave a comment

Charles P. Thacker 獲得 2009 年 Turing 獎

ACM 昨天宣佈 Charles P. Thacker 為 2009 年 Turing 獎得主

Posted in 人物, 計算算計 | Also tagged , , | Leave a comment

Algol 60 五十週年紀念

紀念 ALGOL 60 報告 50 週年。

Posted in 活動消息 | Also tagged | Leave a comment

程式設計的公設基礎:四十年後

1969 年,C.A.R. Hoare 在 Communication of the ACM (12(10):576–580) 發表論文 An Axiomatic Basis for Computer Programming,在文中提出後來被稱作 Hoare 邏輯的一套公設系統, 被認為是計算科學史上最重要的幾篇論文之一。時間轉眼間過去了,今年已經是這篇論文的四十歲生日。

Posted in 人物, 計算算計 | Also tagged , , | 2 Comments

游擊隊式的邏輯學: 向 Mervyn Pragnell 致意

Mervyn Pragnell 從沒擔任過學術工作,也沒有發表過論文。但他把英國電腦科學的幾個關鍵角色介紹給彼此,同樣重要地,讓他們認識了 Alonzo Church 的 λ calculus.

Posted in 人物, 計算算計 | Also tagged , , , , , | 1 Comment

關於 Peter Landin

Danvy 說,我們又失去了一位大師。但電腦科學與其他領域不同的一點是,還有很多大師還活著。趁他們還健在時多與他們討教吧。

Posted in 人物, 計算算計 | Also tagged | Leave a comment

衛報: Peter Landin, 為現代軟體奠定基礎的電腦科學家

因前列腺癌逝世,享年 78 歲的 Peter Landin 有著多采多姿的一生:他是政治基進份子、同志運動者、和傑出的電腦科學家。靠著他在 1950、60 年代提供的創意,他打下了驅動著今日筆記電腦、桌上電腦、和網路的軟體的基礎。

Posted in 人物, 計算算計 | Also tagged | 1 Comment

一些關於 Turing 的連結

為了寫前幾篇文章,找到一些關於 Turing 的有趣資訊。

Posted in 人物, 胡思亂想, 計算算計 | Also tagged , , | 1 Comment

關於英首相向 Turing 致歉

我們對非我族類的歧視偏見依舊,而歧視迫害仍然在最合法、最符合社會期待、最合邏輯也最合情合理的範疇下發生著。

Posted in 人物, 胡思亂想, 計算算計 | Also tagged | 1 Comment