hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
유한 상태 기계 역사
앨런 튜링(Alan Turing, 1912~1954)은 1936년 On Computable Numbers, with an Application to the Entscheidungsproblem("결정 문제에 대한 응용을 포함한 계산 가능한 수에 관하여")이라는 논문에서 튜링 기계(Turing Machine)의 개념을 소개했다.
튜링 기계는 다음과 같은 4개의 부분으로 이루어져 있다.
유한 가지 종류의 알파벳 또는 아무것도 쓰여 있지 않은 셀들의 연속이다. 튜링 기계에선 테이프는 연산에 필요한 만큼 제공되며, 왼쪽 또는 오른쪽으로 얼마든지 이동될 수 있다고 가정되어 있다.
테이프의 각 셀에 있는 기호들을 읽고 쓸 수 있으며, 테이프를 왼쪽 또는 오른쪽으로 한 칸씩 이동시킬 수 있는 튜링 기계의 부분이다.
(튜링) 기계가 수행해야 하는 작업들(대체로 5개, 때론 4개이다.)이 적힌 '책상'은 기계의 현재 상태와 현재 읽고 있는 기호가 주어졌을 때 기계가 아래의 것들을 연속적으로 하라고 명령한다.
1. 기호를 지우거나 적고,
2. '머리'를 이동시킨 후,
3. 이전과 같거나 새로운, 어쨌든 정해진 상태에 도달한다.
유한 상태 기계 역사
유한개의 튜링 기계의 가능한 상태들 중에서 어떤 시점에서의 튜링 기계의 상태를 저장한다.
여기서 한 가지 주목할 점은, 튜링 기계의 상태, 가능한 기호, 그리고 수행 작업들 모두 "유한하고, 분명하며 구분가능하다"(finite, discrete and distinguishable)는 것이다. 물론 테이프의 양은 필요에 따라 무한히 길게 늘어질 수 있긴 하지만, 이러한 특징이 바로 튜링 기계가 띠고 있는 유한 오토마타적 성질이라 할 수 있다.
그러나 튜링 기계는 유한 오토마타에 포함되는 개념이 아니라, 역으로 유한 오토마타가 튜링 기계에 포함되는 개념이다. 유한 오토마타는 사실상 '머리'가 오른쪽으로만 움직일 뿐만 아니라, 읽을 수만 있고 쓸 수 없는 튜링 기계의 특별한 집합이다.
튜링 기계가 컴퓨터 과학 분야에서 중요한 이유는, 튜링 기계가 역사상 가장 정교하고 강력한 오토마타이기 때문이다. 실제로, 어떤 계산 또는 연산이 튜링 기계를 통해 모델링될 수 없다면 컴퓨터에 의한 어떠한 효과적 해결책도 없다는 것이 증명되었다고 하며, 이는 곧 튜링 기계가 현재 우리가 갖고 있는 디지털 컴퓨터의 역량과 대등한 수학적 모델이라고 할 수 있음을 의미한다.
유한 상태 기계 역사
존 폰 노이만(John von Neumann, 1903년 12월 28일 ~ 1957년 2월 8일)은 헝가리 미국 독일 유태계의 수학자로서 양자물리학(quantum physics), 함수해석학(functional analysis), 집합이론(set theory), 컴퓨터 과학, 경제학과 많은 수학분야에 중요한 공헌을 하였다.
그는 생명체를 일종의 기계로 보았기 때문에 무기물인 기계도 자가 복제가 가능할 것이라고 생각했다. 노이만은 적어도 자신과 같은 정도의 복잡한 것을 만들어 내는 것이 가능하다는 것을 다음과 같은 방법으로 1948년에 논리적으로 증명하는 데 성공하였다.
1. 임의의 어떤 기계라도 만들 수 있는 만능제조 기계(Universal Machine) 을 설계한다.
2. UM 에 어떤 기계 M 을 만드는 프로그램을 담은 테이프 T(M) 을 넣는다면 UM 은 테이프 내용대로 기계 M 을 만들어 낼 것이다.
3. 만약 테이프 내용이 UM 을 만들라는 것일 경우 만능기계인 UM 은 테이프 내용 그대로 자신과 똑같은 또 하나의 UM 을 만들어 낼 것이다.
유한 상태 기계 역사
이 증명에서의 한가지 문제는 자가 복제 기계의 존재성은 만능 제조 기계의 존재성을 전제로 한다는 것이다. 노이만은 이 문제를 해결하기 위해 독일의 컴퓨터 과학자 콘라드 주세 (Konrad Zuse, 1910 ~ 95)의 아이디어를 빌렸다. 노이만은 물리적 계의 이산모델로서 오토마타가 병렬로 연결된 계산공간을 고안해 낸다. 노이만은 결국 약 20만 개에 달하는 29개의 상태를 갖는 오토마타를 2 차원의 평면에 배열하여 자가 복제 기계를 만드는데 성공했다.
사후에 그의 공동연구자 아터 버크스가 논문으로 제작하여 출판하였고 (Theory of Self Reproducing Automata) 미국 IBM의 코드(E. F. Codd)에 의해 단순화되었고 실제로 구현되었다.
유한 상태 기계 역사
크리스토퍼 랭턴(1948~)은 유한 오토마타와 연관이 깊은 개념인 인공 생명(Artificial Life, Alife, AL)의 개념의 창시자라고 할 수 있다.
랭턴은 1987년 로스앨러모스 국립 연구소에서,"생명계의 합성과 시뮬레이션에 대한 워크샵"(Workshop on the Synthesis and Simulation of Living Systems, Artificial Life I)을 최초로 열었으며 이때 인공 생명이라는 단어를 만들었다.
랭턴은 인공 생명분야에 시뮬레이션과 계산적 모델, 그리고 철학적 문제까지 많은 부분 공헌하였다. 그는 정보, 계산과 번식에 관한 문제를 본질적으로 연관짓고, 기본적인 법칙을 정의하였다. 물리학의 법칙중 특히 상전이에 영감을 받아 셀룰러 오토마타의 몇가지 기본 개념과, 정량적 분석을 발전시켰다. 또, 특히 생물학에서, 정렬이 비정렬로부터 분리해 내는 임계점이 복잡계를 형성하는 데에 중요한 역할을 함을 제시하였다. 이런 그의 아이디어는, 비록 다른 근사법을 썼지만, Per Bak이나 James Crutchfield등에 의해서도 동시에 논의되었다.
유한 상태 기계 역사
워런 맥컬록(Warren McCulloch)와 월터 피츠(Walter Pitts)는 1943년 A Logical Calculus Immanent in Nervous Activity("신경 활동에 내제된 논리적 고등 계산법")라는 논문을 통해 신경 네트워크 이론, 오토마타 이론, 그리고 컴퓨터 조작 및 인공 두뇌학 이론에 큰 기여를 했다. 그들의 논문을 미주리 대학에서 철학, 심리학, 신경 과학 등을 연구하는 철학자 Gualtiero Piccinini는 다음과 같이 평가하고 있다.
유한 상태 기계 역사
신경 과학과 컴퓨터 조작에서의 그 중요성에도 불구하고, McCulloch와 Pitt의 저명한 1943년의 논문은 거의 역사적, 철학적 주목을 받지 못 했다. 1943년엔 이미 신경 네트워크에 대한 수학적 연구를 하는 활발한 생물물리학자들의 집단이 존재했었다. McCulloch와 Pitt의 논문에서 참신했던 점은 신경 활동, 즉 정신적 활동을 이해하기 위한 그들의 논리와 계산이었다. McCulloch와 Pitt의 공헌은
세련화 및 일반화를 통해 유한 오토마타(컴퓨터 연산 이론에서 중요한 형식주의)의 개념을 도출했던 형식주의
논리 설계(현대 컴퓨터 디자인의 기초적인 부분)의 개념의 영감을 주었던 기술
정신-육체 문제를 다루기 위한 최초의 컴퓨터 연산의 사용
정신과 뇌에 관한 최초의 현대적 컴퓨터 연산 이론
을 포함한다.
유한 상태 기계 역사
George H. Mealy는 1955년 그의 논문 A Method for Synthesizing Sequential Circuits("순차 회로 합성 방법")에서 밀리 기계(Mealy machine)라는 개념을 처음으로 발표했다. 여기서 sequential circuit(순차 회로)이란 디지털 회로 이론(digital circuit theory)의 sequential logic(순차 논리), 즉 논리 회로의 결과값이 현재 입력값 뿐만 아니라 과거의 입력값의 역사에도 의존하는 논리 회로를 말한다. 이러한 논리 회로는 자연스럽게 컴퓨터 메모리와 관련이 많으며, (Mealy와 Moore 등의 학자들에 의해) 유한 오토마타와도 관련이 있다.
유한 상태 기계 역사
Edward F. Moore는 1956년 그의 논문 Gedanken-experiments on Sequential Machines에서 sequential machine(순차 기계 또는 순서 기계)은 유한 개의 상태, 유한 개의 가능한 입력 및 출력 기호들을 가지는 전형적인 유한 상태 기계(finite state machine)라고 했다. 순서 기계의 현재 상태는 오직 이전의 입력값과 이전 상태에 의해서만 결정되며, (무어의 논문에서는) 현재의 출력값은 오로지 현재 상태에만 의존한다는 점에서 순서 기계의 행동은 매우 엄격하게 결정적(strictly deterministic)이라고 할 수 있다고 했다. 무어는 그의 논문에서 두 가지 실험을 보이면서 이러한 순서 기계에 관한 생각을 열거하여, 무어 기계(Moore machine)의 개념을 소개했다. 그 두 가지 실험을 간단히 소개하자면 아래와 같다.
유한 상태 기계 역사
*(1)간단한 실험('simple experiment')
실험자와 테스트하고자 하는 순서 기계 하나가 존재한다. 실험자는 연속적으로 순서 기계에게 입력 기호들의 순열을 주고, 입력 기호들의 순열과 순서 기계로부터 나온 출력 기호들의 순열을 통합하여 순서 기계에 관한 결론을 내릴 것이다.
(2)복합 실험('multiple experiment')
실험자와 테스트하고자 하는 여러 복제된 순서 기계들이 존재한다. 각각의 순서 기계들은 동일한 초기 상태를 가진다. 간단한 실험에서와 마찬가지로 실험자는 순서 기계들에게 입력 기호들의 순열을 줄 것이며, 이 순열과 출력 기호들의 순열을 통합해 결론을 내린다.
이 두 실험에서 실험자는 사람이어도 되고, 또 다른 기계라 해도 상관없다. 무어가 그의 논문에서 이와 같은 두 개의 실험을 통해 생각하고자 했던 문제는 이 실험을 행하기 위한 명시적인 설명서(explicit instruction)을 주는 방법에 관한 것이었다.
이러한 이론적 실험들에 대한 연구가 어떻게 실제 상황에 도움이 될 수 있는가를 설명하기 위해 무어는 네 가지 예를 들었다.
유한 상태 기계 역사
첫 번째 예는 전쟁 중에 상대편의 것으로 판정된 미지의 기기의 역할과 작동 조건들 등에 대해 알아내는 상황이다. 상대편의 기기를 열어서 구조를 볼 수 없거나, 또는 열어서 보아도 너무 복잡하여 많은 것을 알아낼 수 없다고 가정할 때("블랙 박스 제한", "black box restriction"), 실험자는 오로지 입력 기호 순열과 출력 기호 순열을 바탕으로 이 기계의 작동 조건들에 관한 정보를 얻을 수 있을 것이다.
두 번째 예는 유한 오토마타를 만드는 엔지니어의 경우로, 엔지니어가 만든 유한 오토마타를 입력과 그 결과값으로 판별할 수 있다고 가정했을 때, 만약 또다른 더 적은 상태를 가지는 기기와 비교했을 때 어떠한 차이도 발견할 수 없다면 엔지니어는 더 간단한 상태를 가지는 그 기기로 자신의 유한 오토마타를 변형시킬 수 있을 것이다.
유한 상태 기계 역사
세 번째 예는 정신 의학자와 그의 환자의 예로, 정신 의학자는 뇌에 문제가 있는 환자에게 무언가를 물어보고(입력 기호 순열) 환자의 답을 통해(출력 기호 순열) 이 환자의 어떤 부분이 잘못되었는지 어느 정도 알 수 있을 것이다. 세 번째 상황에도 블랙 박스 제한 조건이 있기에 무어가 제안한 실험과 세 번째 상황이 근사적으로 비슷하다고 할 수 있다.
마지막으로 무어가 든 예시적 상황은 과학자의 실험이다. 과학자는 때로 자신의 실험에서 원하던 결과를 얻지 못할 때가 많다. 이러한 상황에서, 과학자는 직접적으로 자연의 구조나 실험 문제의 해결 방법을 얻을 수 없다는 블랙 박스 제한 조건에 부딪치기 때문에, 우회적으로 돌려 새로운 실험 조건을 만들어(입력 기호 순열) 그 결과를 살펴보며(출력 기호 순열) 문제를 해결해 나갈 것이다.
밀리 기계와 무어 기계는 둘 다 유한 오토마타에 속하는 기계인데, 차이점은 밀리 기계는 결과값이 현재 상태(current state)와 현재 입력값(current inputs)에 의해 결정되지만 무어 기계는 오로지 현재 상태에 의해서만 결정된다는 점이다.
유한 상태 기계 역사
예를 들어 자동차가 빨간 신호등을 인식했을 때 바로 멈추면 무어 기계인 것이고, 현재 진행 중이던 일을 마친 이후에 멈추면 밀리 기계인 것이다.
에이브럼 노엄 촘스키는 미국의 언어학자, 철학자, 정치운동가, 아나키스트, 저술가이자 진보적 교수이다. 현재 매사추세츠 공과대학교의 언어학과 교수이다.
20세기 초, 소쉬르(Fernand de Saussure)가 독립된 과학으로서의 언어 연구를 주창하면서 태동된 언어학은 제일 먼저 구조주의를 과학적인 방법론으로 발전시켜 나갔다. 오래전부터 소리, 의미, 문자를 갖춘 언어를 사용했으며, 문자 연구를 중심으로 역사-비교 언어학에 치중했던 유럽에서는 프라하 학파(School of Prague)가 언어의 본질적 기능에서 소리의 중요성을 인식하고, 청각적 실체를 가진 소리의 분석을 위한 구조주의 방법론을 개발하기 시작했다. 이러한 구조 언어학의 분석 방법 중 대표적인 것이 해리스(Zelig Harris)의 구조주의 방법론인데, 이 이론은 첫 단계로 대상 언어의 자료를 수집하고, 둘째 단계로 수집된 언어 자료 내에서 분석과 교체를 통해 음소, 이음, 형태소(morpheme), 이형태(allomorph)를 추출한 후 이들이 어떠한 방식으로 구조를 이루는가에 대해 연구했다.
촘스키는 이러한 귀납적인 구조주의 방법론에 문제점을 제기하고 나섰다. 그의 언어 분석은 인간의 정신 세계를 중심으로 하는 이성주의에 바탕을 두고 있으며, 인간에게는 언어를 만들어내고 익힐 수 있는 언어 능력이 있으므로 그 능력을 언어 분석에 적극 이용해야 하며, 언어학 연구의 초점도 이러한 언어 능력을 규명하는 데 맞춰져야 한다고 주장했다. 이를 계기로 문법의 재구성이라는 목표를 수행하기에 턱없이 불완전한 언어 자료의 결함을 인간의 언어 능력으로 보완함으로써, 그때까지의 언어학 연구에서 구조주의에 의해 배제됐던 연역적 추리가 지위를 되찾게 됐다. 또한 언어학이 추구하는 바가 귀납적인 문법의 기술에서 연역적인 문법의 설명으로 전환하게 됐다. 노엄 촘스키는 1956년에 촘스키 위계(Chomsky hierachy)이라는 것을 처음 서술하였다. 형식언어(Formal Language)를 생성하는 형식문법(Formal Grammar) 들을 분류해 놓은 계층구조이다.
Type-0 문법(제약 없는 문법, UG, unrestricted grammars): 이 문법은 모든 형식문법을 포함한다. 튜링기계(Turing Machine) 로 인식가능한 모든 언어를 정확히 생성한다. 그 인식가능한 언어란 튜링기계가 정지(halt)하는 모든 문자열들을 의미한다. 이 언어들은 또한 회귀열거가능 언어 (recursively enumerable languages) 로 알려져있다. 이것은 튜링기계를 항상 정시시켜서(halt) 결정가능한 재귀 언어(decidable recursive language)와는 다르다는 것을 주목해야 한다.
Type-1 문법(문맥 의존 문법, CSG, context-sensitive grammars): 이 문법은 문맥 의존 언어를 생성한다. 이 문법은 αAβ → αγβ 형태의 규칙을 가진다. 여기서 문자열 α와 β는  일 수 있지만는  이 아니어야 한다. 만일 S 가 어떤 규칙의 우측에 나타나지 않으면 규칙 S → ε 가 허용된다. 이 문법으로 묘사되는 언어는 비결정적 튜링 기계(non-deterministic Turing machine, 테이프가 입력의 길이를 상수으로 제한된 튜링 기계)으로 인식가능한 모든 언어들이다.
Type-2 문법(자유 문맥 문법, CFG, context-free grammars): 이 문법은 문맥 자유 언어를 생성한다. 이것은 A → γ의 형태를 가지는 규칙으로 정의된다. 이 언어들은 비결정적 푸시다운 오토마타(non-deterministic pushdown automaton)로 인식가능한 모든 언어들이다. 문맥 자유 언어는 대부분의 프로그래밍 언어 문법의 이론적 기초이다.
Type-3 문법(정규 문법, RG, regular grammars): 이 문법은 정규 언어(regular languages)를 생성한다. 이 언어의 문법은 다음의 둘 중 하나로 정의된다. (1) 또는 , 여기서 이고, 이다. (2)  또는 , 여기서 이고, 이다.
이 중 Type-3 문법(정규 문법, RG, regular grammars)이 생성한 정규 언어(regular languages)는 유한 오토마타로 결정가능한 모든 언어들이다. 모든 유한 오토마타는 모든 정규 언어를 표현할 수 있으며 역으로 모든 정규 언어는 모든 유한 오토마타로 표현될 수 있다. 즉, 유한 오토마타의 집합과 정규 언어의 집합은 일치한다. 덧붙여서 정규 언어는 정규 표현식으로 얻어질 수 있다. 정규 언어는 검색 패턴 등과 같이 프로그래밍 언어의 어휘구조(SQL등)를 정의하는 데 흔히 사용된다.}}
유한 상태 기계 유한 오토마타와 인공 생명
기계론적 사고관과 이를 바탕으로 번성한 자동 기계들을 통해 사람들은 생명이란 무엇인가에 대해 의문을 가지게 되었다. 그리고 이러한 생각을 바탕으로, 유한 오토마타와 관련이 깊은 인공 생명(Artificial Life, Alife, AL)과 인공 지능(Artificial Intelligence, AI) 등의 개념들이 탄생하였다.
기계론적 사고관, 또는 기계론적 자연관에선 자연에 존재하는 모든 물체들은 수학적, 역학적 법칙을 따라 외부의 원인에 의해서만 움직인다고 말한다. 이 자연관에 따르면 생명체와 비생명체, 유기체와 무기체의 구분은 무의미할 뿐이다. 이에 더해 오토마타, 즉 자동 기계들은 생명체는 아니지만 생명체와 매우 비슷한 행동과 모습들을 보여주었다. 결국 이 둘은 사람들로 하여금 대중적으로 생명체라 여겨지지 않았던 것들도 생명체와 다를 바가 없다는 생각을 심어주었고, 이를 과학적으로 표현한 것이 바로 인공 생명과 인공 지능 등의 컴퓨터 과학 개념이라고 할 수 있다.
유한 상태 기계 유한 오토마타와 인공 생명
이러한 철학적 관점 뿐만 아니라, 역사적, 기술적으로도 유한 오토마타와 인공 생명은 연관이 깊다. 미시간 대학의 전기 공학 및 컴퓨터 과학 교수 Arthur W. Burks의 말에 따르면, 인공 생명이란 "셀룰러 오토마타의 논리와 다른 전산화 가능한 진화학적 구조(computerizable evolutionary structures)로부터 발생한 창의적인 인간-기계 연구"라고 한다. 여기서 셀룰러 오토마타(Cellular Automata, CA)란 유한 오토마타의 한 종류로, 폰 노이만의 1948년 논문인 Theory of Self-reproducing Automata("자가 복제 오토마타 이론")에서 스스로를 복제할 수 있는 로봇에 관하여 구상할 때 처음 나온 개념이다.(1948년에 내용을 완성했으나 출판된 것은 1966년이라고 한다.)
유한 상태 기계 유한 오토마타와 인공 생명
인공생명은 크리스토퍼 랭턴(Christopher G. Langton)(1948~)이 1987년에 처음 제창한 개념으로, 인공생명에서의 철학의 핵심은 "우리가 아는 생명(life as we known it)" 대신 "생명이라 할 수 있는 생명(life as it could be)"이라고 할 수 있다. 한 가지 짚고 넘어갈 점은 비록 크리스토퍼 랭턴이 처음으로 '인공생명'이란 단어를 만들긴 했지만, 오늘날의 인공생명의 기준으로 보았을 때 인공생명이라고 간주되는 것은 이전에도 이미 있었으며, 심지어 바로 랭턴이 태어난 해인 1948년 이론적인 인공생명의 디자인이 이미 구현되었다는 점이다. 그것은 1948년 폰 노이만의 논문 Theory of Self-reproducing Automata에서 제안된 셀룰러 오토마타이다. 뿐만 아니라 비슷한 시기에 Norbert Wiener가 정보 이론과 자가 통제 과정에 관한 분석(analysis of self-regulatory processes)(다른 말로 항상성-homeostasis-라고 함)을 생물 시스템 연구에 적용하여 인공 생명 연구의 출발을 알렸다.
인공 생명에는 크게 3가지 종류가 있다.
유한 상태 기계 유한 오토마타와 인공 생명
인공 생명을 만드는 데에는 크게 두 가지 기술적 이론이 쓰이는데, 하나는 셀룰라 오토마타(Cellular Automata, CA)이고 다른 하나는 신경 네트워크(Neural Network)이다. 셀룰라 오토마타는 확장성(scalability)과 병렬화(parallelization)의 특성 때문에 널리 쓰이는 것으로, 인공 생명과 매우 밀접한 역사를 지니고 있다. 한편 신경 네트워크는 본래는 뇌와 신경의 구조를 모델적으로 나타내기 위해서 연구되고 있는 분야로, 인공 생명 구현에선 배워가면서 진화해 나가는 생명체의 집단의 역동(population dynamics)을 시뮬레이션 하는데 쓰이는 중요한 기술이다.
'부드러운' 인공생명은 기본적으로 소프트웨어 프로그램 상으로 존재하는 인공 생명을 말한다. 이렇게 만들어진 인공 생명들은 아래의 4가지 종류로 분류될 수 있다.
유한 상태 기계 유한 오토마타와 인공 생명
'부드러운' 인공생명의 대표적인 예로는 크리스토퍼 랭턴의 개미(Langton's Ant)와 랭턴의 루프(Langton's Loop) 등이 있다.
크리스토퍼 랭턴의 개미 시뮬레이션은 "(1)개미가 하얀색 사각형에 있으면 오른쪽으로 90도 돌고 사각형의 색깔을 바꾼 뒤 한 칸 전진한다 (2)개미가 검은색 사각형에 있으면 왼쪽으로 90도 돌고 사각형의 색깔을 바꾼 뒤 한 칸 전진한다"의 매우 간단한 두 가지 규칙으로 구성되어 있다.
유한 상태 기계 유한 오토마타와 인공 생명
프로그램을 따라 작동하되 실제 세계에서 작동하도록 외형을 가진 인공 생명을 일컫는 말이다. 로봇과 자동기계(automaton)이 여기에 속한다.
이 분야에선 실제 세계에서 자체적으로 적응하는 지능적 행동들을 구현하는 것이 목적이다. 이러한 행동들을 구현시키기 위해서 사용하는 한 가지의 기술로는 외부 환경이 행동들을 만들도록 하는 것이다. 이러한 '생물적으로 자극 받는'(biologically-inspired)로봇들의 행동은 외부 환경을 잘 인식할 수 있는 기기만 갖추고 있다면 복잡하고 예측 불가능한 외부 환경 속에서 살아갈 수 있다고 한다. 이러한 방식으로 구현된 로봇을 "행위에 기반을 둔"(behavior-based) 로봇이라고 하며, 이러한 로봇들은 곤충을 모방한 로봇 형태로부터 시작해 성공을 거두며 현재 휴머노이드 로봇까지 확대되었다고 한다.
유한 상태 기계 유한 오토마타와 인공 생명
Hard Artificial Life와 비슷하지만 외형이 생명체의 외피와 같은 유기물질 등으로 되어 있는 경우의 인공생명을 말한다. 이러한 분야가 유전자 조작 등 유기적 생명체를 만들어 내려고 노력하는 생물 분야와 다른 점은 가장 기본적이고 사소한 부분에서 인공 생명을 만들어낸다(creating artificial life from scratch)는 점에 있다.
인공 생명과 연관된 분야 또는 개념으로는 아래와 같은 것들이 있다.
진화 알고리즘(Evolutionary Algorithms) :최적화 문제(optimization problem)에 적용된 약한 인공 생명 원리의 적용이라고 할 수 있다. 차이점으론 최적화 문제에선 진화 알고리즘은 개체의 적합함(fitness of an agent)을 문제를 푸는 능력으로 정의하는 반면 인공 생명에선 말 그대로 가장 잘 생존하는 능력으로 정의한다는 점이다.
유한 상태 기계 유한 오토마타와 인공 생명
인공지능(人工知能)은 철학적으로 인간이나 지성을 갖춘 존재, 혹은 시스템에 의해 만들어진 지능, 즉 인공적인 지능을 뜻한다. 일반적으로 범용 컴퓨터에 적용한다고 가정한다. 이 용어는 또한 그와 같은 지능을 만들 수 있는 방법론이나 실현 가능성 등을 연구하는 과학 분야를 지칭하기도 한다.
인공지능이란 분야를 처음 인식하기 시작한 것은 1943년 McCulloch 와 Pitts에 의해서 시작되었으며 그 동기는 뇌에 있어서 뉴런의 기능과 작용에 대한 연구와 명제 논리 그리고 튜링테스트 연구였다. 뉴런으로 연결된 네트워크 학습의 개념이 필요함을 주장하였으면 인간의 사고 과정을 최초로 연결망을 통해 모델화했다는 점에서 인공지능 역사상 의의가 매우 크다고 볼 수 있다.
유한 상태 기계 유한 오토마타와 인공 생명
1956년 여름 다트마우스(Dartmouth) 대학의 캠퍼스에 '생각하는 기계', 즉 지적인 행동을 하는 컴퓨터에 관해 토론하기 위해서 많은 사람들이 모였으며(수학자,심리학자,전기기술자,대학의 연구자 기업가 등등) 이들은 디지털 계산기를 '생각하는 기계'로 만들 수 있다는 신념을 가지고 있었고 이 회의가 인공지능(artificial intelligence: AI)이란 단어를 탄생시킨 계기가 되었다. 이 회의는 공식적으로 '다트마우스 하기 인공지능 연구계획'이라 불리며 그 뒤의 10년간을 지배한 여러 연구성과를 냈다. 이것이 제1차 인공지능 연구의 시작이었다.
인공지능에 대한 연구는 강한 인공지능과 약한 인공지능으로 나뉘는데, 강한 인공지능은 어떤 문제를 실제로 사고하고 해결할 수 있는 컴퓨터 기반의 인공적인 지능을 만들어 내는 것에 관한 연구다. 즉, 인공지능의 강한 형태는, 지각력이 있고, 스스로를 인식하는 것이라고 말할 수 있다.
유한 상태 기계 유한 오토마타와 인공 생명
반면 약한 인공지능은 어떤 문제를 실제로 사고하거나 해결할 수는 없는 컴퓨터 기반의 인공적인 지능을 만들어 내는 것에 관한 연구다. 그와 같은 시스템은 진짜 지능이나 지성을 갖추고 있지는 못하지만, 어떤 면에서 보면 지능적인 행동을 보일 것이다.
여기서 강한 인공지능이 존재할 수 있는지에 관한 철학적인 논쟁이 발생하였다. 강한 인공지능이 존재한다고 주장하는 사람들은 다음과 같은 4가지 논리를 든다.
그러나 로저 펜로즈를 포함한 몇몇 사람들은 처치-튜링 명제의 적용이 가능하지 않다고 논박한다. 어떤 이들은 인간의 마음은 물리적인 속성을 뛰어넘는 무엇이 있다고 이야기한다.
인공 화학은 3-튜플 (S,R,A)로 일반적으로 정의된다. 어떤 경우에는 튜플 (S,I)로도 정의된다.
인공 화학은 인공생명의 하위 분야이며, 구체적으로는 딱딱한 인공 생명의 하위 분야이다. 이 분야에 깔려있는 아이디어는, 살아있는 것을 구성하기 위해서는, 살아있지 않은 독립체로 이루어져야 한다는 것이다. 예컨대, 세포는 살아있지만, 살아 있지 않은 분자들로 이루어져있다. 인공 화학은, 극도로 기초 부터의 접근이 강조된 인공 생명이라고 볼 수 있다.
유한 상태 기계 유한 오토마타와 인공 생명
미시간 대학의 John Holland는 1975년에 게임 이론과 공학에서의 문제를 포함한 다양한 문제에 유전학적 선택을 적용하는 방법론을 개발하였다. 진화 알고리즘(Evolutionary Algorithm) 또는 유전 알고리즘(Genetic Algorithm)이라고 불리는 이 과정은 다음과 같은 규칙에 따라 작동한다.
이 규칙에서도 알 수 있듯이 진화 알고리즘 또는 유전자 알고리즘은 19세기의 찰스 다윈(Charles Darwin, 1809~1882)이 주장한 진화론에서의 자연선택과 적자생존에 기반을 둔, 자연에서의 진화 현상을 컴퓨터적, 알고리즘적으로 응용하여 문제를 푸는 과정이다. 진화 알고리즘에서 쓰는 용어는 아래와 같다.
진화 알고리즘에는 여러 가지 종류가 있다.
이들은 주로 3가지의 진화적 프로세스, 즉 선택(selection), 돌연변이(mutation), 생식(reproduction)을 사용한다. 이러한 각각의 진화적 접근에는 세 가지 공통적인 요소들이 있다.
유한 상태 기계 유한 오토마타와 인공 생명
이러한 진화 알고리즘의 중요한 장점으론, 단순히 병렬적으로 나열된 가능한 해 중 진짜 해를 찾아나가는 것보다 더 효율적으로, 복수 개체 사이의 상호 협력(선택과 교배)을 통해 해를 찾아나갈 수 있다는 점이다. 뿐만 아니라 신경 네트워크(neural network) 등에서는 작업을 위해 평가 함수의 미분값이 필요할 때가 있는데, 이와 달리 진화 알고리즘은 현재 상태로만 판단하기 때문에 단순하고 쉬운 알고리즘이며 불연속적인 평가 함수에 대해서도 적용이 가능하다. 하지만 진화 알고리즘의 단점으론 어떤 문제를 진화 알고리즘을 이용해서 푸는 일반적인 방법이 없다는 점과 진화 과정에서 고려해야 하는 변수들이 많다는 점들이 있다.
진화 알고리즘의 예로는 개미를 키우는 MICROANTS가 있다.
진화 예술은 컴퓨터에 의해 만들어지는 예술의 한 형태로, 진화 디자인 가운데 예술적 창의성을 가장 큰 특징으로 갖는다. 진화 예술의 기본 배경은 사용자가 자연도태와 유사한 방식인 '선택'메커니즘을 통해 자신이 선호하는 작품을 만들고자 하는 것이다. 모든 진화 예술에서는 하나 이상의 부모 작품이 돌연변이 및 교배되어 다수의 자손 작품을 발생하게 되며, 적합도 평가에 기초해서 다음 세대를 구성할 작품이 선택된다. 가령, 미적인 이미지를 만드는 진화 예술 시스템은 임의의 값으로 초기화된 이미지 집단을 컴퓨터 화면에 보인다. 예술성을 평가할 기준을 컴퓨터 프로그램으로 만드는 데에는 아직 한계가 있기 때문에, 진화 예술가가 직접 이미지를 선택함으로써 자신이 선호하는 작품이 생존해서 더 좋은 작품으로 진화하도록 한다.
진화 예술 시스템은 평가를 통해 선택된 이미지들을 돌연변이해서 다음 세대의 이미지를 만들어낸다. 이렇게 만들어진 이미지는 이전 세대의 것 보다는 미적으로 개선된 것이다. 진화 예술가는 다시 평가에 참여하고 진화계산에 의해 새로운 세대의 이미지가 발생한다. 이런 과정은 원하는 이미지가 만들어질 때까지 반복될 수 있다. 물론, 초기 집단에서 임의로 만들어진 이미지 대신에 이전에 만들었던 작품이나 아직 완성되지 않은 작품을 사용할 수도 있다. 진화 예술에서 진화알고리즘은 끊임없이 새로운 것을 발생시키기 위해 사용된다. 본질적으로 적합도를 평가할 수 있는 기준이 존재한다면 문자열로 표현할 수 있는 모든 것을 진화알고리즘에 의해 진화시킬 수 있다. 예술성을 평가할 기준을 컴퓨터 프로그램으로 만드는 데는 아직 한계가 있기 때문에, 진화 예술에서 작품에 대한 적합도 평가는 사용자가 한다. 즉, 프로그램이 다수의 예술작품을 발생하고 사용자가 자신의 선호도에 따라 작품을 선택하면, 재결합을 통해 새로운 세대의 작품이 발생하게 된다.
진화 음악은 진화 예술에서 소리를 다루는 부분이다. 진화 음악은 진화 알고리즘으로부터 생성되는 알고리즘적인 음악이다. 진화 음악은 개인, 또는 여러 사람이 만들어낸 소리(멜로디 등)나 그 소리의 일부분을 사용하거나 완전히 랜덤하게 시작된다. 그 다음 계산적인 생물학적 과정(예를 들어 자연선택, 돌연변이, 재결합)을 사용하여 생산된 소리가 더 음악적이 되도록 만든다.
진화 음악의 합성은 소리를 생성하거나 악기를 종합하는 기술과도 연관되어 있다. 진화 음악은 사용자나 청중들에게 음악의 기능이 적합하도록 만들어주는 상호작용적인 진화 알고리즘을 사용하지만, 아직 계산적으로 음악의 품질을 측정하기는 어려움이 있다. 그러나 음악의 품질에 대한 자동 계산의 정확성을 높이는 것에 대한 연구도 현재 이루어지고 있다. 진화 계산 기술은 조화나 반주 작업에도 사용된다. 이러한 진화 연산 작업을 구현하는 기술로는 유전 알고리즘이나 유전 프로그래밍이 있다.
자연발생설(自然發生說, Abiogenesis)은 생명체가 부모 없이 스스로 생길 수 있다는 가설이지만, 인공생명에서 다루는 자연발생론이란 생명의 기원에 대한 알고리즘적 시뮬레이션을 의미한다.
유한 상태 기계 표현 방법
몇가지 종류의 상태 전이 표가 사용된다.가장 흔히 쓰이는 표현 방법은 다음과 같다: 현재 상태(예:B)와 입력값(예:Y)의 조합은 다음 상태(예:C)를 나타낸다. 전체 동작 정보는 표에서 직접 표현되지 않고, 각주를 이용하여서 추가하는 것만 가능하다. 전체 동작 정보를 포함하는 유한 상태 기계는 가상 유한 상태 기계(Virtual finite-state machine)의 상태 표를 이용하여 정의 가능하다.
통합 모델링 언어(UML, 영어: Unified Modeling Language)는 상태 기계를 나타낼 수 있는 표기법을 갖고 있다. UML 상태 기계는 고전적인 유한 상태기계의 이점은 살리면서, 한계를 극복할 수 있다. UML 상태 기계는 동작와 전이의 연장선상에서 위계적으로 중첩된 상태와 직교 영역이라는 개념을 도입하였다. UML 상태 기계는 밀리 모델과 무어 모델의 특징을 동시에 가진다. 행위와 전이에서, 밀리 모델처럼 시스템의 상태와 이벤트의 발생 모두에 의존적이며, 또 무어 모델처럼 상태보다는 전이에 더 관련깊은 진입 동작과 퇴장 동작에 의존적이기도 하다.
유한 상태 기계 표현 방법
기술 표준언어(SDL, )는 전이 동작을 표현하기 위한 그래픽 심볼을 포함한 ITU 인증 표준이다
SDL은 추상 데이터 타입(ADT, 영어: Abstract Data Types)과 유한 상태 기계를 실행 가능하게 하기 위해, 실행 시맨틱을 삽입한다.
이 외에도 유한 상태 기계를 표현할 수 있는 방법은 많다.
유한 상태 기계 사용되는 곳
디지털 회로에서, 유한 오토마타는 설계 가능 논리 소자, 프로그래머블 로직 컨트롤러, 논리 회로 그리고 플립플롭 또는 전자계전기를 사용하여 구축될 수 있다. 즉, 하드웨어적 응용에는 상태 변수를 저장할 프로세서 레지스터, 상태 전이 함수를 결정할 여러 가지 논리들과 유한오토모타의 출력을 결정할 논리들이 필요하다.
다음과 같은 개념들이 일반적으로 유한 오토마타를 사용한 소프트웨어 구축에 사용된다.
또한 이를 이용하여 다음과 같은 곳에 응용된다.
유한 오토마타는 미래의 상태에 대한 출력값이 이전 상태에 의존하여 동작을 생성한다. 기본적으로 유한 오토마타는 다음과 같은 것들로 구성된 컴퓨터 프로그램이라 할 수 있다.
유한 상태 기계 사용되는 곳
유한 오토마타는 다양한 많은 유형들의 이벤트에 의해 작동이 이루어지는 상황에서 가장 유용하고, 특정 이벤트에 대한 응답은 이전 이벤트의 순서에 기반한다. 유한 오토마타를 작동하게 하는 이벤트들은 키보드, 마우스, 타이머, 또는 네트워크 활동 같은 컴퓨터 외적인 요소에서 발생되거나, 응용 프로그램의 다양한 부분들 또는 다른 응용 프로그램들과 같은 컴퓨터 내적인 곳에서 발생될 수 있다. 이러한 유한 오토마타의 성질에 따라 자바스크립트, C# 등을 사용한 응용 프로그램 설계에 사용된다.
자바나 C#, SQL 등의 프로그래밍 언어에서 결정적 유한 오토마타를 사용하여 지정된 글자가 적합한지 판별할 수 있다. 예를 들어 이메일의 기본적인 형식은 "문자열"+"@"+"도메인" 인데, 주어진 문자열과 이 형식이 일치하는치 판별할 수 있다. 자바에서는 java.util.regex 패키지에서, C#은 System.Text.RegularExpressions 네임스페이스에서, SQL언어는 직접 정규 문법을 사용할 수 있다. 사용자가 정규 문법을 사용해서 만든 코드는 각각의 프로그래밍 언어의 컴파일러에서 자동으로 결정적 유한 오토마타로 변환되어 사용된다.
유한 상태 기계 사용되는 곳
컴파일러(compiler, 순화 용어: 해석기, 번역기)는 특정 프로그래밍 언어로 쓰여 있는 문서를 다른 프로그래밍 언어로 옮기는 프로그램을 말한다. 이러한 작업을 수행하기 위해서는 프로그래머가 입력한 코드를 미리 정의된 자유 문맥 언어의 의미 단위로 나눌 수 있어야 한다. 이때, 유한 오토마타가 사용된다. 프로그래밍 언어의 의미 단위는 거의 예외 없이 정규집합으로 표현 될 수 있다.
대부분의 어휘 분석기 생성기들은 의미 단위를 나타내는 정규표현의 순열을 입력으로 받아서 어떠한 토큰도 인식 할 수 있는 하나의 유한 오토마타를 생성한다. 일반적으로 생성 과정은 일단 정규 표현을 ε-전이를 가진 비결정적 유한 오토마타로 변화시키고 나서 상태들의 부분집합을 이용하여 결정적 유한 오토마타를 구성한다. 각 최종 상태는 발견된 특정한 의미 단위들을 나타내므로 이러한 오토마타들은 무어기계라고 할 수 있다.
유한 상태 기계 사용되는 곳
예를 들어, 파스칼 언어에 있어서 모든 변수(identifier)들의 집합은 하나의 언어이다. 각 변수는 하나의 문자(letter)로 시작되어야 하며 문자 다음에는 임의 개수의 문자나 숫자(digit)가 혼용하여 사용될 수가 있다. 다음의 문법은 변수에 대한 정확한 정의를 나타내는 규칙들이다.
이때 주어진 문자열이 변수인지를 확인할 때 결정적 유한 오토마타가 사용된다.
패리티 비트(Parity bit)는 정보의 전달 과정에서 오류가 생겼는지를 검사하기 위해 추가된 비트이다. 전송하고자 하는 데이터의 각 문자에 1 비트를 더하여 전송하는 방법으로 2가지 종류의 패리티 비트(홀수, 짝수)가 있다. 패리티 비트는 오류 검출 부호에서 가장 간단한 형태로 쓰인다.
이러한 패리티 비트를 출력하는 과정에 유한 오토마타가 사용된다.
오른쪽 그림의 패리티 비트를 출력하는 유한 오토마타에서, A는 짝수 패리티, B는 홀수 패리티의 상태를 각각 나타낸다.
만일 입력이 010011일 경우에 M의 동작은 다음과 같다.
δ(A, 0) ＝A => output 0
δ(A, 1) ＝B => output 1
δ(B, 0) ＝B => output 1
δ(B, 0) ＝B => output 1
δ(B, 1) ＝A => output 0
δ(A, 1) ＝B => output 1
즉 출력되는 결과는 011101이다.
이동진의 꿈꾸는 다락방
《이동진의 꿈꾸는 다락방》은 영화평론가 이동진의 진행으로 방송된 MBC 표준FM의 라디오 프로그램이다.
2011년 5월 9일 MBC라디오 봄개편으로 신설되었다. 하지만 2013년 3월 25일 MBC 라디오 봄 개편으로 인해 2년만에 폐지되었다.
서던 리그
서던리그(Southern League)는 1964년 창설된 미국 남부의 더블 A 야구 리그이다. 총 10팀으로 이루어져 있으며 2개의 디비전으로 운영된다.
무주 김씨
무주 김씨(茂朱金氏)는 전북특별자치도 무주군을 본관으로 하는 한국의 성씨이다.
무주 김씨 역사
《무오보(戊午譜)》세록에 따르면, 시조 김성(金晟)은 신라 대보공 김알지의 43세손으로 고려 공민왕 때 문과에 등과하여 국자감 제주(祭主)를 역임하였으며, 조선 태종 때 보문각 대제학을 지낸 뒤 무주백(茂朱伯)에 봉해졌다고 한다. 그리하여 후손들이 관향을 무주로 삼게 되었다고 한다. 그러나 일설에는 고려 우왕 3년에 벼슬이 보문각 대제각에 이르고 무주백에 봉해졌다고 하여 이 주장 역시 함께 기록한다고 세록에 적혀 있다.
무주 김씨 역사
2세 김생려(生麗)는 부제학(副提學)에 올랐으며, 3세 김규(葵)는 세종조에 예조판서를 거쳐 홍문관 대제학(大提學)으로 대광원윤(大匡元允=크게 바르고 올바름의 으뜸)이란 칭송이 높았다. 6세 김선지(善之)는 집현전 교리로 18학사와 함께 종사하며 문종으로부터 어린 단종의 뒷일을 부탁받은 고명대신(顧命大臣)이다. 후일 사육신(死六臣) 등과 더불어 단종의 복위를 도모하다가 병자사건에 연루되어 김감(堪), 김선지(善之), 김한지(漢之), 김유인(有仁)이 참형을 당하는 멸문의 화를 입었다. 이로 인하여 가족들은 고향인 수원 북쪽 청룡산(靑龍山) 아래 벽계동(碧溪洞)에서 화를 피하여 충청도 내포지역(보령,홍성,예산,아산,당진,서산,태안 등)에 흩어져 살게 되었다. 12세 김석여(錫汝)는 충청지방의 저명한 성리학자로 존경 받았고, 14세 김광찬(光纘)은 효행으로 정조로부터 효자집안이라는 친필 현판을 하사 받았으며, 19세 김사구(思九)는 일제에 맞서 독립운동에 참여하여 애국지사로 이름을 날리는 등 대대로 충절과 의리, 효행을 실천하고 학문에 정진하는 가문의 전통과 명예를 이어왔다.
무주 김씨 본관
무주(茂朱)는 전라북도 북동부에 위치한 지명이다. 삼한시대에 주계(朱溪)는 마한에 속했고, 무풍(茂豊)은 변진의 감문국(甘文國)에 속하였다. 백제의 근초고왕이 마한을 평정하면서 주계를 정복하고 적천현(赤川縣)이라 칭했으며, 조분왕은 감문국을 토벌하고 무풍을 무산현(茂山縣)으로 개칭하였다. 신라의 영토가 된 뒤 한촌(寒村)으로 전락하여, 757년(경덕왕 16) 주계를 단천현(丹川縣)으로 개칭해 전주 진례현(進禮縣)의 속현으로 삼았고, 무산현을 무풍현으로 개칭해 상주 개령군(開寧郡)에 속하게 하였다. 940년(태조 23) 단천을 주계로 개칭했고, 995년(성종 14) 주계와 무풍을 남원부 진례현의 속현으로 하였다. 1018년(현종 9) 5도제가 실시되면서 주계와 무풍을 전라도에 예속시켰다. 1391년(공양왕 3) 주계가 무풍을 병합하였다. 조선 개국 후 1414년(태종 14) 주계와 무풍을 통합해 무주현으로 개칭하였다.
무주 김씨 과거 급제자
조선시대 문과 급제자는 없고, 무과 급제자 3명을 배출하였다.
무과
김구(金龜) 김숙(金淑)
생원시
김병민(金秉民) 김양래(金陽來)
진사시
김사용(金思容) 김석래(金錫來) 김위(金瑋)
룬체현
룬체현(종카어: ལྷུན་རྩེ་རྫོང་ཁག་)은 부탄을 구성하는 20개 현(종카그) 가운데 하나로, 부탄 북동부에 위치한다. 현청 소재지는 룬체이며 면적은 2,881km2, 인구는 15,395명(2005년 기준)이다. 8개 게워그(강주르, 자라이, 코마, 쿠르토에, 멘비, 멘초, 민자이, 첸카르)를 관할한다.
몽가르현
몽가르현(종카어: མོང་སྒར་རྫོང་ཁག་)은 부탄을 구성하는 20개 현(종카그) 가운데 하나로, 부탄 동부에 위치한다. 현청 소재지는 몽가르이며 면적은 1,638km2, 인구는 37,069명(2005년 기준)이다. 17개 게워그(발람, 차스카르, 찰리, 드라메체, 드레풍, 공두에, 주르메이, 켕카르, 몽가르, 나랑, 나창, 살렝, 셰리뭉, 실람비, 탕롱, 차칼링, 차망)를 관할한다.
파로현
파로현(종카어: སྤ་རོ་རྫོང་ཁག་)은 부탄을 구성하는 20개 현(종카그) 가운데 하나로, 현청 소재지는 파로이며 면적은 1,693km2, 인구는 36,433명(2005년 기준)이다. 오랜 역사를 가진 산골짜기이며 티베트와의 무역 교류나 침략이 잦았기 때문에 파로 현의 문화는 티베트 문화와 유사한 점이 많다.
파로 현에는 부탄 유일의 국제공항인 파로 공항이 있는데 부탄의 국영 항공사인 드루크 에어는 이 곳을 기점으로 인도와 동남아시아를 연결하는 항공 노선을 운항한다. 서쪽으로는 하 현, 북쪽으로는 중국 티베트 자치구, 동쪽으로는 팀부 현, 남쪽으로는 추카 현과 인접해 있으며 10개 게워그(도가, 돕샤리, 도텡, 훙그렐, 람공, 룽니, 나자, 샤파, 첸토, 왕창)를 관할한다.
페마가첼현
페마가첼현(종카어: པད་མ་དགའ་ཚལ་རྫོང་ཁག་)은 부탄을 구성하는 20개 현(종카그) 가운데 하나로, 부탄 남동부에 위치한다. 현청 소재지는 페마가첼이며 면적은 593km2, 인구는 13,864명(2005년 기준)이다. 11개 게워그(치뭉, 초에코를링, 총싱보랑, 데첸링, 카르, 나농, 노르부강, 슈마르, 유룽, 조벨)를 관할하며 부탄에서 면적이 가장 작은 주이기도 하다.
푸나카현
푸나카현(종카어: སྤུ་ན་ཁ་རྫོང་ཁག་)은 부탄을 구성하는 20개 현(종카그) 가운데 하나로, 현청 소재지는 푸나카이며 면적은 845km2, 인구는 17,715명(2005년 기준)이다. 11개 게워그(바르프, 추부, 조모, 고엔샤리, 구마, 캅지사, 링무카, 솅가브지메, 탈로, 토에피사, 토에왕)를 관할한다.
창원한마음병원
창원한마음병원은 경상남도 창원시 의창구 용동로 57번길 8 (사림동)에 위치한 25개 질환별 의학센터와 30개 세부진료과가 있는 한양대학교 교육수련병원이다. 의료법인 한마음국제의료재단 산하로 재단이사장 겸 제1대 병원장은 하충식, 2대 병원장은 윤영국, 3대 병원장은 박성수, 4대 병원장은 박인성이다. 현재는 5대 김명환.
창원한마음병원 역사
1995년 1월 1일에 당시 창원시 명서동 소재 창원고려병원을 하충식 산부인과 과장이 인수, 병원 명칭을 한마음병원으로 변경하고 개원했다. 1999년 12월 31일 사회복지법인 동하재단을 설립하여 병원을 법인화했다. 이어 2000년 1월 31일 사회복지법인 동하 한마음병원으로 명칭변경. 2000년 9월 29일 지금의 부지에 병원 신축을 시작했다.(지하2층, 지상 9층규모)
2001년 12월 10일 신축병원이 완공됨에 따라 이전개원, 진료를 보기 시작했다. 2002년 4월 1일 병원에서 종합병원으로 격상. 2006년 8월 1일 사회복지법인에서 의료법인 동하의료재단 한마음병원으로 명칭을 변경. 2007년 4월 1일 보건복지부 의료기관평가 우수의료기관에 선정. 2008년 2월 25일 병원증축공사를 시작(400병상). 2009년 6월 19일 증축동 완공을 통해 부족한 병상과 장비도입공간을 확충했다. 2010년 3월 22일 지역응급의료센터를 개설 했다.
창원한마음병원 역사
2010년 12월 3일 한양대학교의료원과 부속병원급 협력병원 협약을 맺어 비공식 명칭으로 한양대학교의료원 한마음병원을 병용 사용하여, 한양대학교 의과대학 임상수련을 한양대학교의료원 산하병원과 동일한 교육을 담당하게 되었다.
이후 경남지역 최대 산부인과클리닉(20개), 연구활동과 논문 발표, 보건복지부 의료기관평가인증을 획득하여 교육수련병원으로 면모를 다지고 있다.
경상남도내 종합병원 중 최초로 포괄수가제를 시행하고 있으며 국민건강검진센터를 확장 개소하는 등 진료시스템과 시설환경적 편의를 도모하고 있다.
2016년 3월 10일, 한양대학교와 의학분야 100억 규모의 임상, 연구, 교육수련의 협약을 체결하고 비공식 명칭으로 한양대학교 한마음창원병원을 사용하기 시작하였다.
2010년대 말 법인 이름을 동하의료재단에서 한마음국제의료재단으로 변경하였다.
창원한마음병원 역사
2021년 3월 2일, 20년동안 자리잡았던 성산구 상남동 시대를 마감하고, 사림동 창원중앙역세권 시대를 맞이했다. 신축 병원은 지하4층, 지상10층 규모이며, 서울 이남 병원 건물로는 최대 규모이다.
2023년에는 창원시에 의과대학을 설립하기 위해 학교법인 강인학원을 설립하였다. 교육부에서 대학 설립을 인가할 경우 의과대학과 간호대학으로 대학을 꾸릴 예정이다.
2030년까지 2000~3000병상을 목표하고 있다
2024년 3월2일 옛 병원부지인 상남동 한마음병원이 2024년 3월 2일에 "상남한마음병원"으로 개원 했다. 새로 문을 연 상남한마음병원은 정형외과와 신경외과, 소아청소년과, 산부인과 등 8개과, 262병상 규모다. 또한, 기존에 있던 의사가 상남한마음병원으로 옮기는 것이 아닌 새로운 의사들이 진료한다.
창원한마음병원 진료과 및 센터
순환기내과, 내분비내과, 소화기내과, 호흡기내과, 외과, 흉부외과, 정형외과, 신경외과, 산부인과, 성형외과, 소아청소년과, 정신건강의학과, 가정의학과, 마취통증의학과, 영상의학과, 병리과, 진단검사의학과, 응급의학과, 신경과,  치과,  비뇨기과, 혈액종양내과, 직업환경의학과
중풍클리닉, 갑상선클리닉, 임플란트클리닉, 잇몸질환클리닉, 알레르기클리닉, 성장 성조숙클리닉, 비만클리닉, 불임클리닉, 여성성형클리닉, 갱년기클리닉, 부인암클리닉, 산과클리닉, 요실금클리닉, 내시경클리닉, 사춘기클리닉
창원지역응급의료센터, 건강검진센터, 구강의학센터, 뇌신경센터, 소화기센터, 아동의학센터, 안이센터, 여성의학센터, 암센터, 영상의학센터, 내분비대사센터, 임상시험센터, 심뇌혈관센터, 심리수면센터, 중앙수술센터, 척추관절센터, 피부성형센터, 호흡기센터, 진단병리센터
원연
원연(元埏, 1543년~?)은 조선시대 중기의 의병장으로, 정유재란 때 전사하였다. 지중추부사 삼도수군통제사 원균의 동생이다.
원연 생애사
원연은 1543년 병마절도사 증 의정부영의정에 추증된 원준량과  양성지의 후손 양희증(梁希曾)의 딸 남원 양씨의 아들로 경기도 평택군 평택읍에서 태어났다. 후에 삼도수군통제사를 지내는 원균은 그의 형이다. 1567년(선조 즉위년) 사마시(司馬試)에 합격한 후 관직에 나가지 않고 향리에 은거하다가 1592년(선조 25) 임진왜란 당시 의병을 일으켜 왜적과 싸워 공을 세웠다. 그 뒤 1597년(선조 30) 정유재란 때에는 적성현감을 제수받았으며 그해 조선을 재침한 왜적과 싸우다 전사하였다.
말이 감당을 못할 정도로 비만인 탓에 말을 못 타는 형 원균과는 정반대로 기병의 달인이었다(원균이 고도비만인 탓에 말을 못탔다는둥 육군지휘를 못했다는둥 하는 말은 야사이다.선조는 원균에게 2번이나 말을 하사하기도 했으며, 원균은 경상우수사 이후에 충청병사,전라병사를 역임하기도 했다)소규모 기병을 이끌고 왜군 여기저기를 휘저은 뒤 골짜기 같이 폐쇄적인 지형으로 유인해서 매복된 궁병으로 왜군을 초토화시키는 전술을 주로 사용했다.
원연 가족 관계
고조부 : 원몽(元蒙, 1419년 ~ ?, 기일은 1월 29일, 증 통훈대부 군자감정에 추증)
증조부 : 원숙정(元叔貞, 기일은 7월 26일, 통정대부 형조참의에 추증)
종조부 : 원건(元健, 생원시에 입격하고 교수역임)
할아버지 : 원임(元任, 증 가선대부 호조참판에 추증)
양 아버지 : 원수량(元遂良), 백부이자, 양부
부인 : ?
아들 : 원사립(元士立, 1569년 ~ 1610년, 동생 원전에게 양자로 출계)
숙부 : 원국량(元國良), 직장
친 아버지 : 원준량(元俊良, 군인)
친 어머니 : 남원 양씨, 양성지의 후손
형 : 원균(元均,  음력 1월 5일 ~ 1597년 음력 6월 19일)
형수 : 파평윤씨(坡平尹氏, 1546년 ~ 1642년 9월 16일)
조카 : 원사웅(元士雄, 1575년 ~ 1597년(?))
동생 : 원용(元墉)
동생 : 원전(元塼, ? ~ 1597년, 원균의 동생이자 부장. 칠천량 전투에서 전사.)
동생 : 원지(元地)
동생 : 원곤(元坤)
동생 : 원감(元堪)
동생 : 원해(元垓)
요음
요음(일본어: 拗音)은 い단의 가나에 や행의 스테가나를 붙여 (예: ぎゃ, ぴゅ, じょ) 표기하는 일본어의 음절이다. 요음은 1모라를 형성한다.
음성학적으로 요음은 구개음화나 원순모음화에 의해 형성된 음절중 대립하는 구개음화 혹은 원순모음화되지 않은 직음을 갖고 있는 것을 말한다.
구개음화에 의한 요음을 개요음(開拗音), 원순모음화에 의한 요음을 합요음(合拗音)이라 한다.
요음은 '굽은 소리'를 뜻하여 직음(直音)에 상대되는 말이다. 그리고 직음은 한 개의 가나로 표기되는 데에 반해 요음은 두 개의 가나로 표기된다.