stanford-oval/wikipedia huggingface dataset:
녹터널 애니멀스
출연 > 조연

아일라 피셔
엘리 뱀버
아미 해머
칼 글루스맨
로버트 아라마요
로라 리니
안드레아 라이즈보로
마이클 쉰
인디아 메누에즈
이모겐 워터하우스
자웨 애쉬튼
그레이엄 백켈
닐 잭슨
지나 말론
크리스틴 바우어
기타

원작자: 오스틴 라이트
공동제작: 다이안 L. 사바티니
라인프로듀서: 마크 해리스
협력프로듀서: 알렉산드라 노라프챈
음향효과: 안도 존슨
음향효과: 매튜 윌슨
사운드디자인: 크리스 펜스케
사운드슈퍼바이저: 론 벤더
미술: 셰인 발렌티노
세트: 멕 에버리스트
특수효과: 에릭 프레지어
특수효과: 랜디 피츠제럴드
시각효과: 마틴 굿윈
시각효과: 마르친 콜렌도
시각효과: 케이시 샤츠
시각효과: 레오 웨스턴
분장: 도널드 모왓
의상: 아리안느 필립스
프로덕션슈퍼바이저: 제니퍼 캠벨
포스트프로덕션슈퍼바이저: 마크 해리스
배역: 프랜신 마이슬러
히사도미 료스케

히사도미 료스케(1991년 3월 19일 ~ )는 일본의 축구 선수이다. 현재 J2리그의 후지에다 MYFC에서 뛰고 있다.
부레병

부레병에 걸린 금붕어
부레병은 금붕어에게 자주 발생되는 질병이다. 부레병에 걸린 금붕어는 거꾸로 뒤집힌 채 위로 떠오르거나 아래로 가라앉는다.
원인

장내 기생충이나 과도한 먹이를먹음으로서 인한 변비가 질병의 원인이 될 수 있다
치료

금붕어에게 완두콩을 삶아 먹이로 주면 효과를 볼 수 있다. 부레의 일부를 제거하는 수술 치료도 있다. 또 수질악화를 방지하기 위해 수중모터를 달아주는 방법도 있지만 사료를 부상성 사료에서 침강성 사료로 바꾸는 것도 좋다
흥덕 김씨

| --- | --- |
나라: 한국
관향: 전북특별자치도 고창군 흥덕면
시조: 김이점(金以漸)
원시조: 김알지(金閼智)
인구(2015년): 59명
흥덕 김씨(興德金氏)는 전북특별자치도 고창군 흥덕면을 본관으로 하는 한국의 성씨이다.
시조 김이점(金以漸)은 김알지의 후손으로, 조선에서 대호군(大護軍)을 지냈다고 한다.
참고 자료

“흥덕김씨(興德金氏)”. 뿌리를 찾아서. [깨진 링크(과거 내용 찾기)]
지천석

지천석(池天錫, 1620년 ~ ?)은 조선의 문신이다. 본관은 충주(忠州). 자는 대수(大受), 호는 호산(壺山), 시호는 장헌(章憲)이다. 함경도 안변(安邊) 출신이다.
1648년(인조 26년) 29세의 나이로 진사시에 합격하고, 1663년 준원전참봉(濬源殿參奉)을 지냈다.
1686년(숙종 12년) 함경도에서 실시한 문과 별시에 아원(亞元)으로 급제하여 성균관 전적(典籍)을 거쳐 예조정랑(禮曹正郞)과 승지(承旨)를 역임하였다.
사후 이조 참판(吏曹參判)에 추증(追贈)되었다.
한시 작품

지천석 우음(偶吟)
白首無緣報聖恩(백수무연보성은) / 백발로 임금님 은혜 갚을 길이 없어
太平烟月臥山樊(태평연월와산번) / 태평연월 속에 산림에 엎드려 사네.
多情何物長相對(다정하물장상대) / 무엇을 다정하게 오래도록 상대하겠는가
黃菊花前白酒尊.(황국화전백주준) / 노란 국화꽃 앞에서 술잔 기울이는 일일세.
가족 관계

증조부 : 지기룡(池起龍)
조부 : 지정원(池正源)
부 : 지조해(池朝海)
외조부 : 현응린(玄應麟)
모 : 연주 현씨
동생 : 지천흥(池天興)
동생 : 지천뢰(池天賚)
율촌초등학교 송도분교

율촌초등학교 송도분교는 전라남도 여수시에 있었던 공립 초등학교이다.
연혁

1947. 02.12. 광양군 골약초등학교 송도분교장 인가
1968. 07.30. 송도국민학교로 승격(2학급)
1969. 03.02. 송도국민학교 개교
1973. 07.01. 행정구역 변경으로 여천군 관할로 이관
1982. 03.01. 율촌초등학교 송도분교장으로 격하(3학급)
2001. 02.28. 통폐합
니시카케가와역

| 니시카케가와 |
| --- | --- |
 니시카케가와 역
ko
개괄
관할 기관 : 덴류하마나코 철도
소재지 :  일본 시즈오카현 가케가와시
좌표 : 북위 34° 46′ 19.10″ 동경 137° 59′ 41.79″﻿ / ﻿북위 34.7719722°  동경 137.9949417° ﻿ / 34.7719722; 137.9949417
개업일 : 1954년 10월 10일
승강장수 : 단선 승강장 1면 1선
거리표
■ 덴류하마나코 철도 덴류하마나코 선
가케가와 기점 1.8km
   ← 가케가와시야쿠쇼마에  (0.5 km)  사쿠라기 → (2.2 km)
     
니시카케가와역(일본어: 西掛川駅)은 일본 시즈오카현 가케가와시에 위치한 덴류하마나코 철도 덴류하마나코 철도 덴류하마나코 선의 철도역이다. 단선 승강장 1면 1선의 구조를 갖춘 지상역이다.
이용 현황

| 승차 인원 추이> 연도 | 승차 인원 추이> 하루 평균   승차 인원 |
| --- | --- |
2008: 69
2009: 70
2010: 72
2011: 111
2012: 99
2013: 93
2014: 112
2015: 109
2016: 93
2017: 83
2018: 94
역 주변

야마다 전기 테크랜드 가케가와점
역사

1954년 10월 10일 : 국철 후타마타 선의 여객역으로서 개업.
1987년 3월 15일 : 후타마타 선이 제3섹터 철도로 전환되어, 덴류하마나코 철도의 역으로 됨.
인접 역

