Is·a·belle
B2proper noun여성 이름, 또는 정리 증명 소프트웨어의 이름
noun명사
- 1
- 2
이사벨 — 형식 논리와 수학 증명을 검증하는 데 쓰이는 정리 증명 보조 소프트웨어의 이름C1〔computing〕
the name of a proof assistant used to formalize and check logical or mathematical proofs
The researchers formalized the theorem in Isabelle.
연구자들은 그 정리를 Isabelle에서 형식화했다.
Isabelle can check whether a formal proof is valid.
Isabelle은 형식 증명이 유효한지 검사할 수 있다.
뉘앙스 · 쓰임
Isabel, Isabella와 관련된 이름이지만 Isabelle은 특히 프랑스어풍 철자로 느껴질 수 있습니다. Isabella는 더 길고 독립적인 이름이며, Isabelle은 보통 그보다 짧은 형태로 쓰입니다.
일반 명사가 아니라 고유명사이므로 문장 안에서 Isabelle처럼 대문자로 씁니다. 사람 이름으로 쓸 때는 번역하지 않고 보통 ‘이사벨’ 또는 ‘이자벨’로 표기합니다.
유의어 뉘앙스 비교
- Isabel
- 같은 계열의 이름으로, 철자가 더 짧다.
- Isabella
- 관련된 더 긴 여성 이름이다.
- proof assistant
- 특정 이름이 아니라 같은 종류의 소프트웨어를 가리키는 일반 용어이다.
자주 쓰는 표현 · Collocations
verb+noun
- named Isabelle이사벨이라고 이름 붙여진
noun+noun
- Isabelle proof assistantIsabelle 정리 증명 보조 시스템
verb+prep+noun
- formalize in IsabelleIsabelle에서 형식화하다
어원 · 암기 팁
[Hebrew via Spanish, Portuguese, and French]Isabelle은 Isabel의 변형으로, 궁극적으로 히브리어 이름 Elisheva에서 온 것으로 여겨집니다. 영어에는 프랑스어식 철자 형태를 통해 널리 쓰이게 되었습니다.
고유명사로, 현대 영어에서 더 작은 의미 단위로 분석하지 않는다.
💡 Isabelle은 Isabel에 -le이 붙은 프랑스어풍 철자라고 기억하면 쉽습니다.