Q·F

준준결승, 8강전 — 스포츠 경기에서 ‘준준결승’ 또는 ‘8강전’을 뜻하는 quarterfinal의 약어B2〔sports〕

an abbreviation for quarterfinal, a match or round before the semifinal

• Spain reached the QF after beating Croatia.

  스페인은 크로아티아를 이기고 준준결승에 진출했다.

• The women's QF starts at 7 p.m.

  여자부 준준결승은 오후 7시에 시작된다.

속사식의 — 군사 분야에서 포가 빠르게 발사될 수 있음을 뜻하는 quick-firing의 약어C2〔military〕

an abbreviation for quick-firing, used of certain guns or artillery

• The museum displays a British QF naval gun.

  그 박물관은 영국의 속사식 함포를 전시한다.

• The manual describes the QF gun's loading system.

  그 설명서는 속사포의 장전 방식을 설명한다.

수량사 없는 — 논리학·컴퓨터 과학에서 수량사가 없음을 뜻하는 quantifier-free의 약어C2〔logic〕

an abbreviation for quantifier-free, meaning containing no quantifiers

• The solver handles QF formulas over bit-vectors.

  그 솔버는 비트 벡터에 관한 무수량사 공식을 처리한다.

• They reduced the problem to a QF constraint.

  그들은 그 문제를 무수량사 제약식으로 축소했다.