| 덴류하마나코 철도 덴류하마나코 선 |
| --- | --- | --- |
| 가케가와시야쿠쇼마에 가케가와 방면 | ■덴류하마나코 선 | 사쿠라기 신조하라 방면 |
| v t e덴류하마나코 철도 덴류하마나코선 |
| --- | --- |
가케가와 - 가케가와시야쿠쇼마에 - 니시카케가와 - 사쿠라기 - 이코이노히로바 - 호소야 - 하라노야 - 하라다 - 도와타 - 엔슈모리 - 모리마치뵤인마에 - 엔덴 - 도토미이치노미야 - 시키지 - 도요오카 - 가미노베 - 덴류후타마타 - 후타마타혼마치 - 니시카지마 - 간스이지 - 미야구치 - 프루트파크 - 미야코다 - 도코하다이가쿠마에 - 가나사시 - 오카지 - 기가 - 니시키가 - 슨자 - 하마나코사쿠메 - 히가시쓰즈키 - 쓰즈키 - 밋카비 - 오쿠하마나코 - 오나 - 지바타 - 오모리 - 아스모마에 - 신조하라
조선민주주의인민공화국 기계공업성

기계공업성(機械工業省) 또는 기계운용성(機械運用省)은 조선민주주의인민공화국의 내각 중앙 행정기관으로, 기계 생산, 기계설비 설치와 조립에 대한 사무를 관장한다.
1967년에는 기계공업상과 부상을 2명을 두어, 일반 기계 생산담당과 군수 공업 생산 담당 사무를 분장하였다.
연혁

기계공업성 설치
1960년 석탄공업성, 기계공업성, 동력화학공업성을 통합, 중공업위원회로 개편
1967년 12월 28일 기계공업위원회로 개편
1986년 폐지
1990년 5월 24일 기계공업성 설치
2000년 9월 5일 폐지
조직

룡성기계련합총국
역대 상, 부상 > 역대 상

정일룡 1957년 9월 20일 ~
한상두 1962년 8월 19일 ∼ 1962년 10월 22일
조동섭 1962년 10월 23일 ~
현무광 1967년 12월 16일 ~ , 제1기계공업상
홍원길 1967년 12월 16일 ~ 1967년 12월 27일, 제2기계공업상
홍원길 1967년 12월 28일 ~ ,
계형순 1990년 5월 24일 ~
조병주 : 2005년 7월 ~ 2012년 3월
리종국 : 2012년 3월 ~ ?
양승호 : 2019년 4월 ~ 2020년 4월
김정남 : 2020년 4월 ~ 현재
역대 상, 부상 > 역대 부상

조병주 1998년 7월 ~ 2000년 9월
한광복 2005년 9월 ~ 2009년 6월
역대 상, 부상 > 역대 부부상

한광복 1990년 4월 ~
산하 기관

동평양기계공장
승리자동차련합기업소
이투

이투(吏套)에 대해서는 이두 문서를 참고하십시오.
이투의 위치
이투(포르투갈어: Itu)는 브라질 상파울루주의 도시로 면적은 641.68km2, 높이는 583m, 인구는 157,384명(2009년 기준), 인구 밀도는 243.9명/km2이다. 1610년 마을이 건설되었고 1657년 지방 자치체로 승격되었다. 시로 승격된 시기는 1843년이다. 도시 이름은 투피어로 "큰 폭포"를 뜻한다.
시기
시 문장
논타이군

논타이군은 나콘랏차시마주의 행정 구역이다. 이 지역의 총 인구 수는 2015년 기준으로 72039명이다. 인구 밀도는 138.2km2이다.
행정 구역

| 번호 | 지명 | 태국어 지명 | 빌리지 | 인구 |
| --- | --- | --- | --- | --- |
| 01. | Non Thai | โนนไทย | 17 | 12,891 |
| 02. | Dan Chak | ด่านจาก | 13 | 08,740 |
| 03. | Kampang | กำปัง | 16 | 09,699 |
| 04. | Samrong | สำโรง | 17 | 06,981 |
| 05. | Khang Phlu | ค้างพลู | 10 | 05,404 |
| 06. | Ban Wang | บ้านวัง | 11 | 04,715 |
| 07. | Banlang | บัลลังก์ | 19 | 07,928 |
| 08. | Sai O | สายออ | 11 | 07,558 |
| 09. | Thanon Pho | ถนนโพธิ์ | 09 | 03,987 |
| 14. | Makha | มะค่า | 10 | 04,136 |
| --- | --- |
전거 통제: 지리 :  뮤직브레인즈 지역 
↑  “Population statistics 2015” (태국어). Department of Provincial Administration. 2016년 3월 25일에 확인함.
이반 노보셀체프

이반 예브게니예비치 노보셀체프(러시아어: Иван Евгеньевич Новосельцев, 1991년 8월 25일 ~ )는 러시아의 축구 선수이다.
이미슐리구

이미슐리구(아제르바이잔어: İmişli rayonu)는 아제르바이잔 남부에 위치한 구로 행정 중심지는 이미슐리이며 면적은 1,820km2, 인구는 104,026명(1999년 기준)이다. 남쪽으로는 이란과 국경을 접한다.
부당이득죄

부당이득죄란 사람의 궁박한 상태를 이용하여 현저하게 부당한 이익을 취득하거나 또는 제3자로 하여금 부당한 이득을 취득하게 하는 범죄를 말한다(형법 제349조). 3년 이하의 징역 또는 1천만원 이하의 벌금에 처한다(349조). 본죄는 소위 '폭리죄(暴利罪)'이며, 기망의 수단으로 사람을 착오에 빠뜨리게 하는 것이 아니기 때문에, 엄격한 의미로는 사기죄가 되지 않고 그에 준하여 처벌될 뿐이다. '궁박한 상태'는 경제적인 궁박상태뿐 아니라, 예컨대 생명·신체 등에 대한 육체적 곤궁, 명예 등에 대한 정신적 곤궁등에 대한 위난도 포함한다. 그리고 궁박상태는 반드시 객관적으로 존재함을 요하지 않고 단지 사상적인 궁박상태를 이용하는 것으로 족하다. '현저히 부당'한가의 여부는 구체적 사정에 비추어 객관적으로 평가되어야 할 것이다. '이익'은 재산상의 이익을 말한다. 상습범은 형이 가중되나(제351조) 미수범 처벌규정은 없다.
같이 보기

부당이득 - 민법의 개념
훈트 규칙

