Skip to content
小眾計算學
  • About
  • 中英名詞對照
  • Search

ALGOL

Algol 60 五十週年紀念

7 1 月, 2010 7 1 月, 2010 / Leave a Comment / 活動消息 / ALGOL, 歷史

紀念 ALGOL 60 報告 50 週年。

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 編譯器的軼事

標籤

Aad van Wijngaarden Alan Turing ALGOL Benjamin Pierce C.A.R Hoare Christopher Strachey Colossus Coq Dan Piponi Edsger Dijkstra Erik Meijer FLOLAC Guy Steele Haskell Hoare 邏輯 ICFP Jaap Zonneveld Jean-Pierre Jouannaud Mervyn Pragnell Oleg Kiselyov Peter J. Landin Peter Naur Ralf Hinze Rod Burstall SCI Turing 機器 Turing 測試 William Cook λ calculus 二元搜尋法 函數編程 單子 型別 抽象資料型別 模型檢查 歷史 河內塔問題 演算法 物件導向 程式推導 結構化程式 荷蘭國旗問題 資料抽象化 資料結構 邏輯

分類

  • 活動消息 (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 © 2021 小眾計算學 | Powered by Astra WordPress Theme