hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
IEEE 754 형식
이진 형식의 경우, 값을 정확하게 표현할 수 있는 가장 작은 표현 가능 지수를 선택하여 표현이 고유하게 만들어진다. 또한, 지수는 직접 표현되지 않고, 가장 작은 표현 가능 지수가 1로 표현되고 0은 비정규 값에 사용되도록 바이어스가 추가된다. 정규 범위 내의 지수를 가진 숫자(지수 필드가 모두 1이거나 모두 0이 아님)의 경우, 유효숫자의 선행 비트는 항상 1이다. 결과적으로, 선행 1은 메모리 인코딩에 명시적으로 존재하기보다는 암시될 수 있으며, 표준에 따라 유효숫자의 명시적으로 표현된 부분은 0과 1 사이에 놓인다. 이 규칙은 선행 비트 규칙, 암시 비트 규칙 또는 숨겨진 비트 규칙이라고 불린다. 이 규칙은 이진 형식이 추가 비트 정밀도를 가질 수 있도록 한다. 선행 비트 규칙은 비정규 값에 사용할 수 없는데, 이는 비정규 값이 정규 지수 범위를 벗어나고 가장 작은 정규 값에 사용되는 가장 작은 표현된 지수에 따라 스케일링되기 때문이다.
IEEE 754 형식
여러 인코딩 가능성(적어도 교환 형식이라고 불리는 형식에서)으로 인해, NaN은 다른 정보를 가질 수 있다: 부호 비트(의미는 없지만 일부 연산에서 사용될 수 있음) 및 페이로드, 이는 NaN의 소스를 나타내는 진단 정보를 위한 것이다(그러나 페이로드는 NaN-boxing과 같은 다른 용도로 사용될 수 있음).
이 표준은 숫자 기수와 교환 인코딩에 사용되는 비트 수를 기준으로 이름이 지정된 5가지 기본 형식을 정의한다. 32, 64, 128비트로 인코딩되는 3가지 이진 부동소수점 기본 형식과 64 또는 128비트로 인코딩되는 2가지 십진 부동소수점 기본 형식이 있다. binary32 및 binary64 형식은 각각 IEEE 754-1985의 단일 및 이중 형식이다. 준수하는 구현은 기본 형식 중 하나 이상을 완전히 구현해야 한다.
이 표준은 또한 이러한 기본 형식을 일반화하는 교환 형식을 정의한다. 이진 형식의 경우, 선행 비트 규칙이 필요하다. 다음 표는 가능한 교환 형식(기본 형식 포함) 중 일부를 요약한 것이다.
IEEE 754 형식
위 표에서 정수 값은 정확한 값이며, 소수점 표기법(예: 1.0)의 값은 반올림된 값이다. 나열된 최소 지수는 정규 숫자에 대한 것이다. 특별한 비정규 값 표현은 정밀도의 일부 손실과 함께 더 작은(크기 면에서) 숫자를 표현할 수 있게 한다. 예를 들어, binary64에서 표현할 수 있는 가장 작은 양수는 2−1074이다. −1074라는 수치에 기여하는 요소는 emin 값 −1022와 53개의 유효숫자 비트 중 하나를 제외한 모든 비트(2−1022 − (53 − 1) = 2−1074)를 포함한다.
십진 자릿수는 해당 십진 자릿수로 표현된 형식의 정밀도이다. 이는 자릿수 × log10 기수로 계산된다. 예를 들어, binary128은 약 34자리 십진수와 동일한 정밀도를 가진다.
log10 MAXVAL은 인코딩 범위의 척도이다. 그 정수 부분은 유효숫자에 선행 자릿수 하나를 가진 과학적 표기법으로 값의 출력에 표시되는 가장 큰 지수이다(예: 1.698×10^38은 binary32의 가장 큰 값에 가깝고, 9.999999×10^96은 decimal32의 가장 큰 값이다).
IEEE 754 형식
binary32(단일) 및 binary64(이중) 형식은 오늘날 가장 일반적으로 사용되는 형식 중 두 가지이다. 아래 그림은 값의 범위에 대한 두 형식의 절대 정밀도를 보여준다. 이 그림은 숫자의 예상 값과 필요한 정밀도를 고려하여 적절한 형식을 선택하는 데 사용될 수 있다.
32비트 부동소수점의 레이아웃 예시는 다음과 같다.
그리고 64비트 레이아웃도 유사하다.
표준은 기본 형식보다 더 큰 정밀도를 제공하는 선택적인 확장 및 확장 가능 정밀도 형식을 지정한다. 확장 정밀도 형식은 더 많은 정밀도와 더 넓은 지수 범위를 사용하여 기본 형식을 확장한다. 확장 가능 정밀도 형식은 사용자가 정밀도와 지수 범위를 지정할 수 있도록 한다. 구현은 이러한 형식에 대해 원하는 내부 표현을 사용할 수 있다. 정의되어야 할 것은 매개변수(b, p, emax)뿐이다. 이러한 매개변수는 주어진 기수에 대한 부호, 유효숫자, 지수의 조합인 유한 숫자 집합을 고유하게 설명한다.
IEEE 754 형식
표준은 언어 표준이 지원되는 각 기수 b에 대해 p와 emax를 지정하는 방법을 제공하도록 권장한다. 표준은 언어 표준 및 구현이 각 기수 b에 대해 지원되는 가장 큰 기본 형식보다 더 큰 정밀도를 가진 확장 형식을 지원하도록 권장한다. 두 기본 형식 사이에 정밀도를 가진 확장 형식의 경우 지수 범위는 다음으로 넓은 기본 형식의 지수 범위 이상이어야 한다. 따라서 예를 들어 64비트 확장 정밀도 이진수는 적어도 16383의 'emax'를 가져야 한다. X87 80비트 확장 형식은 이 요구 사항을 충족한다.
원래의 IEEE 754-1985 표준도 확장 형식의 개념을 가지고 있었지만, emin과 emax 사이에 의무적인 관계는 없었다. 예를 들어, 모토로라 68881 80비트 형식은 emin = − emax였고, 이는 적합한 확장 형식이었지만 2008년 개정에서는 비적합이 되었다.
교환 형식은 주어진 형식에 대해 고정 길이의 비트 문자열을 사용하여 부동소수점 데이터를 교환하기 위한 것이다.
IEEE 754 형식
이진 부동소수점 숫자의 교환을 위해 16비트, 32비트, 64비트, 그리고 128비트 이상의 32비트의 모든 배수 길이의 교환 형식이 정의되어 있다. 16비트 형식은 작은 숫자(예: 그래픽)의 교환 또는 저장을 위한 것이다.
이러한 이진 교환 형식의 인코딩 스키마는 IEEE 754-1985와 동일하다: 부호 비트, 그 뒤에 바이어스로 오프셋된 지수를 설명하는 w개의 지수 비트, 그리고 유효숫자를 설명하는 p − 1개의 비트. k비트 형식의 지수 필드 너비는 w = round(4 log2(k)) − 13으로 계산된다. 기존의 64비트 및 128비트 형식은 이 규칙을 따르지만, 16비트 및 32비트 형식은 이 공식이 제공하는 것보다 더 많은 지수 비트(각각 5 및 8)를 가진다(각각 3 및 7).
IEEE 754-1985와 마찬가지로, 바이어스 지수 필드는 모두 1 비트로 채워져 무한대(유효숫자 필드 = 0) 또는 NaN(유효숫자 필드 ≠ 0)을 나타낸다. NaN의 경우, 조용한 NaN과 신호 NaN은 유효숫자 필드의 최상위 비트를 독점적으로 사용하여 구분되며, 페이로드는 나머지 비트에 전달된다.
십진 부동소수점 숫자의 교환을 위해 32비트의 모든 배수의 교환 형식이 정의된다. 이진 교환과 마찬가지로, 십진 교환 형식의 인코딩 스키마는 부호, 지수 및 유효숫자를 인코딩한다. 두 가지 다른 비트 수준 인코딩이 정의되어 있으며, 사용 중인 인코딩에 대한 외부 지시자가 필요할 수 있다는 사실 때문에 교환이 복잡하다.
두 가지 옵션은 유효숫자를 밀집된 십진 코드를 사용하여 압축된 십진수 시퀀스로 인코딩하거나, 또는 이진 정수로 인코딩할 수 있게 한다. 전자는 표준의 직접적인 하드웨어 구현에 더 편리하고, 후자는 이진 컴퓨터에서 소프트웨어 에뮬레이션에 더 적합하다. 어느 경우든, 인코딩될 수 있는 숫자 집합(부호, 유효숫자, 지수의 조합)은 동일하며, 특수 값(최소 지수를 가진 ±0, ±무한대, 조용한 NaN, 신호 NaN)은 동일한 인코딩을 가진다.
IEEE 754 반올림 규칙
이 표준은 다섯 가지 반올림 규칙을 정의한다. 처음 두 규칙은 가장 가까운 값으로 반올림하고, 나머지는 방향성 반올림이라고 한다.
극단적인 경우, 보다 절대값이 엄격히 작은 값은 최소 또는 최대 유한 숫자(값의 부호에 따라 다름)로 반올림된다. 정확히 이 크기를 가진 숫자들은 타이로 간주된다. 이러한 타이 선택은 와  사이의 중간점으로 개념화될 수 있으며, 지수가 제한되지 않는다면 크기가 더 큰 다음 표현 가능한 부동소수점 숫자가 될 것이다. k보다 절대값이 엄격히 큰 숫자들은 해당 무한대로 반올림된다.
"가장 가까운 짝수로 반올림"은 이진 부동소수점의 기본값이며 십진수의 권장 기본값이다. "가장 가까운 0에서 멀리 반올림"은 십진수 구현에만 필요하다.
별도로 지정되지 않는 한, 연산의 부동소수점 결과는 무한 정밀도(수학적) 결과에 반올림 함수를 적용하여 결정된다. 이러한 연산을 정확하게 반올림되었다고 한다. 이 요구 사항을 정확한 반올림이라고 한다.
IEEE 754 필수 연산
지원되는 산술 형식(기본 형식 포함)에 대한 필수 연산은 다음과 같다.
이 표준은 지원되는 산술 형식에서 하나의 부동소수점 데이터를 다른 데이터와 비교하기 위한 비교 판단을 제공한다. NaN과의 모든 비교는 순서가 지정되지 않은 것으로 처리된다. −0과 +0은 동일하게 비교된다.
이 표준은 지원되는 산술 형식의 표준 멤버에 대한 전순서를 정의하는 `totalOrder` 판단을 제공한다. 이 판단은 한 부동소수점 숫자가 다른 숫자보다 작을 때 비교 판단(섹션 비교 판단 참조)과 일치한다. 주요 차이점은 다음과 같다.
NaN은 정렬 가능하다.
NaN은 무한대(또는 다른 부동소수점 숫자)보다 큰 절댓값을 가진 것처럼 취급된다. (−NaN < −Infinity; +Infinity < +NaN.)
qNaN과 sNaN은 qNaN이 sNaN보다 큰 절댓값을 가진 것처럼 취급된다. (−qNaN < −sNaN; +sNaN < +qNaN.)
NaN은 페이로드에 따라 정렬된다. IEEE 754-2008에서는 더 작은 페이로드를 가진 NaN이 더 작은 절댓값을 가진 것으로 취급된다. IEEE 754-2019에서는 구현 정의된 모든 순서가 허용된다.
IEEE 754 필수 연산
`totalOrder` 판단은 형식의 모든 인코딩에 전순서를 부과하지 않는다. 특히, 동일한 부동소수점 표현의 다른 인코딩(예: 하나 또는 둘 다의 인코딩이 비표준인 경우)을 구별하지 않는다. IEEE 754-2019는 `totalOrder`에 대한 명확화를 포함한다.
NaN 신호 비트의 배치에 대한 IEEE 754-2008 권장 사항을 따르는 이진 교환 형식의 경우, 비교는 부동소수점 숫자를 부호-크기 정수(타입 재해석 가정, 이 비교와 일치하는 페이로드 순서 가정)로 타입 재해석하는 것과 동일하며, 이는 FPU 없이 FP 비교를 위한 오래된 기술이다.
IEEE 754 예외 처리
이 표준은 다섯 가지 예외를 정의하며, 각 예외는 기본값을 반환하고 예외 발생 시 설정되는 해당 상태 플래그를 가진다. 다른 예외 처리는 필요하지 않지만, 추가적인 비기본 대안이 권장된다(섹션 대체 예외 처리 참조).
다섯 가지 가능한 예외는 다음과 같다.
이는 IEEE 754-1985에서 정의된 것과 동일한 다섯 가지 예외이지만, 0으로 나누기 예외는 나눗셈 외의 연산으로 확장되었다.
일부 십진 부동소수점 구현은 IEEE 754에 포함되지 않은 추가 예외를 정의한다.
또한, quantize와 같은 연산에서 피연산자 중 하나가 무한대이거나 결과가 대상 형식에 맞지 않으면 잘못된 연산 예외도 신호한다.
IEEE 754 특수 값
IEEE 754 표준에서는 0에 부호가 있으며, 이는 "양의 0"(+0)과 "음의 0"(-0)이 모두 존재함을 의미한다. 대부분의 런타임 환경에서 양의 0은 일반적으로 "0"으로, 음의 0은 "-0"으로 출력된다. 두 값은 숫자 비교에서 동일하게 동작하지만, 일부 연산은 +0과 -0에 대해 다른 결과를 반환한다. 예를 들어, 1/(−0)은 음의 무한대를 반환하는 반면, 1/(+0)은 양의 무한대를 반환한다(따라서 1/(1/±∞) = ±∞ 항등식이 유지됨). x = 0에서 불연속 함수이며 +0과 -0을 다르게 처리할 수 있는 다른 일반적인 함수에는 Γ(x)와 임의의 음수 y에 대한 y + xi의 주요 제곱근이 포함된다. 다른 근사 방식과 마찬가지로 "음의 0"과 관련된 연산은 때때로 혼란을 야기할 수 있다. 예를 들어, IEEE 754에서 는 항상 1/x = 1/y를 의미하지 않는데, 0 = −0이지만 1/0 ≠ 1/(−0)이기 때문이다. 또한, ±0의 역 제곱근은 ±∞인 반면, 실수 상에서 수학 함수 는 음수 값을 가지지 않는다.
IEEE 754 특수 값
비정규 값은 언더플로 간격을, 언더플로 간격 바로 바깥의 인접 값들과 동일한 절대 거리 값을 가진 값들로 채운다. 이는 언더플로 간격에 0만 두고 언더플로 결과가 0으로 대체되던(flush to zero) 이전 관행보다 개선된 것이다.
최신 부동소수점 하드웨어는 일반적으로 비정규 값(정규 값뿐만 아니라)을 처리하며, 비정규 값에 대한 소프트웨어 에뮬레이션이 필요하지 않다.
확장된 실수의 무한대는 1, 1.5 등과 같은 일반적인 부동소수점 값처럼 IEEE 부동소수점 데이터 형식으로 표현될 수 있다. 이는 어떤 식으로든 오류 값은 아니지만, 오버플로가 발생할 때 종종(반올림에 따라 다름) 대체 값으로 사용된다. 0으로 나누기 예외 발생 시, 양의 또는 음의 무한대가 정확한 결과로 반환된다. 무한대는 숫자(C의 "INFINITY" 매크로 또는 프로그래밍 언어가 해당 구문을 허용하는 경우 "∞")로도 도입될 수 있다.
IEEE 754는 무한대를 합리적인 방식으로 처리하도록 요구한다. 예를 들면 다음과 같다.
IEEE 754 특수 값
IEEE 754는 0/0, ∞×0, sqrt(−1)과 같은 특정 "잘못된" 연산의 결과로 반환되는 "숫자가 아님"(NaN)이라는 특수 값을 지정한다. 일반적으로 NaN은 전파된다. 즉, NaN을 포함하는 대부분의 연산은 NaN을 결과로 내지만, 주어진 부동소수점 값에 대해 정의된 결과를 제공하는 함수는 NaN에 대해서도 그렇게 한다(예: NaN ^ 0 = 1). NaN에는 두 가지 종류가 있다: 기본적으로 조용한 NaN(quiet NaN)과 선택적으로 신호 NaN(signaling NaN). 모든 산술 연산(숫자 비교 포함)에서 신호 NaN은 "잘못된 연산" 예외를 알린다.
표준에 의해 지정된 NaN의 표현은 오류의 유형 또는 소스를 인코딩하는 데 사용될 수 있는 일부 지정되지 않은 비트를 가지고 있다. 그러나 해당 인코딩에 대한 표준은 없다. 이론적으로 신호 NaN은 런타임 시스템에서 초기화되지 않은 변수를 플래그하거나, 일반 값으로 계산 속도를 늦추지 않고 부동소수점 숫자를 다른 특수 값으로 확장하는 데 사용될 수 있지만, 이러한 확장은 일반적이지 않다.
IEEE 754 설계 배경
여기서 논의된 확장 형식, NaN, 무한대, 비정규 값 등 IEEE 754 표준의 좀 더 난해한 기능들이 수치 해석학자나 고급 수치 응용 프로그램에만 관심 있는 것이라는 일반적인 오해가 있다. 사실은 그 반대이다. 이러한 기능들은 전문가를 위한 정교한 수치 라이브러리를 지원하는 것 외에도 수치적으로 미숙한 프로그래머에게 안전하고 견고한 기본값을 제공하도록 설계되었다. IEEE 754의 핵심 설계자인 윌리엄 카한은 다음과 같이 언급한다. "IEEE 754 이진 부동소수점 연산 표준의 기능들이 수치 전문가 외에는 아무도 사용할 수 없는 기능으로 [간주되는 것]은 잘못이다. 사실은 정반대이다. 1977년에 이 기능들은 가장 넓은 시장에 서비스하기 위해 인텔 8087에 설계되었다... 오류 분석은 프로그래머들 사이의 선의의 무지에 대해 적당히 관대한 IEEE 754 표준과 같은 부동소수점 연산을 설계하는 방법을 알려준다."
IEEE 754 설계 배경
무한대, NaN과 같은 특수 값은 부동소수점 연산이 대수적으로 완전하도록 보장한다. 즉, 모든 부동소수점 연산은 잘 정의된 결과를 생성하며, 기본적으로 기계 인터럽트나 트랩을 발생시키지 않는다. 또한, 예외적인 경우에 반환되는 특수 값의 선택은 많은 경우에 올바른 답을 제공하도록 설계되었다. 예를 들어, IEEE 754 연산에서는 R(z) := 7 − 3/[z − 2 − 1/(z − 7 + 10/[z − 2 − 2/(z − 3)])]와 같은 연분수는 모든 입력에 대해 올바른 답을 제공한다. 이는 잠재적인 0으로 나누기, 예를 들어 z = 3의 경우 +무한대를 제공하여 올바르게 처리되며, 따라서 이러한 예외는 안전하게 무시될 수 있기 때문이다. 카한이 언급했듯이, 아리안 5호 로켓의 손실을 초래한 부동소수점의 16비트 정수 변환 오버플로로 인한 처리되지 않은 트랩은 기본 IEEE 754 부동소수점 정책 하에서는 발생하지 않았을 것이다.
IEEE 754 설계 배경
x87 80비트 형식의 설계 배경에 대해 카한은 다음과 같이 언급했다. "이 확장 형식은 속도 손실이 거의 없이 float 및 double 피연산자를 사용하는 가장 간단한 산술을 제외한 모든 산술에 사용하도록 설계되었다. 예를 들어, 다항식 평가, 스칼라 곱, 부분 및 연분수와 같은 재귀를 구현하는 루프의 스크래치 변수에 사용되어야 한다. 이는 종종 단순한 알고리즘을 망칠 수 있는 조기 오버/언더플로 또는 심각한 국소 소거를 방지한다." 높은 정밀도와 확장된 지수를 가진 확장 형식으로 중간 결과를 계산하는 것은 과학적 계산의 역사적 관행과 공학용 계산기 설계에 선례가 있다. 예를 들어, 휴렛 팩커드의 금융 계산기는 저장하거나 표시하는 것보다 세 자릿수 더 높은 정밀도로 산술 및 금융 함수를 수행했다. 확장 정밀도 구현을 통해 표준 기본 함수 라이브러리를 쉽게 개발할 수 있었으며, 이는 일반적으로 높은 속도로 마지막 자릿수 단위 (ULP) 내에서 이중 정밀도 결과를 제공했다.
단정밀도 및 배정밀도 형식의 특징은 부동소수점 하드웨어를 사용하지 않고도 비트가 부호-크기 정수를 나타내는 것처럼 쉽게 정렬할 수 있다는 것이다. 비록 이것이 설계 고려 사항이었는지는 불분명하지만(이전의 IBM 16진 부동소수점 표현도 정규화된 숫자에 대해 이러한 속성을 가졌다는 점은 주목할 만하다). 널리 사용되는 2의 보수 표현에서, 비트를 부호 있는 정수로 타입 재해석하면 양수는 올바르게 정렬되지만, 음수는 역순으로 정렬된다. 이를 수정하는 한 가지 방법으로, 양수 값에 대해 부호 비트를 뒤집고 음수 값에 대해 모든 비트를 뒤집는 XOR 연산을 사용하면 모든 값이 부호 없는 정수로 정렬될 수 있다(−0 < +0).
IEEE 754 권장 사항
이 표준은 사용자 정의 기본값 사전 대체, 트랩(흐름을 어떤 식으로든 변경하는 예외) 및 try/catch와 같이 흐름을 중단하는 기타 예외 처리 모델을 포함하여 다양한 형태의 선택적 예외 처리를 권장한다. 트랩 및 기타 예외 메커니즘은 IEEE 754-1985와 마찬가지로 선택 사항으로 유지된다.
이 표준의 9절은 언어 표준이 정의해야 할 추가 수학 연산을 권장한다. 표준을 준수하기 위해 필수로 요구되는 연산은 없다.
다음은 정확하게 반올림되어야 하는 권장 산술 연산이다.
,  및  함수는 덜 필요하다고 간주되어 IEEE 754-2008 표준의 일부가 아니었다. 와 는 언급되었지만 이는 오류로 간주되었다. 이 세 함수는 모두 2019년 개정판에 추가되었다.
권장되는 연산에는 동적 모드 반올림 방향 설정 및 접근과 합계, 스케일링된 곱, 스칼라곱과 같이 정확도가 표준에 의해 지정되지 않은 구현 정의 벡터 축소 연산이 포함된다.
IEEE 754 권장 사항
2019년 기준 현재 이진 형식에 대한 확장 산술 연산도 권장된다. 덧셈, 뺄셈, 곱셈에 대해 지정된 이 연산은 형식에서 가장 가까운 값으로 정확하게 반올림된 결과와 형식에서 정확하게 표현 가능한 오차 항으로 구성된 한 쌍의 값을 생성한다. 표준 발행 당시에는 하드웨어 구현이 알려지지 않았지만, 매우 유사한 연산은 이미 잘 알려진 알고리즘을 사용하여 소프트웨어로 구현되었다. 이들의 표준화 역사와 동기는 배경 문서에 설명되어 있다.
IEEE 754 권장 사항
2019년 현재, IEEE 754-2008의 minNum, maxNum, minNumMag, maxNumMag은 비연관성으로 인해 구식화되었다. 대신 두 가지 새로운 최소 및 최대 연산 집합이 권장된다. 첫 번째 집합은 최소(minimum), 최소 숫자(minimumNumber), 최대(maximum), 최대 숫자(maximumNumber)를 포함한다. 두 번째 집합은 최소 크기(minimumMagnitude), 최소 크기 숫자(minimumMagnitudeNumber), 최대 크기(maximumMagnitude), 최대 크기 숫자(maximumMagnitudeNumber)를 포함한다. 이 변경의 역사와 동기는 배경 문서에 설명되어 있다.
이 표준은 언어 표준이 연산 시퀀스의 의미론을 지정해야 하는 방법과 결과 값의 변경을 가져오는 리터럴 의미와 최적화의 미묘함을 지적한다. 대조적으로, 이전 1985 버전의 표준은 언어 인터페이스의 측면을 지정하지 않아 컴파일러 간의 일관되지 않은 동작이나 최적화 컴파일러의 다른 최적화 수준으로 이어졌다.
IEEE 754 권장 사항
프로그래밍 언어는 사용자가 각 기수에 대한 표현식의 중간 계산에 대한 최소 정밀도를 지정할 수 있도록 허용해야 한다. 이는 표준에서 preferredWidth라고 불리며, 블록별로 설정할 수 있어야 한다. 표현식 내의 중간 계산은 피연산자의 너비와 설정된 경우 선호 너비 중 최대값을 사용하여 계산되고 임시 변수가 저장되어야 한다. 따라서 예를 들어 X87 부동소수점 하드웨어를 대상으로 하는 컴파일러는 중간 계산이 double-extended format을 사용해야 함을 지정하는 수단을 가져야 한다. 변수의 저장된 값은 후속 표현식을 평가할 때 항상 사용되어야 하며, 변수에 반올림 및 할당하기 전의 어떤 전임자도 사용되어서는 안 된다.
IEEE 754-1985 버전의 표준은 구현에서 많은 변형(일부 값의 인코딩 및 특정 예외의 감지 등)을 허용했다. IEEE 754-2008은 이러한 허용을 줄였지만, 몇 가지 변형은 여전히 남아 있다(특히 이진 형식의 경우). 재현성 절은 언어 표준이 재현 가능한 프로그램(즉, 언어의 모든 구현에서 동일한 결과를 생성하는 프로그램)을 작성하는 수단을 제공해야 한다고 권장하며, 재현 가능한 결과를 달성하기 위해 수행해야 할 작업을 설명한다.
잠재적으로 재현 불가능한 동작의 구체적인 예는 C 및 C++에서 찾을 수 있다. 이 언어들은 부동소수점 연산 결과에 대해 더 높은 정밀도를 사용하고, 일반적인 곱셈-덧셈을 FMA로, `1.0/sqrt(x)`를 단일 명령어로 역 제곱근으로 축약하는 것을 허용한다. GCC 및 cl.exe와 같은 C/C++ 컴파일러는 이러한 변경 사항이 명확한 정확도 손실 없이 더 빠른 코드를 생성할 수 있으므로, 특별히 요청하지 않는 한 기본적으로 둘 다 허용한다. 컴파일러는 또한 더 명백하게 비준수적인 "빠른" 최적화를 제공한다. C 수식 함수는 일반적으로 "정확하게 반올림"되도록 구현되지 않아 문제를 더한다. 부동소수점 환경도 서드파티 코드에 의해 예상치 않게 변경될 수 있다.
IEEE 754 문자 표현
이 표준은 기본 형식과 외부 문자열 형식 간의 변환 연산을 요구한다. 십진 문자 형식으로의 변환과 그 반대로의 변환은 모든 형식에 대해 필수이다. 외부 문자열 형식으로의 변환은 가장 가까운 짝수로 반올림하여 다시 변환할 때 원래 숫자를 복구할 수 있어야 한다. 조용한 NaN 또는 신호 NaN의 페이로드를 보존할 필요는 없으며, 외부 문자열 형식에서 변환할 때 신호 NaN이 조용한 NaN으로 바뀔 수 있다.
원래 이진 값은 다음을 사용하여 십진수로 변환한 다음 다시 변환하여 보존된다.
다른 이진 형식의 경우 필요한 십진수 자릿수는 다음과 같다.
여기서 p는 이진 형식의 유효 비트 수이며, 예를 들어 binary256의 경우 237비트이다.
십진 부동소수점 형식을 사용할 때 십진 표현은 다음을 사용하여 보존된다.
IEEE 754 문자 표현
이진수에서 십진수로, 십진수에서 이진수로 정확하게 반올림되는 변환을 위한 알고리즘과 코드는 게이(Gay)가 논의했고, 테스트 – 는 팩슨(Paxson)과 카한(Kahan)이 논의했다.
이 표준은 C99의 16진수 부동소수점 리터럴을 기반으로 하는 외부 16진수-유효숫자 문자 시퀀스와의 변환을 권장한다. 이러한 리터럴은 선택적 부호(`+` 또는 `-`), "0x" 지시자, 소수점 유무에 관계없이 16진수, "p" 지수 지시자, 선택적 부호가 있는 십진 지수로 구성된다. 구문은 대소문자를 구분하지 않는다. 십진 지수는 2의 거듭제곱으로 스케일링된다. 예를 들어, `0x0.1p0`은 1/16이고 `0x0.1p-4`는 1/256이다.
IEEE 754 더 읽어보기
Goldberg, David (March 1991). 《What Every Computer Scientist Should Know About Floating-Point Arithmetic》. 《ACM Computing Surveys》 23. 5–48쪽. doi:10.1145/103162.103163.  (추록 "Differences Among IEEE 754 Implementations" 포함: , )
Cowlishaw, Mike (June 2003). 〈Decimal floating-point: Algorism for computers〉 (PDF). 《16th IEEE Symposium on Computer Arithmetic, 2003. Proceedings.》. Los Alamitos, Calif.: IEEE Computer Society. 104–111쪽. doi:10.1109/ARITH.2003.1207666. ISBN 978-0-7695-1894-7. 2014년 11월 14일에 확인함. .
IEEE 754 더 읽어보기
Monniaux, David (May 2008). 《The pitfalls of verifying floating-point computations》. 《ACM Transactions on Programming Languages and Systems》 30. 1–41쪽. arXiv:cs/0701192. doi:10.1145/1353445.1353446. : 인기 있는 아키텍처의 부동소수점에서 비직관적인 동작들을 모아놓은 것으로, 프로그램 검증 및 테스트에 미치는 영향을 포함한다.
Muller, Jean-Michel; Brunie, Nicolas; de Dinechin, Florent; Jeannerod, Claude-Pierre; Joldes, Mioara; Lefèvre, Vincent; Melquiond, Guillaume; Revol, Nathalie; Torres, Serge (2018) [2010]. 《Handbook of Floating-Point Arithmetic》 2판. Birkhäuser. doi:10.1007/978-3-319-76526-6. ISBN 978-3-319-76525-9.
IEEE 754 더 읽어보기
Overton, Michael L. (2001).  쿠란트 수학연구소, 뉴욕 대학교, 뉴욕, 미국에서 작성. 《Numerical Computing with IEEE Floating Point Arithmetic》 1판. 필라델피아, 미국: SIAM. doi:10.1137/1.9780898718072. ISBN 978-0-89871-482-1. 978-0-89871-571-2, 0-89871-571-7.  2nd edition, 2025. SIAM. ISBN 978-1-61197-840-7.
Beebe, Nelson H. F. (2017년 8월 22일). 《The Mathematical-Function Computation Handbook - Programming Using the MathCW Portable Software Library》 1판. 솔트레이크시티, 유타, 미국: Springer International Publishing AG. doi:10.1007/978-3-319-64110-2. ISBN 978-3-319-64109-6.
피임
피임(한국 한자: 避妊, 영어: birth control)은 성교를 거쳐 임신이 되는 것을 일정한 수단을 사용하여 막는 행위이다.  피임법에는 여러가지가 있고 콘돔 사용이 가장 흔하다. 사후 피임약의 원리는 자궁벽을 탈락시킴으로써 수정란이 자궁벽에 착상하지 못하게 하는 것이다. 거의 모든 피임법에 피임 실패율이 있기 때문에 피임과 함께 논란이 많은 임신중단권 운동이 병행되었다.
피임 물리적인 피임법
물리적인 피임법은 자연 피임이 아닌 강제적인 방법으로, 정자의 이동 차단, 호르몬을 통한 배란 리듬 변경, 화학 등을 활용하는 방법이다.
차단을 통한 방법은 정자가 자궁에 도달하지 못하도록 막는 방법이다.
가장 흔한 차단법은 남성용 콘돔이다. 콘돔은 라텍스 또는 폴리우레탄으로 된 얇은 주머니로, 음경위에 끼운다. 폴리우레탄으로 만든 여성용 콘돔도 있다. 여성용 콘돔은 유연한 링을 양쪽 끝에 달아, 한쪽은 치골 뒤에에 고정시키며, 반대쪽 링은 질 바깥으로 나온다.
경부 차단(cervical barriers) 또는 질 스폰지는 질 밖으로 나오지 않는 도구이다. 질 스폰지는 경부 속에서 탄력을 통해 모양을 유지한다. 경부 캡은 가장 작은 경부 차단 도구이다. 경부나 질 벽에 빨려들어가서 위치를 잡는다. 레아 방패(Lea's shield)는 조금 더 큰 경부 차단 장치이고, 역시 흡수를 통해서 위치를 유지한다.
피임 물리적인 피임법
질격막(영어: diaphragm 다이어프램)은 치골 뒷쪽에 유지하며, 모양을 안전하게 유지하면서도 탄력있는 링이며, 질벽을 누르며 모양을 갖춘다. 격막의 크기는 의사가 지정해 주어야 한다. 성관계를 갖기 수시간 전에 삽입하고, 관계 후 6시간 이내에 빼내야 한다.
SILCS 질격막은 새로 디자인된 방식의 질격막으로서, 임상 실험중이다.
호르몬을 이용한 여러 피임 방법은 다음과 같다.
보통 에스트로겐과 프로게스틴(인공적인 프로게스테론)을 잘 섞어서 사용한다. 먹는 피임약(경구 피임약), 피임 반창고와 질 링("누바링(NuvaRing)") 등이 있다. 현재 한국과 미국에서 시판이 되고 있지는 않지만, 달마다 주사하는 루넬(Lunelle)도 있다.
피임 물리적인 피임법
먹는 피임약은 월경이 시작되는 첫날부터(또는 5일 이내부터), 하루 1정씩 가급적 일정한 시간에 21일간 복용한다. 21일 후에는 7일 동안 복용을 중단하며 쉰다. 이로써 한 번의 배란 주기가 끝나고 월경을 하게 된다. 복용 첫날부터 피임 효과가 있으나, 중단하면 피임 효과가 없어진다. 한편, 먹는 피임약은 유방암·자궁경부암 등 각종 암이나 질병을 유발할 가능성이 있다는 조사 결과가 있지만 이것은 한참 논란적이었다가 생산 중단된 1세대 피임약에 해당하는 부작용이고 최근에 시판되는 3세대 및 4세대 피임약은 부정출혈, 구토, 혈전발생등의 부작용이 있는 반면에 여드름, 생리통을 완화시키며 생리혈이 감소되는 장점도 존재하여 피부과 또는 산부인과에서 처방하기도 한다.
피임 물리적인 피임법
프로게스틴(인공적인 프로게스테론)만을 사용하는 방법도 있다. 프로게스틴만을 담은 알약(POP 또는 미니 알약(minipill))이나 주사하는
데포 프로베라(Depo Provera 3개월마다 근육주사하는 데포제), 그리고 노리스테라트 (아세트 노리틴드론, 8주마다 근육주사)와 피임 임플란트등이 있다. 프로게스틴만을 담은 약들은 정확한 때에 먹거나 주입하여야 한다. 피임 임플란트, 즉 6개의 캡슐로 된 노플란트(Norplant)는 미국에서 1999년 수거되었으며, 2006년부터 시판되는 임플라논(Implanon)은 미국에서 시판되었다. 프로게스틴만 들어있는 약들은 사용중 불규칙한 혈루를 일으킬 수 있다.
정자를 죽이는 약으로 질(살)정제라고도 하며, 알약으로 되어 있다. 성교를 하기 전 약 한알을 질 안에, 손가락으로 최대한 깊이 넣으면 녹아서 거품이 생긴다. 이 거품은 자궁 입구를 막는 효과와, 사정한 후 나오는 정자들을 죽이는 효과가 있다. 지속 시간이 30분 정도이며, 또 충분히 녹을 시간을 줘야 한다. 또 너무 얕게 넣지 않도록 해야 한다.
자궁 내 장치(미국영어 IUD: intrauterine device 영국영어 IUCD: intra-uterine contraceptive device)는 한국에서는 흔히 루프(loop)라고 부르는 장치이다. 현재 가장 많이 사용되는 장치이다. 보통 T자 모양으로 생겨 양쪽 팔을 자궁벽에 걸치게 되어 있다. 플라스틱 또는 플라스틱과 구리의 합성된 장치이다. 구리는 정자를 죽이는 효과가 있으며, 플라스틱만으로 된 장치는 피임호르몬인 프로게스토겐을 내보낸다. 이 장치가 잘 자리잡으면 89%의 피임률을 보이지만, 여성이 느끼지 못한 상태에서 빠질 수도 있으며, 불규칙적인 하혈이나 하복부 통증을 유발할 수도 있다. 미국에서 허용되는 것은 한 가지 종류이며, 영국에서 쓰이는 것은 일곱 종류가 있다.
정자와 난자의 이동 통로를 잘라내는 방법이 있으나, 영구적으로 잘라내어 재생할 수 없기 때문에 주의해야 한다.
남성에게 시술하는 정관 수술은, 고환에서 만든 정자가 이동하는 관인 수정관을 묶거나 잘라내어 정자가 이동하는 것을 막는 방법이다. 한번 잘라낸 정관은 정관복원수술로 다시 붙일 수 있으나 방법 선택에 주의해야 한다. 여성에게 시술하는 나팔관 수술은 난소에서 만든 난자가 이동하는 관인 나팔관을 잘라 묶는 수술이다. 한번 잘라낸 나팔관은 다시 복원할 수도 있다.
피임 자연피임법
몸에 특별한 변화를 주지 않고 할 수 있는 피임법을 자연피임법이라고 한다. 행동을 통해 피임을 한다고 해서 행동피임법(behavioral methods)이라고도 부른다.
[[파일 방법으로 피임을 시도하는 커플이 첫 1년 사이에 피임에 실패하는 비율은 통상(typical usage) 24%, 최저(perfect usage) 0.5%-4%이고, 월경 기간에도 임신이 가능하므로 의학적으로 권장되는 피임법은 아니며 반드시 다른 피임법과 병행되어야 한다.
다음의 피임법들은 여성이 생리현상을 기준으로 배란기를
피임 성공률
오늘날 쓰이는 피임 수단들은 다음과 같은 확실성이 있는 것으로 평가되고 있다.
피임 윤리적 논란
피임에 대해 찬성하는 이들은 여성 스스로 임신여부를 결정할 수 있게 되었을 뿐만 아니라, 인구제한도 가능해졌다는 점을 들어 피임을 찬성한다.
반대하는 주된 입장은, 정자나 난자가 수정이 된 뒤부터는 엄연한 인간 생명체라는 입장과, 성은 쾌락을 위한 것이 아닌 자녀 생산을 위한 것이라는 입장 때문이다.
종교마다 윤리적으로 다양한 입장을 보이며, 같은 종교 아래에도 여러 생각을 가진 이들이 있다. 기독교에서, 로마 가톨릭은 자연 가족 계획만을 허용하는 반면 개신교에서는 더 다양한 관점을 가지고 있다. 성공회에서는 피임에 대해 목소리를 내지는 않았으나, 혼배성사를 통해 맺어진 이성간의 성생활을 하느님이 주신 은총으로 해석한다. 또한 로마 가톨릭에서 권장하는 배란주기법도 일종의 자연 피임 방법일 뿐 피임이 아닌 것은 아닌 것으로 해석한다.
유대교에서, 정통파 유대교는 보다 완고하며, 개혁파 유대교는 보다 허용적이다. 이슬람에서는, 권장하지는 않지만, 건강을 해치지 않고 불임의 위험이 없는 한 허용하고 있다. 힌두교에는 자연, 인공 피임 모두 허용한다.
입체주의
입체파또는 큐비즘(Cubism)은 20세기 초에 프랑스에 일어난 서양미술 표현 양식의 하나를 일컫는다. 입체주의라고도 한다.
입체주의 개요
큐비즘(Cubism)이라는 용어의 기원은 조르즈 브라크(Georges Braque)의 풍경화에서 비롯되는 것으로 알려져 있다. 20세기 초 브라크는 프랑스의 남쪽 지중해 연안 지방 레스타크 (L'Estaque)에서 사생을 하면서 풍경화를 그렸으며 이 풍경화를 두고 헨리 마티스(Henri Matisse)가 입체적 희한함 (bizarreries cubique) 이라고 풍자하는 데에서 유래되었다. 이 단어에서 착안하여 브라크의 표현 양식을 본뜬 그림들 및 화가들의 경향을 큐비즘이라 부르게 되었다.
브라크는 레스타크 지방의 풍경화를 그리면서 대상을 입체적 공간으로 나누어 여러 가지 원색을 칠하여 자연을 재구성하였다. 이와 같은 실험적인 공간 구성과 대상의 표현 양식에서 출발하여 브라크와 피카소 등의 입체주의 화가들은 점차 여러 각도에서 바라본 입체적인 형태 즉 원통형, 입방형, 원추형을 선과 면으로 표현하여 하나의 화폭에 질서있게 쌓아올려 입체주의 기법을 발전시켜나갔다.
입체주의 개요
그러나 입체주의를 대표했던 화가들 즉 피카소, 브라크는 모두 형태의 완전한 추상을 원한 것은 아니었다. 그들의 그림은 화가가 느끼고 경험했던 대상을 여러 시점과 각도에서 한 폭에 그려내 감상자로 하여금 그 대상의 생동감을 느낄 수 있도록 하기 원함이었다. 이렇듯 완벽한 추상까지는 아니었지만 입체주의는 대상에서 형태를 해방시켰으며, 그 자신의 어법을 발전시키는 과정에서 수 많은 새로운 미술의 가능성을 열어보였다. 이는 미래주의, 순수추상, 다다이즘등 이후에 출현하는 대부분의 미술 사조에 영향을 끼쳤다.
입체주의 역사
세잔은 화가가 빛의 속임수를 그리고 현상을 모사(模寫)하는 데 불과한 것을 불만으로 여겨 더욱 항구적인 자연을 그리려고 부심하였다. 피카소가 세잔을 본따서 흑인조각에서 자극을 받아 《아비뇽의 처녀들》을 그린 것은 1907년의 일이다. 같은 무렵에 포비즘(야수파)의 그룹에서 떨어져 나온 브라크는 세잔의 '모든 자연은 원추(圓錐)와 원통(圓筒)과 구체로 환원된다'라고 말한 내용의 에밀 베르나르에게 보낸 편지(1907년에 공표되었다)의 그 구절에 따라 에스타크 풍경을 그리고 있었다. 1908년 이 풍경화 6점은 살롱 도톤에 출품하여 결국 낙선이 되었으나 그 때의 심사위원인 마티스가 '이 그림은 작은 큐브(입방체)로써 그려졌다'라 평한 말이 큐비즘의 명칭을 만든 실마리가 되었다. 브라크의 낙선작품은 화상(畵商)인 칸와이러의 화랑에서 개인전으로 발표되었는데 그 화상이 피카소와 브라크가 추구하는 공통점을 인정하여 1907년 가을에 두 사람을 만나게 하였다. 그 후부터 두 사람 사이에는 협력관계가 맺어져 1910년까지 큐비즘은 전적으로 이 두 사람이 추진한 바가 되었다.
입체주의 역사
1910년부터 1912년에 걸쳐 큐비즘은 새로운 발전의 단계를 맞이한다. '분석적 큐비즘'이라 불리는 시기로 대상의 분해가 철저하게 행하여졌다. 대상은 여러 각도에서 고쳐 보게 되며 갖가지의 모습이 동일 화면으로 재구성되어 가는 것이다. 이 시기의 피카소는 거의 색채를 쓰지 않고 '외과의사가 시체를 해부하는 것처럼'(시인 아폴리네르의 논평) 형태의 분석과 그 질서 있는 배합을 추구하였다.
다음 1913∼1914년에 이르면 '종합적 큐비즘'의 시기에 들어간다. 이것은 주로 피카소와 후안 그리스를 중심으로 추진되었는데 분석적 큐비즘이 해체와 재구성의 사이에서 잃어버린 리얼리티를 되찾으려는 동향이었다. 분석적 큐비즘은 병(甁)이란 대상에서 원통형을 추출(抽出)하지만, '나는 원통형에서 병을 만든다'라 말하는 것이 그리스의 입장이었다. 촌단(寸斷)된 색면의 통합과 기하학적 질서에 의한 장식효과의 증대를 가져 왔으며, 또한 리얼리티 회복이란 요구에 응하여 콜라주와 파피에 콜레의 수법이 개척된 것을 특기할 수 있다.
입체주의 역사
피카소가 주도하던 전통적 큐비즘과 별도로 거의 1910년경부터 페르낭 레제를 중심으로 개척된 방향으로 황금분할파 큐비즘이 있다. 이것은 대상을 분해하여 재구성할 때에 화면에 역동감(力動感)을 도입하려는 것이며, 주로 정물의 분야에서 성과를 올린 정통파 큐비즘에 새로운 가능성을 열려고 시도하였다.
조르주 브라크
조르주 브라크(Georges Braque, 1882년 5월 13일 ~ 1963년 8월 31일)는 프랑스의 화가이다. 파리 미술 학교에서 배우고, 1906년에는 앵데팡당 전에 입선하였다. 처음에는 야수파라고 하는 대담하고 거친 붓놀림으로 선명한 색조를 나타내는 그림을 그렸으나, 폴 세잔의 영향으로 인상파에 접근하였다. 1907년에는 피카소와 친구사이로 사귀면서부터 사물을 입체적으로 보는 데 주력하게 되었으며, 피카소와 함께 입체파로서 프랑스 화단의 중요한 위치를 차지하였다. 제1차 세계대전 후 신고전주의적 필치로 정물, 실내화를 그렸다. 그의 작품으로 《포르투갈 인》, 《탁상 정물》, 《해변 풍경》, 《기타와 클라리넷》, 《기타를 가진 소녀》 등이 있다.
조르주 브라크 생애
1882년 파리 근교의 아르장튀유에서 태어났고, 8세에 집안이 르 아브르로 이사, 브라크도 그 곳에서 성장하였다. 부친은 도장업을 하였는데 그도 소년시절부터 그 직업을 견습하면서 1897년 르 아브르의 미술학교 야간부에서 그림을 공부하였다. 이윽고 장식화가를 지망하여 그 수업을 위해서 1900년 파리로 갔다. 파리에서는 아카데미 운베르에 다녔는데 여기에서 로랑생과 피카비아와 사귀었다. 그러나 그는 노르망디 출신인 프리에스와 가장 절친하여 이 두 사람은 1906년에 네덜란드로, 1907년에는 남프랑스의 라 시오타로 여행을 하였다. 그동안 브라크는 포비즘에 가담하여 색채가 선명한 작품을 그렸으며, 당시의 그는 프리에스와 나란히 마티스나 드랭의 영향이 농후하였다. 시오타에서 돌아온 뒤에 브라크는 전기를 맞이하게 된다. 그는 포비슴의 그룹을 떠나 에스타크에서 지내면서 고독한 가운데에 세잔이 시사한 자연의 양식화 방향을 추구했다.
조르주 브라크 생애
1908년 큐비즘 명칭의 유래가 된 <에스타크 풍경>이 살롱 도톤에서 거부당하여 칸와이러의 화랑에서 개인전을 열었다. 이것으로 피카소와의 친교가 깊어지고 폴 세잔의 영향을 받은 퀴비슴에서 점차로 풍경을 제거한 분석적 큐비즘으로 나갔다. 이 시기에 브라크와 피카소는 서로를 가려 볼 수 없을 만큼 그림이 비슷하였다. 1911년경부터 두 사람의 화면에는 현실 회복의 징조가 나타나 숫자와 알파벳이 구성 요소로 취급되고, 이듬해에는 이것이 파피에 콜레로 발전하여 총합적 큐비즘에 옮겨 갔다. 화사한 피카소와 대조적인 성격의 탓도 있지만 브라크는 친한 친구들 사이에서 마담 피카소란 별명으로 불린 것도 이 시기의 일이다. 1914년 제1차 세계대전에 참전하였으나 머리에 부상을 입어 1917년에 제대한 후 회화의 길에 복귀하여 예의 총합적 큐비즘을 완성하였다. 화면에 색채와 대상성을 회복하고 나체와 풍경의 모티프도 받아들여서 피카소와 별도의 길을 걷는 독자적 양식에 도달하였다. 1920년 피카소가 고전주의로 전환하였을 때에 브라크는 최초로 조각에 손을 대어 형태애 관한 사고를 더욱 연마해 나갔다. 1930년대 재차 피카소와 가까워졌으나 브라크의 모뉴멘털한 장식성의 추구는 벌써 피카소와 질적으로 다른 침정과 세련을 구하는 것이었다.
비만증
비만(肥滿, 영어: obesity) 또는 비만증(肥滿症, 영어: adipositas)은 인체에 지방이 과도하게 축적되는 질병이다. 세계 보건 기구(WHO)는 체질량 지수(BMI: Body Mass Index)가 30 이상인 경우를 비만증이라고 일컫는다. 대개 비만인은 체중이 정상치보다 무거운 것으로 인식되지만, 몸의 구성 성분 중 체지방 비율이 높은 것도 비만이라고 한다. 비만은 그 자체로도 건선, 튼살과 같은 외관상의 문제와 사회적 장애를 초래할 수 있으며, 무엇보다도 과다한 지방으로 인해 생기는 2차 합병증은 건강에 치명적이다. 비만은 고지혈증, 고혈압, 동맥경화, 당뇨병, 지방간, 관절 이상 등의 발생 비율을 현저하게 증가시키는 '만병의 근원'이라는 사실이 널리 알려져 있으며, 결과적으로 기대 수명의 저하를 불러 온다.
비만증 비만증의 원인과 질병
인간의 유전자는 척박한 환경에 알맞게 진화 되어왔다. 인류가 지금처럼 풍족한 생활을 하기 시작한 것은 최근의 일이다. 인간의 유전자는 처음 인류가 이 땅에 태어난 뒤, 수 백만 년 이상을 영양이 부족한 환경에서 살아야 했기 때문에 남는 에너지를 배설하는 소모적인 시스템은 상상조차 하지 못했다. 지방을 에너지 저장원으로 택한 이유도 1그램당 4킬로 칼로리 밖에 내지 못하는 탄수화물이나 단백질에 비해 1그램당 9킬로 칼로리라는 높은 에너지 효율을 가지고 있기 때문이다. 한정된 육체 속에 더 많은 에너지를 저장하려면 에너지 효율이 높은 방식을 선택해야 했고, 생존을 위해 지방은 아끼는 것이 진화적으로 유리한 전략이었다. 이렇게 지방 친화적으로 발달한 인간의 몸이 단시간 내에 바뀌지는 않기 때문에, 오늘날 많은 사람들은 다이어트를 하는데 어려움을 겪는다.
비만증 체질량 지수에 따른 구분
체질량 지수로는 30이상 (한국에서는 25이상)이다.
비만증 브로카 변법에 따른 구분
브로카 변법에 따르면, 자신의 몸무게가 적정 몸무게보다
이다.
비만증 체지방률에 따른 구분
체질량 지수를 맹신해서는 안되는데, 이른바 '마른 비만' 이라고 부르는 체지방률이 높은 경우가 이에 속한다. '마른 비만' 이란 체질량 지수는 낮거나 정상인데, 체지방률이 높은 경우를 의미한다. 남성은 체지방률이 25% 이상일 때, 여성은 30% 이상일 때 보통 '마른 비만'으로 분류하게 된다.
비만증 허리 둘레에 따른 구분
최근 대한비만학회를 중심으로 비만을 판단하는 새로운 척도로 ‘허리둘레’에 초점이 모아지고 있다. 허리둘레가 중요한 이유는 복부 비만의 중요 지표이기 때문이다. BMI는 체지방을 파악하는 데 오차가 생길 수 있어 이 수치로 비만인지를 판단하는 것은 성급할 수 있다고 전문가들은 지적한다. 성인을 기준으로 허리둘레가 남성 90cm, 여성 85cm 이상이면 비만으로 볼 수 있다. 청소년 경우에는 허리둘레와 엉덩이 비율이 0.90이면 복부비만이다
비만증 해결법
굶거나 한번에 먹는 양을 줄이면 안 된다. 오히려 배고픔을 더 느껴서 평소보다 많이 폭식하거나, 요요 현상이 일어날 수 있다. 천천히 시간적 여유를 두고 음식 양을 줄여가면서 다이어트를 해야 한다. 헬스장에 가서 전문 트레이너한테서 도움을 받을 수도 있다. 패스트푸드, 인스턴트는 많이 줄이고, 샐러드, 닭가슴살 등의 채소들은 골고루 많이 섭취한다. 밖에서 줄넘기, 체조 등을 하는 것도 아주 좋은 방법이고 물을 하루에 2L 마셔서 노폐물도 배출해야 한다. 천천히 먹는 습관과 노력으로 포만감이 생기는 것도 중요하다. 비만인 사람들은 음식을 빠르게 먹기 때문에 많이 먹고 나서 포만감이 생긴다. 스트레스,잠이 넘치거나 모자라면
음식으로 풀기 때문에 지방 축적이 잘 되므로 규칙적으로 충분한 숙면을 취하며 스트레스를 받더라도 음식으로 풀지 않는 습관이 필요하다. 채소 등의 살이 안 찌고 부피만 차지하는 음식을 많이 먹는 습관이 필요하다.
세계보건기구
세계보건기구(世界保健機構, 영어: World Health Organization, WHO)는 국제 공중보건을 책임지는 유엔 전문 기구이다. 2023년 기준으로 194개 회원국이 WHO에 가맹되었으며, 그 목적은 세계 인류가 가능한 한 최고의 건강 수준에 도달하는 것이다.
세계보건기구 역사
WHO의 설립은 1946년에 허가되었으며 1948년 4월 7일에 정식으로 발족하였다. 그러므로 이 날은 해마다 ‘세계 보건의 날’로 기념하고 있다. WHO는 크게 두 가지 입헌적 직무를 맡고 있다.
WHO는 세 가지 주요기관(세계보건총회, 이사회, 사무국)을 통하여 업무를 수행한다. WHO 본부는 스위스 제네바에 위치해 있다. WHO는 세계 각지에 6개 지역 기구로 분산되어 있으며 지역 기구마다 지역위원회와 지역사무국이 구성되어 있다.
세계보건기구 목적 및 역할
WHO의 목적은 세계 모든 사람들이 가능한 한 최고의 건강 수준에 도달하는 것으로 정해져 있고, 규약에 의거하여 국제 보건에 대한 지도와 조정을 담당하고 다음과 같이 구체적인 몇 가지 책임을 가리킨다.
세계보건기구 도구
세계보건기구는 2023년 기준으로 194개 회원국이 가입되어 있다. 리히텐슈타인을 제외한 192개 유엔 회원국, 뉴질랜드의 자치령인 쿡 제도·니우에가 가입되어 있는데 세계보건기구의 헌법 역할을 하는 조약에 비준하는 대로 세계보건기구의 회원국이 된다.
미국의 자치령인 푸에르토리코, 뉴질랜드의 자치령인 토켈라우는 준회원국으로 가입되어 있다. 팔레스타인, 성좌, 몰타 기사단은 옵서버로 참가하고 있다. 대만은 2009년부터 2016년까지 중화 타이베이라는 이름으로 옵서버로 참가했으나 양안 관계, 대만 문제로 인하여 참가하지 못하고 있다.
세계보건기구 회원국은 세계보건기구의 최고 의사 결정 기구인 세계보건총회(WHA)에 대표단을 파견한다. 모든 유엔 회원국은 세계보건기구 회원국으로 활동할 자격을 갖고 있으며 세계보건기구 웹사이트에 따르면 "세계보건총회의 간단한 투표를 통해 신청이 승인되면 다른 국가도 회원으로 가입할 수 있다."고 명시되어 있다. 세계보건총회는 세계보건기구의 모든 회원국이 참가하여 기구의 정책을 결정한다.
세계보건기구 도구
집행위원회는 기술적으로 보건 분야에서 자격을 갖춘 위원들로 구성되어 있으며 세계보건총회의 결정과 정책에 영향을 미친다. 또한 유엔 옵서버로 참여하고 있는 국제 적십자 위원회, 국제 적십자사·적신월사 연맹은 세계보건기구와의 "공식적인 관계"에 따라 여러 비정부 기구들과 함께 옵서버로 참가한다.
세계보건총회(World Health Assembly)는 통상적으로 제네바에서 매년 5월에 열리며 각국 대표가 모두 참가한다.
주요 직무는 2년제 프로그램 예산을 승인하는 것과 주요 정책에 관련된 문제를 결정하는 것이다. 보건총회는 최종 결정 과정이다.
간부회(혹은 집행이사회, Executive Board)는 보건분야의 기술적인 측면에서 적합한 34명으로 구성되어 있으며 각자 한 개 회원국에 의해서 세계 보건총회 때에 임명된다. 선출된 회원국의 임기는 3년이며, 각자 임명한 간부는 개인적 능력에 따라 업무를 담당하게 된다.
간부회는 매년 적어도 2회 미팅을 가지게 되며, 주요 미팅은 통상적으로 1월에 열리고, 5월 보건총회가 끝난 직후 두 번째로 더 간략한 미팅을 가진다.