blueapple8259/wikipedia_raw_ko huggingface dataset:
{{위키데이터 속성 추적}}
{{라디오 프로그램 정보
|방송명 = 완벽한 하루 이상순입니다
|원제 =  완벽한 하루
|분야 = 연예오락
|방송 시간 = 매일 오후 4:00 ~ 5:57
|방송 기간 = [[2024년]] [[11월 4일]] ~ '''현재'''
|방송 국가 = {{KOR}}
|방송사 = [[문화방송|MBC]]
|방송 채널 = [[MBC FM4U]]
|진행 = [[이상순]]
|연출 = 
|구성 = 
|여는 곡 = 
|여는 곡 지은이 = 
|외부 링크 = https://www.imbc.com/broad/radio/fm4u/perfect/index.html
|외부 링크 이름 = MBC FM4U 완벽한 하루 이상순입니다 공식 홈페이지
|비고 = 일부 지역 자체 방송
}}

'''완벽한 하루 이상순입니다'''는 [[MBC FM4U]](수도권 기준 FM 91.9㎒)에서 오후 4시부터 저녁 6시까지 방송되는 연예오락 전문 라디오 프로그램이다.

== 역사 ==
이 시간에 방송되던 프로그램인 《'''[[4시엔]]'''》의 진행자 [[윤도현]]이 하차하면서 스페셜 DJ 체제로 진행하다가 해당 프로그램이 [[2024년]] [[11월 3일]]에 폐지되어, 본 프로그램이 [[2024년]] [[11월 4일]]에 신설되었다.

== DJ ==
* 작곡가 [[이상순]] (남)

== 코너 ==
; 매일 코너
* 사연과 신청곡

; 요일별 코너
* 수요일 : 젠지의 음악

== 지역별 자체 방송 ==
* [[MBC충북]], [[전주문화방송]], [[광주문화방송]], [[여수문화방송]], [[포항문화방송]], [[제주문화방송]], [[부산문화방송]], [[울산문화방송]], [[MBC경남]], [[대전문화방송]], [[목포문화방송]] (평일)은 자체 방송 없이 수도권의 방송을 그대로 송출한다.

* 동시간대 지역방송은 제목이 모두 다르다.
{| class="wikitable"
! 프로그램 !! 방송지역 !! 방송국 !! 진행자
|-
| [[오후의 발견 성스리입니다]] || [[강원특별자치도]] || [[MBC강원영동]], [[원주문화방송]], [[춘천문화방송]] || 성스리
|-
| [[FM 음악여행]] || [[대구광역시]], [[경상북도]] 남부 || [[대구문화방송]] || 권오성
|-
| [[FM응접실]] || [[안동시]], [[경상북도]] 북부 || [[안동문화방송]] || BGM
|-
| [[MBC 뮤직 스테이션]] (주말) || [[목포시]], [[전라남도]] 서남부 || [[목포문화방송]] || 김후종, 최지영, 임사랑, 최다훈, 허연주
|}

== 같이 보기 ==
{{글 숨김}}
'''관련 항목'''
* 연예오락

'''방송 프로그램'''
* [[해피타임 4시|이각경의 해피타임 4시]] (KBS 2라디오)
* [[가요속으로|박승화의 가요속으로]] (CBS 음악FM)
{{글 숨김 끝}}

