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