stanford-oval/wikipedia huggingface dataset:
멕시코 한인 이민 100주년 기념탑

| 멕시코 한인 이민 100주년 기념탑 Monumento conmemorativo del Centenario de la Inmigración Coreana en México |
| --- | --- |

장소: 멕시코 유카탄주 메리다
형태: 기념탑
높이: 850cm
완공일: 2005년(19년 전)(2005)
멕시코 한인 이민 100주년 기념탑(스페인어: Monumento conmemorativo del Centenario de la Inmigración Coreana en México)는 2005년에 멕시코 한인 이민 100주년을 기념하기 위해 멕시코 한인 이민 100주년 기념사업회와 재외동포재단이 세운 기념탑이다.
재외동포재단과 현지 한인 및 기업들로부터 모금을 통해 건설되었으며, 탑 아래의 기념비에는 1905년에 한인들이 멕시코로 이민을 왔다는 내용과 태극기와 멕시코의 국기가 새겨져 있다.
같이 보기

그리팅맨
한멕 우정병원
블리치 The 3rd Phantom

| 블리치 The 3rd Phantom  |
| --- | --- |
개발사: Tom Create
배급사: 세가
시리즈: Bleach DS 
플랫폼: 닌텐도 DS
출시일: 일본: 2008년 6월 26일 북미: 2009년 9월 15일 호주: 2010년 2월 11일 유럽: 2010년 2월 12일
장르: 전술 롤플레잉 게임
모드: 일인용
블리치 The 3rd Phantom(ブリーチ　ザ・サード・ファントム, Bleach: The 3rd Phantom)은 블리치의 게임으로, 닌텐도 DS용으로 개발되었다. 2008년 6월 26일 일본에서 공개되었다. 세가가 개발하였다.
화학적 순도

순도(純度, purity)는 물질의 화학적 순수함의 척도이다. 순도가 높은 물질은 다른 물질(불순물)의 함량이 작으며, 일반적으로 순도가 높을수록 제작 공정이 복잡해지므로 가격이 상승한다. 현재까지 알려진 최고순도의 산업 재료는 집적 회로의 재료로 사용되는 반도체 실리콘으로, 0.1 ppt(10조 분의 1) 미만의 불순물 함량을 기준으로 한다.
같이 보기

불순물
화요일로 시작하는 평년

다음은 화요일로 시작하는 평년의 달력이다. (예 : 1985년·1991년·2002년·2013년·2019년·2030년·2041년·2047년·2058년·2069년·2075년·2086년·2097년) 대한민국에서 이런 해는 어린이날에 대체공휴일이 적용되는 해이다.
| 시작 요일과 주일 문자에 따른 년도 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 평년: | 일요일 (A) | 월요일 (G) | 화요일 (F) | 수요일 (E) | 목요일 (D) | 금요일 (C) | 토요일 (B) |
| 윤년: | 일요일 (AG) | 월요일 (GF) | 화요일 (FE) | 수요일 (ED) | 목요일 (DC) | 금요일 (CB) | 토요일 (BA) |
Kent (음반)

《Kent》는 1995년 3월 15일에 발매된 켄트의 음반이다. 베르텔스만 뮤직 그룹에 의해 발매되었다.
곡 목록

