Use "formal" in a sentence

1. Her formal field service is an extension of her informal witnessing.

그의 공식 야외 봉사는 비공식 증거의 연장이다.

2. A sacred, formal act performed by the authority of the priesthood.

신권의 권세에 의해 집행되는 성스러운, 공식적 행위이다.

3. In addition, every member of the Church is given specific formal opportunities to serve.

또한, 교회의 모든 회원에게는 구체적인 봉사 기회가 공식적으로 주어집니다.

4. Other approaches provide formal semantics of programming languages including axiomatic semantics and operational semantics.

다른 접근법은 공리적인 의미론(Axiomatic semantics)과 연산 의미론(Operational semantics)을 포함하는 프로그래밍 언어의 형식적 의미를 제공한다.

5. Thus, sociologists now talk about a “progressive wiping out” or “general erosion” of formal creeds.

그래서 사회학자들은 이제, 공식 교리의 “점진적인 제거” 또는 “전반적인 침식”에 관해 이야기들을 합니다.

6. For example, the Miskito language has no formal words of address, such as “Mister” or “Miss.”

예를 들어, 미스키토어에는 “~씨”와 같은 격식을 갖춘 칭호가 없습니다.

7. In the Church, an ordinance is a sacred, formal act performed by the authority of the priesthood.

교회에서, 의식은 신권의 권세로 집행되는 성스럽고 공식적인 행위이다.

8. It is informal in the sense that there is no podium and there are no formal addresses.

그것은 의제가 없다는 것과 공식적인 연설들이 없다는 면에서 비공식적이다.

9. There are laws that regulate working conditions but they are not well enforced even in the formal sector.

지방공무원법에도 직위분류제에 대한 규정은 존재하지만 하위 법령도 제정되어 있지 않는 등 사실상 실제로 적용되지는 않는다.

10. (1 Timothy 2:9) Today, most countries have certain dress codes that are considered acceptable in formal society.

(디모데 전 2:9) 오늘날 많은 나라에서는 공식 석상에서 통용되는 특정한 옷입는 규칙이 있읍니다.

11. This sudden depreciation in 2001 led to a formal investigation, which in turn led to a dramatic recovery.

2001년의 급격한 가치 절하로 인해 공식적인 조사가 시작되었으며, 이로써 경기가 극적으로 회복되었다.

12. Accreditation is the formal certification that a model or simulation is acceptable to be used for a specific purpose.

인증은 모델 또는 시뮬레이션이 특정 목적에 사용될 수 있는가에 관한 공식적인 검증이다.

13. My husband told me that if I did not return home, he would make a formal charge of abandonment.

남편은 내가 집으로 돌아오지 않는다면 가정을 저버린 것에 대해 정식으로 고소하겠다고 말했읍니다.

14. Afterward, their family sent a formal proposal of marriage to our family, and I was talked into accepting it.

그 후 그 남자의 가족은 우리 가족에게 정식으로 청혼을 해 왔으며, 나는 설득을 받아 그와 결혼하는 데 동의하였습니다.

15. Candidates had to demonstrate that they had accepted at least the fundamental beliefs by reciting some formal summary of them.

침례 지원자들은 그 신경들 중 요약된 얼마의 공식문을 암송함으로써 적어도 기초적인 신앙 만큼은 받아들였다는 것을 나타내야 했다.

16. Google maintains formal processes to grant, change or terminate user access in the Ad Manager environment under the control of Google.

Google은 Google 관리하에 Ad Manager 환경에 대한 사용자 액세스 권한을 부여, 변경 또는 종료하는 공식적인 프로세스를 유지 관리하고 있습니다.

17. Though you may use a formal question-and-answer method, can you contribute to pleasurable interchanges by adapting study sessions, especially for younger children?

형식을 갖춘 문답식 방법을 사용할 수 있지만, 여러분은 연구 시간을 특히 더 어린 자녀들에게 맞게 적응시킴으로써 즐거움을 주는 의사 교환이 되게 할 수 있습니까?

18. Giving a more detailed explanation, scholar Geoffrey Parrinder states in his book Religion in Africa: “[African wooden masks] are religious, whether they are naturalistic, formal or abstract.

학자 제프리 패린더는 저서 「아프리카의 종교」(Religion in Africa)에서 좀더 자세히 설명하면서 이렇게 말한다. “[아프리카의 목제 가면]은 사실적이든 전통적이든 추상적이든, 종교적인 의미를 지니고 있다.

19. As a result, research into this class of formal systems began to address both logical and computational aspects; this area of research came to be known as modern type theory.

결과적으로, 이 형식적 체계의 클래스가 논리학적인 면과 계산기적인 면과의 양쪽 모두를 설명하게 되었다; 이 연구 영역은 현대형 이론으로서 알려지게 되었다.

20. Creating a club for the ball players called for a formal set of rules for each member to adhere to, foremost among them to "have the reputation of a gentleman".

선수들을 위해 클럽을 새로 만드는 일은, 무엇보다 먼저 선수들 사이에 "신사의 평판을 갖도록 하기" 위해, 각 구성원이 충실히 지켜야 할, 일련의 공식적인 규칙을 요구하게 되었다.

21. In theory, the emperor's political power was absolute, but even during the Han dynasty, he shared executive powers with civilian officials and normally based his decisions on the advice and formal consensus of his ministers.

이론상 황제의 정치적 권한은 절대적이었으나, 한나라 시대부터 황제는 조정의 대소신료들과 같이 권력을 나눴고, 중요한 일이 있을 때에는 재상들과의 조언과 그들 사이에서 만들어진 총의에 따라 실행하였다.

22. He directed the team that invented and implemented FORTRAN, the first widely used high-level programming language, and was the inventor of the Backus–Naur form (BNF), a widely used notation to define formal language syntax.

그는 최초로 널리 사용된 고급 프로그래밍 언어 (포트란)를 발명한 팀을 이끌었고 형식 언어 문법을 정의하는 배커스-나우르 표기법을 발명했다.

23. The 1964 Congress in Vienna provided that any member of the United Nations could accede to the Union simply by formal declaration to the Swiss government, and without need of the two-thirds vote of approval.

그러나 ‘비인’에서 열린 1964년도 총회에서 규정한 바에 의하여, 국제 연합 회원국은 3분의 2 이상의 가투표 없이 단지 ‘스위스’ 정부에 형식적인 신고를 하므로써 연합에 가입할 수 있게 되었다.

24. If so, it may not be necessary to conduct a formal study with him in any other publication, though the conductor should continue to take an active interest in his progress. —See the January 15, 1996, Watchtower, pages 14, 17.

하지만 사회자는 그의 진보에 계속 적극적인 관심을 가져야 합니다.—참조 「파수대」 1996년 1월 15일호 14, 17면.

25. In Łukasiewicz's 1951 book, Aristotle's Syllogistic from the Standpoint of Modern Formal Logic, he mentions that the principle of his notation was to write the functors before the arguments to avoid brackets and that he had employed his notation in his logical papers since 1929.

1951년에 쓰여진 루카쉐비치의 책 Aristotle's Syllogistic from the Standpoint of Modern Formal Logic에서, 그는 그의 표기법의 원칙은 괄호를 피하기 위해 인자 앞에 함수적 술어를 쓰는 것이었으며, 1929년부터 그의 논리학 논문에서 그의 표기법을 사용해 왔다고 언급한다.