blueapple8259/wikipedia_raw_ko huggingface dataset:
{{위키데이터 속성 추적}}
{{Infobox scientist
| 이름=로버트 마틴 솔로베이
| 원어이름 = {{llang|en|Robert Martin Solovay}}
| image             = Robert solovay.jpg
| caption           = 솔로베이 (1972년 사진, 조지 버그먼({{llang|en|George Bergman}}) 촬영)
| birth_date        = {{출생일과 나이|1938|12|15}}
| birth_place       = [[미국]] [[뉴욕]] [[브루클린]]
| death_date        =
| death_place       = 
| nationality       = [[미국]]
| fields            = [[수학]]
| workplaces        = [[캘리포니아 대학교 버클리]]
| alma_mater        = [[시카고 대학교]]
| doctoral_advisor  = [[손더스 매클레인]]
| doctoral_students = [[윌리엄 휴 우딘]]
| known_for         = [[수슬린 가설]]의 독립성 <br> [[반복 강제법]] <br> [[강콤팩트 기수]] 이상에서의 [[특이 기수 가설]]
| awards            = Paris Kanellakis Award (2003)
}}

'''로버트 마틴 솔로베이'''({{llang|en|Robert Martin Solovay}} {{IPA2|ˈrɒbə(r)t ˈmɑː(r)tɪn ˈsoʊloʊveɪ}}, 1938–)는 [[미국]]의 수학자이다. [[집합론]]에 공헌하였다.

== 생애 ==
1938년 [[뉴욕]] [[브루클린]]에서 태어났다. [[시카고 대학교]]에서 1964년에 [[손더스 매클레인]] 아래 박사 학위를 수여받았다. 이후 [[캘리포니아 대학교 버클리]]에서 교수로 있다.

== 주요 업적 ==
솔로베이의 주요 업적으로는 다음을 들 수 있다.
* '''솔로베이 정리''': 만약 [[도달 불가능한 기수]]가 존재한다면, [[체르멜로-프렝켈 집합론]] + "모든 실수 집합은 [[르베그 가측 집합]]"은 무모순적이다.
* <math>0^\#</math>의 정의
* [[가측 기수]]의 존재는 실수값 가측 기수({{llang|en|real-valued measurable cardinal}})의 존재와 [[등무모순적]]이다.
* [[강콤팩트 기수]]보다 더 큰 기수에 대하여 [[특이 기수 가설]]이 성립한다.
* [[수슬린 가설]]이 [[선택 공리]]를 추가한 [[체르멜로-프렝켈 집합론]]과 [[등무모순적]]이다.
* [[솔로베이-스트라센 소수판별법]]({{llang|en|Solovay–Strassen primality test}})

== 주요 논문 ==
* {{저널 인용|doi=10.2307/1970696|성=Solovay|이름=Robert M.|title=A model of set-theory in which every set of reals is Lebesgue measurable|journal=Annals of Mathematics. Second Series|volume=92|issue=1|year=1970|pages=1–56}}
* {{저널 인용|성=Solovay|이름=Robert M.|title=A nonconstructible ''Δ<sup>1</sup><sub>3</sub>'' set of integers|journal=Transactions of the American Mathematical Society|volume=127|year=1967|pages=50–75|doi=10.2307/1994631|issue=1|publisher=American Mathematical Society|jstor=1994631}}
* {{저널 인용|성=Solovay|이름=Robert M.|공저자=Volker Strassen|journal=SIAM Journal on Computing|title=A fast Monte-Carlo test for primality|volume=6|year=1977|issue=1|pages=84–85|doi=10.1137/0206006}}

