하이라이트
continuous function
연속함수
decidable
계산 가능한, 컴퓨터가 답할/결정할/계산할 수 있는
approximation
가까이하기, 근접하기, 어림잡기
proof assistant
증명보조기, 증명검사기, 증명도우미
induction
줄줄이 끌기, 바닥부터 끌어모으기, 귀납법, 인덕, 짐작해서 이끌기
abstract interpretation
요약해석, 요약된 실행, 실행의 요약
symbolic execution
미지수 실행, 겉실행, 겉치레실행, 식전파 실행
neurosymbolic AI
논리-직관 융합 AI, 논리신경 융합 AI, 비빔지능, 섞어지능, 신경-논리 결합 AI
reverse engineering
거꾸로 분석하기, 거꾸로 알아내기, 뜯어서 분석하기 / 뜯어서 알아내기, 역공학, 역설계
evaluate
값을 구하다, 계산하다
monad
이어달리기 타입, 계산잇기 구조 / 계산잇기 타입, 차례차례타입, 줄줄이타입
substructural type system
얄짤없는 타입 / 여지없는 타입, 제약된 타입 시스템
boilerplate
찍어낸 코드, 판박이
compiled language
번역형 언어
agent
요원, 전문요원
interpreted language
실행형 언어
transitive closure
번진것 다, 번짐모조리, 번짐의 끝, 다번짐, 번져모음, 연쇄반응의 극한, 연쇄반응의 끝, 전이최대범위
abstraction hierarchy
속내용 감추며 차곡차곡 쌓기, 요약 단계, 다단계 요약
assertion
단언 , 주장 , 필수조건, 꼭 , 이랴해, 보장
complete partial order(CPO)
완전 부분순서집합, 끝을 모두 가진 부분순서집합, 완비 부분순서집합
concrete semantics
구체적 의미, 의미, 의미구조, 요약 전 의미(구조)
transitivity
번짐성, 연쇄성
operand
연산대상, 연산재
quick sort
휙 정렬
quicksort
휙 정렬
program repair
프로그램고치기
backwards compatibility
옛것과 잘 맞음, 역호환성, 기능 계승, 여전함
synchronous programming
다하고넘어가는 프로그램짜기, 기다리는 프로그램 짜기, 정박자 프로그래밍, 지켜보기 프로그래밍, 차례있는 프로그램짜기, 합맞추기 프로그래밍
asynchronous programming
엇박자 프로그래밍, 양보하는 프로그래밍, 비순차 프로그래밍, 여러가지를 동시실행하는 프로그램짜기, 동시실행 프로그램짜기, 동시실행 프로그래밍, 실행순서없는 프로그램 짜기, 순서상관않는 프로그램짜기, 차례없는 프로그램 짜기, 맞겨놓기 프로그래밍, 엇맞추기 프로그래밍
modal logic
관점 논리
type system
타입 시스템, 타입 맞물림 규칙
collecting semantics
모음 의미구조, 모둠의미구조, 모둠 의미구조