Skip to content

小眾計算學

About
中英名詞對照
Search

Search for:

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