shopkeeper/korean_wiki_content_only_120125 huggingface dataset:
2008년 8월에 발행된 IEEE 754-2008에는 원래의 IEEE 754-1985 표준의 거의 모든 내용과 IEEE 854-1987(기수 독립 부동소수점 연산) 표준이 포함되어 있다. 현재 버전인 IEEE 754-2019는 2019년 7월에 발행되었다. 이는 주로 명확화, 결함 수정 및 새로운 권장 연산을 통합한 이전 버전의 사소한 수정이다.
1960년대와 1970년대에 비즈니스 및 과학 컴퓨팅 산업의 혼란으로 인해 부동소수점 표준의 필요성이 대두되었다. IBM은 IBM 16진 부동소수점 형식을 사용했다. CDC 및 Cray 컴퓨터는 +0 및 −0 값을 허용하는 1의 보수 표현을 사용했다. CDC 60비트 컴퓨터에는 완전한 60비트 가산기가 없었으므로 정수 연산은 부동소수점 장치에서 48비트 정밀도로 제한되었다. 0으로 나누기 예외 처리는 컴퓨터마다 달랐다. 시스템 간에 데이터를 이동하거나 다른 시스템에서 동일한 계산을 반복하는 것이 종종 어려웠다.
부동소수점 연산을 위한 최초의 IEEE 표준인 IEEE 754-1985는 1985년에 발행되었다. 이 표준은 이진 부동소수점 연산만 다루었다.
댄 주라스가 의장을 맡고 마이크 카울리쇼가 편집한 7년 간의 개정 과정을 거쳐 새로운 버전인 IEEE 754-2008이 2008년 8월에 발행되었다. 이 표준은 IEEE 754-1985(이진 부동소수점 연산)와 IEEE 854-1987(기수 독립 부동소수점 연산) 표준을 모두 대체했다. 원래 표준의 이진 형식은 이 새로운 표준에 포함되었으며, 하나의 이진 형식과 두 개의 십진 형식이라는 세 가지 새로운 기본 형식이 추가되었다. 현재 표준을 준수하려면 구현은 기본 형식 중 하나 이상을 연산 형식과 교환 형식으로 모두 구현해야 한다.
IEEE 754-2008과 내용이 동일한 국제 표준 ISO/IEC/IEEE 60559:2011은 ISO/IEC JTC 1/SC 25를 통해 ISO/IEEE PSDO 계약에 따라 채택이 승인되고 발행되었다.
2019년 7월에 발행된 현재 버전인 IEEE 754-2019는 2015년 9월에 시작된 개정 과정을 거쳐 데이비드 G. 호프가 의장을 맡고 마이크 카울리쇼가 편집하여 IEEE 754-2008에서 파생되었으며 이를 대체한다. 이 버전은 주로 명확화(예: totalOrder) 및 결함 수정(예: minNum)을 통합했지만, 일부 새로운 권장 연산(예: augmentedAddition)도 포함한다.
IEEE 754-2019와 내용이 동일한 국제 표준 ISO/IEC 60559:2020은 ISO/IEC JTC 1/SC 25를 통해 채택이 승인되고 발행되었다.
표준의 다음 개정은 2029년으로 예정되어 있다.
IEEE 754 형식은 "숫자 값 및 기호 표현의 집합"이다. 형식은 집합이 인코딩되는 방식도 포함할 수 있다.
부동소수점 형식은 다음으로 지정된다.
형식은 다음으로 구성된다.
예를 들어, b = 10, p = 7, emax = 96이면 emin = −95, 유효숫자는 0 ≤ c ≤ 를 만족하며, 지수는 을 만족한다. 따라서 표현할 수 있는 가장 작은 0이 아닌 양수는 1×10−101이고, 가장 큰 양수는 9999999×1090(9.999999×1096)이므로, 숫자의 전체 범위는 −9.999999×1096부터 9.999999×1096까지이다. −b1−emax 및 b1−emax(여기서는 −1×10−95 및 1×10−95)는 가장 작은(크기 기준) 정규 숫자이다. 이 가장 작은 숫자들 사이에 있는 0이 아닌 숫자들은 비정규 값이라고 한다.
메모리 표현 및 인코딩.
일부 숫자는 여러 개의 부동소수점 표현을 가질 수 있다. 예를 들어, b = 10, p = 7이면 −12.345는 −12345×10−3, −123450×10−4, −1234500×10−5로 표현될 수 있다. 그러나 산술 연산과 같은 대부분의 연산에서 결과(값)는 입력의 표현에 의존하지 않는다.
십진 형식의 경우 모든 표현이 유효하며, 이러한 표현의 집합을 코호트라고 한다. 결과가 여러 표현을 가질 수 있을 때, 표준은 코호트의 어떤 구성원이 선택되는지를 지정한다.
이진 형식의 경우, 값을 정확하게 표현할 수 있는 가장 작은 표현 가능 지수를 선택하여 표현이 고유하게 만들어진다. 또한, 지수는 직접 표현되지 않고, 가장 작은 표현 가능 지수가 1로 표현되고 0은 비정규 값에 사용되도록 바이어스가 추가된다. 정규 범위 내의 지수를 가진 숫자(지수 필드가 모두 1이거나 모두 0이 아님)의 경우, 유효숫자의 선행 비트는 항상 1이다. 결과적으로, 선행 1은 메모리 인코딩에 명시적으로 존재하기보다는 암시될 수 있으며, 표준에 따라 유효숫자의 명시적으로 표현된 부분은 0과 1 사이에 놓인다. 이 규칙은 선행 비트 규칙, 암시 비트 규칙 또는 숨겨진 비트 규칙이라고 불린다. 이 규칙은 이진 형식이 추가 비트 정밀도를 가질 수 있도록 한다. 선행 비트 규칙은 비정규 값에 사용할 수 없는데, 이는 비정규 값이 정규 지수 범위를 벗어나고 가장 작은 정규 값에 사용되는 가장 작은 표현된 지수에 따라 스케일링되기 때문이다.
여러 인코딩 가능성(적어도 교환 형식이라고 불리는 형식에서)으로 인해, NaN은 다른 정보를 가질 수 있다: 부호 비트(의미는 없지만 일부 연산에서 사용될 수 있음) 및 페이로드, 이는 NaN의 소스를 나타내는 진단 정보를 위한 것이다(그러나 페이로드는 NaN-boxing과 같은 다른 용도로 사용될 수 있음).
기본 및 교환 형식.
이 표준은 숫자 기수와 교환 인코딩에 사용되는 비트 수를 기준으로 이름이 지정된 5가지 기본 형식을 정의한다. 32, 64, 128비트로 인코딩되는 3가지 이진 부동소수점 기본 형식과 64 또는 128비트로 인코딩되는 2가지 십진 부동소수점 기본 형식이 있다. binary32 및 binary64 형식은 각각 IEEE 754-1985의 단일 및 이중 형식이다. 준수하는 구현은 기본 형식 중 하나 이상을 완전히 구현해야 한다.
이 표준은 또한 이러한 기본 형식을 일반화하는 교환 형식을 정의한다. 이진 형식의 경우, 선행 비트 규칙이 필요하다. 다음 표는 가능한 교환 형식(기본 형식 포함) 중 일부를 요약한 것이다.
위 표에서 정수 값은 정확한 값이며, 소수점 표기법(예: 1.0)의 값은 반올림된 값이다. 나열된 최소 지수는 정규 숫자에 대한 것이다. 특별한 비정규 값 표현은 정밀도의 일부 손실과 함께 더 작은(크기 면에서) 숫자를 표현할 수 있게 한다. 예를 들어, binary64에서 표현할 수 있는 가장 작은 양수는 2−1074이다. −1074라는 수치에 기여하는 요소는 emin 값 −1022와 53개의 유효숫자 비트 중 하나를 제외한 모든 비트(2−1022 − (53 − 1) = 2−1074)를 포함한다.
십진 자릿수는 해당 십진 자릿수로 표현된 형식의 정밀도이다. 이는 자릿수 × log10 기수로 계산된다. 예를 들어, binary128은 약 34자리 십진수와 동일한 정밀도를 가진다.
log10 MAXVAL은 인코딩 범위의 척도이다. 그 정수 부분은 유효숫자에 선행 자릿수 하나를 가진 과학적 표기법으로 값의 출력에 표시되는 가장 큰 지수이다(예: 1.698은 binary32의 가장 큰 값에 가깝고, 9.999999은 decimal32의 가장 큰 값이다).
binary32(단일) 및 binary64(이중) 형식은 오늘날 가장 일반적으로 사용되는 형식 중 두 가지이다. 아래 그림은 값의 범위에 대한 두 형식의 절대 정밀도를 보여준다. 이 그림은 숫자의 예상 값과 필요한 정밀도를 고려하여 적절한 형식을 선택하는 데 사용될 수 있다.
32비트 부동소수점의 레이아웃 예시는 다음과 같다.
그리고 64비트 레이아웃도 유사하다.
확장 및 확장 가능 정밀도 형식.
표준은 기본 형식보다 더 큰 정밀도를 제공하는 선택적인 확장 및 확장 가능 정밀도 형식을 지정한다. 확장 정밀도 형식은 더 많은 정밀도와 더 넓은 지수 범위를 사용하여 기본 형식을 확장한다. 확장 가능 정밀도 형식은 사용자가 정밀도와 지수 범위를 지정할 수 있도록 한다. 구현은 이러한 형식에 대해 원하는 내부 표현을 사용할 수 있다. 정의되어야 할 것은 매개변수(b, p, emax)뿐이다. 이러한 매개변수는 주어진 기수에 대한 부호, 유효숫자, 지수의 조합인 유한 숫자 집합을 고유하게 설명한다.
표준은 언어 표준이 지원되는 각 기수 b에 대해 p와 emax를 지정하는 방법을 제공하도록 권장한다. 표준은 언어 표준 및 구현이 각 기수 b에 대해 지원되는 가장 큰 기본 형식보다 더 큰 정밀도를 가진 확장 형식을 지원하도록 권장한다. 두 기본 형식 사이에 정밀도를 가진 확장 형식의 경우 지수 범위는 다음으로 넓은 기본 형식의 지수 범위 이상이어야 한다. 따라서 예를 들어 64비트 확장 정밀도 이진수는 적어도 16383의 'emax'를 가져야 한다. X87 80비트 확장 형식은 이 요구 사항을 충족한다.
원래의 IEEE 754-1985 표준도 확장 형식의 개념을 가지고 있었지만, emin과 emax 사이에 의무적인 관계는 없었다. 예를 들어, 모토로라 68881 80비트 형식은 emin = − emax였고, 이는 적합한 확장 형식이었지만 2008년 개정에서는 비적합이 되었다.
교환 형식.
교환 형식은 주어진 형식에 대해 고정 길이의 비트 문자열을 사용하여 부동소수점 데이터를 교환하기 위한 것이다.
이진.
이진 부동소수점 숫자의 교환을 위해 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)은 동일한 인코딩을 가진다.
반올림 규칙.
이 표준은 다섯 가지 반올림 규칙을 정의한다. 처음 두 규칙은 가장 가까운 값으로 반올림하고, 나머지는 방향성 반올림이라고 한다.
가장 가까운 값으로 반올림.
극단적인 경우, formula_1보다 절대값이 엄격히 작은 값은 최소 또는 최대 유한 숫자(값의 부호에 따라 다름)로 반올림된다. 정확히 이 크기를 가진 숫자들은 타이로 간주된다. 이러한 타이 선택은 formula_2와 formula_3 사이의 중간점으로 개념화될 수 있으며, 지수가 제한되지 않는다면 크기가 더 큰 다음 표현 가능한 부동소수점 숫자가 될 것이다. 보다 절대값이 엄격히 큰 숫자들은 해당 무한대로 반올림된다.
"가장 가까운 짝수로 반올림"은 이진 부동소수점의 기본값이며 십진수의 권장 기본값이다. "가장 가까운 0에서 멀리 반올림"은 십진수 구현에만 필요하다.
방향성 반올림.
별도로 지정되지 않는 한, 연산의 부동소수점 결과는 무한 정밀도(수학적) 결과에 반올림 함수를 적용하여 결정된다. 이러한 연산을 정확하게 반올림되었다고 한다. 이 요구 사항을 정확한 반올림이라고 한다.
필수 연산.
지원되는 산술 형식(기본 형식 포함)에 대한 필수 연산은 다음과 같다.
비교 판단.
이 표준은 지원되는 산술 형식에서 하나의 부동소수점 데이터를 다른 데이터와 비교하기 위한 비교 판단을 제공한다. NaN과의 모든 비교는 순서가 지정되지 않은 것으로 처리된다. −0과 +0은 동일하게 비교된다.
전순서 판단.
이 표준은 지원되는 산술 형식의 표준 멤버에 대한 전순서를 정의하는 `totalOrder` 판단을 제공한다. 이 판단은 한 부동소수점 숫자가 다른 숫자보다 작을 때 비교 판단(섹션 비교 판단 참조)과 일치한다. 주요 차이점은 다음과 같다.
`totalOrder` 판단은 형식의 모든 인코딩에 전순서를 부과하지 않는다. 특히, 동일한 부동소수점 표현의 다른 인코딩(예: 하나 또는 둘 다의 인코딩이 비표준인 경우)을 구별하지 않는다. IEEE 754-2019는 `totalOrder`에 대한 명확화를 포함한다.
NaN 신호 비트의 배치에 대한 IEEE 754-2008 권장 사항을 따르는 이진 교환 형식의 경우, 비교는 부동소수점 숫자를 부호-크기 정수(타입 재해석 가정, 이 비교와 일치하는 페이로드 순서 가정)로 타입 재해석하는 것과 동일하며, 이는 FPU 없이 FP 비교를 위한 오래된 기술이다.
예외 처리.
이 표준은 다섯 가지 예외를 정의하며, 각 예외는 기본값을 반환하고 예외 발생 시 설정되는 해당 상태 플래그를 가진다. 다른 예외 처리는 필요하지 않지만, 추가적인 비기본 대안이 권장된다(섹션 대체 예외 처리 참조).
다섯 가지 가능한 예외는 다음과 같다.
이는 IEEE 754-1985에서 정의된 것과 동일한 다섯 가지 예외이지만, 0으로 나누기 예외는 나눗셈 외의 연산으로 확장되었다.
일부 십진 부동소수점 구현은 IEEE 754에 포함되지 않은 추가 예외를 정의한다.
또한, quantize와 같은 연산에서 피연산자 중 하나가 무한대이거나 결과가 대상 형식에 맞지 않으면 잘못된 연산 예외도 신호한다.
특수 값.
부호 있는 0.
IEEE 754 표준에서는 0에 부호가 있으며, 이는 "양의 0"(+0)과 "음의 0"(-0)이 모두 존재함을 의미한다. 대부분의 런타임 환경에서 양의 0은 일반적으로 "codice_1"으로, 음의 0은 "codice_2"으로 출력된다. 두 값은 숫자 비교에서 동일하게 동작하지만, 일부 연산은 +0과 -0에 대해 다른 결과를 반환한다. 예를 들어, 은 음의 무한대를 반환하는 반면, 은 양의 무한대를 반환한다(따라서 항등식이 유지됨). 에서 불연속 함수이며 +0과 -0을 다르게 처리할 수 있는 다른 일반적인 함수에는 와 임의의 음수 y에 대한 의 주요 제곱근이 포함된다. 다른 근사 방식과 마찬가지로 "음의 0"과 관련된 연산은 때때로 혼란을 야기할 수 있다. 예를 들어, IEEE 754에서 는 항상 를 의미하지 않는데, 이지만 이기 때문이다. 또한, 의 역 제곱근은 인 반면, 실수 상에서 수학 함수 formula_4는 음수 값을 가지지 않는다.
비정규 값.
비정규 값은 언더플로 간격을, 언더플로 간격 바로 바깥의 인접 값들과 동일한 절대 거리 값을 가진 값들로 채운다. 이는 언더플로 간격에 0만 두고 언더플로 결과가 0으로 대체되던(flush to zero) 이전 관행보다 개선된 것이다.
최신 부동소수점 하드웨어는 일반적으로 비정규 값(정규 값뿐만 아니라)을 처리하며, 비정규 값에 대한 소프트웨어 에뮬레이션이 필요하지 않다.
무한대.
확장된 실수의 무한대는 1, 1.5 등과 같은 일반적인 부동소수점 값처럼 IEEE 부동소수점 데이터 형식으로 표현될 수 있다. 이는 어떤 식으로든 오류 값은 아니지만, 오버플로가 발생할 때 종종(반올림에 따라 다름) 대체 값으로 사용된다. 0으로 나누기 예외 발생 시, 양의 또는 음의 무한대가 정확한 결과로 반환된다. 무한대는 숫자(C의 "INFINITY" 매크로 또는 프로그래밍 언어가 해당 구문을 허용하는 경우 "")로도 도입될 수 있다.
IEEE 754는 무한대를 합리적인 방식으로 처리하도록 요구한다. 예를 들면 다음과 같다.
NaN.
IEEE 754는 0/0, , sqrt(−1)과 같은 특정 "잘못된" 연산의 결과로 반환되는 "숫자가 아님"(NaN)이라는 특수 값을 지정한다. 일반적으로 NaN은 전파된다. 즉, NaN을 포함하는 대부분의 연산은 NaN을 결과로 내지만, 주어진 부동소수점 값에 대해 정의된 결과를 제공하는 함수는 NaN에 대해서도 그렇게 한다(예: NaN ^ 0 = 1). NaN에는 두 가지 종류가 있다: 기본적으로 조용한 NaN(quiet NaN)과 선택적으로 신호 NaN(signaling NaN). 모든 산술 연산(숫자 비교 포함)에서 신호 NaN은 "잘못된 연산" 예외를 알린다.
표준에 의해 지정된 NaN의 표현은 오류의 유형 또는 소스를 인코딩하는 데 사용될 수 있는 일부 지정되지 않은 비트를 가지고 있다. 그러나 해당 인코딩에 대한 표준은 없다. 이론적으로 신호 NaN은 런타임 시스템에서 초기화되지 않은 변수를 플래그하거나, 일반 값으로 계산 속도를 늦추지 않고 부동소수점 숫자를 다른 특수 값으로 확장하는 데 사용될 수 있지만, 이러한 확장은 일반적이지 않다.
설계 배경.
여기서 논의된 확장 형식, NaN, 무한대, 비정규 값 등 IEEE 754 표준의 좀 더 난해한 기능들이 수치 해석학자나 고급 수치 응용 프로그램에만 관심 있는 것이라는 일반적인 오해가 있다. 사실은 그 반대이다. 이러한 기능들은 전문가를 위한 정교한 수치 라이브러리를 지원하는 것 외에도 수치적으로 미숙한 프로그래머에게 안전하고 견고한 기본값을 제공하도록 설계되었다. IEEE 754의 핵심 설계자인 윌리엄 카한은 다음과 같이 언급한다. "IEEE 754 이진 부동소수점 연산 표준의 기능들이 수치 전문가 외에는 아무도 사용할 수 없는 기능으로 [간주되는 것]은 잘못이다. 사실은 정반대이다. 1977년에 이 기능들은 가장 넓은 시장에 서비스하기 위해 인텔 8087에 설계되었다... 오류 분석은 프로그래머들 사이의 선의의 무지에 대해 적당히 관대한 IEEE 754 표준과 같은 부동소수점 연산을 설계하는 방법을 알려준다."
단정밀도 및 배정밀도 형식의 특징은 부동소수점 하드웨어를 사용하지 않고도 비트가 부호-크기 정수를 나타내는 것처럼 쉽게 정렬할 수 있다는 것이다. 비록 이것이 설계 고려 사항이었는지는 불분명하지만(이전의 IBM 16진 부동소수점 표현도 정규화된 숫자에 대해 이러한 속성을 가졌다는 점은 주목할 만하다). 널리 사용되는 2의 보수 표현에서, 비트를 부호 있는 정수로 타입 재해석하면 양수는 올바르게 정렬되지만, 음수는 역순으로 정렬된다. 이를 수정하는 한 가지 방법으로, 양수 값에 대해 부호 비트를 뒤집고 음수 값에 대해 모든 비트를 뒤집는 XOR 연산을 사용하면 모든 값이 부호 없는 정수로 정렬될 수 있다().
권장 사항.
대체 예외 처리.
이 표준은 사용자 정의 기본값 사전 대체, 트랩(흐름을 어떤 식으로든 변경하는 예외) 및 try/catch와 같이 흐름을 중단하는 기타 예외 처리 모델을 포함하여 다양한 형태의 선택적 예외 처리를 권장한다. 트랩 및 기타 예외 메커니즘은 IEEE 754-1985와 마찬가지로 선택 사항으로 유지된다.
권장 연산.
이 표준의 9절은 언어 표준이 정의해야 할 추가 수학 연산을 권장한다. 표준을 준수하기 위해 필수로 요구되는 연산은 없다.
다음은 정확하게 반올림되어야 하는 권장 산술 연산이다.
formula_44, formula_45 및 formula_46 함수는 덜 필요하다고 간주되어 IEEE 754-2008 표준의 일부가 아니었다. formula_44와 formula_45는 언급되었지만 이는 오류로 간주되었다. 이 세 함수는 모두 2019년 개정판에 추가되었다.
권장되는 연산에는 동적 모드 반올림 방향 설정 및 접근과 합계, 스케일링된 곱, 스칼라곱과 같이 정확도가 표준에 의해 지정되지 않은 구현 정의 벡터 축소 연산이 포함된다.
현재 이진 형식에 대한 확장 산술 연산도 권장된다. 덧셈, 뺄셈, 곱셈에 대해 지정된 이 연산은 형식에서 가장 가까운 값으로 정확하게 반올림된 결과와 형식에서 정확하게 표현 가능한 오차 항으로 구성된 한 쌍의 값을 생성한다. 표준 발행 당시에는 하드웨어 구현이 알려지지 않았지만, 매우 유사한 연산은 이미 잘 알려진 알고리즘을 사용하여 소프트웨어로 구현되었다. 이들의 표준화 역사와 동기는 배경 문서에 설명되어 있다.
2019년 현재, IEEE 754-2008의 minNum, maxNum, minNumMag, maxNumMag은 비연관성으로 인해 구식화되었다. 대신 두 가지 새로운 최소 및 최대 연산 집합이 권장된다. 첫 번째 집합은 최소(minimum), 최소 숫자(minimumNumber), 최대(maximum), 최대 숫자(maximumNumber)를 포함한다. 두 번째 집합은 최소 크기(minimumMagnitude), 최소 크기 숫자(minimumMagnitudeNumber), 최대 크기(maximumMagnitude), 최대 크기 숫자(maximumMagnitudeNumber)를 포함한다. 이 변경의 역사와 동기는 배경 문서에 설명되어 있다.
표현식 평가.
이 표준은 언어 표준이 연산 시퀀스의 의미론을 지정해야 하는 방법과 결과 값의 변경을 가져오는 리터럴 의미와 최적화의 미묘함을 지적한다. 대조적으로, 이전 1985 버전의 표준은 언어 인터페이스의 측면을 지정하지 않아 컴파일러 간의 일관되지 않은 동작이나 최적화 컴파일러의 다른 최적화 수준으로 이어졌다.
프로그래밍 언어는 사용자가 각 기수에 대한 표현식의 중간 계산에 대한 최소 정밀도를 지정할 수 있도록 허용해야 한다. 이는 표준에서 preferredWidth라고 불리며, 블록별로 설정할 수 있어야 한다. 표현식 내의 중간 계산은 피연산자의 너비와 설정된 경우 선호 너비 중 최대값을 사용하여 계산되고 임시 변수가 저장되어야 한다. 따라서 예를 들어 X87 부동소수점 하드웨어를 대상으로 하는 컴파일러는 중간 계산이 double-extended format을 사용해야 함을 지정하는 수단을 가져야 한다. 변수의 저장된 값은 후속 표현식을 평가할 때 항상 사용되어야 하며, 변수에 반올림 및 할당하기 전의 어떤 전임자도 사용되어서는 안 된다.
재현성.
IEEE 754-1985 버전의 표준은 구현에서 많은 변형(일부 값의 인코딩 및 특정 예외의 감지 등)을 허용했다. IEEE 754-2008은 이러한 허용을 줄였지만, 몇 가지 변형은 여전히 남아 있다(특히 이진 형식의 경우). 재현성 절은 언어 표준이 재현 가능한 프로그램(즉, 언어의 모든 구현에서 동일한 결과를 생성하는 프로그램)을 작성하는 수단을 제공해야 한다고 권장하며, 재현 가능한 결과를 달성하기 위해 수행해야 할 작업을 설명한다.
잠재적으로 재현 불가능한 동작의 구체적인 예는 C 및 C++에서 찾을 수 있다. 이 언어들은 부동소수점 연산 결과에 대해 더 높은 정밀도를 사용하고, 일반적인 곱셈-덧셈을 FMA로, `1.0/sqrt(x)`를 단일 명령어로 역 제곱근으로 축약하는 것을 허용한다. GCC 및 cl.exe와 같은 C/C++ 컴파일러는 이러한 변경 사항이 명확한 정확도 손실 없이 더 빠른 코드를 생성할 수 있으므로, 특별히 요청하지 않는 한 기본적으로 둘 다 허용한다. 컴파일러는 또한 더 명백하게 비준수적인 "빠른" 최적화를 제공한다. C 수식 함수는 일반적으로 "정확하게 반올림"되도록 구현되지 않아 문제를 더한다. 부동소수점 환경도 서드파티 코드에 의해 예상치 않게 변경될 수 있다.
문자 표현.
이 표준은 기본 형식과 외부 문자열 형식 간의 변환 연산을 요구한다. 십진 문자 형식으로의 변환과 그 반대로의 변환은 모든 형식에 대해 필수이다. 외부 문자열 형식으로의 변환은 가장 가까운 짝수로 반올림하여 다시 변환할 때 원래 숫자를 복구할 수 있어야 한다. 조용한 NaN 또는 신호 NaN의 페이로드를 보존할 필요는 없으며, 외부 문자열 형식에서 변환할 때 신호 NaN이 조용한 NaN으로 바뀔 수 있다.
원래 이진 값은 다음을 사용하여 십진수로 변환한 다음 다시 변환하여 보존된다.
다른 이진 형식의 경우 필요한 십진수 자릿수는 다음과 같다.
여기서 p는 이진 형식의 유효 비트 수이며, 예를 들어 binary256의 경우 237비트이다.
십진 부동소수점 형식을 사용할 때 십진 표현은 다음을 사용하여 보존된다.
이진수에서 십진수로, 십진수에서 이진수로 정확하게 반올림되는 변환을 위한 알고리즘과 코드는 게이(Gay)가 논의했고, 테스트는 팩슨(Paxson)과 카한(Kahan)이 논의했다.
16진수 리터럴.
이 표준은 C99의 16진수 부동소수점 리터럴을 기반으로 하는 외부 16진수-유효숫자 문자 시퀀스와의 변환을 권장한다. 이러한 리터럴은 선택적 부호(`+` 또는 `-`), "0x" 지시자, 소수점 유무에 관계없이 16진수, "p" 지수 지시자, 선택적 부호가 있는 십진 지수로 구성된다. 구문은 대소문자를 구분하지 않는다. 십진 지수는 2의 거듭제곱으로 스케일링된다. 예를 들어, `0x0.1p0`은 1/16이고 `0x0.1p-4`는 1/256이다.
피임(, )은 성교를 거쳐 임신이 되는 것을 일정한 수단을 사용하여 막는 행위이다. 피임법에는 여러가지가 있고 콘돔 사용이 가장 흔하다. 사후 피임약의 원리는 자궁벽을 탈락시킴으로써 수정란이 자궁벽에 착상하지 못하게 하는 것이다. 거의 모든 피임법에 피임 실패율이 있기 때문에 피임과 함께 논란이 많은 임신중단권 운동이 병행되었다.
물리적인 피임법.
차단요법.
가장 흔한 차단법은 남성용 콘돔이다. 콘돔은 라텍스 또는 폴리우레탄으로 된 얇은 주머니로, 음경위에 끼운다. 폴리우레탄으로 만든 여성용 콘돔도 있다. 여성용 콘돔은 유연한 링을 양쪽 끝에 달아, 한쪽은 치골 뒤에에 고정시키며, 반대쪽 링은 질 바깥으로 나온다.
경부 차단(cervical barriers) 또는 질 스폰지는 질 밖으로 나오지 않는 도구이다. 질 스폰지는 경부 속에서 탄력을 통해 모양을 유지한다. 경부 캡은 가장 작은 경부 차단 도구이다. 경부나 질 벽에 빨려들어가서 위치를 잡는다. 레아 방패(Lea's shield)는 조금 더 큰 경부 차단 장치이고, 역시 흡수를 통해서 위치를 유지한다.
질격막( 다이어프램)은 치골 뒷쪽에 유지하며, 모양을 안전하게 유지하면서도 탄력있는 링이며, 질벽을 누르며 모양을 갖춘다. 격막의 크기는 의사가 지정해 주어야 한다. 성관계를 갖기 수시간 전에 삽입하고, 관계 후 6시간 이내에 빼내야 한다.
호르몬 약과 주사.
보통 에스트로겐과 프로게스틴(인공적인 프로게스테론)을 잘 섞어서 사용한다. 먹는 피임약(경구 피임약), 피임 반창고와 질 링("누바링(NuvaRing)") 등이 있다. 현재 한국과 미국에서 시판이 되고 있지는 않지만, 달마다 주사하는 루넬(Lunelle)도 있다.
먹는 피임약은 월경이 시작되는 첫날부터(또는 5일 이내부터), 하루 1정씩 가급적 일정한 시간에 21일간 복용한다. 21일 후에는 7일 동안 복용을 중단하며 쉰다. 이로써 한 번의 배란 주기가 끝나고 월경을 하게 된다. 복용 첫날부터 피임 효과가 있으나, 중단하면 피임 효과가 없어진다. 한편, 먹는 피임약은 유방암·자궁경부암 등 각종 암이나 질병을 유발할 가능성이 있다는 조사 결과가 있지만 이것은 한참 논란적이었다가 생산 중단된 1세대 피임약에 해당하는 부작용이고 최근에 시판되는 3세대 및 4세대 피임약은 부정출혈, 구토, 혈전발생등의 부작용이 있는 반면에 여드름, 생리통을 완화시키며 생리혈이 감소되는 장점도 존재하여 피부과 또는 산부인과에서 처방하기도 한다.
프로게스틴(인공적인 프로게스테론)만을 사용하는 방법도 있다. 프로게스틴만을 담은 알약(POP 또는 미니 알약(minipill))이나 주사하는
데포 프로베라(Depo Provera 3개월마다 근육주사하는 데포제), 그리고 노리스테라트 (아세트 노리틴드론, 8주마다 근육주사)와 피임 임플란트등이 있다. 프로게스틴만을 담은 약들은 정확한 때에 먹거나 주입하여야 한다. 피임 임플란트, 즉 6개의 캡슐로 된 노플란트(Norplant)는 미국에서 1999년 수거되었으며, 2006년부터 시판되는 임플라논(Implanon)은 미국에서 시판되었다. 프로게스틴만 들어있는 약들은 사용중 불규칙한 혈루를 일으킬 수 있다.
살정제.
정자를 죽이는 약으로 질(살)정제라고도 하며, 알약으로 되어 있다. 성교를 하기 전 약 한알을 질 안에, 손가락으로 최대한 깊이 넣으면 녹아서 거품이 생긴다. 이 거품은 자궁 입구를 막는 효과와, 사정한 후 나오는 정자들을 죽이는 효과가 있다. 지속 시간이 30분 정도이며, 또 충분히 녹을 시간을 줘야 한다. 또 너무 얕게 넣지 않도록 해야 한다.
자궁 내 장치 (IUD).
자궁 내 장치(미국영어 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년에 이르면 '종합적 큐비즘'의 시기에 들어간다. 이것은 주로 피카소와 후안 그리스를 중심으로 추진되었는데 분석적 큐비즘이 해체와 재구성의 사이에서 잃어버린 리얼리티를 되찾으려는 동향이었다. 분석적 큐비즘은 병(甁)이란 대상에서 원통형을 추출(抽出)하지만, '나는 원통형에서 병을 만든다'라 말하는 것이 그리스의 입장이었다. 촌단(寸斷)된 색면의 통합과 기하학적 질서에 의한 장식효과의 증대를 가져 왔으며, 또한 리얼리티 회복이란 요구에 응하여 콜라주와 파피에 콜레의 수법이 개척된 것을 특기할 수 있다.
섹시옹 도르(황금분할의 뜻인 프랑스어)&amp; 황금분할파 큐비즘.
피카소가 주도하던 전통적 큐비즘과 별도로 거의 1910년경부터 페르낭 레제를 중심으로 개척된 방향으로 황금분할파 큐비즘이 있다. 이것은 대상을 분해하여 재구성할 때에 화면에 역동감(力動感)을 도입하려는 것이며, 주로 정물의 분야에서 성과를 올린 정통파 큐비즘에 새로운 가능성을 열려고 시도하였다.
조르주 브라크(Georges Braque, 1882년 5월 13일 ~ 1963년 8월 31일)는 프랑스의 화가이다. 에서 배우고, 1906년에는 앵데팡당 전에 입선하였다. 처음에는 야수파라고 하는 대담하고 거친 붓놀림으로 선명한 색조를 나타내는 그림을 그렸으나, 폴 세잔의 영향으로 인상파에 접근하였다. 1907년에는 피카소와 친구사이로 사귀면서부터 사물을 입체적으로 보는 데 주력하게 되었으며, 피카소와 함께 입체파로서 프랑스 화단의 중요한 위치를 차지하였다. 제1차 세계대전 후 신고전주의적 필치로 정물, 실내화를 그렸다. 그의 작품으로 《포르투갈 인》, 《탁상 정물》, 《해변 풍경》, 《기타와 클라리넷》, 《기타를 가진 소녀》 등이 있다.
1882년 파리 근교의 아르장튀유에서 태어났고, 8세에 집안이 르 아브르로 이사, 브라크도 그 곳에서 성장하였다. 부친은 도장업을 하였는데 그도 소년시절부터 그 직업을 견습하면서 1897년 르 아브르의 미술학교 야간부에서 그림을 공부하였다. 이윽고 장식화가를 지망하여 그 수업을 위해서 1900년 파리로 갔다. 파리에서는 아카데미 운베르에 다녔는데 여기에서 로랑생과 피카비아와 사귀었다. 그러나 그는 노르망디 출신인 프리에스와 가장 절친하여 이 두 사람은 1906년에 네덜란드로, 1907년에는 남프랑스의 라 시오타로 여행을 하였다. 그동안 브라크는 포비즘에 가담하여 색채가 선명한 작품을 그렸으며, 당시의 그는 프리에스와 나란히 마티스나 드랭의 영향이 농후하였다. 시오타에서 돌아온 뒤에 브라크는 전기를 맞이하게 된다. 그는 포비슴의 그룹을 떠나 에스타크에서 지내면서 고독한 가운데에 세잔이 시사한 자연의 양식화 방향을 추구했다.
1908년 큐비즘 명칭의 유래가 된 &lt;에스타크 풍경&gt;이 살롱 도톤에서 거부당하여 칸와이러의 화랑에서 개인전을 열었다. 이것으로 피카소와의 친교가 깊어지고 폴 세잔의 영향을 받은 퀴비슴에서 점차로 풍경을 제거한 분석적 큐비즘으로 나갔다. 이 시기에 브라크와 피카소는 서로를 가려 볼 수 없을 만큼 그림이 비슷하였다. 1911년경부터 두 사람의 화면에는 현실 회복의 징조가 나타나 숫자와 알파벳이 구성 요소로 취급되고, 이듬해에는 이것이 파피에 콜레로 발전하여 총합적 큐비즘에 옮겨 갔다. 화사한 피카소와 대조적인 성격의 탓도 있지만 브라크는 친한 친구들 사이에서 마담 피카소란 별명으로 불린 것도 이 시기의 일이다. 1914년 제1차 세계대전에 참전하였으나 머리에 부상을 입어 1917년에 제대한 후 회화의 길에 복귀하여 예의 총합적 큐비즘을 완성하였다. 화면에 색채와 대상성을 회복하고 나체와 풍경의 모티프도 받아들여서 피카소와 별도의 길을 걷는 독자적 양식에 도달하였다. 1920년 피카소가 고전주의로 전환하였을 때에 브라크는 최초로 조각에 손을 대어 형태애 관한 사고를 더욱 연마해 나갔다. 1930년대 재차 피카소와 가까워졌으나 브라크의 모뉴멘털한 장식성의 추구는 벌써 피카소와 질적으로 다른 침정과 세련을 구하는 것이었다.
비만(肥滿, ) 또는 비만증(肥滿症, )은 인체에 지방이 과도하게 축적되는 질병이다. 세계 보건 기구(WHO)는 체질량 지수(BMI: Body Mass Index)가 30 이상인 경우를 비만증이라고 일컫는다. 대개 비만인은 체중이 정상치보다 무거운 것으로 인식되지만, 몸의 구성 성분 중 체지방 비율이 높은 것도 비만이라고 한다. 비만은 그 자체로도 건선, 튼살과 같은 외관상의 문제와 사회적 장애를 초래할 수 있으며, 무엇보다도 과다한 지방으로 인해 생기는 2차 합병증은 건강에 치명적이다. 비만은 고지혈증, 고혈압, 동맥경화, 당뇨병, 지방간, 관절 이상 등의 발생 비율을 현저하게 증가시키는 '만병의 근원'이라는 사실이 널리 알려져 있으며, 결과적으로 기대 수명의 저하를 불러 온다.
비만증의 원인과 질병.
인간의 유전자는 척박한 환경에 알맞게 진화 되어왔다. 인류가 지금처럼 풍족한 생활을 하기 시작한 것은 최근의 일이다. 인간의 유전자는 처음 인류가 이 땅에 태어난 뒤, 수 백만 년 이상을 영양이 부족한 환경에서 살아야 했기 때문에 남는 에너지를 배설하는 소모적인 시스템은 상상조차 하지 못했다. 지방을 에너지 저장원으로 택한 이유도 1그램당 4킬로 칼로리 밖에 내지 못하는 탄수화물이나 단백질에 비해 1그램당 9킬로 칼로리라는 높은 에너지 효율을 가지고 있기 때문이다. 한정된 육체 속에 더 많은 에너지를 저장하려면 에너지 효율이 높은 방식을 선택해야 했고, 생존을 위해 지방은 아끼는 것이 진화적으로 유리한 전략이었다. 이렇게 지방 친화적으로 발달한 인간의 몸이 단시간 내에 바뀌지는 않기 때문에, 오늘날 많은 사람들은 다이어트를 하는데 어려움을 겪는다.
체지방률에 따른 구분.
체질량 지수를 맹신해서는 안되는데, 이른바 '마른 비만' 이라고 부르는 체지방률이 높은 경우가 이에 속한다. '마른 비만' 이란 체질량 지수는 낮거나 정상인데, 체지방률이 높은 경우를 의미한다. 남성은 체지방률이 25% 이상일 때, 여성은 30% 이상일 때 보통 '마른 비만'으로 분류하게 된다.
허리 둘레에 따른 구분.
최근 대한비만학회를 중심으로 비만을 판단하는 새로운 척도로 ‘허리둘레’에 초점이 모아지고 있다. 허리둘레가 중요한 이유는 복부 비만의 중요 지표이기 때문이다. BMI는 체지방을 파악하는 데 오차가 생길 수 있어 이 수치로 비만인지를 판단하는 것은 성급할 수 있다고 전문가들은 지적한다. 성인을 기준으로 허리둘레가 남성 90cm, 여성 85cm 이상이면 비만으로 볼 수 있다. 청소년 경우에는 허리둘레와 엉덩이 비율이 0.90이면 복부비만이다
해결법.
굶거나 한번에 먹는 양을 줄이면 안 된다. 오히려 배고픔을 더 느껴서 평소보다 많이 폭식하거나, 요요 현상이 일어날 수 있다. 천천히 시간적 여유를 두고 음식 양을 줄여가면서 다이어트를 해야 한다. 헬스장에 가서 전문 트레이너한테서 도움을 받을 수도 있다. 패스트푸드, 인스턴트는 많이 줄이고, 샐러드, 닭가슴살 등의 채소들은 골고루 많이 섭취한다. 밖에서 줄넘기, 체조 등을 하는 것도 아주 좋은 방법이고 물을 하루에 2L 마셔서 노폐물도 배출해야 한다. 천천히 먹는 습관과 노력으로 포만감이 생기는 것도 중요하다. 비만인 사람들은 음식을 빠르게 먹기 때문에 많이 먹고 나서 포만감이 생긴다. 스트레스,잠이 넘치거나 모자라면
음식으로 풀기 때문에 지방 축적이 잘 되므로 규칙적으로 충분한 숙면을 취하며 스트레스를 받더라도 음식으로 풀지 않는 습관이 필요하다. 채소 등의 살이 안 찌고 부피만 차지하는 음식을 많이 먹는 습관이 필요하다.
세계보건기구(世界保健機構, )는 국제 공중보건을 책임지는 유엔 전문 기구이다. 2023년 기준으로 194개 회원국이 WHO에 가맹되었으며, 그 목적은 세계 인류가 가능한 한 최고의 건강 수준에 도달하는 것이다.
WHO의 설립은 1946년에 허가되었으며 1948년 4월 7일에 정식으로 발족하였다. 그러므로 이 날은 해마다 ‘세계 보건의 날’로 기념하고 있다. WHO는 크게 두 가지 입헌적 직무를 맡고 있다.
WHO는 세 가지 주요기관(세계보건총회, 이사회, 사무국)을 통하여 업무를 수행한다. WHO 본부는 스위스 제네바에 위치해 있다. WHO는 세계 각지에 6개 지역 기구로 분산되어 있으며 지역 기구마다 지역위원회와 지역사무국이 구성되어 있다.
목적 및 역할.
세계보건기구는 2023년 기준으로 194개 회원국이 가입되어 있다. 리히텐슈타인을 제외한 192개 유엔 회원국, 뉴질랜드의 자치령인 쿡 제도·니우에가 가입되어 있는데 세계보건기구의 헌법 역할을 하는 조약에 비준하는 대로 세계보건기구의 회원국이 된다.
미국의 자치령인 푸에르토리코, 뉴질랜드의 자치령인 토켈라우는 준회원국으로 가입되어 있다. 팔레스타인, 성좌, 몰타 기사단은 옵서버로 참가하고 있다. 대만은 2009년부터 2016년까지 중화 타이베이라는 이름으로 옵서버로 참가했으나 양안 관계, 대만 문제로 인하여 참가하지 못하고 있다.
세계보건기구 회원국은 세계보건기구의 최고 의사 결정 기구인 세계보건총회(WHA)에 대표단을 파견한다. 모든 유엔 회원국은 세계보건기구 회원국으로 활동할 자격을 갖고 있으며 세계보건기구 웹사이트에 따르면 "세계보건총회의 간단한 투표를 통해 신청이 승인되면 다른 국가도 회원으로 가입할 수 있다."고 명시되어 있다. 세계보건총회는 세계보건기구의 모든 회원국이 참가하여 기구의 정책을 결정한다.
집행위원회는 기술적으로 보건 분야에서 자격을 갖춘 위원들로 구성되어 있으며 세계보건총회의 결정과 정책에 영향을 미친다. 또한 유엔 옵서버로 참여하고 있는 국제 적십자 위원회, 국제 적십자사·적신월사 연맹은 세계보건기구와의 "공식적인 관계"에 따라 여러 비정부 기구들과 함께 옵서버로 참가한다.
세계보건총회.
주요 직무는 2년제 프로그램 예산을 승인하는 것과 주요 정책에 관련된 문제를 결정하는 것이다. 보건총회는 최종 결정 과정이다.
간부회.
간부회(혹은 집행이사회, Executive Board)는 보건분야의 기술적인 측면에서 적합한 34명으로 구성되어 있으며 각자 한 개 회원국에 의해서 세계 보건총회 때에 임명된다. 선출된 회원국의 임기는 3년이며, 각자 임명한 간부는 개인적 능력에 따라 업무를 담당하게 된다.
집행이사 역임 사례는 WHO 가입(1949년) 이후 총 7회이다. 주요 역할은 WHO 정책 결정에 있어 대한민국과 WHO 서태평양 지역의 보건 현안이 반영되도록 하는 것이다.
사무국.
사무국은 본부와 6개 지역사무국과 전 세계에서 근무하고 있는 8000명 내외의 전문 및 일반 서비스 분야 혹은 보건 에 관련된 전문가들로 구성되어 있다. 사무국은 국제 보건 총회에서 이사회에 의해 임명된 사무총장의 지휘 아래 있다. 사무총장은 한 명의 심의관(Deputy Director-General)과 또 한명의 사무총장보(Assistant Director-General)가 보좌한다.
역대 사무총장.
마거릿 챈 사무총장은 2006년 5월 22일 갑작스럽게 타계한 대한민국 국적의 이종욱 사무총장의 뒤를 이어 2006년 11월 9일 총회를 통해 선임되었다. 사무총장으로 임명되기 전에는 WHO의 전염성 질병부서의 사무총장보 겸 유행성 인플루엔자부서의 부서장(Director General)로서 근무 하였다. WHO에서 근무하기 전에는 홍콩에서 보건국장으로 근무하였으며, 9년간 국장으로서 재직기간 중 챈 박사는 1997년 첫 H5N1 조류독감 사태와 직면한 바 있다. 그녀는 2003년 성공적으로 홍콩의 SARS사태를 처리하였다. 또한 질병을 막고 보건상태를 개선시키기 위해 새로운 서비스를 착수하였다.
WHO 지부.
WHO는 특징적으로 6개 지역으로 분산되어 있으며, 각 지역은 지역 위원회와 지역 사무국으로 구성되어 있다. 각 지역 사무소의 수뇌로는 지역총장이 있다. 지역 사무소들은 지역적 정책을 조직화하고 지역 활동을 관찰할 의무가 있다. 많은 국가 내에 WHO를 대표하여 WHO 활동을 담당하는 직원이 상주하여 국가 보건 프로그램을 계획하고 관리한다.
전략보건운영센터.
이종욱 WHO 사무총장은 2003년 취임 직후 전략보건운영센터(Centre for Strategic Health Operations)를 만들도록 했다. 2004년 말 완공된 이 센터는 긴급상황이 발생하면 30분 안에 관계자가 모여 회의를 열 수 있도록 했다. 또한 병이 발생한 나라는 의무적으로 WHO에 즉시 보고하도록 하는 '국제보건협약'을 제안했다. 2020년 기준으로 190여 WHO 회원국이 전염병 발생 즉시 24시간 이내에 스위스 제네바 WHO 본부에 이를 통보하고 있다. 이 시스템은 신종플루와 중동호흡기증후군(MERS) 발병 때에 중요한 역할을 했다.
2005년 조류독감 창궐 당시 "WHO가 전염병 위험을 과장해 세계를 공포에 몰아 넣고 있다"며 이종욱 WHO 사무총장이 양치기 소년이라는 비판을 받았다. 그는 당시 비난 여론에 "나중에 희생자 숫자가 예상보다 적어 욕을 먹는 한이 있어도 지금 사람들에게 그 위험성을 널리 알려 대비하도록 하기 위함"이라며 자신의 신념을 굽히지 않았다. 그는 비판에 굴하지 않고 전염병 전문가를 파격적으로 요직에 발탁했으며, WHO의 판데믹 인플루엔자 대응 체제를 재편했다. 그리고 2006년에 급사했다. 그의 사후 그를 기념하기 위해 전략보건운영센터를 '이종욱 전략보건운영센터 '(JW Lee Center for Strategic Health Operations)로 부르게 되었다. WHO가 과도하게 위험을 경고하면, 전세계 경제가 무너지기 때문에, 각국 정부가 크게 화를 낼 수 있다.
IAEA와의 관계.
1959년 세계보건기구(WHO)는 국제원자력기구(IAEA)와 함께 세계보건총회(WHA) 12-40 협정에 서명했다. 이 협정에 따르면 "국제원자력기구는 원자력과 관련된 일부 분야에 대한 세계보건기구의 연구나 작업의 수행을 저지할 수 있다. 세계보건기구는 보건 증진에 관한 역할을 수행하기 위하여 어떠한 편견 없이 핵에너지의 평화적 이용에 대한 국제원자력기구의 사명을 인정한다."고 명시되어 있다. 이 때문에 세계보건기구는 체르노빌 원자력 발전소 사고, 후쿠시마 제1 원자력 발전소 사고와 관련된 방사능 문제에 대해 소극적인 입장을 표명했다는 지적이 제기되었다.