Category:エドガー・ダイクストラ
ソフトウェア危機
Software crisis
並行計算
Concurrent computing
THEマルチプログラミングシステム
THE multiprogramming system
Guarded Command Language
Guarded Command Language
銀行家のアルゴリズム
Banker's algorithm
居眠り床屋問題
Sleeping barber problem
デッカーのアルゴリズム
Dekker's algorithm
Goto文
Goto
述語変換意味論
Predicate transformer semantics
プリム法
Prim's algorithm
排他制御
Mutual exclusion並行性
Concurrency (computer science)
エドガー・ダイクストラ
Edsger W. Dijkstra
操車場アルゴリズム
Shunting yard algorithm
関心の分離
Separation of concerns
食事する哲学者の問題
Dining philosophers problemデッドロック
Deadlock (computer science)
ダイクストラ法
Dijkstra's algorithm▼-1 trends
