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