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