shopkeeper/korean_wiki_content_only_120125 huggingface dataset:
각섬석 화강암.
불국사 화강암류 각섬석 화강암(hornblende granite)은 북구 금곡동-금정산-청룡동을 잇는 지역에 가장 넓게 분포하고 화명동 저지대에 조금 분포한다. 더 북쪽의 양산 지역에서는 안산암, 이천리층, 유문암질 응회암류를 관입하였고 흑운모 화강암과는 점이적이며 금곡동, 화명동 동부에서 마산암류 아다멜라이트(Kada)에 의해 관입당했다. 주요 구성 광물은 석영, 정장석, 사장석, 각섬석, 흑운모 등이며 부 구성 광물은 인회석, 저어콘, 녹니석, 백운모, 자철석 등이 있다.
불국사 화강암류 흑운모 화강암(biotite granite)은 금정구 노포동 저지대, 노포동-두구동-남산동-선동-구서동 경계 지역과, 부산진구 당감동-개금동-사상구 주례동-감전동-괘법동-덕포동 경계 산악 지역에 분포한다. 각섬석 화강암(Khgr)과 화강섬록암(Kgid)의 바깥 연변(緣邊)부에 나타나 있어 불국사 화강암의 최종 분화암체라는 것을 지시해 준다. 본 암은 석영, 정장석, 사장석, 미사장석, 흑운모 등으로 구성되고 녹니석, 견운모, 저어콘, 인회석 등이 수반 광물로서 나타난다.
반려암과 부산 전포동 구상반려암.
불국사 관입암류 반려암(gabbro)은 부산진구 전포동 동측 산기슭에 암주상으로 소규모 분포하는 반려암으로 유천층군 안산암질 화산각력암(Kanb)과 안산암(Kan)을 관입하고 있다. 본 암석은 분포 범위에 비해 암상이 다양하다. 현미경 하에서 주로 사장석, 휘석, 각섬암 등으로 구성되며 흑운모, 녹렴석, 자철석, 녹니석 등이 함유된다. 수반 광물 중 녹렴석은 사장석에서, 자철석은 휘석이 투(透)각섬석으로 교대될 때 유래된 변질물로 보인다.
대한민국의 천연기념물 제267호로 지정된 부산 전포동 구상반려암이 바로 이 암석 분포 지역에 위치한다. 구상반려암 지질명소는 부산의 중심부에 위치한 황령산의 서편 전포동 일대에 위치하고 있다. 지하에서 마그마가 서서히 냉각되어 만들어지는 심성암에서는 등립질, 중립질, 세립질 조직이 나타나는 것이 보편적이다. 그러나 구상반려암에서는 암석 중의 광물들이 어떤 점(핵)을 중심으로 동심원상의 구를 이루면서 분포하는 구상조직이 나타난다. 구상구조가 나타나는 반려암의 분포면적은 약 0.14 km2에 달하며, 이는 구상반려암뿐만 아니라 모든 구상암 중에서도 세계적인 규모에 속한다. 아울러 도심지 한가운데에 위치한 특수성을 지닌 구상반려암은 지금까지 아시아에서 유일하게 보고되고 있어 연구가치가 매우 높은 부산국가지질공원의 으뜸 명소이다. 이 반려암은 분포지인 전포동 서편 부산 지하철 1호선 및 2호선의 시추공들에서 출현하지 않는 것으로 보아 전포동 서측을 지나가는 동래 단층에 의해 그 분포가 규제되는 것으로 보인다.
각섬석 화강섬록암.
각섬석 화강섬록암(hornblende granitic diorite)은 남구 감만동과 용당동, 수영구 광안동 수영터널 주변, 그리고 강서구 화전동-송정동-녹산동-구랑동 경계 지역에 분포한다. 이 암석은 유천층군의 화산암류를 관입하고 있으며 이들에 심한 열변질을 주었다. 남구 감만동 지역에 분포하는 이 암석의 화학 성분표는 다음과 같다.
토날라이트.
마산암류 토날라이트(tonalite)는 금정산성 일대, 원효봉-의상봉 서쪽 지역과 금정산성 동문 주변 지역에서 아다멜라이트 암석(Kada) 중에 소규모로 나타난다. 아다멜라이트와 매우 선명한 접촉 관계를 보이는데, 아다멜라이트의 세맥(細脈)들이 불규칙하게 토날라이트를 관입해 있으며 아다멜라이트 세맥(細脈)의 중간 중간에는 고구마 모양의 아다멜라이트가 발달해 있다. 본 암은 세립질이고 침상(針狀)의 각섬석 또는 흑운모를 함유하고 있다. 현미경 하에서 주로 사장석, 석영, 각섬석 등으로 구성되고 녹니석, 흑운모, 티탄철석, 자철석 및 저어콘 등이 나타난다.
아다멜라이트.
마산암류 아다멜라이트(adamellite)는 금정산 남동부 금정산성을 중심으로 화명동 동부, 금성동, 청룡동 남부, 남산동, 구서동, 장전동, 온천동 북서부에 이르는 지역에 넓게 분포한다. 인접한 안산암, 화강섬록암, 각섬석 화강암을 관입하고 있으며 주로 석영, 정장석, 사장석, 흑운모 등으로 구성되고 백운모, 녹니석, 각섬석, 자철석, 적철석 및 저어콘 등이 나타난다. 본 암은 북동 50°방향의 압쇄대(壓碎帶)가 발달해 있기도 하며 산성 부근에서는 특징적인 주상절리를 보여 주기도 한다. 금정산 서쪽 화명동의 대천천 계곡 아다멜라이트에는 판상 절리, 암괴류, 포트홀과 같은 하천 침식 지형이 관찰된다.
미문상 화강암.
마산암류 미문상 화강암(Micrographic granite, 微文狀 花崗巖)은 노포동-두구동 경계 지역, 금정구 두구동-선동-철마면 장전리-금정구 오륜동-부곡동-구서동 경계 지역과, 백양산 서쪽 사상구 괘법동-모라동-북구 구포동 지역에 분포한다. 안산암과 유문암질 화산암류 및 흑운모 화강암을 관입하고 있다. 현미경 하에서 관찰하면 특징적인 미문상 조직(micrographic texture)이 발달해 있으며 이 미문상 조직은 알칼리 장석의 바탕에 석영이 상형 문자 또는 국화 꽃무늬같이 함유되어 있다. 이외에 백운모, 흑운모, 사장석, 자철석 및 저어콘 등이 수반 광물로서 발달한다.
마산암류 규장암(felsic rock, 珪長巖)은 만덕대로 북부의 덕천동-만덕동 저산(低山) 지역 그리고 해운대구 반송동-철마면 고촌리 지역(반송중학교, 윗반송역 북동쪽, 고촌역 남쪽, 거남길공원 부근)에 소규모 분포하고 있다. 안산암(Kan), 유문암질 응회암류(Klt) 및 각섬석, 미문석 화강암(Khgr, Kmgr)을 관입하고 있으며 미문상 화강암과는 점이적인 관계를 가진다. 반송동 부근에서 본 암석은 미문상 화강암의 연변부에 산출되는 것과 동시에 규장암의 본 암체로부터 분리되어 북동-남서 방향의 규장암맥(脈)을 형성하기도 한다.
부산국가지질공원.
부산국가지질공원(환경부 고시 제2013-152호)은 낙동강 하구(천연기념물 제179호)를 비롯한 해안가에 위치한 몰운대, 두송반도, 송도반도, 두도, 오륙도, 이기대 그리고 산지에 위치한 장산, 금정산, 구상반려암(천연기념물 제267호), 백양산의 총 12개의 지질명소로 구성되어 있다. 부산국가지질공원 보고서에 의하면 12개 지질명소에 총 122점의 지질․지형유산이 분포하고 있다. 각 명소별로 낙동강 하구 6점, 몰운대 14점, 두송반도 11점, 송도반도 14점, 두도 9점, 태종대 18점, 오륙도 6점, 이기대 13점, 장산 8점, 금정산 13점, 구상반려암 1점, 백양산 7점의 지질, 지형유산이 분포하고 있으며 낙동강 하구, 송도반도, 태종대, 오륙도, 이기대, 금정산에 이들 지질유산들을 연결하는 지오트레일 코스가 있다.
몰운대.
부산 사하구 남단의 해안가에 위치한 몰운대 지질명소는 지질학적으로 백악기 말 양산 단층과 동래 단층 사이에서 만들어진 다대포분지의 남서부에 해당된다. 이곳에 안개와 구름이 끼는 날에는 섬이보이지 않는다 하여, 구름 속에 빠진 곳(몰운대)이라는 이름이 유래하게 되었다. 몰운대 지질명소에는 다대포분지의 충전물인 역암, 사암, 실트암, 이암 등의 다대포층 퇴적층과 안산암, 데사이트, 유문암 등의 화성암류, 그리고 제4기 단구퇴적층 등의 다양한 암종이 분포하고 있어, 뛰어난 지질 다양성을 나타낸다.
태종대.
영도 남동쪽 끝 지역의 태종대는 중생대 백악기에 형성된 퇴적암층인 유천층군 암회색 응회질 퇴적암(Kts; Kyeongsang supergroup yucheon group tuffic sedimentrary rock)으로 구성되어 있어, 태종대에서 동삼동 해안까지 층리가 선명하게 드러난 퇴적암 지층을 볼 수 있다. 이곳에는 해안 침식에 의한 해식동굴, 파식대, 해식애 등을 볼 수 있으며 공룡 발자국 화석 또한 존재한다. 공룡 발자국은 신선바위 주변에 집중적으로 분포되어 있는데, 1999년 10월 부산대학교 지질학과 김항묵 교수 팀에 의해 초식 공룡 발자국 90여 개가 발견되었고, 2006년 초에는 부산 지역 대학의 공동 조사단에 의해 21~49 cm 길이에 70~80 cm 보폭으로 10 cm 정도 깊이 파여 있는 발자국들이 발견되어 모두 155개의 공룡 발자국이 분포하고 있는 것으로 밝혀졌다. 특히 신선바위로 가는 벼랑의 오솔길에서 12개의 발자국들을 볼 수 있다. 학자들은 이 일대 공룡 발자국 화석을 7천만~6500만 년 전, 중생대 백악기 말에 살았던 오리부리공룡의 것으로 추정하고 있다. 특히 경남 고성군에서 발견된 공룡 발자국보다 1천만년 뒤의 것으로 한반도에서는 가장 후기의 공룡 발자국이라고 한다. 그래서 조사단은 탐사 범위를 넓히면 공룡 알과 뼈 화석을 발굴할 가능성이 매우 높을 것으로 짐작하고 있다. 태종대 해안 지층이 쌓인 기간은 정확히 알 수 없는데 이는 태종대 해안 밑까지 지질 탐사를 정확히 한 적이 없고 위에 쌓인 지층이 심하게 훼손되었기 때문이다. 단지 2~3천만년 동안 쌓인 것으로 추정할 뿐이다,
이기대 도시자연공원.
이기대 도시자연공원은 약 8~7천만 년 전 유천층군 화산활동의 결과물인 안산암질의 화산암류 안산암질 화산각력암(Kanb)와 응회질퇴적암이 넓게 분포하고 있어, 한반도 남동부의 백악기 말 화산활동사를 연구하는 데 중요한 지역이다. 이기대 전역에 폭넓게 분포하는 유천층군 화산암류는 안산암질 화산각력암, 응회각력암, 응회암 그리고 용암류 등의 다양한 화산암들로 이루어져 있다.
다대포 분지와 두송반도.
다대포 분지는 유천층군의 화산 활동이 활발하였던 밀양 소분지 내에 양산 단층과 동래 단층의 운동에 의해 만들어진 소규모의 인리형(pull-apart) 퇴적 분지이며, 다대포층이 이 분지를 구성하고 있다. 다대포 분지의 동쪽과 서쪽은 각각 양산 단층과 동래 단층으로 규제되어 분지를 구성하는 다대포층은 대체로 평행사변형 꼴로 분포한다. 행정 구역 상으로 부산광역시 남서부에 해당되는 곳으로 북부에는 승학산, 구덕산, 천마산, 동매산 등의 상대적으로 높은 산지가 분포하며, 남부는 북부에 비해 저지대로 동쪽에서부터 송도반도, 두송반도 그리고 장림반도가 남북 방향으로 거의 평행하게 배열되어 있다. 이곳의 지질은 하위로부터 분지 기반암에 해당하는 화산암류, 분지의 주 충전물인 다대포층, 이를 피복 및 관입하는 유천층군 화산암류 그리고 후기 암맥/암상들로 구성된다. 다대포층의 퇴적시기를 결정하기 위해 다대포층 기저의 데사이트와 상부를 피복하는 현무암질 안산암의 시료를 채취하여 40Ar/39Ar 연대측정을 실시한 결과, 다대포 분지 내 다대포층의 퇴적 시작 시점은 지연대학(地年代學) 측면에서 불확실하나 약 9400만 년 전 이후이며 6900만 년 전 직전까지 퇴적된 것으로 판단된다.
두송반도 지질명소는 부산광역시 사하구 다대동 두송반도의 서편 해안에 위치하며 이곳의 지질은 데사이트질 화산암류를 기저로 하여 역암, 적색 이암과 사암, 이회암 등이 교호하는 하부 다대포층과 이를 관입하는 안산암질 관입암으로 구성된다. 이곳의 다대포층에는 안산암질 암상, 고지진성 구조, 쇄설성 암맥, 캘크리트 복합층, 퇴적동시성 정단층, 분지 기반암과의 부정합 등의 과학적 가치가 높은 지질노두들이 분포한다.
장산.
약 7-6천만 년 전 격렬했던 유문암질 화산활동으로 분출된 화산재, 용암, 화쇄류로 이루어진 장산에는 산악인들이 너덜(겅)이라 부르는 돌밭이 유난히 많다. 너덜은 암벽에서 떨어져 나온 바위들이 비탈면에 쌓여 돌밭을 이룬 것으로 돌서렁으로도 불린다. 돌서렁은 주로 암석이 물리적 풍화작용에 의해 절리(암석의 틈)를 따라 깨어지고, 오랜 시간에 걸쳐 산의 경사면을 따라 아래로 무너져 내리면서 만들어진 것이다.
금정산은 약 7-6천만 년 전 지하 깊은 곳에서 화강암질 마그마가 식어 굳어진 화강암이 융기하여 만들어진 산으로, 다양한 화강암 풍화지형과 역사 유적지가 분포한다. 금정산 화강암은 석영과 정장석이 많이 포함되어 있는 것이 특징이며, 먼 옛날엔 지하 8~10 km의 땅속에 묻혀 있었다. 지하에서 식어 굳어진 이 화강암은 약 6~7천만 년 전 마그마가 경상 분지의 퇴적암과 화산암 속을 관입한 것이며, 그 후 화강암을 덮고 있던 퇴적암(금정봉 일대)과 화산암(범어사 북쪽)이 침식되어 없어지며 화강암이 지표에 드러나게 되었다. 금정산 화강암체는 화강섬록암, 흑운모 화강암, 토날라이트, 아다멜라이트 및 미문상화강암으로 구성된다.
금정산 장군봉과 고당봉 사이 산지에는 습지가 발달한다. 금정산 습지의 기반암은 각섬석화강암이며, 습지 주변의 각섬석화강암과 유문암질암 절리의 주향은 대체로 남-북, 동서-방향, 북동-남서 방향이다. 또한 습지에 가까울수록 암석의 강도가 낮아지고 풍화도는 높아진다. X-선 회절분석에 의하면, 습지의 토양 시료에는 장석의 풍화 산물인 카올리나이트 등의 광물이 존재하며 칼륨과 나트륨 이온의 농도가 높게 나타난다.
김항묵(1994)는 영도 지역의 지하수 환경을 연구하였다. 이 지역에서는 도시 개발로 지하수 수요가 급증하고 이웃한 주택 간의 지하수 영향 문제가 법정 투쟁으로 비화되는 사례가 빈발하였다. 영도의 지질은 대부분 화산 활동으로 생성된 유천층군의 유문석영안산암으로 암석이 치밀해 공극의 연결이 거의 없고 수문학적으로도 불투수층으로 분류된다. 그러나 영도는 기반암을 절단하는 동래 단층과 인접하여 파쇄대와 소규모 단층들에 수반된 절리들이 다수 발달하고 있다. 이로 인해 기반암 내의 지하수가 파쇄대와 절리, 단층 균열 등을 통해 유동하고 있다. 영도구 동삼1동에서는 북서 52° 및 북동 38°방향의 파쇄대를 따라 지하수가 유동하고 있다.
함세영 외(2006)는 사상구 공단지역 지하수의 수질을 분석하였다. 이 지역의 지질은 경상 누층군 유천층군의 안산암과 안신암질 응회암과 흑운모 화강암으로 구성된다. 지하수에는 염수에서 유래한 것으로 보이는 나트륨, 칼륨 이온과 산업 폐수에서 유래한 것으로 보이는 염소, 황산, 질산 이온 등이 있다. 비소 이온은 모두 음용수 기준치(0.05 mg/L) 이내이다. 총용존물질(TDS) 그리고 염분농도는 낙동강에 가까운 지역에서 높게 나타나고 있다.
류상훈 외(2007)가 고속철도 시추공과 지하수공을 분석한 결과 부산광역시 도심부의 전체적인 지하수 유동은 고지대인 북서쪽에서 저지대인 남서쪽으로 일어나고 있다. 지하수위는 대체로 지표면 아래 -4~8 m에 위치하나 일부 지역에서는 지하수위가 비정상적으로 많이 낮다. 부산광역시 남구 대연동에서는 지표면하 -50 m, 동래구 사직동은 -38 m, 동구 영주동은 -36 m, 금정구 장전동은 -32 m, 부산진구 부전동과 양전동은 -28 m이다. 이는 지하수 사용량이나 부산 도시철도 지하철 내로의 지하수 배출량 때문인 것으로 보인다.
류상훈 외(2008)는 부산 도시철도 4호선(2008년 당시 공사 중, 2011년 개통) 수안역에서 서동역까지의 시추공을 조사하였다. 이 지역의 기반암은 안산암질암이며 그 위에 풍화대와 충적층 그리고 매립토가 있다. 매립토의 두께는 최대 5.5 m이며 충적층은 서동에서 25 m, 안락교차로 부근에서 20 m 내외이다. 동래 단층은 온천천을 따라가며 서동 부근에는 동래 단층의 부차 단층으로 추정되는 단층이 존재한다. 동래 단층으로부터 멀어질수록(서동역 쪽으로 갈수록) 수리전도도가 감소하는 것으로 분석하였다.
오윤영 외(2011)는 1930년대 수행된 지하수 시추 결과를 분석하고, 부산진 저지대와 수영강 유역에 다량의 지하수가 부존되어 있어 지하수 개발 가치가 충분하다고 보았다. 낙동강 유역과 영도는 지하수가 풍부하지 않아 개발에 부적합하다.
부산광역시의 단층.
부산광역시에는 양산 단층을 위시하여 양산 단층대의 일부인 동래 단층과 일광 단층이 북북동-남남서의 주향으로 통과한다. 주 단층인 양산 단층은 서쪽의 낙동강을 따라, 동래 단층은 동래구를, 일광 단층은 일광읍을 지나간다. 동래 단층과 일광 단층은 모두 부산광역시 지역에서 처음 보고되었으며 그 이름도 각각 부산광역시 동래구와 기장군 일광읍에서 유래되었다.
동래 지질도폭 보고서(1978)에 의하면 양산 단층은 부산광역시 서쪽, 낙동강 본류를 따라 발달하며 낙동강 하굿둑을 지나 남해로 간다. 이 단층에 의해서 서쪽이 하강하고 동쪽 지괴가 상승하였다.
일광 단층(日光斷層, Ilgwang Fault)은 대한민국 경상 분지 남동부 부산광역시 해운대구 송정동과 일광읍에서 울산광역시 울주군 온양읍으로 이어지는 북북동-남남서 주향의 주향 이동 단층이다. 양산 단층대 일부인 일광 단층은 동래-월내도폭(1978)에서 처음 보고되었으며 선상구조를 기준으로 할 때 단층의 연장은 최소 45 km이다.
일광 단층은 울산광역시 온양읍에서 시작해 단층의 이름이 유래된 부산광역시 기장군 일광읍을 지나 해운대구 송정동 송정해수욕장에서 바다로 들어간다. 김지수 외(2003)는 지구물리탐사를 통하여 일광 단층대의 폭이 150~180 m이며 트렌치 조사에 근거하여 단층핵이 단층비지, 단층각력 그리고 단층파쇄암으로 구성된다고 보고하였다. 하상민 등(2016)은 일광 단층에 대한 트렌치 조사 결과를 바탕으로 일광 단층은 백악기 암석과 고신생기초 암맥들을 약 1.2 km의 우수향 수평변위로 절단하였으며 신생대에 좌수향 및 우수향의 주향 이동운동을 겪은 것으로 보고했다. 일광 단층의 주 단층대는 국도 제14호선과 거의 평행하게 달리며 울산과 부산의 도시화로 인해 노두로서 인지하기는 어렵다. 하지만 이 일대에는 일광 단층의 운동에 의해 수반된 다양한 규모의 부차(subsidiary) 단층들이 확인된다. ESR 연대측정 결과 일광 단층과 그 주변 단층들의 최후기 운동 시기는 약 2~3백만 년 전 이후이며 그 이후에도 약 50~60만년의 주기로 수 회의 단층 활동이 발생했다.
부산광역시 내에서 일광 단층 노두의 위치는 다음과 같다.
양산 단층 다음으로 선형성이 뚜렷한 동래 단층은 경북 경주시 외동읍에서 울산광역시 범서읍, 웅촌면과 서창동 지역을 지나 부산광역시 금정구, 동래구 및 영도로 이어지는 북북동-남남서 주향의 단층이다.
동래 단층은 양산 지질도폭(1964)과 언양 지질도폭(1972)에서 오복 단층이라는 이름으로 처음 기재되었다가, 이후 동래 지질도폭(1978)에서 처음으로 동래 단층으로 명명되었다. 장태우와 추장오(1998)는 양산시 웅상읍과 웅촌면 일대의 동래 단층을 조사하고 단층비지(fault gouge)에 대한 K-Ar 절대연령측정에 의해 열수변질을 수반한 동래 단층의 주요 활동 시기는 신생대 고제3기에 해당하는 51.4∼57.7 Ma와 40.3∼43.6 Ma으로 보고하였다. 동래 단층은 경주시 외동읍 구어리 일대에서 울산 단층과 교차하는 것으로 해석된다. 동래단층은 북북동 주향으로 일직선으로 연장되는 교과서적인 단층이 아니라, 다소 다른 방향성을 가지는 여러 조의 단층 분절(segment)들이 모여서 단층대를 형성하는 것으로 알려져 있다. 동래 단층은 울산 북부에서는 대체로 북북동 방향으로 연장되나, 울산-양산-언양 일원에서는 국부적으로 북동-남서 방향으로 분지되거나, 북동 10~30°범위에서 1조 또는 여러 조의 방향으로 나타난다.
뚜렷한 선상구조(lineament)를 형성하고 있는 동래 단층은 부산광역시 일대에 넓은 계곡 지형을 형성하고 있어 이곳에는 부산광역시 시가지가 발달한다. 이곳 단층 계곡부는 차별적인 침식작용과 함
께 제4기 동안 상당 기간동안 해침을 받아 해수면 아래에 놓여 있었으며, 일제시대 이후에는 항만 시설의 확충 등 도시 개발을 위해 활발한 매립 사업이 실시된 바 있다. 따라서 이곳에는 제4기 지층이 퇴적되어 있으며 그 하부의 기반암의 경우에도 동래 단층의 영향에 의해 파쇄가 심한 것으로 알려져 있다.
부산 시내에서, 동래 단층은 양정 교차로 서편에서 서면 교차로 동편 그리고 자성대공원 서편을 지나 부산만으로 연장될 것으로 추정된다. 경부고속철도 노선을 따른 지질 단면상에서는 총 9곳에서 기반암 파쇄대가 인지되는데, 시추공들을 조사한 결과 동래 단층의 파쇄대 폭이 남쪽으로 갈수록 50 m 에서 250 m로 넓어진다. 이러한 동래 단층 파쇄대 폭의 변화는 지형적으로 양정 교차로와 서면 교차로 사이의 계곡 폭이 좁으며 남쪽으로 갈수록 그 폭이 넓어지고 있는 사실과 부합하며, 동래 단층이 부산진구 서면 교차로와 양정 교차로 사이 지역에서 분절(segment)된다는 것을 지시한다. 부산 도심지를 지하로 통과하는 경부고속철도 14-3 공구의 경우, 이 구간 내 동래 단층대의 모암(母巖)은 안산암질 응회암으로 단층 점토 입자를 함유하고 있으며 최대 주 응력 방향은 터널 노선 방향과 유사한 남-북 방향이다.
부산광역시 내 동래 단층 노두의 위치는 다음과 같다.
동래 온천과 동래 단층, 금성동 단층.
일광 동-중석광상.
일광광산은 부산광역시 기장군 일광면 원리(도로명주소: 기장군 일광읍 달음길 81-5, )에 위치한 광산으로 금,은, 동, 연, 중석이 주요 광종을 이룬다. 광산의 지질은 경상 누층군 처트와 이를 관입한 900×900 m 규모의 조립질 화강섬록암 및 석영몬조나이트(monzonite)로 구성된다. 주요 광물은 황동석, 섬아연석, 황철석, 유비철석, 자류철석, 방연석, 회중석, 철망간중석 등이다. 광상 내 각력파이프에서 채취한 견운모의 칼륨-아르곤 연대 측정 결과는 69±2.6 Ma이며, 암주의 주변부에서 채취한 각섬석의 연대는 81 Ma이다. 이로부터 일광광산의 광화작용 시기는 백악기 후기~제3기 전기에 일어난 것으로 추정된다. 1930년 3월 11일 일본의 스미토모 금속광산에서 닛코광산(鉱山, 일광광산)을 개발하였고 해방 이후에도 구리와 텅스텐을 개발하였으나 1994년 폐광되었다. 광산 개발로 광산촌이 형성되었고 현재도 마을에는 일본식 적산가옥과 사택(社宅)등이 남아 있다.
동보광산.
동보광산은 부산광역시 사상구 모라동()에 위치한 몰리브데넘, 텅스텐, 납, 아연 광산이다. 광상은 불국사 화강암 내 발달하는 함중석 몰리브데넘석영맥으로 철-망가니즈 중석광, 회중석, 휘수연석, 황동석, 황철석, 방연석, 섬아연석, 자류철석 등이 산출된다.
최지은(1998년 5월 21일 ~ )은 대한민국의 아나운서이다.
드미트리 니콜라예비치 세냐빈(, 1763년 8월 17일 ~ 1831년 4월 17일)은 러시아-튀르크 전쟁 및 나폴레옹 전쟁, 그리스 독립전쟁에서 활약한 러시아 제국 해군 장교로, 표도르 우샤코프의 후계자로 알려져 있다. 아토스 해전에서 세냐빈은 우샤코프가 썼던 전술을 활용해 오스만 제국의 기함들에 큰 피해를 입혔다. 세냐빈은 러시아 제국 해군의 발트 함대에서 복무하며 여러 업적을 이룩했다.
스테판 세드리크 바호켄(, 1992년 5월 28일 ~ )은 현재 쉬페르리그 클럽 카이세리스포르에서 공격수로 활약하고 있는 카메룬의 프로 축구 선수이다. 프랑스에서 태어난 그는 카메룬을 대표하여 국제적인 수준에서 활약하고 있다.
그라스에서 태어난 바호켄은 OGC 니스에서 프로 선수 생활을 시작하였고, 12살 때부터 클럽의 아카데미에서 7년을 보냈다. 시즌 마지막 경기에서, 그는 발랑시엔과의 경기에서 79분에 줄리앙 사블레와 교체되어 데뷔 전을 치렀고, 2-1로 패했다. 공교롭게도, 그의 데뷔 전은 그의 생일 전이었다. 2011-12년 시즌에 5경기에 출전한 그는 3년 계약으로 첫 프로 계약을 맺었다.
2012-13년 시즌, 바호켄은 1군 경기에 출전하기 시작하였고, 주로 교체로 출전하였다. 그러나, 그의 시즌은 섬유골 골절로 인해 대부분 그늘에 가려졌는데, 이는 훈련 기간 동안 지속되었고, 몇 달 동안 결장하였다. 2군 선수로 뛰는 동안, 그는 경기장 밖에서 발생한 사고로 인해 3경기 출장 정지 징계를 받았다.
이적 시장 마지막 날, 바호켄은 르아브르로 임대되었지만, 그 이적은 얼마 지나지 않아 결렬되었다. 실패한 이적 후, 그는 2013년 3월 10일, 몽펠리에와의 경기에서 첫 두 골을 넣었다.
2014년 7월 29일, 바호켄은 챔피언스나트 내셔널 클럽 RC 스트라스부르와 2년 계약을 맺었다. 그는 2014년 8월 8일, US 콜로미에와의 경기에서 리그 데뷔 전을 치뤘다. 바호켄은 2017년 12월 2일, 파리 생제르맹과의 리그 1 경기에서 결승골을 넣었다.
2018년 6월 8일, 바호켄은 앙제 SCO에 합류했다. 그는 2022년까지 지속되는 구단과 계약을 맺었다.
2022년 7월 15일, 바호켄은 튀르키예의 카슴파샤와 계약하였다.
비록 프랑스에서 태어났지만, 바호켄은 그의 아버지를 통해 카메룬 국가대표팀에서 뛸 수 있는 자격이 있다. 그는 카메룬으로 충성을 바꾸기 전까지 프랑스 U-20 축구 국가대표팀의 유소년 국가대표 축구선수였다.
바호켄은 2018년 3월 25일, 쿠웨이트와의 친선 경기에서 카메룬 국가대표팀 데뷔 전을 치뤘다.
바호켄의 아버지 폴은 1982년 FIFA 월드컵에서 카메룬 국가대표팀에서 공격수로 활약했다. 그의 어머니 폴린 메지나는 사망한 여배우 세란지 메비나의 여동생이다.
2020년 10월 20일, 바호켄은 파트너에게 가정 폭력을 가하여 징역 4개월에 집행유예 2,000유로를 선고받았고, 교통 위반으로 징역 3개월에 집행유예 6,875유로를 선고받았다.
김승구는 다음 사람을 가리킨다.
다음은 제1회 전국동시지방선거의 하동군의회의원 선거결과를 정리한 문서이다. 해당 선거에서 하동군의회는 지역구의원 13명을 선출했다.
다음은 제1회 전국동시지방선거의 남해군의회의원 선거결과를 정리한 문서이다. 해당 선거에서 남해군의회는 지역구의원 10명을 선출했다.
스티븐 하워드 "스티브" 프레이저(, 1958년 3월 23일~)는 미국와 레슬링 선수, 지도자로 1984년 하계 올림픽 그레코로만형 라이트헤비급에서 금메달을 획득했다.
미시간주 헤이즐파크에서 태어났다. 헤이즐파크 고등학교 재학 시절부터 레슬링을 했으며 미시간 대학교를 졸업했다. 1979년 미국 국가대표 선수로 발탁되었으며 1984년 로스앤젤레스에서 열린 1984년 하계 올림픽에서 그레코로만형 라이트헤비급 금메달을 획득했다. 그는 올림픽 그레코로만형 레슬링 금메달을 획득한 최초의 미국 선수이다.
현역 은퇴 후 1993년까지 미시간 대학교와 이스턴 미시간 대학교 레슬링팀 코치로 재직했으며 자신의 현역 시절 소속팀인 미시간 레슬링 클럽 감독을 10년 이상 맡았다. 1994년에는 그 동안의 레슬링인으로서의 업적을 인정받으며 미국 레슬링 명예의 전당에 헌액되었다. 1995년에 미국 레슬링 대표팀 감독이 되었으며 2000년 하계 올림픽 당시 그레코로만형 슈퍼헤비급 대표 선수인 룰런 가드너를 지도하여 알렉산드르 카렐린을 상대로 올림픽 우승으로 이끌었다.
프드즌(фыдджын)은 오세티야의 고기 파이이다.
이 문서는 중화인민공화국 화동 지방의 행정 구역 코드 번호이다.
다음은 제1회 전국동시지방선거의 함양군의회의원 선거결과를 정리한 문서이다. 해당 선거에서 함양군의회는 지역구의원 11명을 선출했다.
다음은 제1회 전국동시지방선거의 산청군의회의원 선거결과를 정리한 문서이다. 해당 선거에서 산청군의회는 지역구의원 11명을 선출했다.
다음은 제1회 전국동시지방선거의 거창군의회의원 선거결과를 정리한 문서이다. 해당 선거에서 거창군의회는 지역구의원 13명을 선출했다.
다음은 제1회 전국동시지방선거의 합천군의회의원 선거결과를 정리한 문서이다. 해당 선거에서 합천군의회는 지역구의원 17명을 선출했다.
다카바진() 또는 상표명 DTIC돔()은 흑색종과 호지킨 림프종의 치료에 사용되는 화학요법 약물이다. 정맥 주사로 투여되며 항신생물제이다.
1975년에 미국에서 사용이 승인되었다. WHO 필수 의약품 목록에 기재되어 있다.
전이성 흑색종 치료의 경우 단일약제로, 호지킨 림프종 치료의 경우 ABVD 화학요법의 일부로, 육종의 경우 MAID 요법에 사용된다. 프로카바진만큼 효과적인 것으로 입증되었다.
간 효소에 의해 활성화되어 알킬화 화합물인 5-(3-모노메틸-1-트라이아제닐)-1H-이미다졸-4-카복사마이드(MTIC)를 형성한다. 이는 DNA의 메틸화, 변형, 교차결합을 유발해 DNA, RNA, 단백질 합성을 억제한다.
일반적인 부작용으로 식욕 감퇴, 백혈구 감소, 혈소판 감소가 있다. 특히 메스꺼움과 구토를 유발해 환자들은 5-HT3 길항제와 덱사메타손을 복용하기도 한다. 다른 부작용으로 간독성 및 과민증이 있고, 임신 중 사용이 아기에게 안전한지는 불분명하다. 스웨덴 보건복지위원회는 간 손상 때문에 다카바진을 피할 것을 제안했다.
5-아미노이미다졸-4-카복사마이드에 아질산을 첨가하면 5-다이아조이미다졸-4-카복사마이드가 생성된다. 이를 다이메틸아민과 반응시키면 다카바진이 생성된다.
1959년에 서던 리서치에서 처음 합성되었다.
다음은 제1회 전국동시지방선거의 제주시의회의원 선거결과를 정리한 문서이다. 해당 선거에서 제주시의회는 지역구의원 23명을 선출했다.
다음은 제1회 전국동시지방선거의 북제주군의회의원 선거결과를 정리한 문서이다. 해당 선거에서 북제주군의회는 지역구의원 9명을 선출했다.
다음은 제1회 전국동시지방선거의 서귀포시의회의원 선거결과를 정리한 문서이다. 해당 선거에서 서귀포시의회는 지역구의원 12명을 선출했다.
다음은 제1회 전국동시지방선거의 남제주군의회의원 선거결과를 정리한 문서이다. 해당 선거에서 남제주군의회는 지역구의원 7명을 선출했다.
다음은 중국 국민혁명군과 일본군의 중일 전쟁이 일어나기 전에 있었던 1월 28일 사건 혹은 제1차 상하이 사변의 전투 서열이다.
상하이 파견군 - 사령관: 대장 시라카와 요시노리
제3함대 - 함대사령장관: 노무라 기치사부로
상하이에 있던 해군 총 전력은 1932년 2월 당시 5천명에 달했다.
중국 국민혁명군.
상하이 전선 - 대장 Cai Tingkai
다음은 제1회 전국동시지방선거의 기초의원 선거 결과를 정리한 것이다.
정산국악원(靜山國樂院)은 사회 교육을 목적으로 설립된 대한민국의 교육원이다. 경상북도 김천시에 위치한 김천예술고등학교의 부설 교육원으로 한국 전통 음악과 관련한 문화, 예술 분야에 대한 교육을 진행한다.
뇌베니 노르베르트(, 1957년 5월 15일~)는 헝가리의 레슬링 선수, 배우로 1980년 하계 올림픽 그레코로만형 라이트헤비급에서 금메달을 획득했다.
부다페스트에서 태어났으며 아버지인 노르베르트 1세는 1950년대에 헝가리 선수권 대회에서 우승하는 등 레슬링 선수로 활동했다. 아버지의 영향으로 3세 때 레슬링을 시작했으며 1977년 헝가리 선수권 대회에서 동메달을 획득하면서 두각을 드러냈다. 1972년 하계 올림픽 우승자인 헤게뒤시 처버의 후계자로 여겨진 그는 1978년 처음으로 헝가리 국가대표 선수로 발탁되었다. 같은 해 동독 라이프치히에서 열린 베르너 젤렌빈더 추모 대회를 통해 첫 국제 대회에 출전했다. 뇌베니는 이 대회에서 불가리아의 스토얀 니콜로프의 뒤를 이어 준우승을 차지했다.
1979년 3월 서독 아샤펜부르크에서 열린 독일 그랑프리에서 니콜로프를 꺾고 우승을 차지했다. 4월에는 루마니아 부쿠레슈티에서 열린 1979년 유럽 선수권 대회에 참가하여 5승을 거뒀으며 스웨덴의 프랑크 안데르손에게 1승을 내주면서 은메달을 획득했다. 같은 해 8월에는 미국 샌디에이고에서 열린 1979년 세계 선수권 대회에 참가했으며 이 대회에서도 안데르손의 뒤를 이어 은메달을 획득했다.
1980년 2월에는 스웨덴 베스테로스에서 열린 메라컵에서 3위에 올랐으며 같은 해 7월 소련 모스크바에서 열린 1980년 하계 올림픽에서 그레코로만형 라이트헤비급 금메달을 획득했다. 그는 핀란드의 케이요 만니, 시리아의 아테프 마하이리, 그리스의 요르고스 포지디스, 쿠바의 호세 폴을 모두 꺾었으며 자신을 국제 대회에서 두 번 꺾은 안데르손을 격파한 소련의 이고리 카니긴을 상대로 승리를 거두며 우승을 차지했다. 이듬해인 1981년 2월에는 메라컵에서 서독의 우베 작스의 뒤를 이어 준우승을 차지했고 4월에 스웨덴 예테보리에서 열린 1981년 유럽 선수권 대회에서는 7위를 기록했다. 이후 1982년 11월에는 고향 부다페스트에서 열린 레슬링 월드컵에서 카니긴의 뒤를 이어 준우승을 차지했다.
1983년 4월에는 부다페스트에서 열린 1983년 유럽 선수권 대회에서 루마니아의 일리에 마테이에게 밀리면서 4위를 기록했으며 6월에는 폴란드 바르샤바에서 열린 브와디스와프 피틀라신스키 추모 대회에서 준우승을 차지했다. 같은 해 9월에는 소련 키예프에서 열린 1983년 세계 선수권 대회에서 카니긴과 불가리아의 아타나스 콤셰프의 뒤를 이어 동메달을 획득했다.
1985년에는 킥복싱에도 도전하여 헝가리 국가대표 킥복싱 선수로 활동하기도 했다. 같은 해 5월에는 일본 도쿄에서 열린 월드 슈퍼 레슬링 챔피언십에 참가하여 그레코로만형 100kg급에서 우승을 차지했다. 이후 현역에서 은퇴하여 부다페스트 스파르타쿠스 레슬링팀의 코치를 지내다가 할리우드로 넘어가 배우로 활동하기도 했다.
이후 1992년에 다시 레슬링 선수로 복귀하여 3월에 켈하임에서 열린 독일 그랑프리에서 독립국가연합의 세르게이 데먀시케비치의 뒤를 이어 준우승을 차지했으며 헝가리 선수권 대회에서 당해 헝가리 중량급 1인자인 머요르 샨도르를 꺾으며 올림픽 출전권을 획득했다. 같은 해 7월 스페인 바르셀로나에서 열린 1992년 하계 올림픽에서 첫 상대인 파나마의 루이스 산도발을 꺾었으나 유고슬라비아의 밀로시 고베다리차와 독일의 안드레아스 슈타인바흐에게 패하여 탈락했다. 이후 다시 한 번 레슬링에서 은퇴했고 2004년에 잠시 복귀하여 헝가리 선수권 대회에 출전하기도 했다.
2009년에는 헝가리 장애인 스포츠 협회 회장으로 취임했으며 자신의 이름을 건 격투기 도장을 운영하고 있다.
세르주주니오르 베르틸 니콜라스 마르틴손 은갈리(, 1992년 1월 23일 ~ )는 알스벤스칸 클럽 IF 브롬마포이카르나의 미드필더로 뛰는 프로 축구 선수이다. 스웨덴에서 태어난 그는 가봉 국가대표팀을 대표한다.
마르틴손 은갈리는 스웨덴 예테보리에서 가봉 혈통의 중앙아프리카 공화국인 아버지 사이에서 태어났다. 그의 어머니는 스웨덴인이고 세르주주니오르는 예테보리에서 자랐다. 함마르쿨렌의 교외에 살면서, 그는 지역 클럽인 군닐세 IS와 베스트라 프레룬다 IF에서 축구를 시작했다.
또한 그의 어머니와 전 프로 축구 선수인 쌍둥이 형제 톰 마르틴손 은갈리와 함께 그는 2003년 스톡홀름으로 이사했다. 11세에 그는 IF 브롬마포이카르나의 아카데미에 합류했다.
2010년, 그는 18세의 나이에 스웨덴 1부 리그인 알스벤스칸의 브롬마포이카르나에서 데뷔했다. 데뷔 시즌 동안 브롬마포이카르나는 수페레탄으로 강등되면서 리그에서 12경기를 뛰었다.
그는 2012년과 2013년 브롬마포이카르나의 중앙 미드필더 포지션에서 주전으로 자리 잡았지만 몇 경기만 결장했다. 마르틴손 은갈리는 곧 기술적 재능과 강력한 패싱 게임으로 유명해졌다.
2014년 시즌이 시작되기 전, 그는 당시 스웨덴 챔피언이었던 말뫼 FF의 관심을 끌었다. 마르틴손 은갈리는 브롬마포이카르나에 남기로 결정하고 클럽과 3년 계약을 체결했다. 같은 해에 팀에서 28경기에 출전하여 알스벤스칸에서의 첫 풀 시즌을 보냈다.
함마르뷔.
2017년 3월 16일, 그는 스톡홀름에 연고를 둔 동료 팀 함마르뷔 IF로 이적했다. 마르틴손 은갈리는 알스벤스칸 클럽과 3년 계약을 체결했다. 그는 전 감독 스테판 빌본과 전 팀 동료 파블로 피뇨네스 아르세에 다시 합류하여 현재 함마르뷔에서 부감독으로 일하고 있다.
마르틴손 은갈리는 2009년부터 2011년까지 스웨덴 U-19 대표팀에서 12번의 경기에 출전했다. 2011년 3월 24일, 그는 또한 이탈리아와의 경기에서 1-3으로 패한 스웨덴 U-21 대표팀에서 한 번 출전했다.
2016년 여름, 호세 안토니오 카마초 감독이 그를 훈련 캠프에 초대했을 때 가봉 축구 국가대표팀의 접근을 받았다. 그는 결국 2017년 아프리카 네이션스컵을 앞두고 최종 명단에 소집되었다. 마르틴손 은갈리는 2017년 1월 18일, 부르키나파소와의 경기에서 가봉 국가대표로 데뷔했다.
베카 미켈타제(, 1997년 11월 26일~)는 조지아의 축구 선수이다.
치아구 브라스 다 시우바(, 1993년 12월 16일~)는 브라질의 육상 선수로 주 종목은 장대높이뛰기이다. 2016년 하계 올림픽에서 금메달, 2020년 하계 올림픽에서 동메달을 획득했다.
레알 마드리드 CF B 페메니노()는 스페인의 마드리드를 연고로 하는 여자 축구 클럽으로 2020년에 레알 마드리드 페메니노과 함께 2군팀으로 창단되었다. 현재 스페인의 여자 축구 3부 리그인 세군다 페데라시온 페메니나에 소속되어 있다.
브리기테 그로툼(, 1935년 2월 26일 ~ )는 독일의 배우이다.
Cave World는 스웨덴의 포스트 펑크 밴드 비아그라 보이스의 세번째 정규 음반이다. 2022년 7월 8일 Year0001를 통해 발매되었으며, 2023년 1월 13일 4개의 곡이 추가된 음반의 디럭스 버전이 발매되었다.
Cave World는 코로나19 봉쇄 기간에 작업되었으며, 코로나19 백신에 관한 다양한 이야깃거리는 음반 제작에 상당한 영향을 끼쳤다. 그리고 이 음반은 인류의 기원 (특히 구석기 시대), 코로나 바이러스에 관한 음모론 및 잘못된 정보 등에서 역시 영향을 받았다.
"Exclaim!"의 마크 트렘블리는 이 음반을 포스트 펑크와 뉴 레이브의 융합이라고 이야기 한 바 있으며, Dazed를 포함한 매거진들의 연말결산에 포함되기도 했다.
앙토니 앙리 주에 오요노 옴바 토크(, 2001년 4월 12일 ~ )는 세리에 A 클럽 프로시노네에서 오른쪽 수비수로 뛰고 있는 가봉의 프로 축구 선수이다. 프랑스에서 태어난 그는 국제적인 수준에서 가봉을 대표한다.
2018년 US 불로뉴에 입단한 오요노는 2020년 7월에 1군으로 승격되었고, 2020년 8월 21일에 열린 US 퀘빌루앙과의 샹피오나 나시오날 원정 경기에서 수비수로 선발 출전해 성인 무대 데뷔전을 치렀고, 10월에는 클럽과 3년 연장 계약을 체결했다.
2022년 1월 30일, 오요노는 이탈리아 프로시노네와 2024년 6월 30일까지 계약을 체결했다.
오요노는 2021년 3월 30일 가봉에서 성인 국가대표팀 데뷔 전을 치렀고, 2021년 아프리카 네이션스컵 예선 앙골라와의 경기에서 수비수로 선발 출전하여 2-0 승리를 거두었다.
정포는 다음 뜻으로 쓰인다.
이탈리아의 가장 아름다운 마을(I Borghi più belli d'Italia) 또는 이탈리아에서 가장 아름다운 마을은 역사적, 예술적 관심이 강한 작은 이탈리아 마을의 비영리 민간 협회로, 2001년 3월에 설립되었다. 양질의 유산을 지닌 마을을 보존하고 유지하는 것을 목표로 하는 이탈리아 지방자치단체 전국 협회의 관광 협의회이다. 그 모토는 "숨겨진 이탈리아의 매력"(Il Fasino dell'Italia nascosta)이다.
작은 마을과 지방자치단체, 때로는 개별 마을까지도 보호, 보존 및 활성화하는 데 기여하려는 의도로 설립되었다. 이 마을은 주요 관광 순환로 외부에 있기 때문에 그 큰 가치에도 불구하고 결과적으로 황폐화, 인구 감소 등의 이유로 잊혀질 위험이 있다. 처음에는 이 그룹에 약 100개의 마을이 포함되어 있었는데, 이후 2023년에는 349개 마을로 늘어났다.
2012년 이탈리아 협회는 세계에서 가장 아름다운 마을 국제 협회의 창립 회원 중 하나였다. 이 협회는 특정 역사 및 경관에 관심이 있는 소규모 거주 중심지를 홍보하는 다양한 지역 협회를 하나로 모으는 민간 조직이다.
세계에서 가장 아름다운 마을(The Most Beautiful Villages in the World)은 특정 역사 및 경관에 관심이 있는 소규모 거주 중심지를 홍보하는 다양한 지역 협회를 하나로 모으는 비영리 민간 국제 조직이다.
프랑스, 일본, 이탈리아, 퀘벡주(캐나다), 왈롱(벨기에)의 5개 협회에 의해 프랑스의 고흐드에서 2012년 설립되었다. 나중에 스페인이 참가했다.
아세안 대학 네트워크(, AUN)는 동남아시아 지역의 대학교 단체이다. 1995년 11월 아세안 국가의 13개 대학을 회원으로 하여 출범하였다. 이후 아세안 회원국 수의 확대와 함께 현재는 30개 대학교가 속해 있다.
AUN의 자매 단체로서 아세안+3에 속한 대한민국, 중국, 일본의 대학교로 구성된 아세안+3 대학 네트워크()는 2012년 11월에 출범하여 현재 21개 대학교가 속해 있다.
아세안 대학 네트워크(AUN)는 동남아시아 국가 연합 10개국에 위치한 30개 대학교를 포함하는 단체이다. AUN은 이사회, 회원 대학교, AUN 사무국으로 구성된다. 이사회는 아세안 10개국의 대표 각 1명, 아세안 사무총장, 아세안 교육 위원회(ASCOE) 의장, AUN 전무이사로 구성된다. 이사회는 정책 구상, 계획안 승인, 예산 할당, 정책 실행 조율 등의 역할을 수행한다. 회원 대학교들은 AUN의 프로그램과 정책을 실행하는 역할을 맡는다. 1995년 창설 당시에 AUN은 7개국의 13개 대학교로 이루어져 있었다. 미얀마, 라오스, 캄보디아가 아세안에 포함되면서 회원교의 수는 21개로 늘었다. 많은 대학교에서 가입 신청이 있었지만, 새로운 아세안 회원국에 속한 학교만을 받아들이기로 결정되었다. 그러나 아세안 지역의 다른 대학교들도 정기적으로 옵서버로 초대된다. AUN 사무국은 AUN 활동의 계획·조직·감시·평가 및 새로운 정책 개발과 기금 확보를 수행한다. AUN 사무국은 2000년부터 태국 방콕의 쭐랄롱꼰 대학교 캠퍼스에 위치해 있다.
AUN 핵심 회원교.
현재 아세안 대학 네트워크는 아세안 10개국에 위치한 30개의 핵심 회원 대학교로 이루어져 있다.
세카이는 아래와 같은 의미가 존재한다.
호어 논리(), 플로이드-호어 논리() 또는 호어 규칙()은 엄격하게 추론하기 위한 일련의 논리적 규칙을 갖춘 형식 체계이다. 1969년 영국의 컴퓨터 과학자이자 논리학자인 토니 호어는 호어 논리를 제안하였고, 이후 호어와 다른 연구자들이 호어 논리를 개선하였다. 원래 아이디어는 순서도에 대해 유사한 체계를 발표한 로버트 플로이드의 작업에서 비롯되었다.
호어 세 쌍.
호어 논리의 핵심 특징은 호어 세 쌍()이다. 호어 세 쌍은 명령을 실행하는 것이 계산 상태를 어떻게 바꾸는지 설명한다. formula_1와 formula_2가 표명()이고 formula_3가 명령()일 때, 호어 세 쌍은 formula_4와 같은 형태이다.
이때 formula_1는 전제 조건(), formula_2는 사후 조건()으로, 위의 호어 세 쌍은 전제 조건이 충족된 상태에서 명령을 실행하였을 때 사후 조건이 성립함을 나타낸다. 각 표명은 1차 논리의 논리식이다.
호어 논리는 간단한 명령형 프로그래밍 언어의 모든 구성에 대한 공리와 추론 규칙을 제공한다. 호어의 원본 논문에 있는 간단한 언어에 대한 추론 규칙 외에도, 호어를 비롯한 많은 연구자들은 다른 언어 구성에 대한 추론 규칙을 개발하였다. 예시로는 동시성, 프로시저, 점프 및 포인터에 대한 추론 규칙이 있다.
부분 정확성과 총 정확성.
호어 세 쌍은 직관적으로 다음과 같은 뜻을 갖는다: 모든 상태에 대해, 상태가 formula_3를 실행하기 전에 formula_1를 만족하고, formula_3를 실행하여 종료되었을 때, 그 결과 상태는 formula_2를 만족한다. 만약 formula_3가 종료되지 않는다면 formula_2가 임의의 표명이더라도 호어 세 쌍은 유효하다. 이는 '종료된 이후의 상태'가 존재하지 않기 때문에, "종료된 이후의 상태는 formula_2를 만족한다"라는 명제가 공허하게 참이 된다고 설명할 수 있다. 예를 들어, formula_2를 false로 선택하면 formula_3는 항상 종료되지 않는다는 것을 표현할 수 있다.
즉, 호어 논리는 프로그램의 부분 정확성()만을 검증한다. 총 정확성()을 보이기 위해서는 명령이 종료()하는지 추가로 검증해야 한다. 이는 별도의 방법을 사용하거나 반복문 규칙을 확장하여 증명할 수 있다.
이 문서에서 '종료'는 계산이 언젠가 완료된다는 더 넓은 의미로 사용되고, 계산에 무한 루프가 없음을 의미한다. 이는 0으로 나누기 등 프로그램을 곧바로 중지시키는 구현 제한 위반이 없다는 것을 의미하지 않는다. 1969년 논문에서 호어는 구현 제한 위반이 없음을 수반하는 더 좁은 종료 개념을 사용하였다. 호어는 더 넓은 종료 개념을 선호한다고 하였는데, 그러한 개념이 표명의 구현 독립성을 유지하기 때문이다.
추론 규칙.
빈 명령 공리 도식.
빈 명령 공리 도식()은 다음과 같다.
문은 프로그램의 상태를 변경하지 않으므로, 실행 이전에 참이었던 것은 무엇이든 실행 이후에도 마찬가지로 참임을 나타낸다.
할당 공리 도식.
할당 공리 도식()은 다음과 같다.
변수 를 자유 변수로 갖는 표명 에 대해, formula_18는 에서 자유롭게 나타나는 를 각각 표현 로 치환하여 얻은 표명을 나타낸다.
할당 공리 도식은 formula_18의 진리값은 할당 이후의 의 진리값과 같다는 것을 의미한다. 따라서 formula_18이 할당 이전에 참이라면 할당 이후 는 참이다. 한편 공리 도식에서 표명 formula_21를 사용하면, formula_22이 할당 이전에 참일 때 할당 이후 formula_21가 참이라는 명제를 얻는다. 따라서 할당 공리의 이 또한 성립하는데, 할당 이전에 formula_18이 거짓이라면 할당 이후 는 거짓이다.
유효한 세 쌍의 예는 다음과 같다.
치환을 통해 바뀌지 않은 전제조건은 모두 사후조건으로 넘어갈 수 있다. 첫 번째 예에서는 할당 formula_27이후에도 formula_28이라는 사실은 변하지 않으므로 표명 formula_28은 사후 조건에 나타날 수 있다. 엄밀하게는, 를 "formula_30 그리고 formula_28"으로 놓고 공리 도식을 적용하여 얻을 수 있다. 이때 전제 조건 formula_32는 "formula_28 그리고 formula_28"이 되는데, 이는 주어진 전제 조건인 formula_28으로 단순화할 수 있다.
할당 공리 도식을 통해 전제 조건을 찾기 위해서는 우선 사후 조건을 선택한 후 할당의 좌변에 있는 모든 변수를 할당의 우변에 있는 표현으로 치환하여야 한다. 이 과정에서 전제 조건과 사후 조건을 바꾼 formula_36는 올바르지 않은 규칙이므로 주의하여야 한다. formula_37가 이 규칙의 반례가 된다.
언뜻 보기에 올바를 것 같은 formula_38 또한 올바르지 않은 규칙이다. formula_39가 이 규칙의 반례가 된다.
주어진 사후 조건 이 전제 조건 formula_18을 유일하게 결정하는 반면, 역은 성립하지 않는다. 다음 호어 세 쌍들은 모두 할당 공리 도식의 유효한 예시이고 같은 전제 조건을 가지고 있지만 서로 다른 사후 조건을 갖는다.
호어가 제안한 할당 공리는 둘 이상의 이름이 동일한 저장된 값을 참조할 수 있는 경우 적용되지 않는다. 예를 들어, 호어 세 쌍 formula_45은 formula_46와 formula_47를 formula_48으로 놓아서 얻을 수 있으므로 할당 공리 도식의 유효한 예시이다. 하지만, 와 가 동일한 변수를 참조하는 경우(앨리어싱) 이는 올바르지 않다.
합성 규칙.
합성 규칙()은 다음과 같다.
프로그램 가 실행된 이후 프로그램 를 실행하는 (즉 , 를 순차적으로 실행하는) 프로그램을 formula_50으로 표기한다. 이때 는 중간 조건()이라고 부른다.
예를 들어, 할당 공리의 다음 두 가지 예시
에서, 합성 규칙을 적용하여
와 같은 결론을 얻을 수 있다.
조건문 규칙.
조건문 규칙()에서, 과 부분에 공통되는 사후 조건 가 전체 조건문 의 사후 조건이 된다. 과 에서는 전제 조건에 각각 와 formula_55를 추가할 수 있다. 조건 에는 부작용이 없어야 한다.
조건문 규칙은 호어의 원본 논문에는 포함되어 있지 않다. 그러나
는 일회성 반복문인
와 동일한 효과가 있으므로, 조건문 규칙은 다른 추론 규칙으로부터 유도할 수 있다.
비슷한 방식으로, 반복, 반복, , , 같은 다른 파생 프로그램 구성에 대한 규칙도 호어의 원본 논문의 규칙으로부터 프로그램을 변환하여 유도할 수 있다.
결과 규칙.
결과 규칙()은 전제 조건을 강화하거나 사후 조건을 약화한다. 결과 규칙을 통해 얻는 새로운 호어 세 쌍은 일반적으로 전제가 되는 호어 세 쌍보다 약하지만, 원하는 것보다 더 강한 호어 세 쌍을 이미 증명하였을 때 구문론적으로 일치하는 호어 세 쌍을 얻기 위해 결과 규칙을 사용할 수 있다.
예를 들어, 다음을 검증하자.
조건부 규칙을 적용하여, 다음을 증명하면 충분하다.
그러나, formula_1를 formula_65로 두어 할당 공리 도식을 적용하면 formula_66, 또는 단순화하여 formula_67를 얻는다. 이 호어 세 쌍의 전제는 formula_68보다 약하므로, 결과 규칙을 적용하여 formula_69을 이끌어 내야 한다.
마찬가지로, 할당 공리 도식을 적용하면 formula_70, 또는 단순화하여 formula_71를 얻는다. 이 호어 세 쌍의 전제는 formula_72보다 약하므로, 결과 규칙을 적용하여 formula_63를 이끌어 낼 수 있다.
거칠게 말해서, 결과 규칙은 너무 강한 전제로부터 얻는 정보 formula_74를 "잊어버리는" 효과를 준다. formula_63를 증명하기 위해서는 그만큼 강한 정보가 필요하지 않기 때문이다.
반복문 규칙.
반복문 규칙()은 다음과 같다.
여기서 는 반복 불변량()으로, 반복문의 내용 에 의해 보존된다. 반복이 완료된 후 는 여전히 유지되고, 반복이 종료되려면 formula_55가 성립하여야 한다. 조건문 규칙과 마찬가지로 에는 부작용이 없어야 한다.
는 반복문 규칙에 의해,
으로부터 추론할 수 있다. 이는 할당 공리 도식을 통해 쉽게 얻을 수 있다.
마지막으로 사후조건 formula_81을 formula_82으로 단순화할 수 있고, 이를 통해
와 같이 간단한 반복문 프로그램을 검증할 수 있다.
또 다른 예시로, 반복문 규칙을 사용하면 임의의 수 의 정확한 제곱근 를 계산하는 ― 가 정수 변수이고 제곱수가 아닌 경우에도 ― 다음과 같은 이상한 프로그램을 형식적으로 검증할 수 있다.
를 로 놓아 반복문 규칙을 적용하여, 다음을 증명하면 된다.
이는 결과 규칙과 빈 명령 규칙을 통해 증명할 수 있으므로, 추론 규칙을 따라 유효한 증명을 만든 것이다.