== 외부 링크 ==
* [https://www.imbc.com/broad/radio/fm4u/perfect/index.html MBC FM4U 완벽한 하루 이상순입니다 공식 홈페이지]

{{이전다음2
| 제목 = [[MBC FM4U]]
| 이전명 = [[두시의 데이트|두시의 데이트 안영미입니다]] <br/> (주말 : 일부 지역 자체 방송)
| 현재명 = 완벽한 하루 이상순입니다 <br/> (일부 지역 자체 방송)
| 다음명 = [[배철수의 음악캠프]]
| 이전 요약 위 = 오후 2시 ~ 오후 4시
| 현재 요약 위 = 오후 4시 ~ 저녁 6시
| 다음 요약 위 = 저녁 6시 ~ 저녁 8시
}}

{{문화방송의 라디오 프로그램}}

[[분류:문화방송의 라디오 프로그램]]
{{위키데이터 속성 추적}}
{{도로 정보
|도로종류     = [[대한민국의 지방도|지방도]]
|아이콘     = {{대한민국 도로 노선 번호|지방도|313}}
|노선명       = 문사로
|노선번호명   = [[지방도 제313호선]]의 일부
|노선도       = 
|총연장       = 
|개통년       = 
|기점         =  [[충청북도]] [[진천군]] [[덕산읍]] 보탑사삼거리 
|주요경유지   = 
|종점         =  [[충청북도]] [[진천군]] [[진천읍]] 백곡삼거리 
|주요교차도로  = [[국도 제21호선]]<br/>[[국도 제34호선]]
}}

'''문사로'''(Munsa-ro)는 [[충청북도]] [[진천군]] [[진천읍]] 보탑사삼거리에서 [[백곡면]] 백곡삼거리를 잇는 도로이다.

== 주요 경유지 ==
; [[충청북도]]
* [[진천군]] ([[진천읍]] . [[백곡면]])

== 노선 ==
전구간이 [[지방도 제313호선]]에 속함.
{| class="wikitable" style="font-size: 85%; text-align: center;"
|-
! 이름<ref name="g">교차로와 나들목뿐만 아니라 인근 지역의 건물 및 시설 등도 포함</ref>
! 접속 노선
! colspan="2" | 소재지
! 비고
|-
! 보탑사삼거리 
| [[국도 제21호선]]<br/>(금사로)
| rowspan="3" | [[진천군]]
| rowspan="3" | [[진천읍]]
|
|-
! 용소교
|
|
|-
! 백곡삼거리 
| [[국도 제34호선]]<br/>([[백곡로]])
|
|}

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

== 외부 링크 ==
* [https://m1.juso.go.kr/gismap-new/MapIndex.do?code=437503245004|1243188&value=road&searchStr=%EB%AC%B8%EC%82%AC%EB%A1%9C 문사로] (충북 진천군)

{{진천군의 교통}}

{{토막글|도로}}

[[분류:충청북도의 도로]]
[[분류:진천군의 교통]]
[[분류:진천군의 도로]]
[[분류:대한민국의 지방도]]
{{위키데이터 속성 추적}}
아이오닉 9은 전기차 전용 플랫폼 [[E-GMP]]에 기반한 [[현대자동차|현대차]]의 세 번째 [[전기자동차|전기차]] 모델이다.

== 상세 ==
[[2024년]] [[10월 30일]], 차량의 실루엣과 전면부 램프, 캐릭터 라인, 휠의 모습을 담은 티저 이미지가 공개됐다.<ref>{{뉴스 인용|url=https://www.chosun.com/economy/auto/2024/10/30/MRJLKTOYTJGG5EJ46SZ447ZQFU|제목='보트'서 영감받은 대형 전기차...현대차, '아이오닉9' 티저 공개|날짜=2024년 10월 30일|출판사=《조선일보》}}</ref> 차명은 현대자동차의 전용 전기차 명명 체계에 따라 전용 전기차 라인업인 ‘아이오닉(IONIQ)’에 대형 차급을 의미하는 숫자 ‘9’을 결합해 만들어졌다.

[[2024년]] [[11월 21일]] 미국 로스앤젤레스 골드스테인 하우스에서 아이오닉 9이 공개됐다. 물의 저항을 최소화하는 날렵한 외관과 넓고 아늑한 실내 공간을 함께 품고 있는 [[보트]]에서 영감을 받은 에어로스테틱 실루엣을 연출했으며, 전면부 램프에는 아이오닉의 핵심 디자인 요소인 파라메트릭 픽셀이 적용됐다. 측면부는 공기 흐름을 원활히 하기 위해 보트 테일 형상을 구현했으며, 19/21인치 공력 휠과 세계 최초로 전면 범퍼 하단에 듀얼 모션 액티브 에어 플랩을 탑재했다. 외장 색상은 셀라돈 그레이 메탈릭, 이오노스피어 그린 펄, 선셋 브라운 펄, 녹턴 그레이 메탈릭, 어비스 블랙 펄, 세레니티 화이트 펄, 바이오 필릭 블루 펄 등 7종의 유광 컬러와 셀라돈 그레이 매트, 녹턴 그레이 매트, 그래비티 골드 매트 등 3종의 무광 컬러까지 총 10가지로 운영된다.<ref>{{웹 인용|url=https://www.news1.kr/industry/general-industry/5606623|제목=도로 위 미끈한 보트…현대차, 대형 전기 SUV '아이오닉 9' 세계 최초 공개|날짜=2024-11-21|웹사이트=뉴스1|언어=ko|확인날짜=2024-11-21}}</ref>

실내는 전장 5,060mm, 축간거리 3,130mm, 전폭 1,980mm, 전고 1,790mm로 넓은 공간과 동급 최대 수준의 2, 3열 헤드룸 및 레그룸을 확보했다. 2열 후방 기준 수하물 용량은 908ℓ(VDA 기준)며, 프렁크 용량은 88 ℓ다. 시트는 [[재활용]] 플라스틱을 활용한 [[친환경]] 소재를 사용했고, 헤드라이너와 크래쉬 패드는 사탕수수와 옥수수 등에서 추출한 원료가 들어간 바이오 소재를 적용했다. 내장 색상은 블랙 원톤, 블랙-도브 그레이 투톤, 다크 틸-도브 그레이 투톤, 머드 그레이-크리미 베이지 투톤, 코냑 브라운-크리미 베이지 투톤 등 총 5가지로 운영된다.

아이오닉 9은 [[E-GMP]]를 기반으로 110.3kWh 배터리를 탑재해 1회 충전 시 최대 532km 주행이 가능하며, 다이나믹 토크 벡터링, 험로 주행 모드, 오토터레인 모드, ANC-R 등을 탑재했다. 또한 100W USB C타입 충전 시스템, [[V2L|V2L 기능]], 아웃사이드 도어핸들 앰비언트 램프, 디지털 사이드 미러와 디지털 센터 미러, 카메라 클리닝 시스템, 프리텐셔너 3열 좌석 시트 벨트, 전기차 가상 주행 사운드 [[전기차 액티브 사운드 디자인|e-ASD]], 보스 프리미엄 사운드 시스템, [[빌트인 캠|빌트인 캠 2]], 디지털 키 2 등을 탑재했다.<ref>{{웹 인용|url=https://www.newsis.com/view/NISX20241121_0002966915|제목="드디어 최초 공개"…아이오닉9 "더 날렵하고, 더 넓다"|성=|날짜=2024-11-21|웹사이트=뉴시스|언어=ko|확인날짜=2024-11-21}}</ref>

아이오닉 9은 2025년 초에 국내를 시작으로 미국, 유럽 등에 출시할 예정이다.

== 같이 보기 ==
[[현대자동차그룹]]
[[현대자동차]]
[[현대 세븐]]
[[전기자동차|전기차]]
[[E-GMP]]

== 각주 ==
<references />

{{현대자동차}}
{{현대자동차의 차종}}

[[분류:현대자동차그룹]]
[[분류:현대자동차]]
[[분류:현대자동차의 차종]]
[[분류:전기 자동차]]
{{위키데이터 속성 추적}}
'''[[자유-오픈 소스 소프트웨어]]의 역사'''는 20세기 초반 컴퓨터 소프트웨어의 출현과 함께 시작된다. 1950년대와 1960년대에는 컴퓨터 운영 소프트웨어와 컴파일러가 별도의 비용 없이 [[컴퓨터 하드웨어|하드웨어]] 구매의 일부로 제공되었다. 당시에는 사람이 읽을 수 있는 소프트웨어 형식인 [[소스 코드]]가 일반적으로 소프트웨어와 함께 배포되어 버그를 수정하거나 새로운 기능을 추가할 수 있는 기능을 제공했다. 대학은 컴퓨팅 기술의 얼리 어답터였다. 대학에서 개발한 많은 수정 사항은 지식 공유라는 학문적 원칙에 따라 공개적으로 공유되었으며, 공유를 촉진하기 위한 조직이 생겨났다.

대규모 [[운영체제]]가 성숙해짐에 따라 운영 소프트웨어 수정을 허용하는 조직이 줄어들었고 결국 이러한 운영 체제는 수정이 불가능해졌다. 그러나 유틸리티 및 기타 추가 기능 응용 프로그램은 여전히 ​​공유되며 소프트웨어 공유를 촉진하기 위해 새로운 조직이 형성되었다.

== 같이 보기 ==
* [[오픈 소스 비디오 게임]]
== 외부 링크 ==
* Elmer-Dewitt, Philip (30 July 1984). [https://web.archive.org/web/20070930122050/http://www.time.com/time/magazine/article/0,9171,926733,00.html Software Is for Sharing], ''Time''.
* [https://www.gnu.org/philosophy/stallman-kth.html Richard Stallman speaking about free software and the GNU project in 1986], Sweden
* [http://www.dwheeler.com/oss_fs_why.html#history David A. Wheeler on the history of free software], from his "Look at the numbers!" paper
* [http://www.groklaw.net/staticpages/index.php?page=20051013231901859 The Daemon, the GNU, and the Penguin], by Peter Salus
* [http://cm.bell-labs.com/cm/cs/who/dmr/bsdi/bsdisuit.html Documents about the BSD lawsuit that lead to 386BSD and then FreeBSD]
* [http://www.oreilly.com/catalog/opensources/book/toc.html ''Open Sources: Voices from the Open Source Revolution''] (January 1999)
* [https://web.archive.org/web/20171022105307/http://www.toad.com/gnu/cygnus/index.html The history of Cygnus solutions], the largest free software company of the early 90s
* [https://lwn.net/Articles/264402/ LWN.net's 1998–2008 timeline part 1] ([https://lwn.net/Articles/264980/ part 2], [https://lwn.net/Articles/265577/ 3], [https://lwn.net/Articles/266358/ 4], [https://lwn.net/Articles/268407/ 5], [https://lwn.net/Articles/269276/ 6])
* [http://www.freebsd.org/doc/en_US.ISO8859-1/books/handbook/history.html A Brief History of FreeBSD], by Jordan Hubbard
* [http://www.unesco.org/webworld/portal_freesoft/open_history.shtml UNESCO Free Software Portal]
* [http://infinite-hands.draketo.de/ Infinite Hands], a free licensed folk song about the history of free software.

{{자유-오픈 소스 소프트웨어}}

[[분류:자유 문화 운동]]
[[분류:자유 소프트웨어 운동]]
{{위키데이터 속성 추적}}
'''컴퓨터 과학 철학'''(Philosophy of computer science)은 [[컴퓨터 과학]] 연구에서 발생하는 [[철학]]적 질문과 관련이 있다. [[물리학의 철학]]이나 [[수리철학]]과 같은 컴퓨터 과학 철학을 발전시키려는 일부 시도에도 불구하고<ref name=Tedre2014>{{서적 인용|last=Tedre |first=Matti |year=2014 |title=The Science of Computing: Shaping a Discipline |publisher=Chapman Hall}}</ref>, 컴퓨터 과학 철학의 내용, 목표, 초점 또는 주제에 대한 공통된 이해는 아직 없다. 컴퓨터 프로그램의 추상적 성격과 컴퓨터 과학의 기술적 야망으로 인해 컴퓨터 과학 철학의 개념적 질문 중 상당수는 [[과학철학]], [[수리철학]], [[기술철학]]과도 유사하다.<ref>{{인용|last1=Turner|first1=Raymond|title=The Philosophy of Computer Science|date=2020|url=https://plato.stanford.edu/archives/spr2020/entries/computer-science/|encyclopedia=The Stanford Encyclopedia of Philosophy|editor-last=Zalta|editor-first=Edward N.|edition=Spring 2020|publisher=Metaphysics Research Lab, Stanford University|access-date=2020-05-21|last2=Angius|first2=Nicola}}</ref>

== 같이 보기 ==
* [[컴퓨터를 이용한 증명]]
* [[인공지능 철학]]
* [[정보철학]]
* [[수리철학]]
* [[과학철학]]
* [[기술철학]]

== 각주 ==
<references />

== 외부 링크 ==
* [http://www.iacap.org/ The International Association for Computing and Philosophy]
* [http://philpapers.org/browse/philosophy-of-computing-and-information Philosophy of Computing and Information] at [[PhilPapers]]
* [http://pocab.org Philosophy of Computation at Berkeley] {{웨이백|url=http://pocab.org/ |date=20211020173517 }}

{{컴퓨터 과학}}
{{과학철학}}

[[분류:컴퓨터 과학 철학| ]]
{{위키데이터 속성 추적}}
'''프로세스 계산'''(process calculus), '''프로세스 계산법''', '''프로세스 미적분''' 또는 '''프로세스 대수'''는 [[컴퓨터 과학]]에서 [[병행성|병행 시스템]]을 공식적으로 모델링하기 위한 다양한 관련 접근 방식이다. 프로세스 계산은 독립적인 에이전트 또는 프로세스 모음 간의 상호 작용, 통신 및 동기화에 대한 높은 수준의 설명을 위한 도구를 제공한다. 또한 프로세스 설명을 조작하고 분석할 수 있는 [[대수학]]적 법칙을 제공하고 프로세스 간의 동등성에 대한 형식적 추론(예: 이중 시뮬레이션 사용)을 허용한다. 프로세스 계산의 주요 예로는 [[커뮤니케이팅 시퀜셜 프로세스|CSP]], CCS, ACP 및 LOTOS가 있다.<ref name="baeten2004">{{저널 인용|first=J.C.M. |last=Baeten| url = http://alexandria.tue.nl/extra1/wskrap/publichtml/200402.pdf | title = A brief history of process algebra | journal = Rapport CSR 04-02 | publisher = Vakgroep Informatica, Technische Universiteit Eindhoven | year = 2004 }}</ref> 계열에 최근 추가된 것에는 π-미적분학, 주변 미적분학, PEPA, 융합 미적분학 및 결합 미적분학이 포함된다.

== 같이 보기 ==
* [[커뮤니케이팅 시퀜셜 프로세스]]

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

[[분류:프로세스 계산| ]]
{{위키데이터 속성 추적}}
'''구조화 정리''', '''구조화 프로그램 정리'''(Structured program theorem) 또는 '''뵘-야코피니 정리'''(Böhm–Jacopini theorem)<ref name="kozen">{{서적 인용|url= http://www.cs.cornell.edu/~kozen/papers/bohmjacopini.pdf |author=[[Dexter Kozen]] and Wei-Lung Dustin Tseng|title=Mathematics of Program Construction |chapter=The Böhm–Jacopini Theorem is False, Propositionally |doi=10.1007/978-3-540-70594-9_11|journal=MPC 2008|volume=5133|pages=177–192|series=Lecture Notes in Computer Science|year=2008|isbn=978-3-540-70593-2|citeseerx=10.1.1.218.9241}}</ref><ref>{{웹 인용|url=http://www.cse.buffalo.edu/~rapaport/111F04/greatidea3.html |title=CSE 111, Fall 2004, BOEHM-JACOPINI THEOREM |publisher=Cse.buffalo.edu |date=2004-11-22 |access-date=2013-08-24}}</ref>는 [[프로그래밍 언어 이론]]의 결과이다. 이는 [[제어 흐름 그래프]] 클래스(이 맥락에서 역사적으로 [[순서도]]라고 함)가 세 가지 특정 방식([[제어 흐름|제어 구조]])으로만 하위 프로그램을 결합하는 경우 계산 가능한 모든 함수를 계산할 수 있다고 명시한다. 이것들은

# 하나의 서브프로그램을 실행한 후 다른 서브프로그램(시퀀스) 실행
# [[불리언 자료형|불리언]] 식의 값에 따라 두 하위 프로그램 중 하나 실행(선택)
# 불리언 식이 참인 동안 서브프로그램을 반복적으로 실행(반복)
이러한 제약 조건이 적용되는 구조화된 차트, 특히 단일 종료를 암시하는 루프 제약 조건(이 문서의 뒷부분에 설명됨)은 비트 형식의 추가 변수(원래 증명의 추가 정수 변수에 저장됨)를 사용하여 다음을 수행할 수 있다. 원본 프로그램이 프로그램 위치로 나타내는 정보를 추적한다. 구성은 뵘의 프로그래밍 언어 P<nowiki>''</nowiki>를 기반으로 했다.

이 정리는 [[Goto 문|goto 명령]]을 피하고 서브루틴, 시퀀스, 선택 및 반복을 독점적으로 사용하는 프로그래밍 패러다임인 [[구조적 프로그래밍]]의 기초를 형성한다.
[[파일:Structured program patterns.svg|NS 다이어그램(파란색)과 흐름도(녹색)를 사용하여 구조화된 프로그램 정리의 세 가지 기본 패턴인 순서, 선택 및 반복을 그래픽으로 표현한다.|섬네일|center|border|700px]]

== 같이 보기 ==
* [[구조적 프로그래밍]]
* [[튜링 완전]]

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

== 더 읽기 ==
위에서 아직 다루지 않은 자료:
* {{저널 인용| doi = 10.1145/322169.322180 | title=Space-Time Trade-Offs in Structured Programming: An Improved Combinatorial Embedding Theorem | journal=Journal of the ACM | date=1980 | volume=27 | issue=1 | pages=123–127 | first=Richard A. | last=DeMillo| s2cid=15669719 | doi-access=free }}
* {{서적 인용| doi = 10.1007/3-540-57785-8_128 | chapter=One binary horn clause is enough | volume=775 | date=1994 | pages=19–32 | first=Philippe | last=Devienne| title=Stacs 94 | series=Lecture Notes in Computer Science | isbn=978-3-540-57785-0 | citeseerx=10.1.1.14.537 }}

[[분류:프로그래밍 언어 이론]]
[[분류:계산 모형]]
{{위키데이터 속성 추적}}
'''동작적 의미론'''(operational semantics)은 용어에 수학적 의미를 부여하는 대신 실행 및 절차에 대한 논리적 설명을 통해 증명을 구성하여 정확성, 안전성 또는 보안과 같은 프로그램의 원하는 특정 속성을 검증하는 [[형식 언어|형식적인 프로그래밍 언어]] [[의미론 (컴퓨터 과학)|의미론]]의 범주이다. (표시적 의미론) 동작적 의미론은 두 가지 범주로 분류된다. '''구조적 동작적 의미론'''(작은 단계 의미론)은 컴퓨터 기반 시스템에서 계산의 개별 단계가 어떻게 발생하는지 공식적으로 설명한다. 반대로 '''자연 의미론'''(큰 단계 의미론)은 실행의 전체 결과를 얻는 방법을 설명한다. 프로그래밍 언어의 형식적 의미론을 제공하는 다른 접근 방식에는 [[공리적 의미론]]과 [[표시적 의미론]]이 포함된다.

[[프로그래밍 언어]]의 동작적 의미론은 유효한 프로그램이 일련의 계산 단계로 해석되는 방식을 설명한다. 이러한 시퀀스는 프로그램의 의미이다. 함수형 프로그래밍의 맥락에서 종료 시퀀스의 마지막 단계는 프로그램의 값을 반환한다. (일반적으로 프로그램이 비결정적일 수 있기 때문에 단일 프로그램에 대해 많은 반환 값이 있을 수 있으며, 결정적 프로그램의 경우에도 의미론이 해당 값에 도달하는 작업 순서를 정확히 지정하지 않을 수 있으므로 계산 순서가 많을 수 있다.)

아마도 동작적 의미론의 최초의 공식적인 구현은 [[리스프]]의 의미론을 정의하기 위해 람다 미적분학을 사용한 것일 것이다.<ref>{{웹 인용|title=Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I |last=McCarthy |first=John |author-link=John McCarthy (computer scientist) |url=http://www-formal.stanford.edu/jmc/recursive.html |access-date=2006-10-13 |url-status=dead |archive-url=https://web.archive.org/web/20131004215327/http://www-formal.stanford.edu/jmc/recursive.html |archive-date=2013-10-04}}</ref> [[SECD 머신]] 전통의 [[추상 기계]]도 밀접하게 관련되어 있다.

== 같이 보기 ==
* [[표시적 의미론]]
* [[의미론 (컴퓨터 과학)]]

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

== 외부 링크 ==
*{{위키공용분류-줄}}

{{전거 통제}}

[[분류:컴퓨터 과학 내 논리]]
[[분류:프로그래밍 언어 의미론]]
{{위키데이터 속성 추적}}
'''SECD 머신'''(SECD machine)은 함수형 프로그래밍 언어 컴파일러의 타겟으로 의도된 매우 영향력 있는 [[가상 머신]]이자 [[추상 기계]]이다. 문자는 시스템의 내부 레지스터인 '''S'''tack, '''E'''nvironment, '''C'''ontrol, '''D'''ump를 나타낸다. Stack, Control 및 Dump 레지스터는 [[스택]](일부 구현)을 가리키고 Environment는 [[연관 배열]](일부 구현)을 가리킨다.

이 기계는 [[람다 대수|람다 미적분]]식을 평가하기 위해 특별히 설계된 최초의 기계였다. 이는 원래 피터 J. 랜딘이 1964년 "The Mechanical Evaluation of Expressions"<ref>{{저널 인용| last1 = Landin | first1 = P. J. | author1-link = Peter Landin| title = The Mechanical Evaluation of Expressions| doi = 10.1093/comjnl/6.4.308| journal = [[The Computer Journal|Comput. J.]]| volume = 6| issue = 4| pages = 308–320| date=January 1964 | doi-access = free}}</ref>에서 설명했다. 랜딘이 게시한 설명은 상당히 추상적이었고 ([[동작적 의미론]]과 같은) 많은 구현 선택 사항을 열어두었다.

[[리스프킷 리스프]](Lispkit Lisp)는 SECD 시스템<ref>{{서적 인용|last1=Henderson |first1=Peter |title=Functional programming: application and implementation |date=1980 |publisher=Prentice-Hall International |location=Englewood Cliffs, N.J. |isbn=0-13-331579-7}}</ref>을 기반으로 한 영향력 있는 컴파일러였으며 SECD 시스템은 리스프/370<ref>{{저널 인용|last1=Padget |first1=Julian| title=Three uncommon Lisps |citeseerx=10.1.1.99.1028 }}</ref>과 같은 다른 시스템의 대상으로 사용되었다. 1989년에 캘거리 대학의 연구원들은 기계의 하드웨어 구현에 참여했다.<ref>A paper on the design, [http://hdl.handle.net/1880/46590 SECD: DESIGN ISSUES] is available.</ref>

== 각주 ==
<references />

== 외부 링크 ==
* [http://skelet.ludost.net/sec/ SECD collection]

[[분류:1964년 컴퓨팅]]
[[분류:계산 모형]]
[[분류:추상 기계]]
{{위키데이터 속성 추적}}
'''기술윤리학'''(descriptive ethics) 또는 '''비교윤리학'''(comparative ethics)은 [[도덕]]성에 대한 사람들의 신념을 연구하는 학문이다.<ref>{{웹 인용|title=comparative ethics {{!}} philosophy {{!}} Britannica|url=https://www.britannica.com/topic/comparative-ethics|access-date=2022-01-19|website=www.britannica.com|language=en}}</ref> 이는 사람들이 어떻게 행동해야 하는지를 규정하는 윤리 이론을 연구하는 [[규범윤리학]], 그리고 윤리적 용어와 이론이 실제로 무엇을 가리키는지 연구하는 [[메타윤리학]]과 대조된다. 각 분야에서 고려할 수 있는 질문의 다음 예는 필드 간의 차이점을 보여준다.
* 기술윤리학: 사람들은 무엇이 옳다고 생각하는가?
* 메타윤리학: "옳다"는 것은 무엇을 의미하는가?
* 규범윤리학: 사람들은 어떻게 행동해야 하는가?
* [[응용윤리학]]: 도덕적 지식을 어떻게 실천하고 실천할 수 있는가?

== 같이 보기 ==
* [[실험 철학]]
* [[도덕심리학]]

== 각주 ==
{{각주}}
{{윤리학}}
[[분류:도덕심리학]]
{{위키데이터 속성 추적}}
[[파일:Rice_terrace.png|섬네일|[[베트남]] [[옌바이성]] 무캉차이(Mù Cang Chải) 지구에 위치한 계단식 논]]
'''통합지리학'''(integrated geography), '''환경지리학'''<ref>Nicolaas A. Rupke (2008): ''Alexander Von Humboldt: A Metabiography''. [[Chicago]]: [[University of Chicago Press]]. {{ISBN|9780226731490}}</ref> 또는 '''인간-환경 지리학'''은 인간 개인 또는 사회와 [[자연 환경]]<ref>Noel Castree ''et al.'' (2009): ''A Companion to Environmental Geography''. [[London]]: [[Wiley-Blackwell]]. {{ISBN|9781444305739}}</ref> 간의 상호 작용의 공간적 측면을 기술하고 설명하기 위해 [[인문지리학]] 및 [[자연지리학]]의 분기가 겹치는 곳이다. 인간-환경 결합 시스템이라 불린다.

== 기원 ==
이를 위해서는 물리적 지리학의 역학뿐만 아니라 인간 사회가 환경(인문지리학)을 개념화하는 방식에 대한 이해가 필요하다. 따라서 어느 정도는 물리인류지리학(Physische Anthropogeographie, 1924년 빈 대학의 지리학자 [[알브레히트 펭크]]가 만든 용어)와 지리적 문화 또는 인간 생태학(Harlan H. Barrows, 1923)을 계승한 것으로 볼 수 있다.

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

{{지리학}}
{{환경사회과학}}
{{사회과학}}

[[분류:환경사회과학]]
[[분류:인문지리학]]
[[분류:자연지리학]]
{{위키데이터 속성 추적}}
{{측지학}}
'''지리정보학''' 또는 '''지오매틱스'''(geomatics)는 ISO/TC 211 표준 시리즈에서 "지리적 데이터 또는 지리 정보의 수집, 배포, 저장, 분석, 처리, 표시와 관련된 [[학문|분야]]"로 정의된다.<ref>ISO/TR 19122:2004(en) Geographic information/Geomatics — Qualification and certification of personnel [https://www.iso.org/obp/ui/#iso:std:iso:tr:19122:ed-1:v1:en]</ref> 다른 정의에 따르면 지리(지리 공간) 데이터의 수집, 통합 및 관리와 관련된 제품, 서비스 및 도구로 구성된다.<ref>{{웹 인용|url=http://www.appliedgeomatics.net/about-us.html|title=About Us|website=Applied Geomatics Research Laboratory|access-date=2 April 2018}}</ref> [[측량공학]]은 과거에는 지리공학을 가리키는 이름으로 널리 사용되었다. 지리정보학은 [[유네스코]] 생명 유지 시스템 백과사전에서 기술 지리학 분야로 분류되었다.<ref name="Haidu1">{{저널 인용|last1=Haidu |first1=Ionel |title=What is Technical Geography – a letter from the editor |journal=Geographia Technica |date=2016 |volume=11 |pages=1–5 |doi=10.21163/GT_2016.111.01|doi-access=free }}</ref><ref name=Sala1>{{서적 인용|last1=Sala |first1=Maria |title=Geography Volume I |date=2009 |publisher=[[Encyclopedia of Life Support Systems|EOLSS]] UNESCO |location=Oxford, United Kingdom |isbn=978-1-84826-960-6 |edition=1}}</ref>

== 같이 보기 ==
* [[지리정보과학]]

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

== 외부 링크 ==
*International Master's Program [https://www.hs-karlsruhe.de/geomatics/ Geomatics] at Karlsruhe University of Applied Sciences
*Namibia's [http://fnrss.nust.na/?q=department/geo-spatial-technology/geomatics/ Geomatics Program] {{Webarchive|url=https://web.archive.org/web/20211123132931/http://fnrss.nust.na/?q=department/geo-spatial-technology/geomatics/ |date=2021-11-23 }}
* [http://www.nicholls.edu/doas/degree-programs/geomatics/ Bachelor of Science in Geomatics] {{Webarchive|url=https://web.archive.org/web/20160728165700/https://www.nicholls.edu/doas/degree-programs/geomatics/ |date=2016-07-28 }} at Nicholls State University
* [http://sfrc.ufl.edu/geomatics/ Geomatics program] at the University of Florida
*Canada's [http://www.geomatics.gov.nt.ca/nwtdp.aspx Northwest Territories Centre for Geomatics] {{Webarchive|url=https://web.archive.org/web/20200128163239/http://www.geomatics.gov.nt.ca/nwtdp.aspx |date=2020-01-28 }}
*UK's [https://web.archive.org/web/20140508061951/https://www.geomatics-group.co.uk/geocms/ Environment Agency Geomatics Group]
* [http://www.gim-international.com/ ''GIM International''] Lemmer, the Netherlands: Geodetical Information & Trading Centre ISSN 1566-9076
*{{언어링크|fr}} [http://www.geometres-sans-frontieres.org  Géomètres sans Frontières] : Association de géometres pour aide au développement.
* [http://www.survey.ntua.gr/en/ School of Rural and Surveying Engineering] at National Technical University of Athens (MEng)

{{지리학}}
{{전거 통제}}

[[분류:지리 기술]]
[[분류:과학기술]]
[[분류:측지학]]
{{위키데이터 속성 추적}}
{{만화가 정보
|이름 = 다이쇼 오토나
|성별 = 
|생일 =
|그림 사이즈 = 
|각주 = 
|본명 = 
|생년 = ?년 7월 15일
|출생 = [[시기현]]
|몰년 = 
|몰지 = 
|국적 = {{JPN}}
|직업 = [[만화가]]
|활동 기간 = [[2007년]] ~
|장르 = 소년 만화<br>청년 만화
|대표작 = '2핀 연예인' '걸어도 좋지만, 이것은 절대 사랑이 아니다.'
}}
'''다이쇼 오토나'''({{lang-ja|大小 大人}})는 [[일본]]의 [[만화가]]이다.

== 경력 ==
2012년 'SPEC~쇼~ THE 네 컷'의 원작 협력으로 데뷔, 작화 [[카도쿠에 다이스케]]와는 쇼와 다이이치 고등학교의 동급생이며, 그 때문에 원작 협력이라는 형태로 참여합니다.

같은 해, 소년 선데이의 월례상 '만화 칼리지'에 응모해 낙선한 독절 작품 《모자이크 전대 캉슨쟈》를 뒤 선데이에서 발표 후, 이 사이트에서 《걸어도 좋지만, 이것은 절대 사랑이 아니다.》에서 각본 담당으로 연재. 뒤 선데이 연재 후는 주로 기업용 상품 설명 만화의 원작을 담당하고 있었지만, 2023년 11월 23일부터, CoMax 및 국내 전자 서적 사이트에서, 대소 어른으로서 대략 10년만이 되는 오리지널 작품 《2핀 연예인》의 원작 담당으로서 연재.

{{전거 통제}}

[[분류:21세기 만화가]]
[[분류:21세기 일본 사람]]
[[분류:도쿄 이과대학 동문]]
[[분류:살아있는 사람]]
[[분류:쇼와 다이이치 고등학교 동문]]
[[분류:시가현 출신]]
[[분류:일본의 만화가]]
{{위키데이터 속성 추적}}
'''개발지리학'''(development geography)은 주민의 [[생활 수준]]과 [[삶의 질]]을 나타내는 [[지리학]]의 한 분야이다. 이러한 맥락에서 개발은 사람들의 삶에 영향을 미치는 변화의 과정이다.<ref>[http://www.hi.com.au/geogglobal1/pdf/global1_2_3.pdf Geography of global interactions] {{webarchive|url=https://web.archive.org/web/20080528032624/http://www.hi.com.au/geogglobal1/pdf/global1_2_3.pdf |date=2008-05-28 }}</ref> 이는 변화를 겪고 있는 사람들이 인식하는 삶의 질 향상을 포함할 수 있다. 그러나 개발이 항상 긍정적인 과정은 아니다. 군더 프랭크(Gunder Frank)는 저개발의 발전을 초래하는 글로벌 경제 세력에 대해 논평했다. 이것은 그의 [[종속 이론]]에서 다루고 있다.

개발지리학에서 지리학자는 개발의 공간 패턴을 연구한다. 지리학자는 [[경제]]적, [[정치]]적, 사회적 요인을 살펴봄으로써 어떤 특성으로 발전을 측정할 수 있는지 찾으려고 노력한다. 지리학자는 다양한 개발의 지리적 원인과 결과를 모두 이해하려고 노력한다. 연구에서는 경제적으로 [[선진국]](MEDC)과 경제적으로 덜 [[개발도상국|개발된 국가]](LEDC)를 비교한다. 또한 이탈리아 북부와 남부의 차이점인 [[이탈리아 남부|메조조르노]](Mezzogiorno)와 같은 국가 내 변형도 살펴본다.

== 같이 보기 ==
* [[문화지리학]]
* [[환경 결정론]]

== 각주 ==
{{각주}}
{{지리학}}
[[분류:국제 개발]]
[[분류:경제지리학]]
[[분류:인문지리학]]
[[분류:개발학]]
{{위키데이터 속성 추적}}
{{우주 임무 정보
| name               = 선저우 19호
| image              = Shenzhou 19 launch 01.png
| image_caption      = 발사 장면
| mission_type       = [[톈궁 우주정거장]] 승무원 수송
| operator           = [[중국유인우주국]]
| mission_duration   = 180일(예정)
| spacecraft_type    = [[선저우 (우주선)|선저우]]
| manufacturer       = {{국기|중국}} [[중국항천과기집단공사]]
| crew_size          = 3
| crew_members       = 왕하오쩌<br/>쑹링둥<br/>차이쉬저<br/>
| crew_photo         = Shenzhou-19 crew.jpg
| crew_photo_caption = (왼쪽부터) 왕하오쩌, 차이쉬저, 쑹링둥
| launch_date        = (현지시각) 2024년 10월 30일 오전 4시 27분
| launch_rocket      = [[창정 2F]]
| launch_site        = [[주취안 위성발사센터]]
| launch_contractor  = 
| landing_date       = 
| landing_site       = [[중국]] [[내몽골자치구]]
| orbit_reference    = [[지구 중심 궤도]]
| orbit_regime       = [[지구 저궤도]]
| programme          = [[선저우 계획]]
| previous_mission   = [[선저우 18호]]
| next_mission       = [[선저우 20호]]
}}

'''선저우 19호'''({{Lang-zh|s=神舟十九号|p=Shénzhōu Shíjiǔ-hào|hanja=선주 19호}})는 2024년 10월 30일 발사된 [[중화인민공화국|중국]]의 [[우주 비행|우주 비행선]]으로 14번째 중국 유인 우주선이자 19번째 [[선저우 계획]] 비행선이다.

== 과정 ==
선저우 19호는 이전 임무인 선저우 18호나기 전인 2024년 10월 30일 오전 4시 27분 [[창정 2F]] 로켓에 탑재되어 [[주취안 위성발사센터]]에서 발사되었다. 발사 10분 후 로켓과 성공적으로 분리되어 예정 궤도에 진입하였다.<ref name=":0">{{뉴스 인용|url=https://www.yna.co.kr/view/AKR20241030009151009|제목=中, 선저우 19호 발사…세번째 여성 우주인 탑승|날짜=2024년 10월 30일|출판사=[[연합뉴스]]}}</ref>

== 비행사 ==
선저우 19호에는 차이쉬저와 쑹링둥, 왕하오쩌 등 3명의 유인 비행사가 탑승하였다. 3명 중 2명은 1990년대생으로, 이로써 세계 최초의 1990년대생 우주비행사가 탄생하게 되었다.<ref name=":0" /><ref>{{뉴스 인용|url=https://www.khan.co.kr/world/china/article/202410300913001|제목=90년대생 우주인 태우고…중국 유인 우주선 선저우 19호 발사|날짜=2024년 10월 30일|출판사=[[경향신문]]}}</ref>
* 차이쉬저({{Lang-zh|s=蔡旭哲|hanja=채욱철}}): 사령관, [[선저우 14호]] 임무에도 참여
* 쑹링둥({{Lang-zh|s=宋令東|hanja=송령동}}): 첫 비행, 1990년생
* 왕하오쩌({{Lang-zh|s=王浩澤|hanja=왕호택}})
** 첫 비행, 1990년생 여성
** 2020년 우주비행사로 선발, 훈련 완료
** 로켓 엔지니어 개발 담당(비행에서는 우주 실험, 화물 관리, 우주 정거장 운영 감독 담당)

== 임무 ==
유인 비행사들은 여러 차례 우주선 밖으로 나가 미세중력 기초물리, 우주 재료 과학, 우주 생명 과학, 우주 의학 등과 관련된 실험들을 진행하고 우주 잔해물 보호 장치 설치, 외부 탑재물 및 장비 설치 등의 임무를 수행하게 된다.<ref name=":0" />

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

[[분류:2024년 우주 개발]]
[[분류:톈궁 계획]]
[[분류:선저우 계획]]
[[분류:2024년 중국]]
[[분류:중국어 간체자 표기를 포함한 문서]]
{{위키데이터 속성 추적}}
'''군사사회학'''(military sociology)은 [[사회학]]의 하위분야이다. 이는 개인 세계를 더 넓은 사회 구조에 연결하라는 [[찰스 라이트 밀스]]의 요청과 밀접하게 일치한다.<ref name="Crabb 2015. P3">Crabb, Tyler and Segal, David. 2015. "Military Sociology" in ''Encyclopedia of Public Administration and Public Policy, Third Edition'', Taylor and Francis. pp. 2133-2138.  DOI: 10.1081/E-EPAP3-120053116</ref><ref>Mills, C.W. The Sociological Imagination; Oxford University Press: New York, 1959</ref> 군사사회학은 군사조직이 아닌 [[사회 집단]]으로서의 군대를 체계적으로 연구하는 것을 목표로 한다. 이 고도로 전문화된 하위 학문은 시민 사회보다 더 정의되고 좁은 목적과 가치를 가지고 직업 및 전투에서의 생존과 관련된 공유 이익을 기반으로 [[강제]] [[집단 행위|집단 행동]]을 하는 별개의 그룹으로서 군인과 관련된 문제를 조사한다. 군사 사회학은 또한 민군 관계와 다른 그룹이나 정부 기관 간의 상호 작용에도 관심을 갖는다.

==이론과 방법론==
군사사회학은 사회학 자체가 사용하는 방법의 다양성을 반영한다. 여기에는 대규모 데이터 분석, 참가자 관찰, 소셜 네트워크 분석, 조사 연구, 비교 역사, 사례 연구 등이 포함된다.<ref>Crabb, Tyler and Segal, David. 2015. "Military Sociology" in ''Encyclopedia of Public Administration and Public Policy, Third Edition'', Taylor and Francis. pp. 2133.  DOI: 10.1081/E-EPAP3-120053116</ref><ref>J. Soeters, P. Shields, & S. Rietjens (Eds.), Routledge handbook of research methods in military studies (pp. 238–248). London: Routledge {{ISBN|978-0739168257}}</ref> 군사 사회학의 방법에는 철학적 관점과 주장도 포함된다.<ref>Shields P.M. (2020) Dynamic Intersection of Military and Society. In: Sookermany A. (eds) Handbook of Military Sciences. p. 13 Springer, Cham {{doi|10.1007/978-3-030-02866-4_31-1}}</ref>

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

{{전거 통제}}

[[분류:군사사회학| ]]
[[분류:군사학]]