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