번역 용례:

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

[식]

  번역     출처     비고  
  expression          

추가

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

리스트

[영어로 정렬]

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