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

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

**Top-importance Computer science articles (36/132)**
# :en:Abstraction (computer science) (30+) → 추상화 (컴퓨터 과학) D
# :en:Alonzo Church (50+) → 알론조 처치 E
# :en:Breadth-first search (40+) → 너비 우선 탐색 D
# :en:Church–Turing thesis (30+) → 처치-튜링 논제 E
# :en:Computation (30+) → 컴퓨테이션 stub
# :en:Computer engineering (70+) → 컴퓨터 공학 D
# :en:Computer vision (50+) → 컴퓨터 비전 D
# :en:Context-free grammar (30+) → 문맥 자유 문법 E
# :en:Data (computer science) (30+) → 데이터 (컴퓨팅) D
# :en:Edsger W. Dijkstra (60+) → 에츠허르 데이크스트라 E
# :en:Free and open-source software (50+) → 자유-오픈 소스 소프트웨어 D
# :en:Information science (50+) → 정보과학 E
# :en:Information technology (120+) → 정보기술 E
# :en:Linked list (40+) → 연결 리스트 D
# :en:Logic programming (30+) → 논리형 프로그래밍 E
# :en:One-time pad (30+) → 원 타임 패드 E
# :en:Parsing (30+) → 구문 분석 D
# :en:Relational model (30+) → 관계형 모델 E
# :en:Software development (50+) → 소프트웨어 개발 E
# :en:Theoretical computer science (40+) → 이론 컴퓨터 과학 E
# :en:Theory of computation (40+) → 계산 이론 E
# :en:Tim Berners-Lee (140+) → 팀 버너스리 D
# :en:Binary data (9) → 이진 데이터 stub
# :en:Classical cipher (12) → 고전 암호 D
# :en:Concurrency (computer science) (29) → 병행성 D
# :en:Ethics of artificial intelligence (28) → 인공지능의 윤리 D
# :en:Evaluation strategy (14) → 평가 전략 (컴퓨터 프로그래밍) E
# :en:Formal methods (27) → 정형 기법 D
# :en:History of computer science (19)
# :en:Key-agreement protocol (9)
# :en:List (abstract data type) (29) → 리스트 (컴퓨팅) start
# :en:Programming language theory (21)
# :en:Pseudorandom number generator (27) → 유사난수 D
# :en:Race condition (27) → 경쟁 상태 start
# :en:Recursion (computer science) (29) → 재귀 (컴퓨터 과학) E
# :en:Turing completeness (29) → 튜링 완전 D