전체 작사·작곡: Joakim Berg, except where noted
| # | 제목 | 작사·작곡 | 재생 시간 |
| --- | --- | --- | --- |
| 1. | Blåjeans (Blue Jeans) |   | 2:58 |
| 2. | Som vatten (Like Water) |   | 2:54 |
| 3. | Ingenting någonsin (Nothing Ever) |   | 4:02 |
| 4. | När det blåser på månen (When the Wind Blows on the Moon) | Berg, Martin Sköld | 4:19 |
| 5. | Jag vill inte vara rädd (I Don't Want to be Afraid) |   | 3:34 |
| 6. | Vad två öron klarar (What Two Ears Can Take) |   | 3:47 |
| 7. | Den osynlige mannen (The Invisible Man) |   | 2:44 |
| 8. | Pojken med hålet i handen (The Boy With the Hole in His Hand) | Berg, Sköld | 2:09 |
| 9. | Ingen kommer att tro dig (No One Will Believe You) |   | 3:31 |
| 10. | Stenbrott (Quarry) |   | 4:21 |
| 11. | Frank |   | 4:48 |
평가

| 전문가 평가> 평가 점수.출처 | 전문가 평가> 평가 점수.점수 |
| --- | --- |
AllMusic:
메이스 (향신료)

메이스
메이스(mace)는 육두구 열매의 선홍색 가종피(씨의 껍질)를 말린 것이다. 고기 요리나 과자 등을 만들 때 향신료로 쓴다.
사진 갤러리

육두구의 가종피
블리치 트레이딩 카드 게임

블리치 트레이딩 카드 게임은 스코어 엔터테인먼트에서 만든 트레이딩 카드 게임이다. 일본의 만화, 애니메이션 블리치를 원작으로 하고 있다. 이 게임은 두 명이서 진행된다.
마지막 아담

하느님 아버지와 성령의 존재에 새롭게 태어난 그리스도의 영광. 빈 세인트 앤 교회에서 다니엘 그란 작 천장 그림의 세부 사항. 아담과 하와는 체인에 묶여, 아래에 묘사되어 있다.
"마지막, 궁극의 또는 최후의 아담"은 신약 성경에서 예수에게 주어진 칭호이다. 또한 둘째 아담과 새 아담을 포함한 비슷한 칭호들도 예수를 가리킨다. 존 맥아더는 둘째 아담과 최후의 아담을 동일시했다.
같이 보기

로고스 (기독교)
파울로스
구약성경과 아담
연방 책임자
신약 속 예수의 이름과 칭호
출처

↑  Watson E. Mills, Roger Aubrey Bullard, eds, Mercer dictionary of the Bible. 1998, p. 10. ISBN 0-86554-373-9
↑  James D. G. Dunn, The Theology of Paul the Apostle. 2006, p. 241  . ISBN 0802844235
↑  John MacArthur, Matthew 1–7, Volume 1. 1985, p. 132. ISBN 0802407552
참고도서

Borgen, Peder. Early Christianity and Hellenistic Judaism. Edinburgh: T & T Clark Publishing. 1996.
Dunn, J. D. G., Christology in the Making, London: SCM Press. 1989.
Essays in Greco-Roman and Related Talmudic Literature. ed. by Henry A. Fischel. New York: KTAV Publishing House. 1977.
Ferguson, Everett. Backgrounds in Early Christianity. Grand Rapids: Eerdmans Publishing. 1993.
Freund, Richard A. Secrets of the Cave of Letters. Amherst, New York: Humanity Books. 2004.
Greene, Colin J. D. Christology in Cultural Perspective: Marking Out the Horizons. Grand Rapids: InterVarsity Press. Eerdmans Publishing. 2003.
Holt, Bradley P. Thirsty for God: A Brief History of Christian Spirituality. Minneapolis: Fortress Press. 2005.
Letham, Robert. The Work of Christ. Downers Grove: InterVarsity Press. 1993.
Macleod, Donald. The Person of Christ. Downers Grove: InterVarsity Press. 1998.
McGrath, Alister. Historical Theology: An Introduction to the History of Christian Thought. Oxford: Blackwell Publishing. 1998.
Moore, Edwin. "Neoplatonism." in The Internet Encyclopedia of Philosophy. ed. by James Fieser and Bradley Dowden. 2006. Available at iep.edu[깨진 링크(과거 내용 찾기)]
Neusner, Jacob. From Politics to Piety: The Emergence of Pharisaic Judaism. Providence, R. I.: Brown University. 1973.
Norris, Richard A. Jr. The Christological Controversy. Philadelphia: Fortress Press. 1980.
O'Collins, Gerald. Christology: A Biblical, Historical, and Systematic Study of Jesus. Oxford:Oxford University Press. 2009.
Pelikan, Jaroslav. Development of Christian Doctrine: Some Historical Prolegomena. London: Yale University Press. 1969.
_______ The Emergence of the Catholic Tradition (100–600). Chicago: University of Chicago Press. 1971.
Robertson, J. A. T. Redating the New Testament. 2nd ed. Philadelphia: Westminster Press. 1985.
Schweitzer, Albert. Quest of the Historical Jesus: A Critical Study of the Progress from Reimarus to Wrede. trans. by W. Montgomery. London: A & C Black. 1931.
Tyson, John R. Invitation to Christian Spirituality: An Ecumenical Anthology. New York: Oxford University Press. 1999.
Wilson, R. Mcl. Gnosis and the New Testament. Philadelphia: Fortress Press. 1968.
Witherington, Ben III. The Jesus Quest: The Third Search for the Jew of Nazareth. Downers Grove: InterVarsity Press. 1995.
_______ "The Gospel of John." in The Dictionary of Jesus and the Gospels. ed. by Joel Greene, Scot McKnight and I. Howard
| v t e신약 속 예수의 칭호 |
| --- | --- | --- |
|  생명의 빵  그리스도  유대인의 임금  하느님의 어린 양  마지막/둘째 아담  세상의 빛  로고스 (말씀)  주 (키리오스)  랍보니/랍비  하느님의 아들  사람의 아들  |  생명의 빵  그리스도  유대인의 임금  하느님의 어린 양  마지막/둘째 아담  세상의 빛  로고스 (말씀)  주 (키리오스)  랍보니/랍비  하느님의 아들  사람의 아들  |  |
기독교
홋타 슈헤이

홋타 슈헤이(1989년 5월 12일 ~ )는 일본의 전 축구 선수이다.
화제

화제(和帝)는 중국 황제의 시호의 하나로, 다음 사람 등을 가리킨다.
후한 화제 - 후한의 4대 황제
제 화제(소보융) - 남조 제(齊)의 마지막 황제
같이 보기

제목에 "화제" 항목을 포함한 모든 문서
무경쟁적 저해

비경쟁적 저해 (non-competitive inhibition) 또는 비경쟁적 저해는 기질과 동시에 결합부위에 결합할 수 있지만, 활성부위가 아닌 알로스테릭 부위에 결합한다. 효소저해제복합체와 효소저해제기질복합체들은 효소적으로 불활성화이다. 왜냐하면 무경쟁적 저해제는 경쟁적 저해제와는 달리 높은 농도의 기질에 의해서 유도되지 않기 때문이다. 겉보기 Vmax는 바뀐다. 그러나 기질은 여전히 효소에 붙을 수 있기 때문에 Km은 같게 유지된다.
같이 보기

효소
효소 저해제 (enzyme inhibitor)
경쟁적 저해 (competitive inhibition)
반경쟁적 저해 (uncompetitive inhibition)
다른 자리 입체성 조절 (allosteric regulation)
활성 자리 (active site)
결합 자리 (binding site)
머큐리-레드스톤 4호

| --- | --- |
"리버티벨 7호"에 탑승한 거스 그리섬

임무 유형: 시험 비행
관리 기관: NASA
임무 기간: 15분, 37초
사거리: 262.50 해리 (486.15 km)
고도: 102.76 해리 (190.31 km)
 

우주선 정보
우주선: 머큐리 계획 No.11
제조 기관: 맥도널 에어크래프트
발사 중량: 2,835 파운드 (1,286 kg)
 

승무원
승무원 수: 1
승무원: 버질 I. 그리섬
콜사인: 리버티벨 7
 

임무 시작
발사일: July 21, 1961, 12:20:36 (1961-07-21UTC12:20:36Z) UTC
로켓: 레드스톤 MRLV MR-8
발사 장소: 케이프커내버럴 공군 기지 LC-5
 

임무 종료
회수: USS 랜돌프
착륙일: July 21, 1961, 12:36:13 (1961-07-21UTC12:36:14Z) UTC
착륙 장소: 북대서양 북위 27° 32′ 9″ 서경 75° 45′ 57″﻿ / ﻿북위 27.53583°  서경 75.76583° ﻿ / 27.53583; -75.76583
 
 캡슐 쪽에 그려진 우주선 이름(과 "흠집")   버질 이반 "거스" 그리섬머큐리 계획 유인 비행← 머큐리-레드스톤 3머큐리-아틀라스 6호 → 
머큐리-레드스톤 4호(영어: Mercury-Redstone 4), 또는 리버티벨 7호(Liberty Bell 7)는 미국이 머큐리 계획으로 발사한 2번째 유인 우주선이다. 1961년 7월 21일에 케이프커내버럴 공군 기지에서 발사되었다.
승무원

버질 그리섬
승무원 > 백업 승무원

존 글렌
개요

머큐리-레드스톤 4호는 1961년 5월 5일에 발사된 머큐리-레드스톤 3호에 계속되는 유인 우주선이다. 승무원으로는 버질 그리섬이 탑승했다.
당초 발사 예정일은 1961년 7월 18일이었지만, 기상 상황이 좋지 않아 연기되었다. 1961년 7월 21일에 발사되어 최고 고도 약 190 km, 비행 시간 약 15분의 탄도 비행에 성공했다. 리버티벨 7호는 대서양 해상에 착수했다. 그러나, 어떤 문제에 의해 해치가 열려(그리섬은 해치가 제멋대로 열렸다고 주장했다) 우주선은 침수되었다. 그리섬은 헬리콥터에 의해서 구조되었다.
우주선은 디스커버리 채널의 비용 지원으로 심도 4,500 m 해저에서 1999년 7월 20일에 인양되었다.
임무 진행 과정

| T+ 경과 시간 | 사건 | 설명 |
| --- | --- | --- |
| T+00:00:00 | 발사 |  |
| T+00:00:16 | 피치 회전 개시 | 로켓의 피치 회전 개시 매초 2도의 속도로 상승 각도를 90도에서 45도로 변경 |
| T+00:00:40 | 피치 회전 종료 | 상승 각도 45도 |
| T+00:02:20 | BECO | 엔진 정지. 최대 속도 2.3 km/s |
| T+00:02:22 | 비상 탈출 로켓 분리 | 불필요해진 비상 탈출 로켓 분리 |
| T+00:02:24 | 우주선 분리 | 분리용 로켓 분사, 우주선 분리 |
| T+00:02:35 | 우주선 회전 | 우주선을 회전시켜 내열면을 전방으로 함 |
| T+00:05:00 | 원지점 | 원지점 도달, 고도 185 km |
| T+00:05:15 | 역분사 | 역분사 시행 |
| T+00:06:15 | 역분사 장치 분리 | 역분사 장치를 분리해 내열면을 표면으로 함 |
| T+00:06:20 | 재돌입 시작 |  |

| T+00:09:38 | 감속용 낙하산 | 감속용 낙하산 전개 |
| T+ 00:10:15 | 주 낙하산 | 주 낙하산 전개 |
| T+ 00:10:20 | 착수대 | 착수대 전개 |
| T+ 00:10:20 | 연료 투기 | 잔존 연료 투기 |
| T+ 00:15:30 | 착수 |  |
| v t e머큐리 계획 - NASA |
| --- | --- | --- |
| 우주선 |  프리덤 7호  리버티벨 7호  프렌드쉽 7호  오로라 7호  시그마 7호  페이스 7호  |  |
| 로켓 |  레드스톤  아틀라스  |  |
| 참여 우주비행사(머큐리 세븐) |  앨런 셰퍼드  거스 그리섬  존 글렌  스콧 카펜터  윌리 시라  고든 쿠퍼  디크 슬레이턴 (비행하지 않음)  |  |
 제미니 계획  아폴로 계획  스카이랩 계획  우주왕복선 계획 
↑  “Results Of The Second U.S. Manned Suborbital Spaceflight July 21, 1961 (NASA)”. NASA. 1961.
체스의 점수제

체스에서 점수제란 각 기물에 점수를 매겨 시간을 제한하고 제한된 시간이 끝났을 때에 잡은 기물들의 점수의 합으로 승리를 계산하는 것이다.
하지만 이 규칙은 선택적으로 적용하는 것이기 때문에 필연적이지는 않다.
| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
| 기물 | 점수 | 기물 | 점수 |
| 폰 | 1 | 룩 | 5 |
| 나이트 | 3 | 비숍 | 3 |
| 여왕 | 9 | 왕 | 잡으면 승리(점수 없음) |
HD 93250

| 0 | 1 | 2 |
| --- | --- | --- |
| HD 93250 | HD 93250 |  |
|  용골자리 성운. HD 93250은 사진 중앙부에서 약간 위쪽에 있다. |  용골자리 성운. HD 93250은 사진 중앙부에서 약간 위쪽에 있다. |  |
명칭
| 스미소니언 천문대 항성목록  | SAO 238423 |  |
| 소천성표  | CD-58°3537, CPD−58°2661 |  |
| 히파르코스 목록  | HIP 52558 |  |
| 다른 이름  | 1E 104248-5918.0, XMMU J104444.8-593354, ALS 1859, 2E 2317, GC 14791, CGO 246, GCRV 25947, PPM 339400, Trumpler 16 180, Trumpler 14 101, TYC 8626-2075-1, CPC 20°3140, GOS G287.51-00.54 01, GSC 08626-02075 |  |
관측 정보  (역기점 J2000)
| 별자리  | 용골자리 |  |
| 적경(α)  | 10h 44m 45.026s |  |
| 적위(δ)  | -59° 33′ 54.68″ |  |
| 겉보기등급(m)  | 7.41 |  |
| 절대등급(M)  | −6.14 |  |
위치천문학
| 시선속도  | 11.6 km/s |  |
| 적경 고유운동  | −7.27 mas/yr |  |
| 적위 고유운동  | +2.45 mas/yr |  |
| 연주시차  | 0.53 ± 0.42 mas |  |
| 거리  | 7,665 광년(2,350 파섹) |  |
성질
| 광도  | 1,000,000 L☉ |  |
| 나이  | 130만 년 |  |
| 분광형  | O4 IV(fc) |  |
| U-B 색지수  | −0.85 |  |
| B-V 색지수  | +0.17 |  |
추가 사항
| 질량  | 83.3 (65) M☉ |  |
| 반지름  | 15.9 R☉ |  |
| 표면온도  | 46,000 K |  |
| 표면 중력 (log g)  | 3.96 cgs |  |
| 자전 속도  | 130 km/s |  |
| 항성 목록 겉보기등급순 · 절대등급순 거리순 · 질량순 · 반지름순 | 항성 목록 겉보기등급순 · 절대등급순 거리순 · 질량순 · 반지름순 |  |
HD 93250은 광도가 매우 높고 뜨거운 쌍성으로 용골자리의 용골자리 성운 내에 있다.
위치

HD 93250은 용골자리 성운 영역 내에서 매우 밝은 별들 중 하나로 용골자리 에타로부터 7.5 분각밖에 떨어져 있지 않다. HD 93250은 성긴 산개성단 트럼플러 16의 구성원으로 간주되나, 더 작은 성단 트럼플러 14에 보다 가까이 있는 것으로 보인다.
HD 93250은 HD 93268, HDE 303311 등 좀 더 어두운 별 일곱 개와 같은 영역에 있다. 이 밝은 별들이 별개의 성단인 콜린더 232의 중심부 항성들이라는 주장도 제기되어 왔으나 해당 영역에 이들보다 더 어두운 별들이 밀집되어 있지 않기 때문에 콜린더 232는 실존하는 성단이 아니며 HD 93250은 기존 성단의 외곽에 위치하는 항성일 가능성이 더 높아 보인다.
트럼플러 16의 구성원이라는 점에서 HD 93250의 나이와 지구로부터 이 별까지의 거릿값은 일정범위 내로 제약을 받는다.
스펙트럼

HD 93250은 쌍성으로 알려져 있지만 구성원 둘의 개별적 스펙트럼은 분리되어 관측된 바 없다.(다만 둘의 스펙트럼은 서로 매우 비슷할 것으로 보인다.) HD 93250의 분광형은 O5, O6/7, O4, O3 등 다양하게 제시되어 왔으며 광도분류상으로도 주계열 혹은 거성으로 분류되기도 한다. 은하계 O형 항성 분광계 조사(Galactic O-Star Spectroscopic Survey)는 이 별을 새로 도입한 'O4형 준거성'의 표준별로 사용하고 있다.
쌍성계

HD 93250은 용골자리 성운에서 가장 밝은 엑스선원이다. 서로 가까이 있는, 뜨겁고 광도 높은 쌍성계 구성원들이 뿜는 항성풍이 서로 충돌하여 이 엑스선이 발생하는 것이라는 학설이 오래 전부터 제기되어 왔으나 이 가설을 입증할 분명한 시선속도 변화를 아직 잡아내지 못했다.
2010년 VLT의 AMBER 간섭계는 HD 93250의 구성원들을 둘로 구별하여 관측하는 데 성공했다. 상대운동 혹은 시선속도상의 변화가 관측되지 않아 두 항성의 궤도 및 특성은 아직 불확실하다. 두 별 사이 거리는 1.5 밀리초각으로 대략 3.5 천문단위에 해당된다. 구성원 둘은 측정 가능한 색채상 차이가 나타나지 않기 때문에 둘 다 뜨거운 O형 항성에 상대별과의 질량차는 자기 질량의 10%를 넘지 않을 것 같다.
특성

지금까지 HD 93250의 물리적 특성은 이 별이 단독성이라는 가정하에서만 계산된 값들로 표면 온도는 50,000 켈빈, 광도는 태양의 100만 배 정도이다. HD 93250의 질량을 계산한 결과 분광 조사 모형과 항성진화 모형 사이에 불일치가 발생했는데 이 불일치는 쌍성계의 구성원 둘을 분석하여 해결할 수 있을 것이다.
같이 보기

질량이 큰 항성 목록
HD 93250이 속해 있는 용골자리 성운.
부른다

| 서인국의 앨범 정보 |
| --- | --- | --- |
| 《부른다》 | 2009.10.27 | EP |
| 《Just Beginning》 | 2010.05.06 | EP |
| 《애기야》 | 2010.08.10 | 스페셜앨범 |
| BROKEN | 2011.03.31 | 디지털싱글 |
| Shake It Up (서인국의 노래) | 2011.08.10 | 디지털싱글 |
| 《Perfect Fit》 | 2012.04.12 | EP |
| 《웃다 울다》 | 2013.04.11 | 싱글 |

부른다는 2009년 10월 27일 발매된 서인국 첫 번째 미니 앨범이다.
특징

Mnet 슈퍼스타K 우승자에게 주어지는 혜택 중 하나로 발매된 음반이다.
서인국은  슈퍼스타K 결승 무대에서 〈부른다〉를 불렀다.
〈부른다〉는 발매되자마자 음원사이트 1위를 휩쓸었다.
서인국은 〈부른다〉로 2009년 싸이월드 10월 시상식과 연간시상식에서 남자신인상을 받았다.
트랙 리스트

| # | 제목 | 작사 | 작곡 | 편곡 | 재생 시간 |
| --- | --- | --- | --- | --- | --- |
| 1. | Young Love | 서인국 | PDOGG | PDOGG |   |
| 2. | 부른다 | 방시혁, 백찬 | 방시혁 | PDOGG |   |
| 3. | 아름다운 이별 | 김창환 | 김형석 | MISS KAY |   |
| 4. | 달려와 (with BIGTONE) | E-TRIBE | E-TRIBE | E-TRIBE |   |
메타논리학

메타논리학은 논리학의 메타이론에 대한 연구이다. 논리학은 논리 체계로 타당하고 건전한 논증을 구성하는 방법을 연구하는 반면, 메타논리학은 논리 체계의 속성을 연구한다. 논리는 논리 시스템을 사용하여 도출할 수 있는 진리에 관한 것이다. 메타논리학은 진리를 표현하는 데 사용되는 언어와 시스템에 대해 파생될 수 있는 진리에 관한 것이다.
메타논리학 연구의 기본 대상은 형식 언어, 형식 시스템 및 그 해석이다. 형식 체계의 해석에 대한 연구는 모형 이론으로 알려진 수리 논리학의 한 분야이며, 형식 체계에 대한 연구는 증명 이론으로 알려진 한 분야이다.
개요 > 형식 언어

형식 언어는 조직화된 기호 집합으로, 기호의 모양과 장소에 따라 정확하게 정의된다. 따라서 그러한 언어는 표현의 의미를 참조 하지 않고 정의할 수 있다. 1차 논리는 일부 형식 언어로 표현된다. 형식 문법은 형식 언어에서 어떤 기호와 기호 집합이 공식인지 결정한다.
형식 언어는 고정 알파벳 α에서 문자열(유한 시퀀스)의 집합 A 로 형식적으로 정의할 수 있다. 카르납을 비롯한 일부 저자는 언어를 순서쌍 <α, A >로 정의한다. 그는 또한 α 의 각 요소가 A 의 적어도 하나의 문자열에 나타나야 한다고 요구한다.
개요 > 형성 규칙

형성 규칙은 형식 언어의 잘 구성된 식에 대한 정확한 설명이다. 그들은 잘 형성된 공식을 구성하는 공식 언어의 알파벳에 대한 문자열 집합과 동의어이다. 그러나 의미론은 설명하지 않는다.
개요 > 형식 체계

형식 체계는 형식 언어와 형식 체계로 구성된다. 형식 체계는 일련의 추론 규칙 또는 공리 세트로 구성되거나 둘 다 가질 수 있다. 형식 시스템은 하나 이상의 다른 표현식에서 하나의 표현식을 증명하는 데 사용된다.
개요 > 형식적 증명

형식 증명은 형식 언어의 잘 구성된 형식의 시퀀스이며, 마지막 형식은 형식 시스템의 정리이다. 정리는 증명 시스템에서 선행하는 모든 잘 형성된 공식의 귀결이다. 잘 형성된 공식이 증명의 일부로 인정되려면 증명 순서에서 이전의 잘 형성된 공식에 일부 형식 시스템의 연역 장치 규칙을 적용한 결과여야 한다.
같이 보기

메타수학
리블렛

리블렛(Riblets)는 주 유동방향을 따라 홈이 파진 표면구조로 리블렛 현상을 유도한다. 리블렛 구조는 상어 비늘 표면의 작은 돌기에서 발견되어 현재 MRF(Micro Riblet Film)와 같은 형태로 수영복이나 비행기 표면등에 사용되고 있다.
리블렛 현상

리블렛이 표면 주변의 유동구조를 변화시킴으로써 물체에 작용하는 항력을 줄여주는 현상
리블렛의 항력감소 효과는 다음의 수식으로 나타낼 수 있다.
h^{+}={\sqrt {C_{f}/2}}(hU_{0}/v)
s^{+}={\sqrt {C_{f}/2}}(sU_{0}/v)
여기서  h는 리블렛의 높이,  s는 리블렛의 간격,  C_{f}는 표면마찰계수,  U_{0}는 자유흐름속도,  v는 동점성계수를 나타내며,   h^{+}와  s^{+}가 각각 30과 25보다 작을 때 리블렛의 항력 감소효과가 나타난다.
연구

리블렛에 대한 초기 연구는 1983년  미국항공우주국(NASA) 랭글리연구소의 월시(Walsh)에 의해 시작되었고 바쳐(Bacher)와 스미스(Smith)가 1986년 유동가시화실험을 통해 리블렛 홈 내부의 유동에 대해 연구했다.
책점

책점(Bibliomancy)은 점복술에 책을 사용하는 것을 말한다. 성스러운 책을 써서, 그중에서도 특정 단어나 구절을 통해, 치료를 하거나 부정한 존재를 제거하거나, 세계의 여러 종교에서 널리 쓰이는 것처럼 미래를 점치거나 하는 것을 말한다.
용어

옥스포드 영어사전에 따르면, Bibliomancy라는 단어는 1753년 Chambers' Cyclopædia에 처음 등재되었다. 가끔 문장점(Stichomancy)과 동의어로서 쓰이기도 하는데, 이는 특정한 구절을 무작위로 뽑아 치는 점을 말한다.
역사

슐한 아루흐(Shulchan Aruch)에 따르면 인쇄된 형태의 토라(Torah)인 추마시(Chumash)를 펴서 답을 구하거나, 아이에게 성서에서 가장 먼저 떠오르는 첫 번째 부분을 묻는 것은 산양을 이용해 답을 점치는 것과 같은 죄(sin of necromancy)가 아니다.
방법

책은 진리를 담지하고 있다고 믿는 책 중에 고른다.
책등에서 균형을 잡은 뒤 펼쳐진 채로 떨어지게 한다.
눈을 감은 채 아무 구절이나 고른다.
같이 보기

바이블 코드
소르테스 호메리카이
시점(rhapsodomancy)
천주교 자이 교구

| 현황 |
| --- | --- |
교구 형태 : 교구
종파 : 로마 가톨릭교회
 자이 교구의 관할 구역
위치 국가 : 중화민국
관구 : 타이베이 관구
주교좌 : 성 요한 대성당
관할면적 : 3,244 km2
소속신자  : 17,820 명
소속성당  : 27 개
소속공소 : 19 개
소속사제  : 50 명
웹사이트 : http://www.chiayicath.org.tw/
교구청
교구장  : 공석
천주교 자이 교구(중국어: 天主教嘉義教區, 라틴어: Dioecesis Kiayiensis)는 타이완의 로마 가톨릭교회 교구이다.
원래 1952년 자이 지목구로 설정되었다가 1962년에 교구로 승격되었다. 자이 교구는 현재 천주교 타이베이 대교구 관하 교구이다.
역대 교구장

구옌웬(마태오) (1970년 5월 21일 - 1974년 12월 14일)
티캉(요셉) (1975년 6월 21일 - 1985년 5월 3일)
린티엔주(요셉) (1985년 11월 25일 - 1994년 5월 4일)
류젠종(베드로) (1994년 7월 1일 - 2004년 7월 5일)
헝샨추안(요한) (2006년 1월 16일 - 2007년 11월 9일)
정안주(토마스) (2008년 1월 24일 - 2020,05,20 )
공석
같이 보기

대만의 로마 가톨릭교회
보이스 코리아 (시즌 1)

| --- | --- |
보이스 코리아  The Voice of Korea
장르 : 예능
방송 국가 :  대한민국
방송 채널 : 엠넷
방송 기간 : 2012년 2월 10일 ~ 2012년 5월 11일
방송 시간 : 금요일 오후 11시
방송 분량 : 1시간 30분
방송 횟수 : 14부작
추가 채널 : KMTV, XTM, 온스타일, 스토리온 (생방송은 엠넷, KMTV에서만 방영됨)
원작 : 더 보이스
연출 : 오광석
출연자 : 코치 신승훈 백지영 길 강타 진행자 김진표
HD 방송 여부 : 고선명 텔레비전 제작ㆍ방송
후편 : 보이스 코리아 2
외부 링크  : 공식 홈페이지
《보이스 코리아》(The Voice of Korea)는 네덜란드에서 시작된 포맷의 프로그램으로서, 대한민국의 보컬 오디션 프로그램이다. 미국으로부터 판권을 구매해 제작했다. 대한민국의 케이블 방송국 엠넷, KMTV에서 방영되었다. 사회자는 김진표이고 코치는 신승훈, 길, 강타, 백지영이다. 신승훈 코치 팀의 손승연이 최종 우승을 차지하였다.
진행 방법

참가자들은 온라인 응모를 하고, 합격자는 프리 오디션에 참가하게 된다. 프리 오디션에서는 심사를 통해 블라인드 오디션에 참가할 150명을 선발한다. 블라인드 오디션에서는 4명의 코치가 오직 노래만을 듣고 자신의 팀원 12명을 선발하게 된다. 한 명의 코치에게 선택받은 참가자는 해당 코치의 팀원이 되고, 둘 이상의 코치에게 선택받은 참가자는 스스로 팀 선택의 기회를 갖게 된다. 선발된 각 팀 12명은 코치의 선택에 따라 각각 2명씩 6개 조로 나뉘어 배틀 라운드 무대에 서게 된다. 배틀 라운드에서는 라이벌 듀엣 미션을 통해 승리한 각 팀 6명씩이 라이브쇼에 진출하게 된다. 라이브쇼에서는 사전 온라인투표와 대국민 문자투표, 그리고 코치의 선택을 통해 다음 라운드 진출자와 탈락자를 가리게 된다. 각 팀별로 최종 선택된 1명씩이 파이널 무대에 서게 되고, 이 중에서 우승자를 가리게 된다.
우승 혜택

총 상금 3억원 (음반제작비 2억원 + 현금 1억원)
닛산 큐브 자동차 1대
코치와 함께 떠나는 세계 뮤직 투어
참가자

| 0 | 1 | 2 | 3 | 4 |
| --- | --- | --- | --- | --- |

| 순위 | 이름 | 예명 | 소속사 | 소속그룹 |
| 1위 | 손승연 |  | 투애니포스트릿 | 前WMA |
| Top4(2위) | 유성은 |  | 뮤직웍스 |  |
| Top4(3위) | 우혜미 | MIWOO | 前양반스네이션 |  |
| Top4(3위) | 지세희 |  | 아츠로 |  |
| Top8(5위) | 강미진 | 요아리 | 내가네트워크 | 前스프링쿨러 |
| Top8(6위) | 하예나 |  | 고마워뮤직 |  |
| Top8(7위) | 이소정 | 소정 | JTBC스튜디오, 前폴라리스 | 레이디스코드 |
| Top8(8위) | 정나현 | 나현 |  |  |
| Top16 | 장은아 | 前자스, 前제이스민 | CI, 前플럭서스, 前골드에이트 | W & JAS |
| Top16 | 최준영 |  | 원더뮤직코리아, 前지혜서프로젝트 |  |
| Top16 | 박태영 |  |  |  |
| Top16 | 허공 |  | 공감 |  |
| Top16 | 정승원 |  | 허브 |  |
| Top16 | 배근석 | 벤티 | 2%, 前Hee |  |
| Top16 | 홍혁수 |  | 네버랜드 | 지어반 |
| Top16 | 장재호 |  | 프로비트 |  |
| Top24 | 신초이 |  | 前밤별뮤직 |  |
| Top24 | 인지윤 | 지윤 | 핑거스탭 | UMM TALK |
| Top24 | 남일 |  |  |  |
| Top24 | 신지현 |  | 前크레이지사운드 | 前벨로체 |
| Top24 | 이은아 |  | 623Project, 前크리노베이션링크 |  |
| Top24 | 장정우 | 前정우, 前JULY | 쏘스, 前H2, 前피치파이프 | 미오, 소울리스트 |
| Top24 | 샘 구 | 쌤 | 샤이타운, 前지앤지 |  |
| Top24 | 김현민 |  | 소리잔, 前드라뮤지끄 | K4 |
| Top48 | 오경석 |  | 루디 | 번아웃하우스 |
| Top48 | 황예린 |  | 호기심 | 허핑식 |
| Top48 | 임진호 | 진호 |  | 바람에 오르다 |
| Top48 | 정소연 |  |  |  |
| Top48 | 이한올 | 한올 | ALLABOUT |  |
| Top48 | 오슬기 | 53 | 엽집 |  |
| Top48 | 이찬미 |  |  |  |
| Top48 | 허규 |  | 팝, 前어퍼 | 브릭, 세븐그램스, 前피노키오 |
| Top48 | 노영호 |  | 스타샵 | 아이 스토리 |
| Top48 | 권순재 |  |  |  |
| Top48 | 조지은 | 지은 | 마루 | 1PS, 그루블라썸 |
| Top48 | 김채린 | Roin, Caroline | 크레이지 | 벨로체 |
| Top48 | 김지훈 | POTE, 대디제이, 前지훈 | 그루블린, 前안녕 |  |
| Top48 | 나들이 |  |  | 락한밴드, 파우 |
| Top48 | 김민정 |  |  |  |
| Top48 | 서혁신 |  | 비밀의 정원, 오앤엘, 前브레이브 | 서혁신 밴드, 前하모닉스 |
| Top48 | 김지훈 |  |  |  |
| Top48 | 이웅희 | 소울리스트 | 엘스튜디오 | 前어썸블라 |
| Top48 | 함성훈 |  | 리틀보이 |  |
| Top48 | 이윤경 |  |  |  |
| Top48 | 강태우 |  | DuDu |  |
| Top48 | 선지혜 |  |  | 다카포, 前맛있는 Jazz concert, 前코리안 필하모닉 팝스오케스트라 |
| Top48 | 임병석 |  |  |  |
| Top48 | 편선희 |  | 포이에테스, 前771 | 前BGM |
코치별 팀

| 비고 | 신승훈 | 백지영 | 강타 | 길 |
| --- | --- | --- | --- | --- |
| 결승전 진출자 | 손승연 | 유성은 | 지세희 | 우혜미 |
| 준결승에서 탈락 | 소정 | 요아리 | 정나현 | 하예나 |
| 16강전에서 탈락 | 장재호 | 허공 | 홍혁수 | 장은아 |
| 16강전에서 탈락 | 정승원 | 박태영 | 배근석 | 최준영 |
| 24강전에서 탈락 | 샘 구 | 신지현 | 김현민 | 신초이 |
| 24강전에서 탈락 | 이은아 | 인지윤 | 장정우 | 남일 |
| 배틀라운드에서 탈락 | 황예린 | 임진호 | 오경석 | 정소연 |
| 배틀라운드에서 탈락 | 나들이 | 김민정 | 이한올 | 허규 |
| 배틀라운드에서 탈락 | 오슬기 | 이찬미 | 김지훈 | 이윤경 |
| 배틀라운드에서 탈락 | 이웅희 | 임병석 | 강태우 | 편선희 |
| 배틀라운드에서 탈락 | 권순재 | 조지은 | 김지훈 | 김채린 |
| 배틀라운드에서 탈락 | 선지혜 | 함성훈 | 노영호 | 서혁신 |
2012년 시청률

AGB닐슨 미디어 리서치에서 공개한 표를 바탕으로 작성한 시청률이다. 빨간색 글씨는 최고 시청률, 파란색 글씨는 최저 시청률을 나타낸다.
에피소드

| 0 | 1 | 2 | 3 | 4 |
| --- | --- | --- | --- | --- |
| 비고 |  "I WANT YOU" 버튼을 누른 코치 |   모든 코치가 "I WANT YOU" 버튼을 누르지 않음 |   자동적으로 코치가 정해짐 |   참가자가 코치를 결정함 |
에피소드 > 1화 : 블라인드 오디션

1화는 2012년 2월 10일 방송되었다.
특별공연
| 공연 순서 | 공연자 | 공연곡 |
| --- | --- | --- |
| 1 | 보이스 코리아 코치진  신승훈, 백지영, 길, 강타 | "Magic" |
| 순서 | 참가자 | 경연곡 | 코치 또는 참가자의 선택> 강타 | 코치 또는 참가자의 선택> 신승훈 | 코치 또는 참가자의 선택> 백지영 | 코치 또는 참가자의 선택> 길 |
| --- | --- | --- | --- | --- | --- | --- |
|  1 | 장재호 27세 부산 | "이별택시" | — |  | — | — |
|  2 | 샘 구 26세 시카고 | "사랑했잖아" | — |  |  | — |
|  3 | 김지은 32세 서울 | "네버엔딩스토리" | — | — | — | — |
|  4 | 정승원 25세 서울 | "이 밤이 지나면" |  |  |  | — |
|  5 | 이헌승 39세 경상북도 | "그날들" | — | — | — | — |
|  6 | 하예나 25세 서울 | "청혼" |  |  | — |  |
|  7 | 지세희 25세 경기도 | "이유 같지 않은 이유" |  | — | — | — |
|  8 | 우혜미 25세 경기도 | "나의 노래" | — | — |  |  |
|  9 | 허유진 25세 서울 | "난 남자가 없는데" | — | — | — | — |
|  10 | 신지현 21세 토론토 | "서른 즈음에" | — | — |  |  |
|  11 | 배근석 20세 서울 | "신데렐라" |  |  |  |  |
에피소드 > 2화 : 블라인드 오디션

2화는 2012년 2월 17일 방송되었다.
| 순서 | 참가자 | 경연곡 | 코치 또는 참가자의 선택> 강타 | 코치 또는 참가자의 선택> 신승훈 | 코치 또는 참가자의 선택> 백지영 | 코치 또는 참가자의 선택> 길 |
| --- | --- | --- | --- | --- | --- | --- |
|  1 | 이웅희 28세 서울 | "어른아이" |  |  | — |  |
|  2 | 강미진 26세 서울 | "미아" |  |  |  |  |
|  3 | 이인우 31세 서울 | "살다가 한번쯤" | — | — | — | — |
|  4 | 홍혁수 21세 서울 | "With me" |  |  |  | — |
|  5 | 장은아 30세 서울 | "별 짓 다해봤는데" |  |  | — |  |
|  6 | 이신성 29세 서울 | "이 밤이 지나면" | — | — | — | — |
|  7 | 이찬미 28세 경기도 | "꿈에" | — | — |  | — |
|  8 | 강보리 28세 서울 | "사랑 그 놈" | — | — | — | — |
|  9 | 유성은 24세 서울 | "10 Minutes" |  |  |  |  |
|  10 | 나들이 24세 서울 | "님은 먼 곳에" |  |  | — |  |
|  11 | 허공 27세 서울 | "여전히 아름다운지" | — |  |  | — |
에피소드 > 3화 : 블라인드 오디션

3화는 2012년 2월 24일 방송되었다.
| 순서 | 참가자 | 경연곡 | 코치 또는 참가자의 선택> 강타 | 코치 또는 참가자의 선택> 신승훈 | 코치 또는 참가자의 선택> 백지영 | 코치 또는 참가자의 선택> 길 |
| --- | --- | --- | --- | --- | --- | --- |
|  1 | 장정우 29세 서울 | "그때로 돌아가는 게" |  | — | — | — |
|  2 | 손승연 20세 서울 | "Go away" |  |  | — | — |
|  3 | 권순재 27세 서울 | "미소 속에 비친 그대" | — |  | — | — |
|  4 | 전은철 25세 서울 | "후회한다" | — | — | — | — |
|  5 | 이소정 20세 강원도 | "내가 웃는 게 아니야" |  |  |  |  |
|  6 | 서혁신 37세 서울 | "거울" |  | — | — |  |
|  7 | 임진호 29세 서울 | "끝사랑" | — | — |  | — |
|  8 | 강태우 23세 울산 | "이태원 프리덤" |  | — | — | — |
|  9 | 이한얼 28세 서울 | "왜 눈물만 나는지" | — | — | — | — |
|  10 | 김지훈 35세 서울 | "재즈카페" |  | — | — | — |
|  11 | 이은아 22세 서울 | "헤어지는 중입니다" |  |  |  |  |
|  12 | 신초이 23세 서울 | "연극이 끝난 후" | — | — | — |  |
|  13 | 오경석 27세 경기도 | "기억의 습작" |  | — | — | — |
에피소드 > 4화 : 블라인드 오디션

4화는 2012년 3월 2일 방송되었다.
| 순서 | 참가자 | 경연곡 | 코치 또는 참가자의 선택> 강타 | 코치 또는 참가자의 선택> 신승훈 | 코치 또는 참가자의 선택> 백지영 | 코치 또는 참가자의 선택> 길 |
| --- | --- | --- | --- | --- | --- | --- |
|  1 | 남일 26세 경기도 | "Bad Girl Good Girl" | — |  |  |  |
|  2 | 편선희 25세 서울 | "서울의 달" | — | — |  |  |
|  3 | 최성수 23세 경기도 | "서시" | — | — | — | — |
|  4 | 황예린 19세 서울 | "10 Minutes" |  |  | — | — |
|  5 | 함성훈 26세 서울 | "잠 못 드는 밤 비는 내리고" |  |  |  | — |
|  6 | 이윤경 22세 서울 | "꿈에" | — | — | — |  |
|  7 | 김민정 32세 부산 | "태양을 피하는 방법" | — | — |  | — |
|  8 | 한경수 27세 서울 | "사랑 그 놈" | — | — | — | — |
|  9 | 오슬기 24세 서울 | "이유 같지 않은 이유" |  |  | — | — |
|  10 | 노영호 28세 서울 | "사랑일 뿐이야" |  | — |  | — |
|  11 | 인지윤 18세 인천 | "I need a girl" |  | — |  | — |
|  12 | 선지혜 25세 대전 | "애모" |  |  |  |  |
|  13 | 전초아 34세 서울 | "제발" | — | — | — | — |
|  14 | 박태영 21세 경기도 | "태양을 피하는 방법" | — | — |  | — |
에피소드 > 5화 : 블라인드 오디션 / 배틀 라운드

5화는 2012년 3월 9일 방송되었다.
| 순서 | 참가자 | 경연곡 | 코치 또는 참가자의 선택> 강타 | 코치 또는 참가자의 선택> 신승훈 | 코치 또는 참가자의 선택> 백지영 | 코치 또는 참가자의 선택> 길 |
| --- | --- | --- | --- | --- | --- | --- |
|  1 | 김현민 33세 서울 | "바라본다" |  | — | — | — |
|  2 | 최준영 24세 부산 | "너를 위해" |  | — | — |  |
|  3 | 임병석 26세 충청도 | "총 맞은 것처럼" | ? | ? |  | ? |
|  4 | 조지은 21세 경기도 | "예감 좋은 날" | ? | ? |  | ? |
|  5 | 이한올 23세 경기도 | "Gee" |  | ? | ? | ? |
|  6 | 김지훈 28세 부산 | "너를 위해" |  | ? | ? | ? |
|  7 | 정나현 20세 경기도 | "내가 고백을 하면 깜짝 놀랄거야" |  | ? | ? | ? |
|  8 | 정소연 | "매직 카펫 라이드" | ? | ? | ? |  |
|  9 | 김채린 26세 서울 | "Gee" | ? | ? | ? |  |
|  10 | 허규 35세 서울 | "천년의 사랑" | ? | ? | ? |  |
이 중에 임병석, 조지은, 이한올, 김지훈, 정나현, 정소연, 김채린, 허규는 예선 무대가 전체 공개되지 않았다.
배틀라운드에서는 코치별로 한명씩의 드림팀이 참가하여 참가자들의 보컬 트레이닝과 코치의 선택을 돕게 되었다. 강타 코치는 브라운 아이드 소울의 영준, 신승훈 코치는 가수 겸 보컬 트레이너 박선주, 백지영 코치는 싱어송라이터 유영석, 길 코치는 가수 정인이 드림팀으로 참가하였다.
| 순서 | 코치 | 경연자 | 경연자 | 경연곡 |
| --- | --- | --- | --- | --- |
| 1 | 신승훈 | 황예린 | 장재호 | "안부" |
| 2 | 강타 | 지세희 | 오경석 | "맨발의 청춘" |
| 3 | 백지영 | 임진호 | 유성은 | "미소를 띄우며 나를 보낸 그 모습처럼" |
| 4 | 길 | 우혜미 | 정소연 | "아쉬움" |
에피소드 > 6화 : 배틀 라운드

6화는 2012년 3월 16일 방송되었다.
| 순서 | 코치 | 경연자 | 경연자 | 경연곡 |
| --- | --- | --- | --- | --- |
| 1 | 길 | 최준영 | 허규 | "Music is My Life" |
| 2 | 백지영 | 조지은 | 신지현 | "경고" |
| 3 | 신승훈 | 손승연 | 오슬기 | "하늘에서 남자들이 비처럼 내려와" |
| 4 | 강타 | 홍혁수 | 이한올 | "니가 사는 그집" |
| 5 | 신승훈 | 권순재 | 샘 구 | "가지마 가지마" |
| 6 | 백지영 | 강미진 | 이찬미 | "마리아" |
에피소드 > 7화 : 배틀 라운드

7화는 2012년 3월 23일 방송되었다.
| 순서 | 코치 | 경연자 | 경연자 | 경연곡 |
| --- | --- | --- | --- | --- |
| 1 | 길 | 김채린 | 신초이 | "사랑 사랑 사랑" |
| 2 | 강타 | 장정우 | 노영호 | "사랑은 향기를 남기고" |
| 3 | 길 | 서혁신 | 남일 | "Heartbeat" |
| 4 | 신승훈 | 이소정 | 나들이 | "코뿔소" |
| 5 | 강타 | 김지훈 | 정나현 | "따뜻했던 커피조차도" |
| 6 | 신승훈 | 이웅희 | 정승원 | "밥만 잘 먹더라" |
| 7 | 백지영 | 김민정 | 허공 | "니가 있어야 할 곳" |
에피소드 > 8화 : 배틀 라운드

8화는 2012년 3월 30일 방송되었다.
| 순서 | 코치 | 경연자 | 경연자 | 경연곡 |
| --- | --- | --- | --- | --- |
| 1 | 백지영 | 인지윤 | 함성훈 | "Trouble Maker" |
| 2 | 신승훈 | 이은아 | 선지혜 | "잊지 말아요" |
| 3 | 길 | 장은아 | 이윤경 | "훗 (Hoot)" |
| 4 | 백지영 | 박태영 | 임병석 | "누난 너무 예뻐 (Replay)" |
| 5 | 길 | 편선희 | 하예나 | "저 바다가 날 막겠어" |
| 6 | 강타 | 김현민 | 김지훈 | "중독된 사랑" |
| 7 | 강타 | 강태우 | 배근석 | "거짓말" |