Skip to content

小眾計算學

  • About
  • 中英名詞對照
  • Search

關於一個咖啡實驗的雜感

12 7 月, 2009 12 7 月, 2009 / Leave a Comment / 胡思亂想 / 歷史

只要先選好你今天的偏見,任何好事總有辦法寫成壞事;任何壞事也總有辦法寫成好事。

Dijkstra, ALGOL 60, 與 van Wijngaarden

5 7 月, 2009 26 9 月, 2009 / 3 Comments / 人物, 計算算計 / Aad van Wijngaarden, ALGOL, Edsger Dijkstra, Jaap Zonneveld, Peter Naur, 歷史

從 Maarten van Emden 的 blog 上看到這段關於 Edsger Dijkstra 與第一個 ALGOL 編譯器的軼事

Go To 有害大論戰

4 7 月, 2009 5 7 月, 2009 / 16 Comments / 計算算計 / Edsger Dijkstra, 歷史, 程式推導, 結構化程式

「幾年前我便觀察到,一個程式員的品質是其程式中 go to 密度的遞減函數。」他說,「後來我發現了為什麼 go to 的使用有這麼嚴重的後果,並相信所有『高階』語言都應該把 go to 廢除掉。」

關於函數編程(一)On Functional Programming

28 6 月, 2009 9 3 月, 2010 / 1 Comment / 函數編程簡介, 計算算計 / Haskell, 函數編程

由指令語言的觀點看函數語言,注意到的第一件事情是「函數語言裡面不可以改變數的值」。於是大家難免覺得奇怪,這怎麼會是個優點呢?自廢武功去掉一個功能,會有什麼好處呢?

1st Asian-Pacific Summer School on Formal Methods

25 6 月, 2009 30 9 月, 2009 / Leave a Comment / 活動消息 / Coq, Jean-Pierre Jouannaud

今年在北京將舉辦第一屆的「亞太正規方法研習營」。

FLOLAC 2009

25 6 月, 2009 10 7 月, 2009 / Leave a Comment / 活動消息 / FLOLAC, 模型檢查

第三屆 FLOLAC 將在下週一開始。

先寬度標記

17 6 月, 2009 14 11 月, 2009 / Leave a Comment / 計算算計 / Haskell, 演算法, 資料結構

依先寬度的順序把樹的節點一個個標起來。

文章分頁
← Previous Page 1 ... 5 6

標籤

Alan Turing ALGOL Alto Benjamin Pierce C.A.R Hoare Charles P. Thacker Coq Edsger Dijkstra FLOLAC Haskell Hoare 邏輯 ICFP ISI Jean-Pierre Jouannaud Niklaus E. Wirth Noam Chomsky Ole-Johan Dahl Paul Hudak Peter J. Landin Peter Wegner QuickCheck Robin Milner SCI Simon Peyton Jones Turing 獎 二元搜尋法 伴隨函子 依值型別 函數編程 區段問題 單子 型別 模型檢查 歷史 泛型 演算法 碎形 程式推導 範疇論 結構化程式 結構化編程 荷蘭國旗問題 費氏數 資料結構 邏輯

分類

  • 活動消息 (13)
  • 胡思亂想 (5)
  • 計算算計 (45)
    • 人物 (13)
    • 函數編程簡介 (6)

最近文章

  • 最大信用問題 — 一個區段問題的例子
  • 除二、相減,大小不變?來自《結構化編程》中的一個小例子
  • Wirth: 當年的好主意們
  • 由伴隨函子生出單子 — From Adjoint Functors to Monads
  • 語意與語法、無限與有限

最近回應

  • 「除二、相減,大小不變?來自《結構化編程》中的一個小例子 – 小眾計算學」於〈Go To 有害大論戰〉發佈留言
  • 「Shin」於〈費氏數怎麼算?〉發佈留言
  • 「Feiya Zhang」於〈費氏數怎麼算?〉發佈留言
  • 「Liang-Ting Chen」於〈先寬度標記 — Oleg Kiselyov 的解法〉發佈留言
  • 「[中英對照] Dijkstra 圖靈獎演講:謙遜的程式設計師 The Humble Programmer by Edsger W. Dijkstra 1972 - Trend! 趨勢,潮流,動向,動態」於〈Dijkstra, ALGOL 60, 與 van Wijngaarden〉發佈留言

彙整

  • 2020 年 1 月
  • 2019 年 12 月
  • 2019 年 11 月
  • 2019 年 6 月
  • 2012 年 5 月
  • 2010 年 10 月
  • 2010 年 7 月
  • 2010 年 5 月
  • 2010 年 4 月
  • 2010 年 3 月
  • 2010 年 2 月
  • 2010 年 1 月
  • 2009 年 11 月
  • 2009 年 10 月
  • 2009 年 9 月
  • 2009 年 7 月
  • 2009 年 6 月
Avatars by Sterling Adventures
Copyright © 2025 小眾計算學 | Powered by Astra WordPress Theme