偉人スレ

偉人スレat UNIX

偉人スレ - 暇つぶし2ch■コピペモード
□スレを通常表示
□オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト

15:名無しさん＠お腹いっぱい。
 22/03/15 19:35:27.37 .net
ドナルド・クヌース(Donald Ervin Knuth) 
1938年1月10日Milwaukee, Wisconsin, U.S.生まれ 
・The Art of Computer Programming（TAOCP）を執筆 
・TeXを開発 
・"father of the analysis of algorithms"と呼ばれる

16:名無しさん＠お腹いっぱい。
 22/03/15 19:35:48.99 .net
エドガー・ダイクストラ(Edsger W. Dijkstra) 
1930年5月11日Rotterdam, Netherlands生まれ 
・構造化プログラミングという用語を生み出す 
・ダイクストラ法のダイクストラ 
・セマフォの概念を考案 
・His main pioneering contributions (including ideas, inventions and innovations) include: 
Concepts, methods, principles and theories: Dijkstra?Zonneveld ALGOL 60 compiler (first complete working ALGOL 60 compiler), call stack, concurrency, concurrent programming, cooperating sequential processes, critical section, deadly embrace (deadlock), dining philosophers problem, Dutch national flag problem, fault-tolerant systems, goto-less programming, guarded command language (guarded commands), layered structure in software architecture, levels of abstraction, multithreaded programming, mutual exclusion (mutex or lock), producer?consumer problem (bounded buffer problem), program families, predicate transformer semantics, process synchronization, self-stabilizing distributed systems (self-stabilization), semaphore, separation of concerns, sleeping barber problem, structured analysis, structured programming, THE multiprogramming system, unbounded nondeterminism, weakest precondition calculus 
Algorithms: Dijkstra's algorithm, DJP algorithm, Dijkstra-Scholten algorithm, Dekker's algorithm (generalization), banker's algorithm, smoothsort, shunting-yard algorithm, tri-color marking algorithm, concurrent algorithms, distributed algorithms, deadlock prevention algorithms, mutual exclusion algorithms, self-stabilizing algorithms

次ページ