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

標籤

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 © 2023 小眾計算學 | Powered by Astra WordPress Theme