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