== 외부 링크 ==
{{위키공용분류}}
* {{웹 인용|url=https://math.berkeley.edu/~solovay/|제목=Robert M. Solovay's home page|언어=en}}
* {{웹 인용|url=http://rjlipton.wordpress.com/2009/05/21/i-hate-oracle-results/|제목=I hate oracle results|이름=Richard J.|성=Lipton|날짜=2009-05-21|웹사이트=Gödel’s Lost Letter and P=NP|언어=en}}
* {{MathGenealogy|id=6522|title=Robert M. Solovay}}

{{전거 통제}}

{{기본정렬:솔로베이, 로버트}}
[[분류:1938년 출생]]
[[분류:살아있는 사람]]
[[분류:미국의 논리학자]]
[[분류:20세기 수학자]]
[[분류:집합론자]]
{{위키데이터 속성 추적}}
[[파일:Wallpaper group-p2-4.jpg|섬네일|350px]]
'''철망'''(鐵網, chainlink; wire netting)은 [[강철]] 철사를 엮어서 만든 망이다. 지그재그로 구부러진 철사들의 "지그"와 "재그"가 서로서로 얽혀 특징적인 마름모꼴 무늬를 만든다.

==개발==
[[영국]]의 ‘버나드 스숍 앤드 버나드’(''Barnard, Bishop & Barnard'') 사가 체인으로 연결된 울타리를 기계로 만드는 회사를 [[노리치]]에 설립했다. 이 체인을 만드는 과정은 [[1844년]] 찰스 버나드에 의해 개발되었다. 그는 옷감을 짜는 기계로 이것을 제조했으며, 그 당시까지 노리치는 직물 제조의 오랜 역사를 가지고 있었다.<ref>Ward, Ken. [http://www.oldcity.org.uk/norwich/history/history08.php Victorian Norwich] {{웨이백|url=http://www.oldcity.org.uk/norwich/history/history08.php |date=20170205074812 }}. A History of Norwich, 28 November 2006, p. 6.</ref>

[[1898년]]에 설립된 앵커 펜스(''Anchor Fence'')는 기계로 만드는 권리를 사서, 최초의 체인 연결 울타리를 미국에서 만드는 회사가 되었다. 앵커 펜스는 또한 미국 내 사슬 연결형에 대한 특허를 가지고 있었다. 그 기계는 1845년 원래 철사를 제조하는 기계를 발명한 벨기에 출신의 한 남자에게 구매한 것이었다.

== 같이 보기 ==
* [[철]]
== 각주 ==
{{각주}}

== 외부 링크 ==
{{위키공용분류|Wire net fences|Wire net (chain-link) fences}}
{{위키낱말사전|wire netting}}
* [http://www.associationsites.com/main-pub.cfm?usr=clfma 체인 링크 울타리 제조 연구소] {{웨이백|url=http://www.associationsites.com/main-pub.cfm?usr=clfma |date=20140114040915 }}


{{전거 통제}}
{{토막글|도구}}

[[분류:울타리]]
[[분류:그물]]
{{위키데이터 속성 추적}}
{{인물 정보
|출생일= [[1607년]]
|사망지= [[경기도 광주시]] 험천
|사망일= [[1636년]]
|사망원인= [[전사]]
|국적= {{국기나라|조선}}
}}
'''이민진'''(李敏進 [[1607년]]~[[1636년]])은 조선 중기의 의병장이다. 자는 자선(子善)이며, 본관은 가평이다.

== 생애 ==
=== 전사 ===
{{참고|험천 전투}}
1636년 병자호란이 일어나 청군의 군세에 [[조선 인조|인조]]가 [[남한산성]]으로 파천했다는 소식을 듣고, 분개한 이민진은 연산현감 [[김홍익]]과 함께 3,000명의 의병을 조직하여 험천에서 청군과 싸웠다. 험천으로 가기전, 이민진은 검은 행전과 검은 버선을 신고 갔는데 이는 이민진이 싸움터에서 전사함을 암시하였다.

광주 험천에서 충청 감사 [[정세규]]의 관군과 합류하여 싸웠다. 그러나 칼이 부러지고 화살이 떨어지면서 청군에게 붙잡히고 만다. 그 상황에서 이민진은 조금의 두려움도 느끼지 않고 큰 소리로 적을 꾸짖다가 죽음을 당하였다. 청군마저도 그의 용기에 감탄하였다고 한다.

=== 사후 ===
1637년에 훈련원판관이 증직되었으며, 1833년에 승정원좌승지겸영경연참찬관에 추증되었다. 다음해인 1834년에는 정려를 하사받았다. 논산시 부적면 충곡리에 있는 충곡서원에 [[김홍익]]과 함께 배향되어 있다.

[[분류:가평 이씨]]
[[분류:1636년 사망]]
[[분류:17세기 한국 사람]]
{{위키데이터 속성 추적}}
{{영화인 정보
| 이름     = 카츠 신타로<br />{{lang|ja|勝 新太郎}}
| 사진     = Shintarō Katsu in Hatsu-haru Tanuki Goten 1959.jpg
| 사진크기 = 
| 사진설명 = 
| 본명     = 오쿠무라 도시오({{lang|ja|奥村利夫}})
| 출생일   =  {{출생일|1931|11|29}}
| 출생지   = [[일본]] [[도쿄시]] 후카가와 구
|사망일 = {{사망일과 나이|1997|6|21|1931|11|29}}
|사망지 = 일본 [[지바현]] [[가시와시]]
| 직업     = [[배우]]
| 활동기간 = [[1954년]] ~ [[1997년]]
| 종교     = 
| 부모     = 기와야 가쓰토우지 (아버지)
| 형제자매 = [[와카야마 도미사부로]] (형)
| 친척     = 
| 배우자   = 
| 자녀     = 
| 소속사   = 
| 수상     = 
| 웹사이트 = 
}}
'''카츠 신타로'''({{llang|ja|{{ruby-ja|勝 新太郎|かつ しんたろう}}|가쓰 신타로}}, [[1931년]] [[11월 29일]] ~ [[1997년]] [[6월 21일]])은 [[일본]]의 배우, 가수, 영화감독, 프로듀서로 본명은 '''오쿠무라 도시오'''({{llang|ja|奥村利夫}})이다.

[[도쿄시]] [[후카가와 구]] (지금의 [[도쿄도]] [[고토구]]) 출신으로 호세이 중학교를 중퇴하고 [[샤미센]]과 나카우타를 배우기 시작하였다. 1954년, [[다이에이 (기업)|다이에이 영화사]]에 들어가 《꽃의 백호대》({{lang|ja|花の白虎隊}})로 스크린에 데뷔, 이후 《[[자토이치]]》 시리즈로 스타덤에 올랐다. 또한 텔레비전 드라마에도 《[[독안룡 마사무네]]》에서 [[도요토미 히데요시]] 역을 맡기도 했다.

그러나 1990년, 미국 하와이주 호놀롤루에서 대마초와 코카인을 들여오다가 적발, 현행범으로 체포되었으며 징역 2년 6개월, 집행유예 4년을 선고받기도 했다. 1997년 6월 21일, 지바 현 가시와 시에서 65세를 일기로 세상을 떠났다.

== 출연 작품 ==
* [[낭인가]] (1990)
* [[공작왕 2 - 아수라]] (1990)
* [[장군 암살자]] (1980)
* [[자토이치 23]] (1972)
* [[고요키바]] (1972)
* [[아들을 동반한 검객 3]] (1972)
* [[아들을 동반한 검객 2]] (1972)
* [[아들을 동반한 검객]] (1972)
* [[내 목숨을 걸고]] (1971)
* [[자토이치 - 부셔라! 중국검]] (1971)
* [[자토이치와 요짐보]] (1970)
* [[히토키리]] (1969)
* [[자토이치 - 싸움북]] (1968)
* [[야쿠자 군대]] (1965)
* [[자토이치]] (1965)
* [[자토이치 - 흉악한 형상의 나그네]] (1963)
* [[자토이치 3 - 신 자토이치]] (1963)
* [[유키노조 변화]] (1963)
* [[자토이치 2]] (1962)
* [[자토이치]] (1962)
* [[저지 앤드 씨프]] (1955)

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

{{마이니치 영화 콩쿠르 남우주연상}}

{{전거 통제}}

[[분류:1931년 출생]]
[[분류:1997년 사망]]
[[분류:일본의 남자 배우]]
[[분류:일본의 남자 영화 배우]]
[[분류:일본의 남자 텔레비전 배우]]
[[분류:일본의 남자 가수]]
[[분류:도쿄도 구부 출신]]
{{위키데이터 속성 추적}}
{{철도역 정보
|역명 = 고마치야
|그림 = Iida Komachiya 001.JPG
|그림설명 = 고마치야 역
|글자색 = 
|배경색 = {{JR 노선색|T}}
|소재지 = {{JPN}} [[나가노현]] [[고마가네시]]
|좌표 = {{좌표|35|43|37.61|N|137|56|6.64|E|format=dms|display=inline,title|type:railwaystation_region:JP}}
|관할 = [[도카이 여객철도]]
|개업일 = [[1914년]] [[12월 26일]]
|폐지일 =
|종별 =
|등급 =
|승강장 = 1면 1선
|단말기 =
|노선1 = <span style="color: {{JR 노선색|T}};">■</span> [[이다 선]]
|영업거리1 = [[도요하시역|도요하시]] 기점 164.4km
|전역1 = [[이나후쿠오카역|이나후쿠오카]]
|전거리1 = 1.5
|후역1 = [[고마가네역|고마가네]]
|후거리1 = 1.2
|추가 =
|비고 =
|주석 = 
}}
'''고마치야역'''({{llang|ja|小町屋駅}})은 [[일본]] [[나가노현]] [[고마가네시]]에 위치한 [[도카이 여객철도]] [[이다 선]]의 [[철도역]]이다. [[단선 승강장]] 1면 1선의 구조를 갖춘 지상역이다.

== 이용 현황 ==
{| class="wikitable" style="margin: 1em 0.2em; text-align: center; font-size: 85%;"
|- style="background: #ddd;"
!colspan="2"|승차 인원 추이
|-
!연도
!1일 평균
|-
|1997
|799
|-
|1998
|768
|-
|1999
|728
|-
|2000
|697
|-
|2001
|665
|-
|2002
|653
|-
|2003
|727
|-
|2004
|719
|-
|2005
|
|-
|2006
|
|-
|2007
|731
|-
|2008
|
|-
|2009
|708
|-
|2010
|673
|-
|2011
|650
|-
|2012
|649
|-
|2013
|688
|}

== 역 주변 ==
* 고마가네 시청
* 고마가네 시민 체육관

== 역사 ==
* [[1914년]] [[12월 26일]] : 이나 전차 궤도([[1919년]]에 이나 전기 철도로 개칭)의 이나후쿠오카 - 아카호(현.고마가네 역) 간 연신 때에 '''고마치야 정류장'''으로서 개업.
* [[1943년]] [[8월 1일]] : 이나 전기 철도선이 이다 선의 일부로서 국유화되어, [[일본국유철도]]가 승계. 동시에 역으로 승격해, '''고마치야역'''으로 한다.
** 당시는, [[도카이도 본선]] [[하마마쓰역|하마마쓰]] - [[나고야역|나고야]] 간의 각 역이나 이다 선의 각 역, [[주오 본선]] [[가미스와역|가미스와]] - [[시오지리역|시오지리]] 간의 각 역, [[마쓰모토역]]을 발착하는 여객만 이용되었다.
* [[1954년]] [[12월 1일]] : 도쿄 도 구내의 각 역이나 [[나가노역]]을 발착하는 여객도 이용가능하다.
* [[1971년]]
** [[4월 1일]] : 여객 발착역의 제한을 폐지.
** 12월 1일 : 업무위탁 종료, 무인화.
* [[1987년]] 4월 1일 : 일본국유철도 분할 민영화에 의해, [[도카이 여객철도]]가 승계.
* [[2006년]] [[8월]] : 이난 바이패스 공사에 수반해 미나미다 시장 토지 구획 정리사업의 일환으로서 선로 동쪽에 새 승강장과 맞이방, 역 앞 광장의 건설을 착공.
* [[2008년]]
** [[1월 19일]] : 가설 승강장 사용개시.
** [[12월 13일]] : 거기까지 서쪽에 있던 승강장과 맞이방을 선로 동쪽에 이전 신축, 사용 개시.
** [[12월 19일]] : 새 승강장과 맞이방, 역 앞 광장의 오픈 식전. 교차로 등 역 앞 광장의 사용 개시.
* [[2012년]] [[3월 17일]] : 쾌속 '미스즈'가 정차하게 되다.

== 인접 역 ==
{{인접정차역/열기}}
{{인접정차역
|노선 = [[도카이 여객철도]] [[이다 선]]
|종별 = <span style="color:{{JR 노선색|T}};">■</span> 이다 선
|전역 = [[이나후쿠오카역|이나후쿠오카]]
|전방면 = [[도요하시역|도요하시]] 방면
|전색 = {{JR 노선색|T}}
|후역 = [[고마가네역|고마가네]]
|후방면 = [[다쓰노 역|다쓰노]] 방면
|후색 = {{JR 노선색|T}}
}}
{{인접정차역/닫기}}
{{이다 선}}

[[분류:도카이 여객철도의 철도역]]
[[분류:나가노현의 철도역]]
[[분류:고마가네시]]
[[분류:1914년 개업한 철도역]]
[[분류:일본국유철도의 철도역]]
[[분류:고마가네시의 교통]]
[[분류:고마가네시의 건축물]]
[[분류:이다선]]
{{위키데이터 속성 추적}}
{{철도역 정보
|역명 = 고마가네
|그림 = JR Komagane.jpg
|그림설명 = 고마가네 역
|글자색 = 
|배경색 = {{JR 노선색|T}}
|소재지 = {{JPN}} [[나가노현]] [[고마가네시]]
|좌표 = {{좌표|35|44|11.16|N|137|56|12.44|E|format=dms|display=inline,title|type:railwaystation_region:JP}}
|관할 = [[도카이 여객철도]]
|개업일 = [[1914년]] [[12월 26일]]
|폐지일 =
|종별 =
|등급 =
|승강장 = 2면 3선
|단말기 =
|노선1 = <span style="color: {{JR 노선색|T}};">■</span> [[이다 선]]
|영업거리1 = [[도요하시역|도요하시]] 기점 165.6km
|전역1 = [[고마치야역|고마치야]]
|전거리1 = 1.2
|후역1 = [[오타기리역|오타기리]]
|후거리1 = 1.4
|추가 =
|비고 =
|주석 = 
}}
'''고마가네역'''({{llang|ja|駒ヶ根駅}})은 [[일본]] [[나가노현]] [[고마가네시]]에 위치한 [[도카이 여객철도]] [[이다 선]]의 [[철도역]]이다. [[단선 승강장|단선]] · [[섬식 승강장|섬식]]의 형태를 합친 2면 3선 구조의 복합 승강장을 갖춘 지상역이다.

== 타는 곳 ==
{| border="1" cellspacing="0" cellpadding="3" frame="hsides" rules="rows"
|-
! 승강장
! 노선
! 방향
! 행선지
! 비고
|-
! rowspan="2"|'''1'''
| rowspan="2"| <span style="color:{{JR 노선색|T}};">■</span> 이다 선
| 하행
| [[다쓰노 역|다쓰노]] 방면
| rowspan="2"|
|-
| 상행
| [[이다역|이다]] · [[덴류쿄역|덴류쿄]] 방면
|-
! '''2'''
| <span style="color:{{JR 노선색|T}};">■</span> 이다 선
| 상행
| 이다 · 덴류쿄 방면
| 당 역 시발은 이 승강장
|-
! rowspan="2"|'''3'''
| rowspan="2"|<span style="color:{{JR 노선색|T}};">■</span> 이다 선
| 상행
| 이다 · 덴류쿄 방면
| 3량 편성의 일부 열차
|-
| 하행
| 다쓰노 방면
|
|}

== 이용 현황 ==
{| class="wikitable" style="margin: 1em 0.2em; text-align: center; font-size: 85%;"
|- style="background: #ddd;"
!colspan="2"|승차 인원 추이
|-
!연도
!1일 평균
|-
|1997
|1,056
|-
|1998
|978
|-
|1999
|970
|-
|2000
|987
|-
|2001
|900
|-
|2002
|858
|-
|2003
|725
|-
|2004
|714
|-
|2005
|
|-
|2006
|
|-
|2007
|633
|-
|2008
|
|-
|2009
|544
|-
|2010
|566
|-
|2011
|568
|-
|2012
|567
|-
|2013
|560
|}

== 역 주변 ==
* [[국도 제153호선]]

== 인접 역 ==
{{인접정차역/열기}}
{{인접정차역
|노선 = [[도카이 여객철도]] [[이다 선]]
|종별 = <span style="color:blue;">■</span> 쾌속 '미스즈'
|전역 = [[고마치야역|고마치야]]
|전방면 = [[이다역|이다]] 방면
|전색 = {{JR 노선색|T}}
|후역 = [[미야다역|미야다]]
|후방면 = [[마쓰모토역|마쓰모토]] 방면
|후색 = {{JR 노선색|T}}
}}
{{인접정차역
|종별 = <span style="color:gray;">■</span> 보통
|전역 = 고마치야
|전방면 = [[도요하시역|도요하시]] 방면
|전색 = {{JR 노선색|T}}
|후역 = [[오타기리역|오타기리]]
|후방면 = [[다쓰노 역|다쓰노]] 방면
|후색 = {{JR 노선색|T}}
}}
{{인접정차역/닫기}}
{{이다 선}}

[[분류:도카이 여객철도의 철도역]]
[[분류:나가노현의 철도역]]
[[분류:고마가네시]]
[[분류:1914년 개업한 철도역]]
[[분류:일본국유철도의 철도역]]
[[분류:고마가네시의 교통]]
[[분류:고마가네시의 건축물]]
[[분류:이다선]]
{{위키데이터 속성 추적}}
[[모형 이론]]에서 '''기본 동치'''(基本同値, {{llang|en|elementary equivalence}})는 두 [[구조 (논리학)|구조]]가 같은 [[1차 논리]] 문장들을 만족시키는 관계이다.

== 정의 ==
같은 언어의 [[구조 (논리학)|구조]] <math>M</math>, <math>N</math>에 대하여,  다음 조건들이 서로 [[동치]]이며, 만약 이 조건이 성립하면 <math>M</math>과 <math>N</math>이 서로 '''기본 동치'''라고 한다.
* 모든 [[1차 논리]] 문장 <math>\phi</math>에 대하여, <math>M\models\phi\iff N\models\phi</math>
* 모든 [[1차 논리]] 문장 <math>\phi</math>에 대하여, <math>M\models\phi\implies N\models\phi</math>
* 모든 [[1차 논리]] 문장 <math>\phi</math>에 대하여, <math>N\models\phi\implies M\models\phi</math>
(문장이란 자유 변수를 포함하지 않는 공식을 의미한다.)

같은 언어에 대한 구조 <math>M</math>과 <math>N</math> 사이의 '''기본 매장'''(基本埋藏, {{llang|en|elementary embedding}})은 다음 성질을 만족시키는 함수
:<math>j\colon M\to N</math>
이다.
* <math>k</math>개의 자유 변수 <math>\vec x</math>를 갖는 임의의 [[1차 논리]] 공식 <math>\phi</math> 및 임의의 <math>\vec m\in M^k</math>에 대하여, 만약 <math>M\models\phi[\vec m/\vec x]</math>라면 <math>N\models\phi[j(\vec m)/\vec x]</math>이다.
만약 <math>M\subset N</math>이고 부분 집합 포함 함수가 기본 매장을 이룬다면, <math>M</math>이 <math>N</math>의 '''기본 부분 구조'''(基本部分構造, {{llang|en|elementary substructure}})라고 한다.

== 성질 ==
구조의 기본 동치는 [[동치 관계]]이다.

기본 매장은 다음 성질들을 만족시킨다.
* [[단사 함수]]이다. 이는 1차 논리가 등호를 포함하며, 따라서 <math>m_1\ne m_2\implies j(m_1)\ne j(m_2)</math>이기 때문이다.
* [[준동형사상|강준동형사상]]이다.
* 기본 동치이다.

같은 언어에 대한 두 구조 <math>M</math>, <math>N</math>에 대하여, <math>M\subset N</math>이라면 다음 두 조건이 서로 [[동치]]이다.
* <math>M</math>은 <math>N</math>의 기본 부분 구조이다.
* (타르스키-보트 조건 {{llang|en|Tarski–Vaught criterion}}) 임의의 <math>k+1</math>개 자유 변수를 갖는 1차 논리 공식 <math>\phi(x,\vec y)</math> 및 <math>\vec b\in N^k</math>에 대하여, <math>N\models\phi(a,\vec b)</math>인 <math>a\in M</math>이 존재한다.

== 예 ==
[[초곱|워시 정리]]에 따라, 어떤 모형 <math>M</math>과 그 [[초곱|초거듭제곱]] <math>M^n/\mathcal U</math>은 서로 기본 동치이다.

하나의 이항 관계 <math>\langle\le\rangle</math>의 구조로서, [[유리수]]의 집합 <math>\mathbb Q</math> 및 [[실수]]의 집합 <math>\mathbb R</math>는 서로 기본 동치이다. 그러나 이들은 [[순서체]]의 언어 <math>\langle+,\cdot,-,0,1,\le\rangle</math>의 구조로는 서로 기본 동치가 아니다.

[[실수체]] <math>\mathbb R</math>와 [[초실수체]] <math>^*\mathbb R</math>는 순서체의 언어의 구조로서 서로 기본 동치이다.

== 외부 링크 ==
* {{웹 인용|url=http://ncatlab.org/nlab/show/elementary+embedding|제목=Elementary embedding|웹사이트=nLab|언어=en}}
* {{웹 인용|url=http://ncatlab.org/nlab/show/elementary+embedding|제목=Elementary equivalence|웹사이트=nLab|언어=en}}
* {{eom|title=Fraïssé characterization of elementary equivalence}}
* {{eom|title=Keisler-Shelah isomorphism theorem}}

[[분류:모형 이론]]
{{위키데이터 속성 추적}}
{{철도역 정보
|역명 = 오타기리
|그림 = JR Ohtagiri.jpg
|그림설명 = 오타기리 역
|글자색 = 
|배경색 = {{JR 노선색|T}}
|소재지 = {{JPN}} [[나가노현]] [[고마가네시]]
|좌표 = {{좌표|35|44|52.77|N|137|56|25.14|E|format=dms|display=inline,title|type:railwaystation_region:JP}}
|관할 = [[도카이 여객철도]]
|개업일 = [[1914년]] [[10월 31일]]
|폐지일 =
|종별 =
|등급 =
|승강장 = 1면 1선
|단말기 =
|노선1 = <span style="color: {{JR 노선색|T}};">■</span> [[이다 선]]
|영업거리1 = [[도요하시역|도요하시]] 기점 167.0km
|전역1 = [[고마가네역|고마가네]]
|전거리1 = 1.4
|후역1 = [[미야다역|미야다]]
|후거리1 = 2.1
|추가 =
|비고 =
|주석 = 
}}
'''오타기리역'''({{llang|ja|大田切駅}})은 [[일본]] [[나가노현]] [[고마가네시]]에 위치한 [[도카이 여객철도]] [[이다 선]]의 [[철도역]]이다. [[단선 승강장]] 1면 1선의 구조를 갖춘 지상역이다.

== 이용 현황 ==
{| class="wikitable" style="margin: 1em 0.2em; text-align: center; font-size: 85%;"
|- style="background: #ddd;"
!colspan="2"|승차 인원 추이
|-
!연도
!1일 평균
|-
|1997
|105
|-
|1998
|101
|-
|1999
|89
|-
|2000
|89
|-
|2001
|75
|-
|2002
|85
|-
|2003
|77
|-
|2004
|66
|-
|2005
|
|-
|2006
|
|-
|2007
|58
|-
|2008
|
|-
|2009
|59
|-
|2010
|59
|-
|2011
|65
|-
|2012
|67
|-
|2013
|74
|}

== 역 주변 ==
* [[국도 제153호선]]

== 역사 ==
* [[1914년]] [[10월 31일]] : 이나 전차 궤도([[1919년]]에 이나 전기 철도로 개칭)의 아카호(현.고마가네 역) - 미야다 간 연신 때에 '''오타기리 정류장'''으로서 개업.
* [[1943년]] [[8월 1일]] : 이나 전기 철도선이 이다 선의 일부로서 국유화됨과 함께 동시에 폐지.
* [[1946년]] [[9월 1일]] : [[일본국유철도]]의 '''오타기리역'''이 재개업. 여객역.
** 당시는, [[도카이도 본선]] [[하마마쓰역|하마마쓰]] - [[나고야역|나고야]] 간의 각 역이나 이다 선의 각 역, [[주오 본선]] [[가미스와역|가미스와]] - [[시오지리역|시오지리]] 간의 각 역, [[마쓰모토역]]을 발착하는 여객만 이용되었다.
* [[1954년]] [[12월 1일]] : [[도쿄도]] 구내의 각 역이나 [[나가노역]]을 발착하는 여객도 이용가능하다.
* [[1971년]] [[4월 1일]] : 여객 발착역의 제한을 폐지.
* [[1987년]] 4월 1일 : 일본국유철도 분할 민영화에 의해, [[도카이 여객철도]]가 승계.
* [[1999년]] [[9월 1일]] : 현재의 맞이방으로 개축.

== 인접 역 ==
{{인접정차역/열기}}
{{인접정차역
|노선 = [[도카이 여객철도]] [[이다 선]]
|종별 = <span style="color:{{JR 노선색|T}};">■</span> 이다 선
|전역 = [[고마가네역|고마가네]]
|전방면 = [[도요하시역|도요하시]] 방면
|전색 = {{JR 노선색|T}}
|후역 = [[미야다역|미야다]]
|후방면 = [[다쓰노 역|다쓰노]] 방면
|후색 = {{JR 노선색|T}}
}}
{{인접정차역/닫기}}
{{이다 선}}

[[분류:도카이 여객철도의 철도역]]
[[분류:나가노현의 철도역]]
[[분류:고마가네시]]
[[분류:1914년 개업한 철도역]]
[[분류:일본국유철도의 철도역]]
[[분류:고마가네시의 교통]]
[[분류:고마가네시의 건축물]]
[[분류:이다선]]
{{위키데이터 속성 추적}}
{{배우 정보
| 이름     = 유승엽
| 출생일   = {{출생년과 나이|1987}}
| 출생지   = [[대한민국]] [[충청남도]] [[대전광역시]]
| 사망일   = 
| 사망지   = 
| 다른이름 =
| 국적     = 대한민국
| 직업     = [[뮤지컬 배우]]
| 데뷔작   = 뮤지컬 <하이스쿨 뮤지컬>
| 활동기간 = [[2010년]] ~ 현재
| 종교     = [[천주교]]
| 수상     = 
| 웹사이트 =
| 사진     = 배우유승엽.jpg
}}
'''유승엽'''([[1987년]] ~ )은 [[대한민국]]의 [[뮤지컬]] [[배우]]이다.

== 학력 ==
* [[서대전고등학교]] 졸업
* [[단국대학교]] 공연영화학부 뮤지컬전공 학사

== 경력 ==
; 뮤지컬
* 2009 《마인》- PX병 역
* 2013 《하이스쿨 뮤지컬》- 라이언 에반스 역
* 2013 《완득이》- 도완득 역
* 2014 《영웅》- 독립군 역
* 2014 《프리실라》- 아담 / 펠리시아 역
* 2014-2015 《라카지》- 자코브 역
* 2015 《[[드림걸스 (뮤지컬)|드림걸즈]]》- 씨씨 화이트 역
* 2015 《[[인 더 하이츠]]》- 피라구아 가이 역
* 2016 《[[맘마 미아!|맘마미아]]》- 페퍼 역
* 2016 《에드거 앨런 포》- 레이놀즈 역
* 2016-2017 《[[인 더 하이츠]]》- 피라구아 가이 역
* 2017 《[[브로드웨이 42번가]]》- 맥 역
* 2018 《젊음의 행진》- 청카바 역
* 2019-2020 《[[아이다 (뮤지컬)|아이다]]》- 메렙 역
* 2022 《[[아이다 (뮤지컬)|아이다]]》- 메렙 역
* 2022-2023 《물랑루즈》- 베이비돌 역
* 2024 《수호》- 김승주 역

; 방송
* 2010 EBS 《[[생방송 톡!톡! 보니하니]]》 - 꼭집사 역
* 2016 EBS 《빵빵 요리버스》 - 토미 역
* 2021 EBS 《최고의 순간》 - 아빠 역
* 2021 EBS 《올림포스의 별》 - 디오니소스 역

; 콘서트
* 2012 《한정림의 음악일기》
* 2014 《한정림의 음악일기》
* 2019 《눈사람 이야기》
* 2020 《지저스 크라이스트 슈퍼스타 콘서트》
* 2024 《재즈 온 새러데이》

{{토막글|한국 배우}}

[[분류:1987년 출생]]
[[분류:살아있는 사람]]
[[분류:대한민국의 배우]]
[[분류:대한민국의 뮤지컬 배우]]
[[분류:단국대학교 동문]]
[[분류:20세기 대한민국 사람]]
[[분류:21세기 대한민국 사람]]
{{위키데이터 속성 추적}}
{{영화 정보
|제목 = 喜劇之王: King Of Comedy<br />희극지왕
|그림 = Théâtre d'Azur.jpg
|장르 = 액션/코미디
|감독 = [[주성치]]
|주연 = [[주성치]] (주연사우)<br />[[막문위]] (주연부망)<br />[[장바이즈]] (주연피우)
|개봉 ={{국기나라|대만}} [[1999년]] [[2월 12일]]
{{국기나라|홍콩}} [[1999년]] [[2월 13일]]</br>
{{국기나라|싱가포르}} [[1999년]] [[2월 8일]]</br>
{{국기나라|타이}} [[1999년]] [[5월 7일]]</br>
{{국기나라|대한민국}} [[2000년]] [[2월 26일]]</br>
{{국기나라|일본}} [[2000년]] [[5월 20일]]</br>
|스튜디오 = 
|음악 = 
|언어 = [[광동어]]
|배급 = 
|예산 = 
|등급 = 
|전편 =
|후편 = 
|관객수 =
|imdb_id =
}}
《'''희극지왕'''》(喜劇之王)은 [[1999년]] [[2월 13일]] 개봉한 [[홍콩]]의 영화이다.

== SBS 성우진 (2002년 10월 6일) ==
* [[김환진]] - 윤천구([[주성치]])
* [[최덕희]] - 유표표([[장백지]])
* [[엄현정]] - 두연아([[막문위]])
* [[김병관 (성우)|김병관]] - 마오([[오맹달]])
* [[장승길]]
* [[김영훈 (성우)|김영훈]]
* [[강수진 (남자 성우)|강수진]]
* [[민응식]]
* [[장혜선]]
* [[양희문]]
* [[윤복성]]
* [[이용순 (성우)|이용순]]

== 같이 보기 ==
* [[주성치]]
== 외부 링크 ==
* {{hkmdb title|id=8476}}
* {{IMDb 제목|0188766}}
{{저우싱츠}}

[[분류:1999년 영화]]
[[분류:광둥어 영화 작품]]
[[분류:주성치 감독 영화]]
[[분류:홍콩의 액션 영화]]
[[분류:홍콩의 로맨스 영화]]
[[분류:홍콩의 코미디 영화]]
[[분류:배우를 소재로 한 영화]]
[[분류:영화 제작을 소재로 한 영화]]
{{위키데이터 속성 추적}}
{{비디오 게임 정보
| 제목 = 던전에 어서와
| 원제목 = 
| 이미지 = 
| 설명 = 
| 개발사 = 오르카
| 배급사 = 
| 시리즈 = 
| 엔진 = 
| 플랫폼 = [[안드로이드 (운영 체제)|안드로이드]]
| 출시 = 
| 장르 = 
| 모드 = 
}}
《'''던전에 어서와'''》는 [[안드로이드 (운영 체제)|안드로이드]] 게임이며, 몬스터를 강화시키거나 소환시켜서, 이 게임에 악역으로 나오는 용사들을 무찌르는 게임이다.

== 줄거리 ==
악마가 400년만에 부활해서 영웅들을 죽이면서 성장하는 줄거리다.

== 캐릭터 ==
{{빈 문단}}

{{토막글|비디오 게임}}

[[분류:안드로이드 게임]]
{{위키데이터 속성 추적}}
{{회사 정보
|로고=
|그림=
}}
'''카이로소프트'''(Kairosoft)는 [[일본]]의 [[게임]] 회사이며, [[1996년]]에 설립하고, [[2010년]]부터 [[안드로이드 (운영 체제)]]게임을 출시하여, 유명해진 회사이다.

[[2016년]]부터 [[안드로이드 (운영 체제)]]와 [[iOS]]에서 공식적으로 한국어가 추가 되었다.

== 출시한 게임 ==
* 개점 백화점 일기
* 게임발전국
* 모락모락 온천골
* 크루즈 대기행
* 해물!! 초밥 거리
* 어패럴 양품점
* 대성 미식가 식당
* 애니메이션 스튜디오
* 발굴!피라미드 왕국
* 명문 포켓학원 1
* 명문 포켓학원 2
* 꿈같은 내 집 마련 이야기
* 창작 파티쉐부
* 만남 출판국
* 두근두근 만화도장
* 만화 오솔길
* 소셜 꿈이야기
* 테니스 클럽 이야기
* 모형 정원 시티 철도
* 게임 센터 구락부
* 별이 된 카이로군
* 모험! 던전마을
* 개척 서바이벌 섬
* 아스트로 탐험대
* 합전 닌자 마을
* 오오 에도타운즈
* 재벌 타운즈
* 대자연 이야기
* 푸른 하늘 비행대
* 대해적 퀘스트 섬
* 발진!! 히어로 기지
* 하늘의 헥타르 농장
* 카드 체인지 목장
* 우걱우걱 카이로군
* 끌어당겨라! 고양이 반쵸
* 마법사 퀘스트
* 코다와리 라면관
* 코다와리 라면관 전국편
* 친구 예능방
* 개막! 패독 GP
* 사커 클럽 이야기 1
* 사커 클럽 이야기 2
* G1 목장 스테이크스
* 와글와글 게임판매점
* 만화 외길
* 열대 수영장 팰리스
* 스키장 스토리
* 와글와글 퀘스트 이야기
* 영화공방 스토리
* 왕국 건설 스토리
* 농구리그 스토리
* 모락모락 온천골 2
* 챔피언 복싱 스토리
* 버거체인 스토리
* 써니캠프 스토리

== 같이 보기 ==
* [[게임]]
[http://WWW.KAIROSOFT.NET 카이로소프트 사이트]

[[분류:안드로이드 게임]]
[[분류:일본의 비디오 게임 기업]]
[[분류:1996년 설립된 비디오 게임 기업]]
{{위키데이터 속성 추적}}
{{싱글 정보 <!-- See Wikipedia:WikiProject_Songs -->
| 곡명 = Flavor Of Life
| 그림 = 
| 음악가 = [[우타다 히카루]]
| 음반 = [[HEART STATION]]
| 발매일 = {{국기그림|일본}} [[2007년]] [[2월 28일]]
| 포맷 = [[콤팩트 디스크|CD]]
| 녹음 = 
| 장르 = [[J-pop|J-POP]]
| 길이 = 25분 49초
| 레이블 = [[EMI 뮤직 재팬]]
| 작사 = 우타다 히카루
| 프로듀서 = 우타다 히카루<br />미야케 아키라<br />우타다 Skingg 테루자네
| 이전싱글 = [[나는 곰]]<br />(2006년)
| 이번싱글 = '''Flavor Of Life'''<br />(2007년)
| 다음싱글 = [[Beautiful World/Kiss & Cry]]<br />(2007년)
}}
〈'''Flavor Of Life'''〉는 [[우타다 히카루]]의 18번째 [[싱글 (음악)|싱글]]이다.

== 개요 ==
[[도쿄 방송 홀딩스|TBS]] 계열 드라마 《[[꽃보다 남자 (일본 드라마)|꽃보다 남자 2(리턴즈)]]》의 이미지 송 및 삽입곡이다. 드라마에 기용된 것은 〈Flavor Of Life -Ballad Version-〉. 드라마에 악곡을 제공한 것은 5년 만이다.

== 수록곡 ==
# Flavor Of Life
# Flavor Of Life-Ballad Version-
# Flavor Of Life (Original Karaoke)
# Flavor Of Life-Ballad Version- (Original Karaoke)
# Flavor Of Life-Antidote Mix- (CD Only Bonus Track)

== 외부 링크 ==
* [https://web.archive.org/web/20070310022940/http://www.toshiba-emi.co.jp/hikki/news/news_j.php Hikki Official Website] – News about Flavor Of Life
* [https://web.archive.org/web/20070207081824/http://www.sanspo.com/geino/top/gt200701/gt2007010504.html Sanspo] – Article on Flavor of Life
* [http://www.tbs.co.jp/hanadan2/ Hana Yori Dango 2 Official webpage] {{웨이백|url=http://www.tbs.co.jp/hanadan2/ |date=20061205105133 }}
* {{MetroLyrics song|hikaru-utada|flavor-of-life}}<!-- Licensed lyrics provider -->

{{우타다 히카루}}
{{꽃보다 남자}}

[[분류:우타다 히카루의 노래]]
[[분류:2007년 싱글]]
[[분류:2007년 오리콘 싱글 차트 1위 작품]]
[[분류:2007년 노래]]
[[분류:꽃보다 남자]]
{{위키데이터 속성 추적}}
{{철도역 정보
|역명 = 미야다
|그림 = JR Miyada.jpg
|그림설명 = 미야다 역
|글자색 = 
|배경색 = {{JR 노선색|T}}
|소재지 = {{JPN}} [[나가노현]] [[가미이나군]] [[미야다촌]]
|좌표 = {{좌표|35|46|2.13|N|137|56|20.03|E|format=dms|display=inline,title|type:railwaystation_region:JP}}
|관할 = [[도카이 여객철도]]
|개업일 = [[1913년]] [[12월 27일]]
|폐지일 =
|종별 =
|등급 =
|승강장 = 2면 2선
|단말기 =
|노선1 = <span style="color: {{JR 노선색|T}};">■</span> [[이다 선]]
|영업거리1 = [[도요하시역|도요하시]] 기점 169.1km
|전역1 = [[오타기리역|오타기리]]
|전거리1 = 2.1
|후역1 = [[아카기 역 (나가노 현)|아카기]]
|후거리1 = 1.3
|추가 =
|비고 =
|주석 = 
}}
'''미야다역'''({{llang|ja|宮田駅}})은 [[일본]] [[나가노현]] [[가미이나군]] [[미야다촌]]에 위치한 [[도카이 여객철도]] [[이다 선]]의 [[철도역]]이다. [[상대식 승강장]] 2면 2선의 구조를 갖춘 지상역이다.

== 타는 곳 ==
{| border="1" cellspacing="0" cellpadding="3" frame="hsides" rules="rows"
|-
! 승강장
! 노선
! 방향
! 행선지
|-
! '''1'''
| <span style="color:{{JR 노선색|T}};">■</span> 이다 선
| 상행
| [[이다역|이다]] · [[덴류쿄역|덴류쿄]] 방면
|-
! '''2'''
| <span style="color:{{JR 노선색|T}};">■</span> 이다 선
| 하행
| [[다쓰노 역|다쓰노]] 방면
|}

== 역 주변 ==
* [[국도 제135호선]]

== 역사 ==
* [[1913년]] [[12월 27일]] : 이나 전차 궤도([[1919년]]에 이나 전기 철도로 개칭)이 이나마치 역(현. 이나시 역)부터 연신했던 때에, 그 종착역인 '''미야타역'''으로서 개업.
* [[1914년]] [[10월 31일]] : 이나 전차 궤도가 아카호 역(현. 고마가네 역)까지 연신해, 도중역으로 한다.
* [[1943년]] [[8월 1일]] : 이나 전기 철도선이 이다 선의 일부로서 국유화되어, [[일본국유철도]]의 역이 된다.
* [[1956년]] [[12월 15일]] : '''미야다역'''으로 읽기 변경.
* [[1971년]] [[12월 1일]] : 하물 · 화물의 취급을 폐지(여객역으로 한다).
* [[1983년]] [[2월 24일]] : 업무 위탁 개시.
* [[1985년]] [[4월 1일]] : 업무위탁 종료, 무인화.
* [[1987년]] 4월 1일 : 일본국유철도 분할 민영화에 의해, [[도카이 여객철도]]가 승계.

== 인접 역 ==
{{인접정차역/열기}}
{{인접정차역
|노선 = [[도카이 여객철도]] [[이다 선]]
|종별 = <span style="color:blue;">■</span> 쾌속 '미스즈'
|전역 = [[고마가네역|고마가네]]
|전방면 = [[이다역|이다]] 방면
|전색 = {{JR 노선색|T}}
|후역 = [[사완도역|사완도]]
|후방면 = [[마쓰모토역|마쓰모토]] 방면
|후색 = {{JR 노선색|T}}
}}
{{인접정차역
|종별 = <span style="color:gray;">■</span> 보통
|전역 = [[오타기리역|오타기리]]
|전방면 = [[도요하시역|도요하시]] 방면
|전색 = {{JR 노선색|T}}
|후역 = [[아카기 역 (나가노 현)|아카기]]
|후방면 = [[다쓰노 역|다쓰노]] 방면
|후색 = {{JR 노선색|T}}
}}
{{인접정차역/닫기}}
{{이다 선}}

[[분류:도카이 여객철도의 철도역]]
[[분류:나가노현의 철도역]]
[[분류:미야다촌]]
[[분류:1913년 개업한 철도역]]
[[분류:일본국유철도의 철도역]]
[[분류:1912년 개업한 철도역]]
[[분류:이다선]]
{{위키데이터 속성 추적}}
{{철도역 정보
|역명 = 아카기
|그림 = Akagi-station.jpg
|그림설명 = 아카기 역
|글자색 = 
|배경색 = {{JR 노선색|T}}
|소재지 = {{JPN}} [[나가노현]] [[이나시]]
|좌표 = {{좌표|35|46|39.18|N|137|56|37.42|E|format=dms|display=inline,title|type:railwaystation_region:JP}}
|관할 = [[도카이 여객철도]]
|개업일 = [[1913년]] [[12월 27일]]
|폐지일 =
|종별 =
|등급 =
|승강장 = 1면 1선
|단말기 =
|노선1 = <span style="color: {{JR 노선색|T}};">■</span> [[이다 선]]
|영업거리1 = [[도요하시역|도요하시]] 기점 170.4km
|전역1 = [[미야다역|미야다]]
|전거리1 = 1.3
|후역1 = [[사완도역|사완도]]
|후거리1 = 3.0
|추가 =
|비고 =
|주석 = 
}}
'''아카기역'''({{llang|ja|赤木駅}})은 [[일본]] [[나가노현]] [[이나시]]에 위치한 [[도카이 여객철도]] [[이다 선]]의 [[철도역]]이다. [[단선 승강장]] 1면 1선의 구조를 갖춘 지상역이다.

== 이용 현황 ==
{| class="wikitable" style="margin: 1em 0.2em; text-align: center; font-size: 85%;"
|- style="background: #ddd;"
!colspan="2"|승차 인원 추이
|-
!연도
!1일 평균
|-
|2005
|48
|-
|2006
|55
|-
|2007
|53
|-
|2008
|45
|-
|2009
|45
|-
|2010
|47
|-
|2011
|48
|-
|2012
|51
|}

== 역 주변 ==
* [[국도 제153호선]]

== 역사 ==
* [[1913년]] [[12월 27일]] : 이나 전차 궤도([[1919년]]에 이나 전기 철도로 개칭)의 미야타 - 이나마치(현.이나시)간 연신 때에 개업.
* [[1923년]] [[12월 6일]] : 북쪽으로 약 0.8&nbsp;km 이전.
* [[1934년]] [[12월]] 이후 : 남쪽으로 약 0.8km의 현 위치로 재이전. 현도(나가노 현도 221호 미야다사완도 선)의 교통량이 증가해, 건널목 사고가 많기 때문에, 현도와의 교차로로 이전했던 것으로 말하고 있다.
* [[1943년]] [[8월 1일]] : 이나 전기 철도선이 이다 선의 일부로서 국유화되어, [[일본국유철도]]의 역이 된다
** 당시는, [[도카이도 본선]] [[하마마쓰역|하마마쓰]] - [[나고야역|나고야]] 간의 각 역이나 이다 선의 각 역, [[주오 본선]] [[가미스와역|가미스와]] - [[시오지리역|시오지리]]간의 각 역, [[마쓰모토역]]을 발착하는 여객만 이용되었다.
* [[1954년]] [[12월 1일]] : [[도쿄도]] 구내의 각 역이나 [[나가노역]]을 발착하는 여객도 이용가능하다.
* [[1967년]] [[10월 1일]] : 여객 발착역의 제한을 폐지, 동시에 무인화.
* [[1987년]] [[4월 1일]] : 일본국유철도 분할 민영화에 의해, [[도카이 여객철도]]가 승계.
* [[1998년]] : 현재의 맞이방으로 개축.

== 인접 역 ==
{{인접정차역/열기}}
{{인접정차역
|노선 = [[도카이 여객철도]] [[이다 선]]
|종별 = <span style="color:{{JR 노선색|T}};">■</span> 이다 선
|전역 = [[미야다역|미야다]]
|전방면 = [[도요하시역|도요하시]] 방면
|전색 = {{JR 노선색|T}}
|후역 = [[사완도역|사완도]]
|후방면 = [[다쓰노 역|다쓰노]] 방면
|후색 = {{JR 노선색|T}}
}}
{{인접정차역/닫기}}
{{이다 선}}

[[분류:도카이 여객철도의 철도역]]
[[분류:나가노현의 철도역]]
[[분류:이나시]]
[[분류:1913년 개업한 철도역]]
[[분류:일본국유철도의 철도역]]
[[분류:이나시의 교통]]
[[분류:이다선]]