**High-importance Computer science articles (236/609)**
# :en:Abstraction (70+) → 추상 stub
# :en:Barbara Liskov (40+) → 바바라 리스코프 start
# :en:Computational geometry (30+) → 계산기하학 stub
# :en:Dana Scott (30+) → 데이나 스콧 start
# :en:Data analysis (40+) → 데이터 분석 start
# :en:Generic programming (30+) → 제네릭 프로그래밍 stub
# :en:Ken Thompson (50+) → 켄 톰프슨 start
# :en:Richard M. Karp (30+) → 리처드 M. 카프 start
# :en:Steganography (40+) → 스테가노그래피 stub
# :en:Stephen Cook (30+) → 스티븐 쿡 start
# :en:Tree (abstract data type) (40+) → 트리 구조 start
# :en:Whitfield Diffie (30+) → 휫필드 디피 start
# :en:Accounting method (computer science) (4)
# :en:Arlington Hall (3)
# :en:BATON (2)
# :en:Beaumanor Hall (3)
# :en:Blom's scheme (3)
# :en:Blum–Micali algorithm (3)
# :en:Brian Reid (computer scientist) (3)
# :en:Broadcast encryption (2)
# :en:Certification Practice Statement (2)
# :en:Ciphertext stealing (3)
# :en:CIPHERUNICORN-A (3)
# :en:CIPHERUNICORN-E (3)
# :en:Client-side encryption (3)
# :en:Comparison of disk encryption software (2)
# :en:Complexity of constraint satisfaction (2)
# :en:Computational trust (3)
# :en:Computers and Intractability (4) → Computers and Intractability: A Guide to the Theory of NP-Completeness start
# :en:Convergent encryption (2)
# :en:Coppersmith's attack (4)
# :en:Correlation attack (3)
# :en:Crypt (C) (4)
# :en:Cryptanalysis of the Lorenz cipher (3)
# :en:Cryptography standards (3)
# :en:Custom hardware attack (4)
# :en:D-Wave Two (4)
# :en:Data and information visualization (2)
# :en:Decisional Diffie–Hellman assumption (3)
# :en:Distributed concurrency control (2)
# :en:Fagin's theorem (4)
# :en:Fast multipole method (4)
# :en:Filesystem-level encryption (3)
# :en:Format-preserving encryption (4)
# :en:Full Domain Hash (3)
# :en:Hardware security (4)
# :en:Hindley–Milner type system (4)
# :en:Human-centered design (4)
# :en:Interaction technique (2)
# :en:ISAAC (cipher) (4)
# :en:Lagrangian relaxation (3)
# :en:Lucky Thirteen attack (4)
# :en:Merkle signature scheme (4)
# :en:Multivariate cryptography (3)
# :en:Naccache–Stern cryptosystem (3)
# :en:NewHope (2)
# :en:Niederreiter cryptosystem (2)
# :en:Oakley protocol (4)
# :en:POSSE project (2)
# :en:Probabilistic encryption (3)
# :en:Proxy re-encryption (3)
# :en:Roofline model (2)
# :en:Round (cryptography) (2)
# :en:Server-Gated Cryptography (2)
# :en:Strong RSA assumption (2)
# :en:Tate pairing (3)
# :en:Three-pass protocol (4)
# :en:Weak NP-completeness (2)
# :en:Wiener's attack (4)
# :en:Adversary (cryptography) (8)
# :en:ALGOL 68 (19)
# :en:Algorithmic efficiency (18)
# :en:Ambiguous grammar (15)
# :en:Analytics (22) → 애널리틱스 start
# :en:Attack model (8)
# :en:Automatic parallelization (8)
# :en:Avalanche effect (14) → 쇄도 효과 start
# :en:Bachelor of Computer Science (6)
# :en:BCS Lovelace Medal (7)
# :en:Bertrand Meyer (18)
# :en:Blinding (cryptography) (5)
# :en:Blum Blum Shub (17)
# :en:Blum–Goldwasser cryptosystem (6)
# :en:Boyer–Moore string-search algorithm (18)
# :en:Burrows–Abadi–Needham logic (6)
# :en:Calculus of communicating systems (6)
# :en:Canonical Huffman code (5)
# :en:Canonical LR parser (5)
# :en:Carl Adam Petri (19)
# :en:CBC-MAC (12)
# :en:Chosen-ciphertext attack (11)
# :en:Ciphertext-only attack (13)
# :en:Ciphertext (18) → 암호문 start
# :en:CiteSeerX (22)
# :en:Clifford Cocks (5)
# :en:Clipper chip (17)
# :en:Collision attack (12) → 충돌 공격 stub
# :en:Collision resistance (6)
# :en:Commitment scheme (12)
# :en:Communicating sequential processes (15) → 커뮤니케이팅 시퀜셜 프로세스 start
# :en:Communication Theory of Secrecy Systems (8)
# :en:Compiler-compiler (19) → 컴파일러 컴파일러 start
# :en:Computability (15)
# :en:Computational biology (27) → 계산생물학 stub
# :en:Computational creativity (9)
# :en:Computing education (5)
# :en:Concatenative programming language (6)
# :en:Conflict-free replicated data type (7)
# :en:Const (computer programming) (7) → Const start
# :en:Continuation (12)
# :en:Corecursion (5)
# :en:CPLEX (7) → CPLEX stub
# :en:Cramer–Shoup cryptosystem (7)
# :en:Cross compiler (17) → 크로스 컴파일러 stub
# :en:Crypto AG (15)
# :en:Crypto Wars (9)
# :en:Crypto-anarchy (24) → 크립토아나키즘 start
# :en:Cryptographic nonce (17)
# :en:Cryptographic primitive (9)
# :en:Cryptographic protocol (23)
# :en:Cryptographically secure pseudorandom number generator (13)
# :en:Currying (16) → 커링 start
# :en:Curry–Howard correspondence (16) → 커리-하워드 대응 start
# :en:Curve25519 (11)
# :en:Cyberinfrastructure (5)
# :en:Database transaction schedule (11) → 스케줄 (컴퓨터 과학) stub
# :en:Decision problem (29) → 결정 문제 start
# :en:Deniable encryption (13)
# :en:Denotational semantics (16) → 표시적 의미론 start
# :en:Deterministic context-free language (9)
# :en:Deterministic finite automaton (26) → 결정론적 유한 상태 기계 stub
# :en:Deterministic pushdown automaton (9)
# :en:Digital renminbi (12)
# :en:Digital signature forgery (5)
# :en:Direct manipulation interface (7)
# :en:Division algorithm (5)
# :en:Doubly linked list (11)
# :en:DPLL algorithm (15)
# :en:EdDSA (9) → 에드워즈 곡선 디지털 서명 알고리즘 stub
# :en:Encryption software (13)
# :en:Event-driven programming (27) → 사건 기반 프로그래밍 stub
# :en:FEAL (11)
# :en:Feige–Fiat–Shamir identification scheme (5)
# :en:Flynn's taxonomy (24) → 플린 분류 start
# :en:Fortuna (PRNG) (5)
# :en:Forward secrecy (20)
# :en:Front-end web development (12)
# :en:Function composition (computer science) (6)
# :en:Functional logic programming (6)
# :en:Goldwasser–Micali cryptosystem (8)
# :en:Greibach normal form (18)
# :en:Hardware virtualization (16)
# :en:History of cryptography (23)
# :en:Hybrid cryptosystem (11)
# :en:IEEE P1363 (5) → IEEE P1363 stub
# :en:Initialization vector (18) → 초기화 벡터 start
# :en:Interactive proof system (9)
# :en:John Alan Robinson (11)
# :en:John Hopcroft (29) → 존 홉크로프트 start
# :en:KeeLoq (6)
# :en:Kernel (image processing) (10)
# :en:Key encapsulation mechanism (5)
# :en:Knowledge graph (6) → 지식 그래프 start
# :en:Knuth–Morris–Pratt algorithm (21) → 커누스-모리스-프랫 알고리즘 start
# :en:Lamport timestamp (7)
# :en:Lighthill report (6)
# :en:Logjam (computer security) (5)
# :en:Loose coupling (8)
# :en:LR parser (14)
# :en:Malleability (cryptography) (6)
# :en:Maximum flow problem (16)
# :en:MD6 (6)
# :en:Meet-in-the-middle attack (16)
# :en:Merkle's Puzzles (8)
# :en:Merkle–Hellman knapsack cryptosystem (14)
# :en:Minimum spanning tree (29)
# :en:Mizar system (8)
# :en:Model checking (15)
# :en:Model–view–presenter (11) → 모델-뷰-프리젠터 start
# :en:Modified Harvard architecture (10)
# :en:Neural network (biology) (5)
# :en:Nicola Pellow (13)
# :en:NIST hash function competition (5)
# :en:NSAKEY (6)
# :en:Object-oriented analysis and design (14)
# :en:One-way compression function (7)
# :en:Ontology engineering (8)
# :en:Opcode (27) → 명령 코드 start
# :en:Optimizing compiler (11)
# :en:Paillier cryptosystem (7)
# :en:Pairing-based cryptography (5)
# :en:Password strength (20)
# :en:PCP theorem (7)
# :en:Per Brinch Hansen (14)
# :en:Proof assistant (8)
# :en:Pseudo-polynomial time (12)
# :en:Pushdown automaton (29) → 푸시다운 자동 기계 start
# :en:Quantum logic gate (17)
# :en:Ralph Merkle (18)
# :en:RSA problem (6)
# :en:Schnorr signature (10)
# :en:Schönhage–Strassen algorithm (13) → 쇤하게-슈트라센 알고리즘 stub
# :en:Scientific visualization (11)
# :en:Secret sharing (13)
# :en:Selection (user interface) (5)
# :en:Semantic security (10)
# :en:Semantics (computer science) (24) → 의미론 (컴퓨터 과학) start
# :en:Shamir's secret sharing (8)
# :en:Shannon–Hartley theorem (17)
# :en:Shared secret (11)
# :en:SIGABA (8)
# :en:Signal Protocol (15)
# :en:Skipjack (cipher) (12)
# :en:Softmax function (19) → 소프트맥스 함수 stub
# :en:Software feature (7)
# :en:Solver (6)
# :en:Sorting (18) → 정렬 start
# :en:String-searching algorithm (20) → 문자열 검색 알고리즘 stub
# :en:Strong NP-completeness (5)
# :en:Suffix tree (18)
# :en:Superdense coding (9)
# :en:Susanne Albers (9)
# :en:Systems programming (11)
# :en:The Doughnut (6) GA
# :en:Threshold cryptosystem (6)
# :en:Timing attack (12)
# :en:TLA+ (5)
# :en:Transcriptor (6)
# :en:Type theory (25) → 유형 이론 start
# :en:Ultra (cryptography) (18)
# :en:User error (6)
# :en:Vector clock (5)
# :en:Vienna Development Method (6)
# :en:Web of trust (13)
# :en:Women in computing (14)
# :en:Yarrow algorithm (8)
컴퓨터 과학