위키백과:미번역 문서/컴퓨터 과학

영어 위키백과의 컴퓨터 과학 프로젝트에서 중요하다고 평가한 문서 중 한국어 위키백과에 없거나 토막글 상태인 문서 목록입니다.

  1. en:Abstraction (computer science) (30+) → 추상화 (컴퓨터 과학)  
  2. en:Alonzo Church (50+) → 알론조 처치  
  3. en:Binary data (7) → 이진 데이터  
  4. en:Breadth-first search (40+) → 너비 우선 탐색  
  5. en:Church–Turing thesis (30+) → 처치-튜링 논제  
  6. en:Classical cipher (12) → 고전 암호  
  7. en:Computation (30+) → 컴퓨테이션  
  8. en:Computer engineering (60+) → 컴퓨터 공학  
  9. en:Computer vision (40+) → 컴퓨터 비전  
  10. en:Concurrency (computer science) (29) → 병행성  
  11. en:Context-free grammar (30+) → 문맥 자유 문법  
  12. en:Data (computer science) (30+) → 데이터 (컴퓨팅)  
  13. en:Edsger W. Dijkstra (60+) → 에츠허르 데이크스트라  
  14. en:Ethics of artificial intelligence (24) → 인공지능윤리  
  15. en:Evaluation strategy (13) → 평가 전략 (컴퓨터 프로그래밍)  
  16. en:Formal methods (25) → 정형 기법  
  17. en:Free and open-source software (40+) → 자유-오픈 소스 소프트웨어  
  18. en:History of computer science (18)
  19. en:Information science (50+) → 정보과학  
  20. en:Information technology (110+) → 정보기술  
  21. en:Key-agreement protocol (9)
  22. en:Linked list (40+) → 연결 리스트  
  23. en:List (abstract data type) (29) → 리스트 (컴퓨팅)  
  24. en:Logic programming (30+) → 논리형 프로그래밍  
  25. en:One-time pad (30+) → 원 타임 패드  
  26. en:Parsing (40+) → 구문 분석  
  27. en:Programming language theory (20)
  28. en:Pseudorandom number generator (26) → 유사난수  
  29. en:Race condition (26) → 경쟁 상태  
  30. en:Recursion (computer science) (28) → 재귀 (컴퓨터 과학)  
  31. en:Relational model (30+) → 관계형 모델  
  32. en:SHA-2 (25) → SHA-2  
  33. en:Software development (40+) → 소프트웨어 개발  
  34. en:Theoretical computer science (30+) → 이론 컴퓨터 과학  
  35. en:Theory of computation (40+) → 계산 이론  
  36. en:Tim Berners-Lee (130+) → 팀 버너스리  
  37. en:Turing completeness (29) → 튜링 완전  
  38. en:Variable (computer science) (40+) → 변수 (컴퓨터 과학)  
  1. en:Abstraction (70+) → 추상  
  2. en:Accounting method (computer science) (4)
  3. en:Adversary (cryptography) (8)
  4. en:ALGOL 68 (18)
  5. en:Algorithmic efficiency (17)
  6. en:Ambiguous grammar (15)
  7. en:Analytics (21) → 애널리틱스  
  8. en:Arlington Hall (3)
  9. en:Attack model (8)
  10. en:Automatic parallelization (8)
  11. en:Avalanche effect (14) → 쇄도 효과  
  12. en:Bachelor of Computer Science (6)
  13. en:Barbara Liskov (40+) → 바바라 리스코프  
  14. en:BATON (2)
  15. en:BCS Lovelace Medal (7)
  16. en:Beaumanor Hall (3)
  17. en:Bertrand Meyer (18)
  18. en:Bletchley Park (30+) → 블레츨리 파크  
  19. en:Blinding (cryptography) (5)
  20. en:Blom's scheme (3)
  21. en:Blum Blum Shub (17)
  22. en:Blum–Goldwasser cryptosystem (6)
  23. en:Blum–Micali algorithm (3)
  24. en:Boyer–Moore string-search algorithm (18)
  25. en:Brian Reid (computer scientist) (3)
  26. en:Broadcast encryption (2)
  27. en:Burrows–Abadi–Needham logic (6)
  28. en:Calculus of communicating systems (6)
  29. en:Canonical Huffman code (5)
  30. en:Canonical LR parser (5)
  31. en:Carl Adam Petri (19)
  32. en:CBC-MAC (12)
  33. en:Chosen-ciphertext attack (11)
  34. en:Ciphertext (18) → 암호문  
  35. en:Ciphertext-only attack (13)
  36. en:Ciphertext stealing (3)
  37. en:CIPHERUNICORN-A (3)
  38. en:CIPHERUNICORN-E (3)
  39. en:CiteSeerX (19)
  40. en:Client-side encryption (3)
  41. en:Clifford Cocks (5)
  42. en:Clipper chip (16)
  43. en:Code (60+) → 부호 (정보)  
  44. en:Collision attack (10) → 충돌 공격  
  45. en:Collision resistance (5)
  46. en:Commitment scheme (12)
  47. en:Communicating sequential processes (15) → 커뮤니케이팅 시퀜셜 프로세스  
  48. en:Communication Theory of Secrecy Systems (8)
  49. en:Comparison of disk encryption software (2)
  50. en:Compiler-compiler (19) → 컴파일러 컴파일러  
  51. en:Complexity of constraint satisfaction (2)
  52. en:Computability (15)
  53. en:Computational biology (25) → 계산생물학  
  54. en:Computational creativity (9)
  55. en:Computational geometry (29) → 계산기하학  
  56. en:Computational trust (3)
  57. en:Computers and Intractability (4) → Computers and Intractability: A Guide to the Theory of NP-Completeness  
  58. en:Computing education (4)
  59. en:Computing Machinery and Intelligence (14)
  60. en:Concatenative programming language (6)
  61. en:Conflict-free replicated data type (5)
  62. en:Const (computer programming) (7) → Const  
  63. en:Continuation (11)
  64. en:Coppersmith's attack (4)
  65. en:Corecursion (5)
  66. en:Correlation attack (3)
  67. en:CPLEX (7) → CPLEX  
  68. en:Cramer–Shoup cryptosystem (7)
  69. en:Cross compiler (17) → 크로스 컴파일러  
  70. en:Cryptanalysis of the Lorenz cipher (3)
  71. en:Crypt (C) (4)
  72. en:Crypto AG (15)
  73. en:Crypto-anarchy (24) → 크립토아나키즘  
  74. en:Cryptographically secure pseudorandom number generator (13)
  75. en:Cryptographic nonce (17)
  76. en:Cryptographic primitive (8)
  77. en:Cryptographic protocol (23)
  78. en:Cryptography standards (3)
  79. en:Crypto Wars (9)
  80. en:Curry–Howard correspondence (16) → 커리-하워드 대응  
  81. en:Currying (16) → 커링  
  82. en:Curve25519 (11)
  83. en:Custom hardware attack (4)
  84. en:Cyberinfrastructure (5)
  85. en:Dana Scott (30+) → 데이나 스콧  
  86. en:Data analysis (40+) → 데이터 분석  
  87. en:Database transaction schedule (11) → 스케줄 (컴퓨터 과학)  
  88. en:Decisional Diffie–Hellman assumption (3)
  89. en:Decision problem (29) → 결정 문제  
  90. en:Deniable encryption (13)
  91. en:Denotational semantics (16) → 표시적 의미론  
  92. en:Deterministic context-free language (9)
  93. en:Deterministic finite automaton (26) → 결정론적 유한 상태 기계  
  94. en:Deterministic pushdown automaton (9)
  95. en:Digital renminbi (10)
  96. en:Digital signature forgery (5)
  97. en:Direct manipulation interface (7)
  98. en:Distributed concurrency control (2)
  99. en:Divide-and-conquer algorithm (30+) → 분할 정복 알고리즘  
  100. en:Division algorithm (5)
  101. en:Double-ended queue (19) → 덱 (자료 구조)  
  102. en:Doubly linked list (11)
  103. en:DPLL algorithm (14)
  104. en:D-Wave Two (4)
  105. en:EdDSA (6)
  106. en:Encryption software (12)
  107. en:Event-driven programming (25) → 사건 기반 프로그래밍  
  108. en:Fagin's theorem (4)
  109. en:Fast multipole method (3)
  110. en:FEAL (11)
  111. en:Feige–Fiat–Shamir identification scheme (5)
  112. en:Filesystem-level encryption (3)
  113. en:Flynn's taxonomy (23) → 플린 분류  
  114. en:Ford–Fulkerson algorithm (20)
  115. en:Format-preserving encryption (4)
  116. en:Fortuna (PRNG) (5)
  117. en:Forward secrecy (20)
  118. en:Front-end web development (12)
  119. en:Full Domain Hash (3)
  120. en:Functional logic programming (6)
  121. en:Function composition (computer science) (5)
  122. en:Generic programming (30+) → 제네릭 프로그래밍  
  123. en:Goldwasser–Micali cryptosystem (8)
  124. en:Greibach normal form (18)
  125. en:Hardware security (4)
  126. en:Hardware virtualization (15)
  127. en:Hindley–Milner type system (4)
  128. en:History of cryptography (22)
  129. en:Human-centered design (4)
  130. en:Hybrid cryptosystem (10)
  131. en:Identity management (16)
  132. en:IEEE P1363 (5) → IEEE P1363  
  133. en:Initialization vector (17) → 초기화 벡터  
  134. en:Interaction technique (2)
  135. en:Interactive proof system (9)
  136. en:ISAAC (cipher) (4)
  137. en:John Alan Robinson (11)
  138. en:John Hopcroft (29) → 존 홉크로프트  
  139. en:KeeLoq (6)
  140. en:Ken Thompson (50+) → 켄 톰프슨  
  141. en:Kernel (image processing) (10)
  142. en:Key encapsulation mechanism (4)
  143. en:Knowledge graph (5) → 지식 그래프  
  144. en:Knuth–Morris–Pratt algorithm (21) → 커누스-모리스-프랫 알고리즘  
  145. en:Lagrangian relaxation (3)
  146. en:Lamport timestamp (7)
  147. en:Lighthill report (4)
  148. en:Logjam (computer security) (5)
  149. en:Loose coupling (8)
  150. en:Lossless compression (30+) → 비손실 압축  
  151. en:LR parser (14)
  152. en:Lucky Thirteen attack (4)
  153. en:Malleability (cryptography) (6)
  154. en:Marvin Minsky (50+) → 마빈 민스키  
  155. en:Maximum flow problem (15)
  156. en:MD6 (6)
  157. en:Meet-in-the-middle attack (16)
  158. en:Merkle–Hellman knapsack cryptosystem (14)
  159. en:Merkle signature scheme (4)
  160. en:Merkle's Puzzles (8)
  161. en:Minimum spanning tree (29)
  162. en:Mizar system (7)
  163. en:Model checking (14)
  164. en:Model–view–presenter (11) → 모델-뷰-프리젠터  
  165. en:Modified Harvard architecture (10)
  166. en:Multivariate cryptography (3)
  167. en:Naccache–Stern cryptosystem (3)
  168. en:Nicola Pellow (12)
  169. en:Niederreiter cryptosystem (2)
  170. en:NSAKEY (6)
  171. en:Oakley protocol (4)
  172. en:Object-oriented analysis and design (14)
  173. en:One-way compression function (7)
  174. en:Ontology engineering (6)
  175. en:Opcode (26) → 명령 코드  
  176. en:Operational semantics (15)
  177. en:Optimal asymmetric encryption padding (11)
  178. en:Optimizing compiler (10)
  179. en:Paillier cryptosystem (8)
  180. en:Pairing-based cryptography (5)
  181. en:Password strength (20)
  182. en:PCP theorem (7)
  183. en:Per Brinch Hansen (14)
  184. en:POSSE project (2)
  185. en:Priority inversion (12)
  186. en:Probabilistic encryption (3)
  187. en:Proof assistant (8)
  188. en:Proxy re-encryption (2)
  189. en:Pseudo-polynomial time (12)
  190. en:Pushdown automaton (29) → 푸시다운 자동 기계  
  191. en:Quantum logic gate (16)
  192. en:Ralph Merkle (18)
  193. en:Roofline model (2)
  194. en:RSA problem (6)
  195. en:Schnorr signature (10)
  196. en:Schönhage–Strassen algorithm (13) → 쇤하게-슈트라센 알고리즘  
  197. en:Scientific visualization (11)
  198. en:Secret sharing (13)
  199. en:Secure multi-party computation (11)
  200. en:Selection (user interface) (5)
  201. en:Semantics (computer science) (23) → 의미론 (컴퓨터 과학)  
  202. en:Semantic security (10)
  203. en:Server-Gated Cryptography (2)
  204. en:Shamir's secret sharing (8)
  205. en:Shannon–Hartley theorem (17)
  206. en:Shared secret (10)
  207. en:SIGABA (8)
  208. en:Signal Protocol (14)
  209. en:Simultaneous Authentication of Equals (2)
  210. en:Skipjack (cipher) (11)
  211. en:Softmax function (17) → 소프트맥스 함수  
  212. en:Software agent (26)
  213. en:Software feature (6)
  214. en:Solver (5)
  215. en:Sorting (16) → 정렬  
  216. en:Speculative execution (19)
  217. en:Steganography (40+) → 스테가노그래피  
  218. en:Stephen Cook (30+) → 스티븐 쿡  
  219. en:String-searching algorithm (20) → 문자열 검색 알고리즘  
  220. en:Strong NP-completeness (5)
  221. en:Strong RSA assumption (2)
  222. en:Suffix tree (17)
  223. en:Superdense coding (9)
  224. en:Susanne Albers (9)
  225. en:Synchronization (computer science) (18)
  226. en:Systems programming (11)
  227. en:Tate pairing (3)
  228. en:The Doughnut (6)  
  229. en:The Open Group Architecture Framework (17)
  230. en:Three-pass protocol (4)
  231. en:Threshold cryptosystem (6)
  232. en:Timing attack (11)
  233. en:TLA+ (5)
  234. en:Transcriptor (6)
  235. en:Tree (data structure) (40+) → 트리 구조  
  236. en:Type theory (25) → 유형 이론  
  237. en:Ultra (cryptography) (19)
  238. en:User error (5)
  239. en:Vector clock (5)
  240. en:Vienna Development Method (6)
  241. en:Weak NP-completeness (2)
  242. en:Web of trust (13)
  243. en:Whitfield Diffie (30+) → 휫필드 디피  
  244. en:Wiener's attack (4)
  245. en:Women in computing (14)
  246. en:Yarrow algorithm (8)