번역 용례:

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

[식]

  번역     출처     비고  
  expression          

추가

영어 단어: -- 여러 단어가 있을 경우 하나만 입력하세요.
출처: -- 예) saseo, nML 참고서 p20
비고: -- 번역 예나, 이 번역이 좋은 이유.
부주의 검사: -- (f(44) - f(44) + (오 + 삼) * 74 / 74) 의 답

리스트

[한글로 정렬] [ a c d e f m p s t ]

atomic proposition단위 조건식
call by name식전달 호출
canonical monomial규범 단항식
case expression선택식
computation strategy계산 방식
constraint expression제약식
curried function커리방식으로 고차화된 함수
decision procedure참거짓 자동 판별기, 조건식 자동 검증기
evaluation strategy계산 방식
expression, 프로그램식
first order equational logic1차 등식 논리
formal parameter형식인자
function application함수 적용식
function expression함수식
match어울리기
predicate서술식
predicate abstraction조건식 요약, 조건식을 하나의 변수로 요약하기
sequence나열식
structure expression모듈식
term명사식, 낱말
type construct타입식
type expression타입식