小眾計算學
for the few of us.
Skip to content
  • 首頁
  • 關於
  • Research Blog
  • 中英名詞對照

Tag Archives: Jaap Zonneveld

Dijkstra, ALGOL 60, 與 van Wijngaarden

By Shin | Published: 七月 5, 2009

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

Posted in 人物, 計算算計 | Also tagged Aad van Wijngaarden, ALGOL, Edsger Dijkstra, Peter Naur, 歷史 | 2 Comments

  • 標籤

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

  • 分類

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

  • 最近文章

    • 2012 「邏輯、語言與計算」暑期研習營 (FLOLAC ’12)
    • Benoît Mandelbrot 與碎形
    • 荷蘭國旗問題 The Dutch National Flag Problem（下）
    • 荷蘭國旗問題 The Dutch National Flag Problem（中）
    • 荷蘭國旗問題 The Dutch National Flag Problem（上）

  • 最近回應

    • Liang-Ting 在 單子 (monad) 入門（二）讀取單子
    • Liang-Ting 在 單子 (monad) 入門（一）
    • Liang-Ting 在 單子 (monad) 入門（一）
    • Fergon 在 單子 (monad) 入門（二）讀取單子
    • C++面试题 C++笔试题 C++编程，数据结构，算法类面试题集(5) - IT公司面试手册 在 荷蘭國旗問題 The Dutch National Flag Problem（上）

  • 彙整

    • 2012 年 五月
    • 2010 年 十月
    • 2010 年 七月
    • 2010 年 五月
    • 2010 年 四月
    • 2010 年 三月
    • 2010 年 二月
    • 2010 年 一月
    • 2009 年 十一月
    • 2009 年 十月
    • 2009 年 九月
    • 2009 年 七月
    • 2009 年 六月

  • Blogroll

    • GeoCyber
    • ilyagram
    • Lambda the Ultimate
    • niche computing science
    • Nota Luminis
    • Outsider
    • Planet Haskell
    • Ponson's Tribe
    • The Man Who Loves Only Algorithms
    • This FTP site
    • Trek through Pure Reason
    • XOO's
    • 大大養成所
    • 大鳥共和國
    • 柏強
    • 正當作法
    • 流浪教師的南方映畫館
    • 演算法筆記
    • 芭樂 番石榴
    • 言程序
    • 軟體驗證實驗室 @ 台大資管

  • RSS Links

    • All posts
    • All comments
Avatars by Sterling Adventures
Powered by WordPress. Built on the Thematic Theme Framework.