하이라이트
쉬운 전문용어 1218개
PL
structural rule
두루쓰이는 규칙, 범용규칙
2·12시간 전
AL
quick sort
퀵정렬, 휙정렬
6·13시간 전
PL
continuation passing style
앞으로할일 전달하는, 마저할일 드러낸, 마저할일 전달하는
7·13시간 전
PL
over-approximation
놓침없이 따지기, 넉넉한 근사, 더어림잡기, 포함 어림
13·16시간 전
PL
continuation passing style transform
마저할일 드러내기, 마저할일전달 변환
5·2일 전
PL
correct-by-construction
만들면 다맞는, 만들면서 올바름을 보장하는, 틀린걸만들수없는
6·2일 전
AIALSE
local optimum
지역 최적해
2·7일 전
SE
regression testing
여전한지 검사 / 여전한지 검사하기, 굳히기 검사, 후퇴방지 검사
5·7일 전
AI
harness engineering
고삐 채우기
2·7일 전
PL
weak update
합쳐쓰기
1·한 달 전
PL
strong update
덮어쓰기
1·한 달 전
OS
computing system
컴퓨팅시스템
3·한 달 전
transitivity
번짐성, 연쇄성, 이어짐
3·한 달 전
PL
congruence
나란함, 닮음, 일관성
3·한 달 전
PL
under-approximation
가짜없이 따지기, 밭게잡기, 덜어림잡기, 부분 어림, 틀림없이 근사하기
12·한 달 전
transitive closure
번진것 다, 번짐모조리, 번짐의 끝, 번져모음, 연쇄반응의 끝, 이어진 모든 것
11·2달 전
PL
trace
실행 경로, 실행발자국, 자취
4·2달 전
SC
SBOM (SW Bill of Materials)
SW구성성분표
4·2달 전
AL
merge sort
합치기 정렬, 뭉쳐가며 정렬, 합병 정렬, 합침 정렬
4·2달 전
PL
lambda calculus
람다계산법
5·2달 전
PLAIALGH
approximation
근접하기, 어림잡기
6·2달 전
PLSE
interprocedural dataflow analysis
함수간 데이터흐름분석 / 함수간 실행전분석, 함수콜도 분석하기
3·2달 전
AL
decidable
계산 가능한, 컴퓨터가 답할/결정할/계산할 수 있는, 풀수 있는
7·2달 전
PL
abstract interpretation
요약해석, 요약실행
4·2달 전
PL
definitional equality
겉보니 같음, 정의에 따라 같음
2·2달 전
PL
propositional equality
따져보니 같음, 증명에 따라 같음
2·2달 전
PL
dangling pointer
헛 포인터, 오리알 포인터, 재활용된 메모리, 오염된 메모리
5·2달 전
PL
continuous function
연속함수
6·2달 전
PL
proof assistant
증명보조기, 증명검사기, 증명도우미
5·2달 전
PL
induction
줄줄이 끌기, 바닥부터 끌어모으기, 귀납법, 인덕, 짐작해서 이끌기
12·2달 전
PLSE
symbolic execution
미지수 실행, 겉실행, 겉치레실행, 식전파 실행
6·2달 전
AI
neurosymbolic AI
논리-직관 융합 AI, 논리신경 융합 AI, 비빔지능, 섞어지능, 신경-논리 결합 AI
13·2달 전