훈트 규칙(영어: Hund's rule)은 독일의 물리학자 프리드리히 훈트(Friedrich Hermann Hund)가 발견한, 다전자 원자의 바닥 상태를 결정하는 규칙이다. 총 세 규칙이 있으나, 흔히 첫 번째 법칙만을 일컫는 경우가 많다.
내용

주어진 전자 배열에 대하여, 가장 큰 겹침 수를 갖는 전자 배치가 가장 낮은 에너지를 갖는다.(최대 겹침수의 법칙)
주어진 겹침수에 대하여 총 궤도 각운동량 양자수가 가장 클 때 가장 낮은 에너지를 갖는다.
주어진 전자 배열에 대하여 한 원자에서 최외각 부껍질(subshell)이 절반 이하로 채워졌을 때 총 각운동량 양자수  J가 가장 작은 에너지 준위가 가장 낮은 에너지를 갖는다. 만일 절반보다 많이 채워졌을 때는  J가 가장 큰 경우가 가장 낮은 에너지 준위이다.
최대 겹침수의 법칙

각 원자의 바닥 상태의 전자 배열은 에너지 상태가 같은 원자 궤도에 전자가 배치되지 않을 때, 최대한 홀전자 수가 많게 배치되며, 이 홀전자들의 스핀 양자수는 서로 같다는 규칙이다. 이는 전자가 같은 원자 궤도에 들어가, 쌍을 이룰 경우 전자 사이에 전기적 반발력이 작용하기 때문이다. 다음 표 상에서 전자를 ·라고 표기하고, 질소로 예를 들어보면, 1번 방식처럼 홀전자가 최대한 많게 배치된다는 것이다. 순서대로 전자를 채워 넣은 2번의 경우는 훈트 규칙에 위배된 경우이다.
|  | 1s | 2s | 2px | 2py | 2pz |
| --- | --- | --- | --- | --- | --- |
| 1 | •• | •• | • | • | • |
| 2 | •• | •• | •• | • |  |
원소에 전자가 배치될때는 전자간의 반발력을 최소화 하기 때문에 가능한 한 구형이 되도록 전자를 채워나가게 된다. 이때문에 예외적으로 훈트의 규칙을 만족하지 않는 원자가 있는데 24번 원자 Cr과 29번 원자 Cu이다. 이 원자들은 훈트의 규칙에 의하면 에너지 준위가 낮은 4s를 모두 채운 후 3d를 채우는 게 맞지만, 오비탈상에서 4s 오비탈에 전자가 2개가 들어가게 되면 3d 오비탈과 4s가 겹치는 부분이 최대 4개가 되기 때문에 4s오비탈에 1개만 채워서 3d와 4s오비탈이 겹치는 부분이 최대가 3개가 되도록 해 전자반발력을 최소화하면서 구형이 되는 방향으로 전자를 채워넣게 된다. Cr도 마찬가지로 4s와 3d 오비탈이 겹치는 부분이 최대 3개가 되는 쪽보단 2개가 되는 쪽으로 가기 때문에 4s와 3d 오비탈에 각각 한 개씩의 전자를 채워 넣게 된다.
민족 (영화)

| 민족 |
| --- | --- |
감독: 이세원
제작: 이세원 함성원
촬영: 이세원 고우롱빈
배급사: 씨엠닉스
개봉일:  2023년 3월 1일 (2023-03-01) 
시간: 160분
국가:  대한민국
언어: 한국어
《민족》은 2023년에 개봉한 대한민국의 영화이다.
캐스팅

안상경
권기정
정지문
최봉란
김선경
권동주
박형준
이채현
김영운
허윤혁 (나레이션)
김혜연 (나레이션)
산동로

| 아산시도 지방도 |
| --- | --- |
  624 
산동로
지방도 제624호선의 일부
기점: 충청남도 아산시 음봉면
종점: 충청남도 천안시 서북구 직산읍
주요 교차도로 : 지방도 제624호선
산동로(Sandong-ro)는 충청남도 아산시 음봉면 산동사거리 에서 충청남도 천안시 서북구 직산읍 산동사거라까지 이어주는 도로이다.
주요 경유지

아산시 (음봉면) - 천안시 서북구 직산읍
노선 경로

| 이름> 삼성로와 직결 | 접속 노선> 삼성로와 직결 | 경유지> 삼성로와 직결 | 경유지> 삼성로와 직결 | 경유지> 삼성로와 직결 | 비고> 삼성로와 직결 |
| --- | --- | --- | --- | --- | --- |
| 산동사거리 | 지방도 제628호선 (음봉로) | 아산시 | 음봉면 | 음봉면 |  |
| (이름없음) | 3공단6로 | 아산시 | 음봉면 | 음봉면 |  |
| 산동2 교차로 | 월산로 | 아산시 | 음봉면 | 음봉면 |  |
| 공단2 교차로 | 4산단로 | 천안시 | 서북구 | 부성동 |  |
| (이름없음) |  | 천안시 | 서북구 | 직산읍 |  |
금곡로와 직결
주요건물및 시설

GS25 산동센터점 (산동로 240/산동리 778)
CU 아산음봉로드점 (산동로 273/산동리 201-1)
이반 도안

| 이반 도안 Іван Доан |
| --- | --- |
도안(2016년)
본명: Іван Ванович Доан
로마자 표기: Ivan Vanovich Doan
출생: 1986년 3월 5일(1986-03-05)(38세) 소련 우크라이나 SSR 키예프
국적: 우크라이나
직업: 배우
활동 기간: 2008년~현재
이반 바노비치 도안(우크라이나어: Іван Ванович Доан, 1986년 3월 5일~)은 우크라이나의 배우이다.
출연 작품

| 연도 | 영화 |
| --- | --- |
2017: Life Goes On in Paris
2016: Pilgrims
2016: The Magnitsky Act. Behind the Scenes
2016: Touching Quietude
2015: Generation Maidan: A Year of Revolution & War
2014: The History of Chriminalistics
2013: Bomba
2013: So Good to Be Home!
2012: Overturn: Awakening of the Warrior
2011: Overturn
2009: Guest
2009: Dom na Ozyornoy
2008: Open-eyr
2008: Tarif Novogodniy
2008: How I Fought Bravely the Thirst for Knowledge and What Happened Then
논포리

논포리(일본어: ノンポリ)는 일본에서 쓰이는 영단어「논폴리티컬(nonpolitical)」의 줄임말로, 일본의 학생운동에서 정치운동에 전혀 관심이 없는 것 또는 그러한 사람을 가리킨다.
원래는 1960년대~1970년대 일본 학생운동에 전혀 참가하지 않은 학생들을 가리키는 용어로 쓰였으며, 그러다가 정치에 전혀 흥미를 갖지 않은 사람들만이 아닌, 정치문제에 관심은 있지만 학생운동의 과격화, 분열에 염증을 느끼고 특정 학생운동 분파에 속하는 것을 거부하는 사람들을 포함하는 말로 바뀌었다. 대한민국에서 비슷한 말을 찾자면 대학내 '운동권'과 구분되는 사람들을 지칭하는 비권 정도가 있다.
같이 보기

전공투
야스다 사건
비정치주의
이리야촌

| --- | --- |

한자 표기: 入谷村
가나 표기: いりやむら
폐지일: 1955년 3월 1일
폐지 이유: 신설합병 이리야촌, 시즈가와정, 도쿠라촌 → 시즈가와정
이후 자치체: 미나미산리쿠정
폐지 당시의 정보
나라:  일본
지방: 도호쿠 지방
도도부현: 미야기현
군: 모토요시군
면적: 41.14 km2
인구: 3,620명 (1955년 2월 28일)
좌표: 북위 38° 42′ 10″ 동경 141° 24′ 42″﻿ / ﻿북위 38.70286°  동경 141.41178° ﻿ / 38.70286; 141.41178
이리야촌(入谷村)은 1955년까지 미야기현 모토요시군의 남동부에 있던 촌이다. 현재의 미나미산리쿠정에 해당한다.
역사

1889년 4월 1일 - 정촌제 시행에 수반해 구 이리야촌 단독으로 촌제를 시행하였다.
1955년 3월 1일 - 시즈가와 정·도쿠라 촌과 합병해 새로운 시즈가와 정이 되었다.
참고문헌

『宮城県町村合併誌』（宮城県地方課、1958）
김필진

| --- | --- |
국적:  대한민국
출생: 1974년 7월 21일(1974-07-21)(50세)  대한민국
활동 기간: 1997년 ~ (대교방송 3기)
소속: 대교방송 성우극회 (프리랜서)
김필진(1974년 7월 21일 ~ )은 한국의 여자 성우다. 1997년 대교방송 3기 공채 성우로 데뷔했다.
출연작품 > 애니메이션

가면라이더 가부토 (챔프) - 렌게
개골개골 마법사 (어린이TV) - 호호
건담 0083 스타더스트 메모리 (애니박스) - 시마
건담 0083 지온의 잔광 (애니맥스) - 시마
검용전설 야이바 (어린이TV) - 수리
골판지전사 WARS (카툰네트워크) - 라이나
우주소년 아톰  ( 디즈니채널) 우란
극상학생회 (챔프) - 히카루코
날아라 호빵맨 (애니맥스) - 크림팬더
내 친구 아더 (어린이TV) - 브레인
데굴데굴 꼬마도치 (어린이TV) - 도치 엄마
돌격! 빠빠라대 (어린이TV) - 한수영
로봇카니발 (애니원)
마법사에게 소중한 것 (애니원) - 루나
마법사 프리큐어! - 구르미
맑음 때때로 뿌이뿌이 (애니원) - 오구슬
메다로트 (챔프) - 살라미
볼트론 특공대 (어린이TV) - 라핏
소년탐정 김전일 (애니박스) - 시노
수퍼 사이보그 네로 (어린이TV) - 나나
시골쥐와 서울쥐 (애니원) - 어니스틴
쏙 빠져들 것 같아 (어린이TV) - 청자
와글와글 붕붕 삼총사 (애니박스) - 샹하이
요절복통 수호천사 (챔프) - 체스터
우리반 짱돌이 (애니원) - 안경미
우주해적 미토의 대모험 (어린이TV) - 모모
이누야샤 (애니원) - 쇼가
주홍이의 그림일기 (애니원) - 성훈
쥬얼펫 트윙클 (어린이TV) - 라브라
쥬얼펫 선샤인 (어린이TV) - 라브라
쫑아는 사춘기 (어린이TV) - 한나 / 엄마
천방지축 모험왕 (어린이TV) - 노파
천사가 될거야 (애니원) - 할머니
카드파이트 뱅가드 (재능TV) - 강보라
코지 코지 (애니맥스) - 루루
키바 (챔프) - 사기리
하품요정 아쿠비 (어린이TV) - 왕소심
해피 럭키 깜짝맨 (카툰네트워크) - 십자가 천사
해피해피 클로버 (챔프) - 밍밍
헌터X헌터 (애니원) - 포클
출연작품 > 극장용 애니메이션

팬더와 친구들의 모험 - 아기 판다
출연작품 > 방송

빨간코 알루 (어린이TV) - 알루
출연작품 > 영화

투명인간의 사랑 (SBS)
출연작품 > 외화

떴다! 트레이시 (어린이TV) - 루이즈
말괄량이 삐삐 (어린이TV) - 아니카
출연작품 > 게임

도타 2 - 고통의 여왕
두근두근 메모리얼 - 카가미 미라
디아블로 3 - 고통의 여제
미소녀 닌자 모험기 - 하늘을 가르는 검 - 고에몽
테일즈런너 - 밍밍 / DND(디엔디)
김필수 (희극인)

| 김필수 |
| --- | --- |
본명: 김필수
출생: 1982년 4월 21일(1982-04-21)(42세) 
국적: 대한민국
직업: 희극인
데뷔일: 2007년
소속사: 형엔터테인먼트
《김필수》는 같은 희극인이다.
출연작 > 방송

《웃찾사 시즌 1》 (SBS)
《코미디빅리그》 (tvN)
〈비스티 토이즈〉
〈죽지 않아〉
〈학교전설〉
〈힙 to the 합〉
〈개인주의〉(2015년 1쿼터)
〈멸망 10분전〉
〈국제시장 7080〉 양배차의 아빠 역
《개그투나잇》 (SBS)
《켠김에 왕까지》 (온게임넷)
《푸른거탑》 (tvN)
《여왕의 꽃》 (MBC)
《여유만만》 (KBS2)
《체험 삶의 현장》 (KBS1)
《방귀대장 뿡뿡이》 (EBS) - 탐탐이 역
《갤럭시 안전 프로젝트》 (EBS)
생방송 판다다 (EBS)
생방송 우리집 유치원, 2020 딩동댕 유치원 (EBS) - 떼구리 역
2022 딩동댕 유치원 (EBS) - 댕구 역
출연작 > 뮤직비디오

쿨 - 오늘 하루
수상

2003년 SBS 개그 콘테스트 금상
같이 보기

김필수의 미니홈피 - 싸이월드
| v t e코미디빅리그 |
| --- | --- |
시즌:  1  2  3  4  5 
현재 출연진:  강완서  강유미  김같이  김기욱  김나희  김대범  김명선  김병욱  김승진  김여운  김완배  김용명  김인석  김일권  김주호  김지민  김진아  김철민  김필수  나상규  남창희  남태령  남호연  리마리오  문규박  문세윤  박광수  박나래  박민성  박영진  박용희  박준형  박충수  박휘순  변기수  변승윤  손민수  신고은  안가연  안상태  안영미  안일권  양기웅  양세찬  양세형  양혜지  예재형  오인택  유남석  유상무  유세윤  윤미숙  윤성호  윤진영  윤택  윤형빈  이국주  이상준  이세영  이용진  이은지  이재훈  이정수  이진호  장도연  장동민  정주리  정현수  정종철  정진욱  조세호  조우용  조현민  최서인  최성민  최선영  추대엽  하준수  한윤서  한현민  황제성  황현희  허안나  현병수  홍윤화 
관련 항목:  tvN  코미디빅리그의 종영된 코너
보니 (가수)

| 보니 > 기본 정보 |
| --- | --- |
본명: 신보경
예명: Boni
출생: 1986년 9월 14일(1986-09-14)(38세)
성별: 여성
국적:  대한민국
직업: 가수
소속사: 인플래닛
웹사이트: 보니 - 인스타그램 보니 - X
보니(Boni, 본명: 신보경, 1986년 9월 14일 ~ )는 대한민국의 가수이다.
2006년 015B 7집 《Lucky 7》 객원보컬로 참여하여 대중에 알려졌으며, 2010년 3월 미니앨범 《Nu One》을 발매하였다.

2010년 7월 《남자의 자격》 - 남자, 그리고 하모니 편 - 에 출연하여 합창단 알토 파트로 활동하며 과거 015B의 객원보컬이었던 사실이 다시 화제가 되었으며,
2010년 12월에는 《남자의 자격》 - 송년의 밤 편 - 에 출연하여 노래자랑 코너에서 휘트니 휴스턴의 I Will Always Love You를 열창, 출연진들의 기립박수를 받는 등 합창단에서는 볼 수 없었던 뛰어난 가창력을 선보여 방송 후 큰 화제가 되었다. 

2010년 10월 1일 홍대 앞 《V-HALL》에서 첫 콘서트를 열었다.
작품 활동 > 발매 앨범

1st Mini Album : Nu One
NU ONE (Feat. Verbal Jint) 3:53
너를 보내도 4:16
BONI GET STARTED 3:09
RESQ ME 3:55
HOT SOUP 3:13
PRELUDE TO GO AROUND 1:35
GO AROUND (ENGLISH VER.) 4:29
2nd Mini Album : 1990
1990 2:17
무엇이라도 4:20
어제도 오늘도 내일도 5:39
연인 4:02
너뿐이야 (Day & Night) 3:01
기다릴게 3:55
어제도 오늘도 내일도 (Radio Edit) 4:33
me my self and I am the Oecan 4:03
Sunset Romance (Feat. Damye) 4:24
Kite and Line (Feat. Blueny of OuiOui) 3:50
4cm (Feat. Wilcox) 3:37
데려가줘 3:19
purr 02:22
꿈갈피 (Don't Wake Me) 3:31
밤밤밤 (2:30 am) 3:11
12단지 3:34
Everything 3:52
싱글 : By My Side
By My Side
싱글 : 아파
아파
싱글 : The First Noel
The First Noel (Guitar Ver.)
The First Noel (Piano Ver.)
싱글 : 27살
27살
27살 (Emotianal Ver.)
싱글 : 미안해서 그래
미안해서 그래
Girls Talk (Feat. 샛별)
Distant Lover (Feat. 화지)  
 싱글 : Push
작품 활동 > 참여 앨범

015B 7집 - 《Lucky 7》(2006)
Answer 1집 -《Rising》(2009)
지아이디어 - 《Summer Crush Dance》(2009)
Soulman - 《Let`s Get Started》(2010)
소울사이어티(SoulCiety) - 《Coming Home》 (2010)
팔로알토 & 이보(Paloalto & Evo) - Behind The Scenes (2012)
작품 활동 > 컴필레이션 앨범

《Found Tracks Vol.2》(2010)
작품 활동 > 콘서트

I am Boni 《홍대 V-Hall》 - 2010년 10월 1일
Curtain Call 《삼성동 백암아트홀》 - 2011년 5월 27일
Boni in White Day 《KT＆G 상상마당 라이브홀》 - 2014년 3월 14일
Boni In Veloso  《홍대 벨로주》 - 2014년 6월 14일
With You 《KT＆G 상상마당 라이브홀》 2015년 7월 11일
LABEL WORKS 인플래닛 공연 《폼텍웍스홀》 2015년 8월 7일, 8일
인플래닛 레이블콘서트 With 쿠마파크 《무브홀》 2017년 8월 26일
보니, 월콕스, 위위 소극장콘서트 # departure 《홍대 벨로주》 2018년 8월 11일
보니 정규 2집 쇼케이스 <신보경> 《홍대 벨로주》 2018년 12월 1일
방송 활동

KBS2 - 《스타골든벨》
MBC 표준FM - 《별이 빛나는 밤에》
KBS2 - 《남자의 자격 - 죽기 전에 해야 할 101가지》
iTV FM - 《이상미의 러브셰이크》
수상 내역

2012년 제9회 한국대중음악상 최우수 알앤비 & 소울 앨범 수상 [1990]
2012년 제2회 리드머 어워드 올해의 알앤비/소울 앨범 수상 [1990]
단일 지불자 의료

단일 지불자 의료는 모든 주민의 필수 의료 비용이 단일 공공 시스템(따라서 "단일 지불자")으로 보장되는 보편적 의료의 한 유형이다.
단일 지불자 시스템은 민간 기관과 의료 서비스 계약을 맺을 수도 있고(캐나다의 경우) 의료 자원과 인력을 소유하고 고용할 수도 있다(영국의 경우). "단일 지불자"는 민간 기관이나 둘 다의 혼합이 아닌 단일 공공 기관이 의료 비용을 지불하는 메커니즘을 설명한다.
단일 지불자 의료 시스템 내에서는 단일 정부 또는 정부 관련 소스가 모든 보장 의료 서비스에 대해 비용을 지불한다. 정부는 이 전략을 사용하여 보편적 의료, 의료에 대한 경제적 부담 감소, 인구의 건강 결과 개선 등 여러 목표를 달성한다. 2010년에 세계보건기구(WHO) 회원국들은 보편적 의료를 목표로 채택했다. 이 목표는 2015년 유엔 총회 에서도 지속 가능한 개발을 위한 2030 어젠다의 일부로 채택되었다.
단일 지불자 의료 시스템은 지리적 또는 정치적 지역의 전체 인구로 구성된 단일 위험 풀을 설정한다. 또한 제공되는 서비스, 상환율, 약품 가격 및 필수 서비스에 대한 최소 기준에 대한 단일 규칙 세트를 설정한다.
전 세계 여러 국가에는 단일 지불자 건강 보험 프로그램이 있다. 이러한 프로그램은 일반적으로 다양한 방식으로 구현되는 일종의 보편적 의료 서비스를 제공한다. 영국이나 스페인처럼 정부가 의사를 고용하고 병원을 운영하는 경우도 있다. 또는 캐나다 에서 취한 접근 방식과 같이 정부가 외부 기관으로부터 의료 서비스를 구매할 수도 있다.
같이 보기

의료
건강 형평성
의료제도
다르시의 법칙

다르시의 법칙(Darcy's law)은 다공성 매질을 통과하는 유체의 흐름에 대하여 관찰을 통해 얻은 경험식으로부터 유도된 법칙이다. 모래 시료를 통과하는 물의 흐름을 실험한 앙리 다르시에 의해 제안되었다.
가정

다공층을 구성하고 있는 물질의 특성이 균일하고 동질이다.
대수층(aquifer) 내에 모관수대가 존재하지 않는다.
흐름은 층류이다.
적용 조건

다르시의 법칙은 유속이 느린 점성 흐름에 대해서만 유효한데, 대부분의 지하수의 흐름에는 다르시의 법칙을 적용할 수 있다. 일반적으로 레이놀즈 수가 1보다 작은 흐름은 층류이고 다르시의 법칙을 적용할 수 있으며, 실험에 의하면 레이놀즈 수가 약 10 정도인 흐름까지도 다르시의 법칙을 적용할 수 있다.
설명

다르시의 법칙은 다공성 매질을 통과하는 유체의 단위 시간당 유량과 유체의 점성, 유체가 흐르는 거리와 그에 따르는 압력 차이 사이의 비례 관계를 의미한다.
유량  Q (단위는 [길이]3[시간]-1. 예: cm³/s)는 매질의 투과율(hydraulic permeability, 투수 계수,  K), 물이 흐르는 매질의 내부 단면적( A)과 유체가 흐르는 두 점간 압력 차이( p_{b}-p_{a} 혹은 수두 차이)의 곱을 유체가 흐르는 길이( L)로 나눈 것과 같다. I는 동수경사이다. 음의 기호는 압력이 낮아지는 방향으로 유체가 흐른다는 것을 의미한다. 여기서 투수계수는 유체의 점성, 매질의 특성(흙 입자의 크기(유효입경)와 모양, 배열 상태, 포화도, 간극비 등)과 관련되어 정해지는 값이다.
흙에서의 실제 유속

흙 시료에 다르시의 법칙을 적용한다고 할 때, 단면적 A는 흙 시료 전체 단면적이므로 이를 통해 계산한 유속 v는 실제 유속 va(침윤속도라고도 함)와 다르다. 왜냐하면 실제로 흙 시료에서 물이 흐르는 단면적은 공극만큼의 단면적 Av이기 때문이다. 이는 연속 방정식에 의해  Q=Av=A_{v}v_{a}로 나타낼 수 있다.
공극률 n과 공극비 e로 실제 유속 va를 나타낼 수도 있다. 공극률  n={\frac {V_{v}}{V}}={\frac {A_{v}}{A}}이고,  A_{v}=nA이므로,
같이 보기

수문지질학
수학적 모델
다르시의 법칙을 설명
벡셰시

벡셰 시의 위치
벡셰시(스웨덴어: Växjö kommun)는 스웨덴 크로노베리주에 위치한 지방 자치체로 행정 중심지는 벡셰(크로노베리 주의 주도)이며 면적은 1,914.25km2, 인구는 89,500명(2016년 12월 31일 기준), 인구 밀도는 47명/km2이다.
시 문장
보얀 요바노비치

보얀 요바노비치(크로아티아어: Bojan Jovanović, 1980년 1월 31일~)는 크로아티아의 펜싱 선수로 주 종목은 플뢰레이다. 그는 2012년 하계 올림픽에서 남자 플뢰레 개인전에 출전하였으나 64강에서 멕시코의 다니엘 고메스에게 14-15로 패하며 탈락하였다.
산동 여자 물장수

| 산동 여자 물장수 |
| --- | --- |
감독: 김선경
각본: 김세호
제작: 김인동
출연: 서병헌 송정아 김영일 이재영
촬영: 양영길
편집: 현동춘
음악: 정민섭
개봉일:  1983년 2월 25일 (1983-02-25) 
시간: 95분
국가: 한국
언어: 한국어
"산동 여자 물장수"(山東 女子물장수)는 한국에서 제작된 김선경 감독의 1983년 드라마, 액션 영화이다. 서병헌 등이 주연으로 출연하였고 김인동 등이 제작에 참여하였다.
출연

서병헌
송정아
김영일
이재영
권성영
이희성
이화진
최화섭
남포동
최명희
김미진
지승용
홍성찬
정준용
이기병
신정재
이필용
스태프

제작: 김인동
기획: 김종철, 김기문
각본: 김세호
촬영: 양영길
조명: 한희창
음악: 정민섭
편집: 현동춘
녹음: 유창국
효과: 윤덕영
현상: 세방현상소
의상: 이해윤
스틸: 정기성
촬영보: 신양균
조명보: 배상일
무술지도: 김영일
조감독: 조성구
감독: 김선경
주강 삼각주

주강 삼각주 지도
주강 삼각주(중국어: 珠江三角洲, 병음: Zhūjiāng Sānjiǎozhōu)는 중화인민공화국의 주강 하구의 광저우, 홍콩, 선전, 마카오를 연결하는 삼각지대를 중심으로 하는 지역의 호칭을 말한다. 주강 델타(Pearl River Delta)(줄여서 PRD), 주장 델타 등의 다양한 명칭의 조합을 가지고 있다.
개요

중국 대륙 가운데에서도 가장 인구가 밀집한 지역의 하나이다. 개혁개방 이후, 홍콩의 배후지로서 발전해, 홍콩뿐만이 아니라 한국, 일본기업 등도 진출하고 있다. 경제 특구로서 빨리 개방된 선전 외, 그 북쪽에 위치하는 둥관(東莞)에 PC·전기제품 등을 제조하는 외자 기업의 공장이 많이 진출해, 세계 유수한 제조업의 집적지로서 알려졌다.
중심 도시

광저우
선전시
둥관 시
포산 시
장먼 시
중산 시
주하이
같이 보기

장강 삼각주
개혁개방
환보하이만 경제권
히스로 에어포트 홀딩스

| --- | --- |


형태: 유한회사
창립: 1985년 12월 13일
산업 분야: 공항 운영
본사 소재지:  영국 잉글랜드 하운즐로 히스로 공항 컴패스 센터
핵심 인물: 존 홀랜드케이 (CEO)
웹사이트: www.heathrow.com/company
히스로 에어포트 홀딩스(Heathrow Airport Holdings)는 영국의 공항 회사이다. 런던 히스로 공항을 비롯하여 런던 개트윅 공항, 런던 스탠스테드 공항 등을 운영하고 있다.
봉화군 (1971년 선거구)

| 봉화군 |
| --- | --- |
폐지된 대한민국 국회의원 선거구
1971년~1973년
의원 수: 1인
이전 선거구: 영주군·봉화군
이후 선거구: 영양군·영주군·봉화군
봉화군은 대한민국의 옛 국회의원 선거구이다. 당시 경상북도 봉화군 지역을 관할했다.
역사

제8대 국회의원 선거를 앞두고 영주군·봉화군 선거구에서 분리되면서 신설되었다.
제9대 국회의원 선거를 앞두고 영주군, 영양군과 함께 영양군·영주군·봉화군 선거구를 이루게 됨에 따라 폐지되었다.
역대 국회의원

| 선거 | 정당 | 정당 | 의원 |
| --- | --- | --- | --- |
| 1971년 |  | 민주공화당 | 권성기 |
종 (유형 이론)

종(kind)는 수리논리학 및 컴퓨터 과학의 영역에서 형 이론(타입 이론)으로 구분되어 있다. 종(kind)이란 타입 생성자같은 타입 혹은, 약간 더 일반적이지는 못하지만, 고계(고차)연산자와 같은 타입이다. 원시 타입은 *로 표기하고 "타입"이라고 부른다. 이는 어떤 타입 파라메터도 필요로 하지 않는 모든 데이터 타입의 종류이다. 종 시스템은 원시 타입에 부여된 단순 타입의 람다 계산법에서 "one level up"이다.
종은 때때로 혼동되도록 "(데이터) 타입의 타입"으로 설명되곤 하지만, 실제로는 인자(arity) 지정자라고 보는게 더 맞다. 구문 상으로는, 다형성 타입을 타입 생성자라고 생각하는 것이 더 자연스러우며, 따라서 다형성이 없는 타입의 경우 인자가 없는(nullary) 타입 생성자라고 생각하는 게 맞다. 그러나 모든 인자가 없는 생성자, 즉 모든 단일형 타입은 동일하고, 가장 간단한 종, 이름하여 *을 가진다.
프로그래밍 언어에서 고계(higher-order) 타입 연산자가 일반적이지는 않으므로, 대부분의 프로그래밍 실전에서, 종(kind)은 데이터 타입과 파라메터 다형성을 구현하는데 사용되는 생성자 타입을 구분하는데 사용된다. 종(kind)은 하스켈과 스칼라와 같이, 타입 시스템이 프로그래밍의 접근 방식으로 파라메터 다형성을 설명하는 언어에서, 명시적 혹은 암시적으로 나타난다.
예제

* ("타입"이라고 발음)은 인자가 없는(nullary) 타입 생성자라고 보여지는 모든 데이터 타입의 종류이며, 이러한 맥락에서 더 나은 타입이라고 한다. 이것은 보통 함수형 프로그래밍 언어의 함수 타입을 포함한다.
*\rightarrow *은 단일 인자 타입 생성자의 종으로, 예를 들어, 리스트 타입 생성자가 해당된다.
*\rightarrow *\rightarrow *은 (커링을 통한) 이진 인자(인자가 두 개)인 형식의 생성자의 종으로, 함수 타입 생성자의 종이기도 하다(함수 타입의 적용 결과와 헷갈리면 안 된다. 그 자체가 함수 타입이므로  *다
(*\rightarrow *)\rightarrow *는 단일 타입 생성자에서 적합한 타입으로의 고계(higher-order) 타입 연산자 종이다.
하스켈의 종

(참고: 하스켈 문서는 함수 타입과 종에 대해서 동일한 화살표를 사용한다)
하스켈의 종 시스템은 단순히 두 가지 규칙을 가지고 있다:
*모든 데이터 유형의 종이다
k_{1}\rightarrow k_{2} 은 단일 타입 생성자의 종으로,  k1 종의 타입을 받고  k2 종의 타입을 반환한다.
(하스켈에서 적절한 타입이 호출됨으로써) 존재하는 타입은 값을 가지는 타입이다. 예를 들어, 상황을 복잡하게 만드는 타입 클래스는 무시하면, 4는 Int 타입의 값인 반면,  [1,2,3] 은 [Int] 타입의 값(정수형의 리스트)이다. 따라서, Int와 [Int]는  * 종을 갖지만, 예를 들어, Int->Bool 또는 Int->Int->Bool와 같은 모든 함수 타입이 될 수 있다.
타입 생성자는 한 개 이상의 타입 인자를 받으며, 충분한 인자가 제공될 경우 데이터 타입을 만들어 낸다. 즉, 커링으로 부분 적용을 지원한다. 이는 하스켈이 파라메터 타입을 달성하는 방법이다. 예를 들어, [](목록) 타입은 타입 생성자로, 단일 인자를 받아 리스트의 요소의 타입을 지정한다. 따라서, [Int] (정수형 목록), [Float] (부동소수점형의 목록), 심지어 [[Int]] (정수형 목록의 목록)은 [] 타입을 유효하게 적용한 것이다. 그러므로, []은  *\rightarrow *이다. Int이  *이기 때문에, 그것을 []에 적용하게 되면 [Int]를 결과로 하며  * 종이 된다. 2-튜플 생성자 (,)는  *\rightarrow * 종이고, 3-튜플 생성자 (,,)는  *\rightarrow *\rightarrow * 종이 되는 식이다.
하스켈의 종 > 종(kind) 추론

표준 하스켈은 다형성 종을 허용하지 않는다. 이것은 하스켈에서 지원되는 타입에 대한 파라메터 다형성과는 대조적이다. 예를 들어, 다음 예제에서:
data Tree z  = Leaf | Fork (Tree z) (Tree z)
z 는  *  *\rightarrow * 등 어떤 종(kind)이든 될 수 있다. 기본적으로 하스켈은 타입이 명시적으로 다른 것을 나타내지 않는 이상,  *. 그러므로 타입 검사기는 Tree를 다음과 같이 사용되는 것을 거부한다:
type FunnyTree = Tree []     -- invalid
[] 종(kind)으로 인해,  *\rightarrow * 은 항상  *인 z에 대한 예상되는 종(kind)와 일치하지 않는다.

하지만, 고계(higher-order) 타입 연산자는 허용된다. 예를 들어:
data App unt z = Z (unt z)
은  (*\rightarrow *)\rightarrow *\rightarrow *unt는 단일 인자 데이터 생성자일 것으로 예상되며, 그것의 인자에 적용되며, 반드시 하나의 타입이 있어야 하고, 다른 타입을 반환해야 한다.

GHC는 PolyKinds 확장으로, KindSignatures와 함께 다형 종을 허용한다. 예를 들어:
data Tree (z :: k) = Leaf | Fork (Tree z) (Tree z)
type FunnyTree = Tree []     -- OK
GHC 8.0.1에서, 타입과 종은 실험적인 컴파일러 옵션인 -XTypeInType을 사용해 합쳐질 수 있다.
이정섭 (동음이의)

이정섭의 다른 뜻은 다음과 같다.
이정섭(李廷燮, 1688 ~ 1744)은 조선의 문신이다.
이정섭(李晶燮, 1895 ~ ?)은 일제 강점기와 대한민국의 언론인이다.
이정섭(1946 ~ )은 대한민국의 배우이다.
이정섭은 대한민국의 정치인이다. 담양군수를 역임했다.
이정섭은 대한민국의 프로듀서이다.
이정섭(1989 ~ )은 대한민국의 아나운서이다.
같이 보기

제목에 "이정섭" 항목을 포함한 모든 문서
사용-정의 체인

컴퓨터 과학 내에서 사용-정의 체인 ( UD Chain )은 변수의 사용인 U와 해당 변수의 다른 정의의 개입없이, 그 사용에 접근 가능한, 모든 정의인 D로 구성된 데이터 구조이다.  UD 체인은 일반적으로 어떤 값을 변수에 할당하는 것을 의미한다.
UD Chain 의 대응되는 개념으로 정의-사용 체인 ( DU Chain )이 있다. 이것은 변수의 정의인 D와 다른 정의의 개입없이, 그 정의에서 도달할 수 있는 모든 사용인 U로 구성된다.
UD 및 DU Chain은 모두 데이터 흐름 분석으로 알려진 정적 코드 분석 형식을 사용하여 생성된다. 프로그램 또는 하위 프로그램에 대한 사용-정의 및 정의-사용 체인을 파악하는 것은 상수 전파 및 공통 하위 표현식 제거를 포함하여 많은 컴파일러 최적화의 전제 조건이다.
목적

사용-정의 또는 정의-사용 체인을 만드는 것은, 모든 변수의 논리적인 표현이 코드를 통해 식별되고 추적될 수 있도록 하는 변수 유효성 분석의 첫 단계이다.
다음의 코드를 보자.
int x = 0;    /* A */
 x = x + y;    /* B */
 /* 1, x 의 사용 */
 x = 35;       /* C */
 /* 2, x 의 또다른 사용*/
x 의 값이 위 코드의 A, B, C 총 세 지점에서 할당되고 있다. 위의 코드 중 '1'로 표현된 지점에서는 사용-정의 체인이 x 의 값이 B에서 왔다고 표시해야한다. (또한, 그 값은 다시 A로부터 왔음을 표시해야 함.) 그러나 반대로, '2' 지점에서의 x 는 새로운 값을 할당받고 있지만, 그것은 앞서 '1'지점과 그 이전의 모든 코드의 x 와는 독립적인 값을 할당받고 있다. 그로므로 지금의 x 는 이전과는 완전히 다른 변수라고 볼 수 있다. 그것을 이제 x2 라고 부르자.
int x = 0;    /* A */
 x = x + y;    /* B */
 /* 1, x 의 사용 */
 int x2 = 35;       /* C */
 /* 2, x2 의 사용*/
x를 이렇게 두 개의 다른 변수로 분리하는 것을, 유효 범위 분리(live range splitting) 라고 한다. 정적 단일 할당 형식(static single assignment form)도 참고할 것.
사전 설명

Statements의 목록은 Statements사이에 엄격한 순서를 정의한다.
(역주 : statements는 간단히 코드 한 줄이라고 이해해도 좋다.)
Statements는  s(i)로 표현된다. 여기서 i는 1과 n 사이의 정수이고, n은 basic block에 포함된 Statements의 개수이다.
변수는 이탤릭체로 표현된다(예: v, u 및 t ).
모든 변수는 컨텍스트 또는 스코프내에 정의가 있다고 가정한다. ( 정적 단일 할당 형식에서는 각 체인에는 단일 요소가 포함되어 있으므로 use-define 체인이 명확하게 나타난다.)
v 와 같은 변수의 선언은 V (이탤릭체 대문자)로 표현되며, 또한 선언은  s(0)로 간단히 표현되기도 한다. 일반적으로 변수 선언은 외부 범위(예: 전역 변수 )에 있을 수 있다.
사전 설명 > 변수의 정의

s(j)인 대입 연산의 statements 에서, 변수 v가 등호('=')의 왼쪽에 존재하는 경우,  s(j)를 v의 정의라고 한다. 모든 변수는 최소한 한번의 정의를 가진다. (또는 초기화)
사전 설명 > 변수 사용

s(j)의 statements에서 변수 v가 statements의 오른쪽 매개변수(RHS)로서 존재한다고 하자.
i < j 이고  \min(j-i) 인 i에 대해,  s(i)가 v의 정의라면,  s(j)는 v의 사용이다.
(단순히, 어떤 변수 v가  s(j)에서 statement의 오른쪽 매개변수라면,  s(j)에서 v가 사용되었다고 한다.)
여러 statements가 연속적으로 실행된다고 해보자. 이때  s(i)와  s(j) statement들 간에서 어떤 일이 이루어질지 관찰해보자.
s(i)에서 정의가 되었다고 하자. 그러면 i < j일때, j에서는 아직 유효하다고 할 수 있어요, 또 k >= j 인 statement인,  s(k)가 존재한다고도 해보자. 또, 다시  s(i)의 순간에 살아있는 모든 정의를  A(i)라고 하자. 또, 이 모든 정의의 개수는  |A(i)|라고 나타낼 수도 있다. ( A(i)는 간단하지만, 아주 중요한 개념이다. 이론적으로나 실용적인 측면에서나, 공간 복잡도 이론, 복잡도 접근(I/O 복잡도), 레지스터 할당, 그리고 캐시 로컬리티활용이 모두  A(i)를 기반으로 한다.)
정의하는 statement인  s(i) 는 같은 변수에 대해 정의된 모든  s(k)를 죽인다. (k < i)