blueapple8259/wikipedia_raw_ko huggingface dataset:
{{위키데이터 속성 추적}}
'''제이 라이트 포레스터'''(Jay Wright Forrester, 1918년 7월 14일 ~ 2016년 11월 16일)는 선구적인 미국의 [[컴퓨터 공학|컴퓨터 공학자]], [[시스템과학|시스템과학자]]였다 [[MIT 슬로언 스쿨 오브 매니지먼트]]의 교수였다. [[동역학계]]의 물체들 간 상호작용을 시뮬레이트하는 일을 다루는 [[시스템 다이내믹스]]를 만들었다.

== 생애 ==
포레스터는 네브래스카주 안셀모 주변의 농장에서 태어났으며 전기에 관한 초기 관심은 목장에 아무것도 없었다는 사실로 인해 자극제가 되었던 것으로 짐작되었다. 고등학교 학창 시절 오래된 자동차 부품을 사용하여 풍력으로 구동되는 12볼트 전기 시스템을 개발했으며 목장에 최초의 전력을 제공했다.<ref name="Bio">[http://www.thocp.net/biographies/forrester_jay.html Biography Jay Forrester] {{웨이백|url=http://www.thocp.net/biographies/forrester_jay.html |date=20200705065729 }}. on ''thocp.net'', 2005. Accessed August 18, 2013</ref>

== 출판 ==
포레스터는 여러 서적, 논문을 썼다. 그 중에 다음과 같다:
* 1961. ''Industrial dynamics''. Waltham, MA: Pegasus Communications.
* 1968. ''Principles of Systems'', 2nd ed. Pegasus Communications.
* 1969. ''Urban Dynamics''. Pegasus Communications.
* 1971. ''World Dynamics''. Wright-Allen Press.<ref>[[:en:World3]]</ref>
* 1975. ''Collected Papers of Jay W. Forrester''. Pegasus Communications.
Articles and papers, a selection:
* 1958. "Industrial Dynamics--A Major Breakthrough for Decision Makers.", in: ''Harvard Business Review'', Vol. 36, No. 4, pp.&nbsp;37–66.
* 1968, ''Market Growth as Influenced by Capital Investment'' in ''Industrial Management Review'', Vol. IX, No. 2, Winter 1968.
* 1971, ''[[:en:Counterintuitive Behavior of Social Systems|Counterintuitive Behavior of Social Systems]]''. Also available [http://static.clexchange.org/ftp/documents/system-dynamics/SD1993-01CounterintuitiveBe.pdf online].
* 1989, ''System Dynamics and the Lessons of 35 Years''.
* 1991, ''The Beginning of System Dynamics''.
* 1992, ''System Dynamics and Learner-Centered-Learning in Kindergarten through 12th Grade Education.''
* 1994, ''Learning through System Dynamics as preparation for the 21st Century''.
* 1996, ''System Dynamics and K–12 Teachers''.
* 1998, ''Designing the Future''.
* 1999, ''System Dynamics: the Foundation Under Systems Thinking''.

== 각주 ==
{{각주}}

== 외부 링크 ==
{{위키인용집}}
* [http://clexchange.org/curriculum/doc_search.asp?type=Author&searchstring=Jay%20W.%20Forrester Selected papers by Forrester.]
* {{MathGenealogy|id=95720}}
* [https://www.informs.org/About-INFORMS/History-and-Traditions/Biographical-Profiles/Forrester-Jay-W Biography of Jay W. Forrester] from the Institute for Operations Research and the Management Sciences
* [https://www.technologyreview.com/s/538561/the-many-careers-of-jay-forrester/ "The many careers of Jay Forrester," ''MIT Technology Review'', June 23, 2015]

{{전거 통제}}

{{기본정렬:포레스터, 제이}}

[[분류:1918년 출생]]
[[분류:2016년 사망]]
[[분류:매사추세츠 공과대학교 동문]]
[[분류:매사추세츠 공과대학교 교수]]
[[분류:미국 발명가 명예의 전당 헌액자]]
[[분류:국립 기술혁신 메달 수상자]]
{{위키데이터 속성 추적}}
[[파일:Museum of Science, Boston, MA - IMG 3168.JPG|섬네일|훨윈드 I]]
[[파일:8863-Project-Whirlwind-CRMI.JPG|섬네일|훨윈드의 코어 메모리 유닛의 회로.]]
[[파일:8868-Project-Whirlwind-CRMI.JPG|섬네일|훨윈드의 코어 메모리의 코어 스택.]]

'''훨윈드 I'''(Whirlwind I)은 [[미국 해군]]을 위해 [[매사추세츠 공과대학교|MIT]] 서보매커니즘스 연구소가 개발한 [[냉전]] 시대의 [[진공관 컴퓨터 목록|진공관 컴퓨터]]였다. 출력을 위해 실시간으로 동작한 최초의 디지털 전자식 컴퓨터 가운데 하나였으며 단순히 구 기계식 시스템을 전자식으로 대체한 것이 아니었던 최초의 컴퓨터였다.

(직렬이 아닌) 병렬로 연산한 최초의 컴퓨터들 가운데 하나였으며 자기 코어 메모리를 사용한 최초의 컴퓨터였다.

훨윈드 I의 개발은 [[미국 공군]] [[SAGE]] 방공 시스템을 위한 기반으로 사용된 훨윈드 II 설계로 직접 이어졌으며, 간접적으로는 1960년대의 거의 모든 비즈니스 컴퓨터와 [[미니컴퓨터]]로 이어졌다.

== 유산 ==
훨윈드는 대략 5,000개의 [[진공관]]을 사용했다. [[켄 올슨]]에 의해 훨윈드 디자인을 트랜지스터 형태로 변환하려는 노력도 시작되었으며 이는 [[TX-0]]으로 알려져 있다. TX-0은 매우 성공적이었으며 TX-1이라는 훨씬 더 큰 버전을 만드는 계획도 세워졌다. 그러나 이 프로젝트는 너무 야망이 큰 나머지, [[TX-2]]라는 더 작은 버전으로 축소시켜야 했다. 이 버전에 문제가 있긴 했지만 올슨은 [[디지털 이큅먼트 코퍼레이션]](DEC)를 시작하기 위해 중간 프로젝트에 남았다. DEC의 [[PDP-1]]은 TX-0과 TX-2 개념을 모아놓은 것이다.

SAGE 지원 이후 훨윈드 I은 프로젝트의 일원 빌 울프(Bill Wolf)에 의해 1959년 6월 30일부터 1974년까지 임대되었다.(한 해에 1달러)

[[켄 올슨]]과 [[로버트 에버렛]]은 이 머신을 구한 다음 1979년 [[보스턴 컴퓨터 박물관]]에 기증하였다. 지금은 미국 [[마운틴뷰 (캘리포니아주)|캘리포니아주 마운틴뷰)]]의 [[컴퓨터 역사 박물관]]의 컬렉션으로 소장되어 있다.

2009년 2월, 코어 메모리 유닛은 매사추세츠주 Waltham의 Charles River Museum of Industry & Innovation에 전시되어 있다.

훨윈드를 사용한 건물은 최근까지 MIT의 캠퍼스 IT 부서(정보 서비스 & 기술)에 위치해 있었으며 1997~1998년 원래의 외부 디자인으로 복원되었다.<ref name="Waugh">{{웹 인용|url=http://web.mit.edu/newsoffice/1998/n42-0114.html |title=Plenty of computing history in N42 |author-first=Alice C. |author-last=Waugh |publisher=MIT News Office |date=January 14, 1998}}</ref>

== 같이 보기 ==
{{위키공용분류}}
* [[컴퓨터의 역사]]

== 각주 ==
{{각주}}

== 외부 링크 ==
* [http://www.bitsavers.org/pdf/mit/whirlwind Whirlwind documentation List of Bitsavers.org webpages related to Whirlwind]

{{S-start}}
{{S-ach|rec}}
{{S-bef|before=-}}
{{S-ttl
 | title = [[메인프레임|세계 최초의 강력한 컴퓨터]]
 | years = 1951 - 1954
}}
{{s-aft|after=[[IBM NORC]]}}
{{S-end}}

{{전거 통제}}

[[분류:실시간 컴퓨팅]]
[[분류:진공관 컴퓨터]]
[[분류:매사추세츠 공과대학교]]
[[분류:독특한 컴퓨터]]
[[분류:1940년대 컴퓨터]]
[[분류:1950년대 컴퓨터]]
'''훨윈드'''(Whirlwind)는 다음을 가리킨다.
* [[돌풍]]을 뜻하는 영어 낱말
* [[The Whirlwind]]: 프로그레시브 록 밴드 Transatlantic의 1980년 음반
* [[제이드 엠파이어|The Black Whirwind]]: 제이드 엠파이어 캐릭터
* [[훨윈드 I]]: 선구적인 실시간 컴퓨터
* [[아메리칸 농구 협회 (2000년)|웨스트 텍사트 훨윈드]](West Texas Whirlwinds): 농구팀

== 같이 보기 ==
* {{in title|훨윈드}}

{{동음이의}}
{{위키데이터 속성 추적}}
'''왕부'''(王扶, ? ~ ?)는 [[후한]] 초기의 관료로, [[자 (이름)|자]]는 '''자원'''(子元)이며 [[동래군 (중국)|동래군]] 액현(掖縣) 사람이다.

==생애==
[[낭야군|불기현]](不其縣) 소지취(所止聚)에서 기거하며 덕으로 사람들을 교화하였다. [[낭야군|낭야]][[제후상|상]] 장종(張宗)이 뵙기를 청하였으나 응하지 않았고, 장종이 억지로 불러들이려 하니 고향으로 돌아갔다. 이후에도 계속 초청을 받았으나 병을 핑계로 거절하였고, [[태부]] [[등우]]의 벽소(辟召)도 거절하였다.

[[후한 명제|명제]] 때 상서복야(尙書僕射) [[종리의]]의 천거로 [[유평 (후한)|유평]]·[[왕망 (후한)|왕망]]과 함께 조정에 임용되어 의랑(議郞)이 되었다. 명제를 배알하였을 때 태도가 몹시 공손하여 아무런 말도 하지 못하였고, 속이 깊은 심성으로 사람들이 높이 평가하였다. [[영평 (후한)|영평]] 연간에 [[유복 (임읍후)|임읍후 유복]]은 《한덕송》(漢德頌)에서 왕부를 명신이라고 평하였다.

==출전==
* [[범엽]], 《[[후한서]]》 권39 유조순우강유주조열전

[[분류:생몰년 미상]]
[[분류:후한의 관료]]
{{위키데이터 속성 추적}}
{{학교 정보
|이름     = 은월초등학교
|한자표기 = 恩月初等學敎
|영문표기 = 
|그림     = 
|교훈     = 
|개교     = [[2019년]] [[3월 1일]]
|폐교     = 
|설립형태 = 공립
|교장     = 
|교감     = 
|국가     = {{국기나라|대한민국}}
|위치     = [[울산광역시]] [[북구 (울산광역시)|북구]] 당수골23길 7
|학생수   = 
|교직원수 = 
|상징     = 
|학교법인 = 
|관할관청 = [[울산광역시강북교육지원청]]
|기타     = 
|웹사이트 = http://eunwol.es.kr
}}
'''은월초등학교'''는 [[대한민국]] [[울산광역시]] [[북구 (울산광역시)|북구]]에 있는 공립 초등학교이다.

== 연혁 ==
* [[2019년]] [[3월 1일]] : 은월초 개교

== 외부 링크 ==
* [http://eunwol.es.kr 은월초등학교 홈페이지]

{{울산광역시의 초등학교}}

{{토막글|학교}}

[[분류:울산 북구의 초등학교]]
[[분류:2019년 개교]]
{{위키데이터 속성 추적}}
{{학교 정보
|이름     = 고헌초등학교
|한자표기 = 固軒初等學校
|영문표기 = Goheon Elementary School
|그림     = 
|교훈     = 
|개교     = [[2019년]] [[3월 1일]]
|폐교     = 
|설립형태 = 공립
|교장     = 
|교감     = 
|국가     = {{국기나라|대한민국}}
|위치     = [[울산광역시]] [[북구 (울산광역시)|북구]] 화동로 129
|학생수   = 
|교직원수 = 
|상징     = 
|학교법인 = 
|관할관청 = [[울산광역시강북교육지원청]]
|기타     = 
|웹사이트 = http://goheon.es.kr
}}
'''고헌초등학교'''(固軒初等學校)는 [[대한민국]] [[울산광역시]] [[북구 (울산광역시)|북구]]에 있는 공립 초등학교이다.

== 연혁 ==
* [[2019년]] [[3월 1일]] : 개교

== 외부 링크 ==
* [http://goheon.es.kr 고헌초등학교 홈페이지]

{{울산광역시의 초등학교}}

{{토막글|학교}}

[[분류:울산 북구의 초등학교]]
[[분류:2019년 개교]]
'''이용주'''는 다음 사람을 가리킨다.

== 실존 인물 ==
* [[이용주 (정치인)|이용주(1968)]]는 대한민국의 정치인이다.
* [[이용주 (배우)|이용주(1982)]]는 대한민국의 배우이다.
* [[이용주 (가수)]]
* [[이용주 (영화 감독)]]
* [[이용주 (야구인)]]

== 가공 인물 ==
* 이용주: [[호랑이선생님]]의 등장인물
* 이용주: [[푸른거탑]]의 등장인물
* 이용주: [[황금거탑]]의 등장인물
* 이용주: [[푸른거탑 리턴즈]]의 등장인물
* 이용주: [[막돼먹은 영애씨 5]]의 등장인물
* 이용주: [[막돼먹은 영애씨 6]]의 등장인물
* 이용주: [[막돼먹은 영애씨 7]]의 등장인물
* 이용주: [[막돼먹은 영애씨 8]]의 등장인물
* 이용주: [[막돼먹은 영애씨 9]]의 등장인물
* 이용주: [[막돼먹은 영애씨 10]]의 등장인물
* 이용주: [[막돼먹은 영애씨 14]]의 등장인물
* 이용주: [[막돼먹은 영애씨 15]]의 등장인물

== 같이 보기 ==
* {{in title|이용주}}

{{동명이인}}
{{위키데이터 속성 추적}}
{{학교 정보
|이름     = 충무공초등학교
|한자표기 = 忠武公初等學校
|영문표기 = Chungmugong Elementary School
|그림     = 
|교훈     = 
|개교     = [[2019년]] [[3월 1일]]
|폐교     = 
|설립형태 = 공립
|교장     = 
|교감     = 
|국가     = {{국기나라|대한민국}}
|위치     = [[경상남도]] [[진주시]] 사들로 70
|학생수   = 
|교직원수 = 
|상징     = 
|학교법인 = 
|관할관청 = [[경상남도진주교육지원청]]
|기타     = 
|웹사이트 = http://chungmugong-p.gne.go.kr
}}
'''충무공초등학교'''(忠武公初等學校)는 [[대한민국]] [[경상남도]] [[진주시]]에 있는 공립 초등학교이다.

== 연혁 ==
* [[2019년]] [[3월 1일]] : 개교

== 외부 링크 ==
* [http://chungmugong-p.gne.go.kr 충무공초등학교 홈페이지]{{깨진 링크|url=http://chungmugong-p.gne.go.kr/ }}

{{경상남도의 초등학교}}

{{토막글|학교}}

[[분류:진주시의 초등학교]]
[[분류:2019년 개교]]
{{위키데이터 속성 추적}}
{{학교 정보
|이름     = 김해모산초등학교
|한자표기 = 
|영문표기 = Gimhae Mosan Elementary School
|그림     = 
|교훈     = 
|개교     = [[2019년]] [[3월 1일]]
|폐교     = 
|설립형태 = 공립
|교장     = 
|교감     = 
|국가     = {{국기나라|대한민국}}
|위치     = [[경상남도]] [[김해시]] 율하로 483
|학생수   = 
|교직원수 = 
|상징     = 
|학교법인 = 
|관할관청 = [[경상남도김해교육지원청]]
|기타     = 
|웹사이트 = http://ghmosan-p.gne.go.kr
}}
'''김해모산초등학교'''는 [[대한민국]] [[경상남도]] [[김해시]]에 있는 공립 초등학교이다.

== 연혁 ==
* [[2019년]] [[3월 1일]] : 개교

== 외부 링크 ==
* [http://ghmosan-p.gne.go.kr 김해모산초등학교 홈페이지]

{{경상남도의 초등학교}}

{{토막글|학교}}

[[분류:김해시의 초등학교]]
[[분류:김해시의 교육]]
[[분류:2019년 개교]]
{{위키데이터 속성 추적}}
{{학교 정보
|이름     = 진해신항중학교
|한자표기 = 鎭海新港中學校
|영문표기 = Jinhae Sinhang Middle School
|그림     = Replace this image school-ko.svg
|그림크기 = 150
|교훈     = 바르고 알차며 따뜻한 사람 
|개교     = [[2019년]]
|설립형태 = 공립
|교장     = 이상래
|교감     = 유형덕
|국가     = {{국기나라|대한민국}}
|위치     = [[경상남도]] [[창원시]] [[진해구]] 신항동로 161 (용원동)
|학생수   = 405 명 <small>(2023년 5월 1일 기준)</small>
|교직원수 = 47 명 <small>(2023년 5월 1일 기준)</small>
|상징     = 교목: 느티나무, 교화: 목련
|학교법인 = 
|관할관청 = [[경상남도창원교육지원청]]
|기타     = 
|웹사이트 = http://jhsinhang-m.gne.go.kr
}}
'''진해신항중학교'''(鎭海新港中學校)는 [[대한민국]] [[경상남도]] [[창원시]] [[진해구]] 용원동에 있는 공립 중학교이다.<ref>{{웹 인용|url=https://www.law.go.kr/ordinBylInfoR.do?bylSeq=10268461&ordinSeq=1560223|제목=경상남도립학교 설치 조례 별표2|저자=경상남도의회|날짜=2020년 12월 31일|웹사이트=국가법령정보센터|출판사=대한민국 법제처|확인날짜=2021년 7월 30일}}</ref>

== 학교 연혁 ==
* [[2018년]] [[12월 14일]] : 진해신항중학교 설립 인가 
* [[2019년]] [[3월 1일]] : 진해신항중학교 개교(3학급) 
* [[2019년]] [[3월 1일]] : 초대 이종보 교장 취임 
* [[2023년]] [[2월 10일]] : 제2회 졸업식(127명 졸업, 누계 189명)
* [[2023년]] [[3월 1일]] : 17(1)학급 인가
* [[2023년]] [[3월 2일]] : 제2대 이상래 교장 취임
* [[2023년]] [[3월 2일]] : 제5회 입학식(162명)
<!--
* [[2019년]] [[3월 1일]] : 개교
* [[2019년]] [[3월 4일]] : 제1회 입학식(1학년 60명) 
-->
== 학교 동문 ==
{{참고|분류:진해신항중학교 동문}}

== 참고 자료 ==
* {{학교알리미|S100003925}}

== 각주 ==
<references/>

== 외부 링크 ==
* {{공식 웹사이트|http://jhsinhang-m.gne.go.kr}}

{{경상남도의 중학교}}

[[분류:창원시의 중학교]]
[[분류:2019년 개교]]
'''김용균'''은 다음 인물을 뜻한다.

* [[김용균 (1942년)|김용균]](金容鈞, [[1942년]] ~ )은 대한민국의 법조인, 정치인이다.
* [[김용균 (1954년)|김용균]](金龍均, [[1954년]] ~ )은 대한민국의 법조인, 정치인이다.
* [[김용균 (1964년)|김용균]]([[1964년]] ~ )은 대한민국의 영화 감독이다.
* [[태안화력발전소 사고|김용균]]([[1994년]] ~ [[2018년]])은 태안화력발전소에서 사망한 대한민국의 노동자이다.

== 같이 보기 ==
* {{in title|김용균}}

{{동명이인}}
{{위키데이터 속성 추적}}
{{왕족 정보
| 이름 = 신안공
| 원래 이름 = 新安公
| 본명 = 왕전(王佺)
| 작위 = 고려의 왕족
| 출생일 = 미상
| 사망일 = 1261년 1월 19일 {{font color|gray|(음력)}}
| 배우자 = [[가순궁주]]
| 부친 = [[하원공]] 왕춘
| 모친 = 미상 {{font color|gray|([[효회공주]] 혹은 [[수령궁주]])}}
| 자녀 = [[경창궁주]]
}}
'''신안공 왕전'''(新安公 王佺, ? ~ [[1261년]] [[음력 1월 19일]])은 [[고려]] 후기의 왕족으로 [[고려 현종|현종]]의 넷째 아들인 [[정간왕|평양공 왕기]]의 8세손이며,<ref>[[정간왕|평양공 왕기]] → [[왕영 (낙랑공)|낙랑공 왕영]] → [[승화백]] 왕정 → [[한남백]] 왕기 → [[신안후]] 왕성 → [[계성후]] 왕원 → [[하원공]] 왕춘 → '''신안공''' 왕전</ref> [[고려 신종|신종]] 혹은 [[고려 강종|강종]]의 외손자이다.

== 생애 ==
신안공 왕전은 [[고려 현종|현종]]의 9세손으로, [[고려 인종|인종]]의 셋째 딸인 [[창락궁주]]의 손자 [[하원공]](河源公) 왕춘(王瑃)의 아들로 태어났다. 어머니는 [[고려 신종|신종]]의 딸인 [[효회공주]](孝懷公主) 혹은 [[고려 강종|강종]]의 딸인 [[수령궁주]](壽寧宮主)이다. 하원공이 효회공주와 사별한 뒤 수령궁주와 재혼하였기 때문이다. 기록이 명확하지 않아 어머니는 누구인지 알 수 없다.

[[고려 희종|희종]]의 넷째 딸인 [[가순궁주]]와 혼인했으며 딸은 [[고려 원종|원종]]의 제2비인 [[경창궁주]]이다.

[[고려 고종|고종]]의 명을 받고 [[1239년]]과 [[1245년]]에 [[몽골 제국|몽고]]에 사신으로 다녀왔다. 같은 시기에 [[몽골 제국|몽고]]에 입조한 [[영녕공]] 왕준과, [[삼별초의 난]] 때 왕으로 추대되었다가 피살되는 [[승화후]] 왕온은 신안공 왕전의 사촌 형제이다.

[[1261년]](원종 2년), 1월 19일 사망하였다.<ref>《[[고려사]]》, 권25, 세가 권제25, 원종 2년(1261년) 1월 19일 (신사)
----신안공(新安公) 왕전(王佺)이 죽었다.</ref>

== 가족 관계 ==
* '''아버지''' : [[하원공]] [[왕춘]](河源公 王瑃)
* '''어머니''' : 미상
** 부인 : [[가순궁주]](嘉順宮主)
*** 딸 : [[경창궁주]] 유씨(慶昌宮主 柳氏)

== 신안공이 등장한 작품 ==
* 《[[무신 (드라마)|무신]]》([[MBC]], [[2012년]], 배우:[[문회원]])

== 각주 ==
<references />

[[분류:고려의 왕자]]
[[분류:생년 미상]]
[[분류:1261년 사망]]
[[분류:무신정권]]
[[분류:고려-몽골 전쟁 관련자]]
[[분류:고려의 외교관]]
[[분류:고려의 공작]]
{{위키데이터 속성 추적}}
'''항진식'''(恒眞式, {{llang|en|tautology}}) 또는 '''항진명제''', '''토톨로지'''는 [[논리학]]의 용어로, 어떤 [[해석 (논리학)|해석]](interpretation)에 있어서도 항상 참이 되는 [[논리식]]이나 진술을 의미한다. 간단한 예시로 "x가 y와 같거나, x가 y와 같지 않다", "이 공은 녹색이거나 이 공은 녹색이 아니다" 따위를 들 수 있다. 어원은 그리스어에서 '같다'는 의미의 단어인 ταυτο이다.

== 정의와 예시 ==
[[명제논리]]에서, [[명제변수]]에 어떤 [[진릿값]]이 쓰여도 항상 참인 식을 '''항진식'''(tautology)라 한다.

항진식은 무한히 많이 존재할 수 있다. 예컨대 다음과 같은 형태들이 존재한다:
* <math>(A \lor \lnot A)</math> ("''A''이거나 not-''A''이다"), [[배중률]]. 이 식은 오직 하나의 명제변수 ''A''를 갖는데, 정의에 의해 이 식에 대한 어떤 valuation에서도, A에는 참 또는 거짓을 할당하고 <math>\lnot</math>''A''에는 그 반대의 값을 할당하게 된다.
* <math>(A \to B) \Leftrightarrow (\lnot B \to \lnot A)</math> ("만약 ''A''가 ''B''를 시사한다면, not-''B''는 not-''A''를 시사한다, 또한 그 역도 성립한다"), [[대우 (논리학)|대우]]의 법칙.
* <math>((\lnot A \to B) \land (\lnot A \to \lnot B)) \to A</math> ("만약 not-''A''가 ''B''와 그 부정 not-''B''를 동시에 시사한다면, not-''A''는 거짓이어야 하며, 그러면 ''A''는 참이어야 한다"), [[귀류법]](reductio ad absurdum).
* <math>\lnot(A \land B) \Leftrightarrow (\lnot A \lor \lnot B)</math> ("만약 동시에 ''A''와 ''B''일 수 없다면, not-''A''이거나 not-''B''이다. 또한 그 역도 성립한다"), [[드모르간의 법칙]].
* <math>((A \to B) \land (B \to C)) \to (A \to C)</math> ("만약 ''A''가 ''B''를 시사하고, ''B''가 ''C''를 시사한다면, ''A''가 ''C''를 시사하는 것이다"), [[삼단논법]](연역법).
* <math>((A \lor B) \land (A \to C) \land (B \to C)) \to C</math> ("만약 적어도 ''A''와 ''B'' 중 하나가 참이면서, 각각이 ''C''를 시사한다면, ''C''는 항상 참이어야 한다"), 논거에 의한 증명(Proof by cases).

최소항진식(minimal tautology)은 더 짧은 항진식으로 대체될 수 없는 항진식을 의미한다.
* <math>(A \lor B) \to (A \lor B)</math>는 항진식이지만 최소의 것은 아니다. 왜냐하면, 더 짧은 형태인 <math>C \to C</math> 로 대체될 수 있기 때문이다.

== 같이 보기 ==
* [[동일률]]

{{전거 통제}}
{{토막글|수학}}

[[분류:논리학]]
[[분류:수리논리학]]
[[분류:명제 논리]]
[[분류:명제]]
[[분류:논리식]]
{{위키데이터 속성 추적}}
{{인물 정보
| 이름 = 대집성
| 원래 이름 = 大集成
| 본명 = 대집성(大集成)
| 다른 이름 = [[태집성]](太集成)
| 대관식 = 미상
| 별명 = 미상
| 출생일 = [[생년 미상]](生年 未詳)
| 출생지 = 미상
| 사망일 = [[1236년]]
| 사망지 = 미상
| 재위 = 미상
| 매장지 = 미상
| 배우자 = 미상
| 자녀 = 대정취(貞就), 대씨 부인(大琳 夫人)
| 아버지 = [[대수한]](大壽翰)
| 어머니 = 미상
| 묘호 = 미상
| 시호 = 미상
| 종교 = [[불교]](佛敎)
| 가문 = [[백주/협계 태씨]](백주/협계 太氏)
}}
'''대집성'''(大集成, ? ~ [[1236년]])은 [[고려]] 후기의 [[무신 (관직)|무신]]이다. [[최우]]의 계실인 대씨 부인([[1208년]]? ~ [[1251년]])의 아버지이다. [[발해]] 왕족의 후손이며 본관은 협계(峽溪)이다.

== 생애 ==
할아버지는 상장군 태겸(太謙)이고, 아버지는 대장군(大將軍) 판병부사 문하시랑(判兵部事門下侍郞)과 [[동북면]]병마도총사를 역임하고 남양군(南陽君)에 봉군된 태수한(太壽翰) 또는 대수한(大壽翰)이고, 어머니는 미상이다. 아들은 태, 대정취(貞就[[발해|)이며 발해]]왕족 대화균의 8대손이자 [[고려 현종]] 때의 장군 [[대도수]]의 6대손이 된다. [[1213년]]에 낭장을 지냈다.

[[1218년]]에 [[최충헌]]에 의해 차장군으로 임명되었으나 [[승려]]와 노비를 병력으로 편입시키다가 관직을 박탈당했다.

[[1219년]] [[최충헌]]이 죽고 [[최우]]가 집권하자 대장군 자리에 올랐다.

[[1232년]] [[2월]] 과부였던 자신의 딸을 최우와 결혼시켜 최우의 장인이 되었으며 곧 어사대부(御史大夫)에 올랐다.

같은 해 [[6월]]에는 수사공(守司空)으로 승진하였다.

이후 [[1236년]]에 [[강화도|강도]]에서 죽었다.

== 가계 ==
* 조부 : 대겸 또는 태겸(太謙) 상장군
** 부 : [[대수한]](大壽翰) [[태수한]](太壽翰)
**** 딸 : 대씨 부인(大琳 夫人, 1208? ~1251)
**** 사위 : 오씨(대몽항쟁중 전사)
***** 외손자 : 오승적 ([[최항]]에 살해 당함)
**** 사위 : [[최우]](崔瑀, 1166~1249)
*** 형제 : 태웅성(太雄成) 또는 대웅성
**** 조카 : [[태금취]]

== 대집성이 등장한 작품 ==
* 《[[무신 (드라마)|무신]]》([[MBC]], [[2012년]], 배우:[[노영국]])

[[분류:생년 미상]]
[[분류:1236년 사망]]
[[분류:12세기 한국 사람]]
[[분류:13세기 한국 사람]]
[[분류:고려의 무신]]
[[분류:고려의 군인]]
[[분류:고려의 정치인]]
[[분류:무신정권]]
[[분류:밀양 대씨]]
[[분류:고려의 대장군]]
[[분류:고려의 어사대부]]
{{위키데이터 속성 추적}}
'''평택문화원'''(平澤文化院, Pyeongtaek Cultural Center)는 지역문화의 창달, 보존, 계승을 위해 설립된 [[비영리 단체|비영리]] 특별법인이다. 사무실은 [[경기도]] [[평택시]] 중앙로 277 남부문예회관 3층에 있다. 주요사업으로는 지역사 연구, [[문화유산|문화유산활용]], 전통문화계승발전, [[시티투어|지역관광]], [[웃다리문화촌]] 운영 등이 있다.

== 설립근거 ==
* 대한민국 법률 - 지방문화원 진흥법<ref>{{웹 인용|url=http://www.law.go.kr/lsSc.do?tabMenuId=tab18&query=%EB%AC%B8%ED%99%94%EC%9B%90#undefined|제목=지방문화원 진흥법|성=법제처|이름=|날짜=|웹사이트=|출판사=|확인날짜=}}</ref>

* 경기도평택시 조례 - 평택문화원 지원 및 육성에 관한 조례<ref>{{웹 인용|url=http://www.law.go.kr/ordinSc.do?tabMenuId=tab138&query=%EB%AC%B8%ED%99%94%EC%9B%90|제목=평택문화원 지원 및 육성에 관한 조례|성=법제처|이름=|날짜=|웹사이트=|출판사=|확인날짜=}}</ref>

== 연혁 ==
* 1953년 - 평택문화원 설립(설립자 장순영, 사설문화원)
* 1971년 2월 20일 - 평택문화원 창립총회
* 1972년 12월 11일 - [[문화공보부]] 인가
* 1986년 10월 16일 - 사무국 이전(합정동 294)
* 1987년 8월 29일 - 문화공보부 승인(변경)
* 1989년 10월 11일 - 평택시 문화원으로 명칭 변경
* 1993년 10월 27일 - 사무국 이전([[비전동]] 847 남부문예회관 내)
* 1994년 8월 24일 - 지방문화원 설립인가 : 문화체육부장관 제137호
* 1995년 7월 27일 - 송탄문화원, 평택군문화원, 평택시문화원 통합
* 1998년 3월 6일 한국문화학교 지정
* 2006년 8월 1일 문화예술 체험학습장 [[웃다리문화촌]] 오픈
* 2007년 10월 27일 2007 실버문화학교 프로그램 전국대상(문화부장관상 수상)
* 2007년 12월 31일 생활친화적 문화공간 조성, 운영평가 표창(문화부장관상 수상)
* 2009년 10월 16일 대한민국문화훈장 수상(평택문화원장)
* 2011년 7월 11일 [[굿네이버스]] '좋은이웃상'수상(평택문화원장)
* 2013년 9월 28일 제19회 경기도민속예술제 대상 수상(경기도지사상)
* 2014년 10월 5일 제55회 한국민속예술축제 은상 수상(강원도지사상)
* 2014년 10월 17일 제10회 경기도청소년민속예술제 대상 수상(경기도지사상)
* 2014년 12월 19일 2014년 경기도 우수문화원상 수상
* 2014년 12월 31일 [[문화체육관광부 장관|문화체육관광부장관]] 지역문화 진흥표창(평택문화원장)
* 2015년 10월 9일 제22회 전국청소년민속예술제 최우수상 수상(문화체육장관상)

== 조직 ==
=== 원장 ===
=== 이사회 ===
=== 사무국 ===
=== 부설 평택향토사연구소 ===

== 주요사업 ==
=== 지역사연구 ===
* 평택시사편찬
* 평택 읍면지 편찬
* 평택인물지 편찬
* 지역사 관련 학술대회 진행

=== 문화유산활용 ===
* 진위향교나들이 진행
* 진위향교풍류놀이 진행

=== 전통문화계승발전 ===
* 소사벌단오제 진행
* 경기도민속예술제 참가
* 경기도청소년민소예술제 참가

=== 지역관광 ===
* 평택시티투어 진행

=== 웃다리문화촌 운영 ===
* 각종 체험학습
* 주말농장운영
* 추수축제 진행

=== 기타 지역문화 활성화 사업 ===
* 평택학시민강좌
* 각종 지역문화 활성화 사업

== 언론보도 ==
* [http://www.asiatoday.co.kr/view.php?key=20181127010015548 평택문화원, 최실비 학예연구사 ‘경기도지사상’ 수상]
* [http://www.newstown.co.kr/news/articleView.html?idxno=385469 평택학 시민강좌-우리음악과 평택’ 개강]
* [http://www.metroseoul.co.kr/news/newsview?newscd=2018122800043 평택문화원, '나눔은행'에 후원]
* [http://www.breaknews.com/sub_read.html?uid=600343&section=sc2 평택시, 평택문화원과 ‘경기천년음악의 맥을 잇는 지영희’학술대회 개최]
* [http://www.kyeongin.com/main/view.php?key=20181024010008519 평택시 '웃다리문화촌', 2018 지역문화대표브랜드 '우수상 수상']
* [https://news.naver.com/main/read.nhn?mode=LSD&mid=sec&sid1=102&oid=079&aid=0003101453 평택문화원, 진위향교에서 국악콘서트 한마당잔치]

== 각주 ==
{{각주}}

== 외부 링크 ==
* [http://www.ptmunhwa.or.kr/ 평택문화원 홈페이지]

[[분류:평택시의 단체]]
{{위키데이터 속성 추적}}
{{학교 정보
| 이름 = 꽃내중학교
| 한자표기 = 꽃내中學校
| 영문표기 = Kkonnae Middle School
| 그림 = Replace this image school-ko.svg
| 그림크기 = 150
| 교훈 = 자주, 탐구, 실천
| 개교 = [[2019년]]
| 설립형태 = 공립
| 교장 = 송시한
| 교감 = 
| 국가 = {{국기나라|대한민국}}
| 위치 = [[경상남도]] [[남해군]] [[삼동면 (남해군)|삼동면]] 동부대로 1316 (동천리)
| 학생수 = 78 명 <small>(2023년 5월 1일 기준)</small>
| 교직원수 = 28 명 <small>(2023년 5월 1일 기준)</small>
| 상징 = 교목: 느티나무, 교화: 동백
| 학교법인 = 
| 관할관청 = [[경상남도남해교육지원청]]
| 기타 = 
| 웹사이트 = http://kkonnae-m.gne.go.kr
}}

'''꽃내중학교'''(꽃내中學校)는 [[대한민국]] [[경상남도]] [[남해군]] [[삼동면 (남해군)|삼동면]] 동천리에 있는 공립 중학교이다.<ref>{{웹 인용|url=http://www.law.go.kr/ordinBylInfoR.do?bylSeq=10268461&ordinSeq=1560223|제목=경상남도립학교 설치 조례 별표2|저자=경상남도의회|날짜=2020년 12월 31일|웹사이트=국가법령정보센터|출판사=대한민국 법제처|확인날짜=2021년 7월 30일}}</ref>

== 학교 연혁 ==
* [[2012년]] [[8월 1일]] : 꽃내중 설립안 확정
* [[2018년]] [[7월 16일]] : 경상남도립학교 설치 조례 개정 교명 확정
* [[2019년]] [[3월 1일]] : 꽃내중학교 개교
* [[2019년]] [[3월 1일]] : 제1대 오세찬 교장 부임
* [[2019년]] [[3월 4일]] : 신입생 26명(남 15명, 여 11명) 입학
* [[2019년]] [[3월 4일]] : 통합학교 재학생 31명 입교
* [[2020년]] [[1월 15일]] : 제1회 졸업식 3학년 14명(남 8명, 여 6명) 졸업
* [[2022년]] [[9월 1일]] : 제3대 양재옥 교장 부임
* [[2023년]] [[1월 6일]] : 제4회 졸업식 3학년 34명(남 17명, 여 17명) 졸업
* [[2023년]] [[3월 2일]] : 신입생 34명(남 26명, 여 8명) 입학
<!--
* [[2019년]] [[3월 11일]] : [[고현중학교]], [[남수중학교]], [[물건중학교]]를 통합하여 개교<ref>{{웹 인용|url=http://www.gnmaeil.com/news/articleView.html?idxno=363335|제목=도내 초ㆍ중ㆍ고교 65개교 통폐합 위기|날짜=2018-01-31|언어=ko|확인날짜=2018-12-28|보존url=https://web.archive.org/web/20180227153713/http://www.gnmaeil.com/news/articleView.html?idxno=363335|보존날짜=2018-02-27|url-status=dead}}</ref>
* 2019년 3월 11일 제 1대 오세찬 교장 취임
* 2019년 3월 4일 제 1회 입학식(27명)
* 2020년 1월 15일 제 1회 졸업식
(14명, 누적 14명)
* 2020년 3월 2일 제 2회 입학식(33명)
* 2020년 9월 1일 제 2대 김현주 교장 취임
* 2021년 1월 12일 제 2회 졸업식
(21명, 누적 35명)
* 2021년 3월 2일 제 3회 입학식(24명)
* 2022년 2월 11일 제 3회 졸업식
(27명, 누적 62명)
* 2022년 3월 2일 제 4회 입학식(20명)
* 2022년 9월 1일 제 3대 양재옥 교장 취임
* 2022년 1월 9일 제 4회 졸업식(33명)
-->
== 학교 동문 ==
{{참고|분류:꽃내중학교 동문}}

== 참고 자료 ==
* {{학교알리미|S100003921}}

== 각주 ==
<references/>

== 외부 링크 ==
* [http://kkonnae-m.gne.go.kr 꽃내중학교 홈페이지]

{{경상남도의 중학교}}

[[분류:남해군의 중학교]]
[[분류:2019년 개교]]
{{위키데이터 속성 추적}}
{{회사 정보
|이름 = 어소시에이티드 브리티시 푸즈
|원어 = {{lang|en|Associated British Foods}}
|로고 = Associated British Foods Logo.svg
|로고크기 = 150px
|형태 = [[공공유한회사]]
|창립 = [[1935년]]
|창립자 = 
|이전 회사 = 
|이후 회사 = 
|해체 = 
|시장 정보 = 
|상장일 = 
|국가 = {{국기나라|영국}}
|장소 = [[런던]]
|사업 지역 = 
|인물 = 
|산업 = 
|서비스 = 식품업
|대표 제품 = 
|자본금 = 
|매출액 = 
|영업 이익 = 
|순이익 = 
|자산 총액 = 
|주주 = 
|모기업 = 
|자회사 = 
|종업원 = 
|웹사이트 = http://www.abf.co.uk/
}}
'''어소시에이티드 브리티시 푸즈'''({{llang|en|Associated British Foods}})는 [[영국]]의 식품 기업이다.

== 외부 링크 ==
* {{공식 웹사이트}}

{{전거 통제}}
{{토막글|영국|기업}}

[[분류:영국의 식품회사]]
[[분류:1935년 설립된 기업]]
[[분류:영국의 다국적 기업]]
{{위키데이터 속성 추적}}
{{회사 정보
|이름 = 알라 푸드
|원어 = {{lang|en|Arla Foods}}
|로고 = 
|로고크기 = 
|형태 = [[농업협동조합]]
|창립 = [[2000년]]
|창립자 = 
|이전 회사 = 
|이후 회사 = 
|해체 = 
|시장 정보 = 
|상장일 = 
|국가 = {{국기나라|덴마크}}
|장소 = [[오르후스]]
|사업 지역 = 
|인물 = 
|산업 = 
|서비스 = 
|대표 제품 = 
|자본금 = 
|매출액 = 
|영업 이익 = 
|순이익 = 
|자산 총액 = 
|주주 = 
|모기업 = 
|자회사 = 
|종업원 = 
|웹사이트 = http://www.arla.com/
}}
[[파일:Arlaflag ved Arla Friskvareterminal Ishøj.JPG|섬네일]]
'''알라 푸드'''({{llang|en|Arla Foods}})는 [[덴마크]]의 식품 기업이다. 한국에서 아라 제품은 [[페레로]] 제품, dmk, 아몬드 브리즈, [[허쉬]] 맛 우유 및 [[스키피]] 맛 우유도 판매하는 [[매일유업]]에서 이들 회사의 라이센스를 받아 판매한다.

== 외부 링크 ==
* {{공식 웹사이트}}

{{전거 통제}}
{{토막글|덴마크|기업}}

[[분류:덴마크의 식품회사]]
[[분류:2000년 설립된 기업]]
[[분류:유제품 업체]]
[[분류:덴마크의 브랜드]]
[[분류:스웨덴의 브랜드]]
{{위키데이터 속성 추적}}
{{회사 정보
|이름 = 프리슬란트캄피나
|원어 = {{lang|nl|FrieslandCampina}}
|로고 = 
|로고크기 = 
|형태 = [[협동조합]]
|창립 = [[2008년]]
|창립자 = 
|이전 회사 = 
|이후 회사 = 
|해체 = 
|시장 정보 = 
|상장일 = 
|국가 = {{국기나라|네덜란드}}
|장소 = [[아메르스포르트]]
|사업 지역 = 
|인물 = 
|산업 = 
|서비스 = 
|대표 제품 = 
|자본금 = 
|매출액 = 
|영업 이익 = 
|순이익 = 
|자산 총액 = 
|주주 = 
|모기업 = 
|자회사 = 
|종업원 = 
|웹사이트 = http://www.frieslandcampina.com/
}}
'''프리슬란트캄피나'''({{llang|nl|FrieslandCampina}})는 [[네덜란드]]의 식품 기업이다.

== 외부 링크 ==
* {{공식 웹사이트}}

{{전거 통제}}
{{토막글|네덜란드|기업}}

[[분류:네덜란드의 식품회사]]
[[분류:2008년 설립된 기업]]
[[분류:유제품 업체]]
[[분류:네덜란드의 브랜드]]
{{위키데이터 속성 추적}}

'''국가안전보장'''(國家安全保障, {{llang|en|national security, national defense}}) 또는 '''국가안보'''(國家安保)는 [[국민 국가]]의 [[보안|안전]]을 의미하며, 여기에는 [[시민]], [[경제]], 기관이 포함되며 정부의 의무로 간주된다.

== 정의 ==
국가 안전 보장의 개념이 모호하며, 군사 위협과 정치적 강요으로부터의 자유를 강조한 단순한 정의들로부터 발전되어왔다.<ref name="Romm 1993">{{서적 인용|title=Defining national security: the nonmilitary aspects |last=Romm |first=Joseph J.|authorlink=Joseph J. Romm |coauthors= |year=1993 |publisher=Council on Foreign Relations |location= |series=Pew Project on America's Task in a Changed World (Pew Project Series) |isbn=978-0-87609-135-7 |pages=122 |url=https://books.google.com/books?id=shxDOnuVcyYC |accessdate=22 September 2010 <!-- (full view) -->}}</ref>{{rp|1–6}}<ref name="Paleri">{{서적 인용|title=National Security: Imperatives And Challenges |last=Paleri |first=Prabhakaran |authorlink=Prabhakaran Paleri |coauthors= |year=2008 |publisher=Tata McGraw-Hill |location=New Delhi |isbn=978-0-07-065686-4 |pages=521 |url=https://books.google.com/books?id=DMzcGe0-HQwC |accessdate=23 September 2010}}</ref>{{rp|52–54}}
오늘날까지 제안된 수많은 정의는 다음과 같으며 개념이 비군사적 관심을 아우르는 데까지 발전한 것을 보여준다:
* "전쟁을 피하기 위해 적법한 관심을 희생할 필요가 없을 때 국가는 안전 보장이 있으며, 도전을 받을 경우 전쟁을 통해 이들을 관리할 수 있다."([[월터 리프먼]], 1943).<ref name="Romm 1993" />{{rp|5}}
* "국가 안전 보장의 명확한 의미는 외부 독재로부터의 자유를 뜻한다."([[해럴드 라스웰]], 1950)<ref name="Romm 1993" />{{rp|79}}
* "국가 안전 보장은 객관적 견지에서는 수득한 가치에 대한 위협이 없음을 의미하고, 주관적 견지에서는 이러한 가치가 공격을 받을 것이라는 두려움이 없음을 뜻한다."(아널드 울퍼스, 1960)<ref name="auto">Quoted in Paleri (2008) ibid. Pg 52.</ref>
* "국가 안전 보장은 국가의 물리적인 온전함과 영토를 보존할 수 있는 능력이다. 즉, 합리적인 용어로 전 세계 나머지 지역들과의 경제적 관계를 유지하는 것, 자연, 기관, 정부를 외부의 파멸로부터 보존하는 것, 국경을 통제하는 것을 의미한다."([[해럴드 브라운]], [[미국 국방부 장관]], 1977-1981)<ref name="books.google.com">Brown, Harold (1983) ''Thinking about national security: defense and foreign policy in a dangerous world''. As quoted in {{서적 인용|url=https://books.google.com/books?id=KnlIR4YO2vsC|title=U.S. national security: a reference handbook|last=Watson|first=Cynthia Ann|publisher=ABC-CLIO|year=2008|isbn=978-1-59884-041-4|edition=2 (revised)|series=Contemporary world issues|location=|pages=281|authorlink=|accessdate=24 September 2010}}</ref>
* "국가 안전 보장은... 공동체의 여론이 자신만의 민족 자결권, 자치권, 번영, 안녕을 즐길 필요가 있다고 믿는다는 국내 및 국외 조건들을 통제하는 능력으로 기술할 수 있다."([[찰스 S. 망어|찰스 마이어]], 1990)<ref name="MacArthur Fellowship Program 1990. p.5">{{Smallcaps|Maier, Charles S.}} ''Peace and security for the 1990s''. Unpublished paper for the MacArthur Fellowship Program, Social Science Research Council, 12 Jun 1990. As quoted in Romm 1993, p.5</ref>

== 같이 보기 ==
* [[국가안전보장회의]]

== 각주 ==
{{각주}}

== 외부 링크 ==
* {{위키공용분류-줄}}
* [https://archive.org/details/nationalsecurityarchive National Security collection at Internet Archive]

{{전거 통제}}
{{토막글|정치}}

[[분류:국가안전보장| ]]
[[분류:정치 용어]]
{{위키데이터 속성 추적}}
'''지윤심'''(池允深, ?~?)은 [[고려]] 중기와 후기의 [[무신 (관직)|무신]]이다.

== 생애 ==
[[1217년]]에 대장군으로서 [[거란]] 유민이 세운 [[대요수국]] 침입을 막아내는 역할을 했다. 이후 상장군 자리에 오른다.

그는 대장군 [[최준문 (고려)|최준문]], 장군 [[유송절]], 낭장 [[김덕명]]과 가까운 사이였으며 [[1219년]]에 [[최충헌]]의 차남 [[최향 (1168년)|최향]]을 후계자로 세우고 장남 [[최우]]를 암살할 계획을 세우다가 김덕명의 배반으로 체포되고 만다.

이후 지윤심은 최향, 유송절, 최준문과 함께 유배되었다. 이후 지윤심의 행적은 알려져 있지 않다.

== 지윤심이 등장한 작품 ==
* 《[[무신 (드라마)|무신]]》([[MBC]], [[2012년]], 배우:구보석)

{{토막글|사람}}

[[분류:생몰년 미상]]
[[분류:12세기 한국 사람]]
[[분류:13세기 한국 사람]]
[[분류:고려의 무신]]
[[분류:무신정권]]