번역 용례

번역 용례:

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

리스트

[영어로 정렬]


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