하이라이트
transitive closure
번진것 다, 번짐모조리, 번짐의 끝, 다번짐, 연쇄반응의 극한, 연쇄반응의 끝
transitivity
번짐성, 연쇄성
operand
연산대상, 연산재
quick sort
휙 정렬
quicksort
휙 정렬
program repair
프로그램고치기
backwards compatibility
옛것과 잘 맞음, 역호환성, 기능 계승, 여전함
synchronous programming
다하고넘어가는 프로그램짜기, 기다리는 프로그램 짜기, 정박자 프로그래밍, 지켜보기 프로그래밍, 차례있는 프로그램짜기, 합맞추기 프로그래밍
asynchronous programming
엇박자 프로그래밍, 양보하는 프로그래밍, 비순차 프로그래밍, 여러가지를 동시실행하는 프로그램짜기, 동시실행 프로그램짜기, 동시실행 프로그래밍, 실행순서없는 프로그램 짜기, 순서상관않는 프로그램짜기, 차례없는 프로그램 짜기, 맞겨놓기 프로그래밍, 엇맞추기 프로그래밍
modal logic
관점 논리
type system
타입 시스템, 타입 맞물림 규칙
collecting semantics
모음 의미구조, 모둠의미구조, 모둠 의미구조
over-approximation
넉넉잡기, 놓침없이 따지기, 후하게 따지기, 넉넉한 근사, 넓게어림잡기, 놓침없이 근사하기, 더어림잡기, 더포함하는 근사
under-approximation
가짜없이 따지기, 헛것없이 따지기, 박하게 따지기, 밭게잡기, 덜어림잡기, 덜포함하는 근사, 좁게어림잡기, 틀림없이 근사하기
monad
이어달리기 타입, 계산잇기 구조 / 계산잇기 타입, 차례차례타입, 계산효과 타입, 순차적 맥락 타입, 계산법 타입 / 계산법 드러내는 타입, 모나드, 속속타입, 줄줄이타입
trace
실행 경로, 실행발자국
calculus of constructions
증명짓기 계산법, 하나된 계산법
just-in-time compiler
즉석 번역기, 실행시점 번역기, 그때그때 번역기, 때맞춘 번역기, 바로바로 번역기, 실행때 번역기, 제때 번역기, 때맞춰 작동하는 번역기, 벼락치기 번역기
top-down program synthesis
전체에서 부품으로 프로그램 합성하기, 큰 틀을 먼저 정하면서 프로그램 합성하기, 빈칸메꾸기로 합성하기, 위에서부터 프로그램 합성해하기, 메뉴부터 정해서 프로그램 요리하기, 위부터 합성, 아래로 합성, 분열식 합성
confluence
만나게됨, 합류
retrieval augmented generation
검색 생성
predicate
조건식, 논리식, 논리조건, 명제함수, 성질 / 원소에대한 명제
scope
유효범위
proof assistant
증명보조기, 증명검사기, 증명도우미
beta-reduction
베타계산
vacuously true
따질 필요 없다
modular programming
조립식 프로그래밍, 따로따로 프로그래밍
modular analysis
조립식 분석, 따로따로 분석
bottom-up program synthesis
부품에서 전체로 프로그램 합성하기, 작은 식 조립해서 큰 프로그램 합성하기, 바닥부터 프로그램 합성해가기, 재료부터 정해서 프로그램 요리하기, 조립식으로 합성하기, 아래부터 합성, 구성식 합성
contra-variant
거슬러 변하는, 반대 변환, 거슬러 변하기, 거스르는, 반대쪽변환, 청개구리 변환
co-variant
발맞춰 변하기, 발맞춰 변하는, 맞춰 변하기, 맞춰 변하는, 맞춰 변하기, 같은쪽변환, 같이 변환, 결맞는
subtype
아래타입, 하위타입, 작은타입