번역 용례:

영어 전공 단어를 한글로 번역한 예들입니다. 좋은 예들을 등록해 주십시요.
프로그래밍 언어 및 프로그래밍 시스템 분야입니다.
등록된 예들은 email을 통해 전문가의 심사를 거쳐서 이곳에 남게됩니다.
추가할 단어나 찾고 싶은 단어를 넣으세요.
우리분야의 한글용어
영어강의, 성균관, 패러데이(JPG, PDF) (서울대 대학신문 [관악시평], 3/21/2011)
우리말 논문쓰기의 원칙
공부의 언어 (제4회 ROSAEC 센터 워크샵, 8/27/2010)

리스트

[한글로 정렬] [ A S a b c d e f g h i j l m n o p r s t u v w ]

A-normal formA-표준형
Skolemization안전하게 정량자를 제거하는 기법
abstract semantics요약된 의미구조
abstract syntax핵심 문법구조
abstract type구현된 속사정이 감추어진 타입, 추상형, 속내용이 감추어진 타입, 추상적인 타입
abstraction추상화, 속내용 가리기, 요약
application호출
applicative language값 중심의 언어
argument인자
array row배열 내용
assignment메모리에 쓰기
association list관계 리스트
associativity결합법칙, 방향성
atomic proposition단위 조건식
attribute grammar할일이 딸려있는 문법, 속성 문법
be polymorphic다형성이 있다
binary이진, 인자가 두개인
bind정의하다, 이름짓다, 묶다
binding정의하기, 명명하기, 결정하기
bottom바닥
bound위주의
built-in이미 있는, 붙박이
calculus셈법, 계산법
call by name식전달 호출
call by need제때 계산법, 적시 계산법
call by reference주소전달 호출, 값의 주소로 호출(하기)
call by value값으로 호출(하기), 값전달 호출
canonical monomial규범 단항식
case expression선택식
closure함수값, 자유변수값이 결정된 함수
closure analysis함수흐름 분석
closure conversion함수의 자유 변수를 없애주는 변환, 인자를 통해서만 외부와 소통하게 하는 변환
compilation언어의 기계어 변환, 프로그램 번역
compilation unit컴파일 단위, 번역 단위
compiler컴파일러, 번역기
completeness완전성, 빠뜨림이 없음
computation계산
computation strategy계산 전략, 계산 방식
concrete syntax구체적 문법 구조
conditional branch조건 가지
consistency일관성
constraint expression제약식
constructor생성자
constructor bind데이타 구성자 정의
constructor description데이타 구성자 접속방안
continuation앞으로 할 계산, 앞으로 할 일
continuation passing style앞으로 할 일을 전달하는, 계산과정을 전달하는, 앞으로 할 일을 함수로 정리해서 전달해주는
continuation passing style transform계산과정 전달 변환
control flow analysis함수 흐름 분석, 실행 흐름 분석
convergence수렴성
convergent수렴하는
correctness정확성, 올바름
curried application커리형 함수의 적용, 함수의 찻수를 하나씩 낮추는
curried function커리방식으로 고차화된 함수, 커리형 함수
dangling pointer메모리 도난, 없어진 메모리, 헛 메모리 주소, 다른용도로 재생된 메모리, 동강난 메모리
dangling reference동강난 메모리주소, 헛 메모리 주소, 메모리 도난, 없어진 메모리주소
data abstraction속내용을 신경쓰지 않게하기
data constructor데이타 구성자
data description데이타 타입 접속방안
data structure자료 구조
de-sugar설탕 구조를 풀다, 설탕구조를 녹이다
dead code계산되지 않는 코드
decision procedure참거짓 자동 판별기, 조건식 자동 검증기
declaration선언
deduction rule연역 법칙
delayed evaluation최대한 미루어 계산하는 방법
depedency analysis의존성 분석
descriptive logic서술논리
destructive파괴적인
determinisitc결정적
digit숫자
dynamic scoping실행중에 드러나는 이름의 실체, [이름의] 유효범위가 실행 중에 결정되는
dynamic semantics프로그램의 실행, 동적 의미구조
eager evaluation적극적인 계산법, 일단 값을 계산하고 보는
environment환경
environment enrichment기획 환경의 적응
environment function환경 함수
equational reasoning등치만들기 논법, 동치만들기 논법
error오류
evaluation by value적극적인 계산법
evaluation strategy계산법, 계산 전략, 계산 방식
exception예외상황
exception analysis예외상황 분석
exception bind예외상황 정의
exception description예외상황 접속방안
exception handling예외상황 처리, 예외상황 관리
expression프로그램식,
factorial계승
factorial function계승(階乘)함수
finiteness유한성
first order equational logic1차 등식 논리
foreign language interface외부 언어 접속
formal parameter형식인자
free identifier묶이지 않은 이름, 자유로운 이름
free type name묶이지 않은 타입 이름
free variable자유변수, 자유로운 이름, 묶이지 않은 변수, 자유로운 변수
function application함수 적용식, 함수 호출, 계산
function argument함수의 인자
function expression함수식
functional language함수 언어, 함수 중심의 언어, 값 중심의 언어
functional programming값 중심의 프로그래밍, 함수 중심의 프로그래밍
functional style함수 중심 스타일, 값 중심 스타일
functor모듈함수
functor signature instantiation모듈함수 타입의 실현
garbage collection메모리 재활용, 메모리 수거
generative생성적
grammar문법
head머리
heap profiler메모리 계측기
hierarchy계층구조, 계층구조 형성하기
high-order function고차 함수, 함수를 주고 받는 함수
higher-order and typed고차 타입을 갖춘
homomorphism동형성
imperative language행동지침형 언어, 명령형 언어, 순서 중심의 언어, 메모리 중심의 언어, 기계중심의 언어
incomplete불완전한
infix새치기
instantiation모듈함수 타입의 실현
interface접속방안
interoperability상호운용성
interpolating prover중간값을 채워나가는 증명기
interpretation실행
interpreter실행기
invariant불변성질
isomorphism같은 형태
iterative반복적
join operator결합 연산자
label row레코드 내용
lattice래티스
lazy evaluation값 계산을 최대한 미루는, 소극적인 계산법, 지연 계산법, 제때 계산법
leaf잎새
lexical conventions어휘 만드는 방법
lexicographic order사전적 순서 관계, 사전적 순서
list리스트
local definition우물안 정의, 지역적인 정의, 갇힌 정의
local procedure갇힌 프로시져, 유효범위가 제한된 프로시져
local variable유효범위가 제한된 변수, 갇힌 변수
logical relation논리적 관계
match어울리기, 패턴 맞추기
memory function메모리 함수
memory leak메모리 출혈, 메모리 누수
metalanguage언어를 기술하는 언어
model checking모델 검증
modularity따로따로 포장하기
module모듈
monad모나드
mono-variant analysis단일성 분석, 다수의 프로그램 흐름을 하나로 요약하는 분석, 다대일 분석
mutual recursive서로 호출하는, 서로 맞물려서 호출하는
narrowing좁히기
network네트워크 구축, 네트웍
non-deterministic비결정적
non-expansive메모리 반응을 일으키지 않는
normal form표준형, 틀에맞는 형태, 규격에맞는 형태
normalization표준화, 틀맞춤, 규격화
object객체, 물건
object-oriented language물건 중심의 언어
operational semantics실행과정을 생각하는 의미구조, 일상적인 의미구조, 논리형 의미구조
operator연산자
or-pattern무더기 패턴
ordered relation순서 관계
overflow넘침
parameter인자, 매개변수
parameterized module일반화된 모듈
paramodulation도출 원리
partial function일부만 정의된 함수
pattern패턴
pattern match패턴에 맞추기, 패턴과 어울리기
poly-variant analysis다대다 분석, 다형성을 가지는 분석, 다중 변종 분석, 다수의 프로그램 흐름을 하나 이상으로 요약하는 분석
polymorphic다형, 여러 모양의, 여러 타입을 가지는, 다변형
polymorphic function인자 타입에 상관없는 함수, 다형 함수
polymorphic type다형 타입
polymorphism다형성
postfix뒤에 붙는
precedence우선순위
predicate조건자, 서술식
predicate abstraction조건식 요약, 조건식을 하나의 변수로 요약하기
predicate logic서술논리
primitive기본
primitive recursive function단순한 자기 참조 함수, 원시적인 자기 참조 함수
principal type대표 타입, 가장 일반적인 타입
programming language프로그래밍 언어
recursive자기자신을 부르는, 자기호출
recursive function자기 호출 함수, 자기자신을 부르는 함수
recursive primitive definition원시적 자기참조 정의
reduction수행, 계산, 줄이기
refer언급하다
reference메모리 주소, 참조
reference manual참고서
rewrite다시 쓰기
rewrite rule다시 쓰기 규칙
rewrite semantics다시 쓰기를 이용한 의미 구조
saturation prover새로운 사실이 도출되지 않을 때까지 유도하는 증명기
scaffolding code테스터 코드, 테스트 발판 코드
scheme타입 틀
scope유효범위
selector선택자
semantics표시적, 의미 구조
sequence나열식
shape grammar형태 문법
side-effect수반되는 반응, 메모리 반응, 함께오는 반응
signature모듈타입
signature bind모듈타입 정의
signature matching모듈 접속
simple type단순 타입
soundness안전성
sparse data structure듬성 듬성 사용하는 데이타 구조
static analysis프로그램 분석
static scoping실행전에 결정되는 이름의 실체, [이름의] 유효범위가 미리 결정되는
static semantics정적 의미구조, 프로그램의 기획
static type synthesis타입 유추
strict evaluation일단 값을 계산하고 보는, 적극적 계산법
string글자실
structure모듈
structure bind모듈 정의
structure description모듈 접속방안
structure expression모듈식
substitution치환 함수, 바꿔치기
symbol기호
syntactic constraint문법적인 제약
syntax문법구조, 문법 구조
syntax analysis문법 구조 분석
tail나머지, 꼬리
tail recursive마지막에 자기자신을 부르는, 자기 호출이 마지막인, 끝재귀호출, 되돌아 올 필요없는 자기호출, 꼬리재귀호출
template거푸집
term명사식, 낱말
top declaration가장 위의 선언
top-level declaration가장 위의 선언
total function모두가 정의된 함수
trace partitioning실행과정 분할(하기)
tradeoff디자인 거래, 거래, 공학적 거래
tree가지구조
truely recursive function자기참조 없이는 정의할 수 없는 함수, 완전한 자기 참조 함수
tuple튜플
type, , 타입
type abbreviation타입 줄임말
type bind타입 정의
type construct타입식
type constructor타입, 타입 구성자
type description타입 접속방안
type expression타입식
type inference타입 유추
type realization타입 실현
type scheme타입 틀
type scheme generalization타입 틀의 적응
type structure타입 구조
type structure enrichment타입 구조의 적응
type system타입 체계
type variable타입 변수
typing rule타입 규칙, 타입만들기 규칙
unary인자가 하나인
uncurrying언커링
undecidable결정할 수 없는, 컴퓨터로는 불가능한
unification동일화, 타입을 같게 하는
value
value bind값 정의
value type enrichment값 타입의 적응
variable변수
verifier검증기
well founded바닥이 갖추어진, 올바르게 기초하였다, 밑바닥이 튼실한
well-formed제대로 구성된
widening축지법
wild pattern임의 패턴
속내용 감추기속내용을 신경쓰지 않게하기