하이라이트
쉬운 전문용어 1209개
PL
lambda calculus
람다계산법, 람다 산술
3·13시간 전
PLSE
interprocedural dataflow analysis
함수간 데이터흐름분석 / 함수간 실행전분석, 함수콜도 분석하기
3·3일 전
AL
decidable
계산 가능한, 컴퓨터가 답할/결정할/계산할 수 있는, 풀수 있는
7·3일 전
PL
abstract interpretation
요약해석, 요약실행
4·3일 전
PL
definitional equality
겉보니 같음, 정의에 따라 같음
2·3일 전
PL
propositional equality
따져보니 같음, 증명에 따라 같음
2·3일 전
PL
dangling pointer
헛 포인터, 오리알 포인터, 재활용된 메모리, 오염된 메모리
5·4일 전
PL
continuous function
연속함수
6·14일 전
PL
approximation
근접하기, 어림잡기
5·15일 전
PL
proof assistant
증명보조기, 증명검사기, 증명도우미
5·15일 전
PL
induction
줄줄이 끌기, 바닥부터 끌어모으기, 귀납법, 인덕, 짐작해서 이끌기
12·15일 전
PLSE
symbolic execution
미지수 실행, 겉실행, 겉치레실행, 식전파 실행
6·16일 전
AI
neurosymbolic AI
논리-직관 융합 AI, 논리신경 융합 AI, 비빔지능, 섞어지능, 신경-논리 결합 AI
13·16일 전
PLSESC
reverse engineering
거꾸로 분석하기, 거꾸로 알아내기, 뜯어서 분석하기 / 뜯어서 알아내기, 역공학, 역설계
7·16일 전
PL
evaluate
값을 구하다, 계산하다
2·한 달 전
PL
monad
이어달리기 타입, 계산잇기 구조 / 계산잇기 타입, 차례차례타입, 줄줄이타입
18·한 달 전
PL
substructural type system
얄짤없는 타입 / 여지없는 타입, 제약된 타입 시스템
4·2달 전
boilerplate
찍어낸 코드, 판박이
3·2달 전
PL
compiled language
번역형 언어
2·2달 전
AI
agent
요원, 전문요원
2·2달 전
PL
interpreted language
실행형 언어
1·2달 전
transitive closure
번진것 다, 번짐모조리, 번짐의 끝, 다번짐, 번져모음, 연쇄반응의 극한, 연쇄반응의 끝, 전이최대범위
10·3달 전
PLSEOSNWAR
abstraction hierarchy
속내용 감추며 차곡차곡 쌓기, 요약 단계, 다단계 요약
5·3달 전
PLDB
assertion
단언 , 주장 , 필수조건, 꼭 , 이랴해, 보장
9·3달 전
PL
complete partial order(CPO)
완전 부분순서집합, 끝을 모두 가진 부분순서집합, 완비 부분순서집합
2·3달 전
PL
concrete semantics
구체적 의미, 의미, 의미구조, 요약 전 의미(구조)
5·3달 전
transitivity
번짐성, 연쇄성
2·3달 전
AR
operand
연산대상, 연산재
3·3달 전
AL
quick sort
휙 정렬
2·3달 전
AL
quicksort
휙 정렬
1·3달 전
SE
program repair
프로그램고치기
3·3달 전
SEOSNW
backwards compatibility
옛것과 잘 맞음, 역호환성, 기능 계승, 여전함
5·3달 전