shopkeeper/korean_wiki_content_only_120125 huggingface dataset:
기계론적 사고관과 이를 바탕으로 번성한 자동 기계들을 통해 사람들은 생명이란 무엇인가에 대해 의문을 가지게 되었다. 그리고 이러한 생각을 바탕으로, 유한 오토마타와 관련이 깊은 인공 생명(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-라고 함)을 생물 시스템 연구에 적용하여 인공 생명 연구의 출발을 알렸다.
인공 생명을 만드는 데에는 크게 두 가지 기술적 이론이 쓰이는데, 하나는 셀룰라 오토마타(Cellular Automata, CA)이고 다른 하나는 신경 네트워크(Neural Network)이다. 셀룰라 오토마타는 확장성(scalability)과 병렬화(parallelization)의 특성 때문에 널리 쓰이는 것으로, 인공 생명과 매우 밀접한 역사를 지니고 있다. 한편 신경 네트워크는 본래는 뇌와 신경의 구조를 모델적으로 나타내기 위해서 연구되고 있는 분야로, 인공 생명 구현에선 배워가면서 진화해 나가는 생명체의 집단의 역동(population dynamics)을 시뮬레이션 하는데 쓰이는 중요한 기술이다.
'부드러운' 인공생명은 기본적으로 소프트웨어 프로그램 상으로 존재하는 인공 생명을 말한다. 이렇게 만들어진 인공 생명들은 아래의 4가지 종류로 분류될 수 있다.
'부드러운' 인공생명의 대표적인 예로는 크리스토퍼 랭턴의 개미(Langton's Ant)와 랭턴의 루프(Langton's Loop) 등이 있다.
프로그램을 따라 작동하되 실제 세계에서 작동하도록 외형을 가진 인공 생명을 일컫는 말이다. 로봇과 자동기계(automaton)이 여기에 속한다.
이 분야에선 실제 세계에서 자체적으로 적응하는 지능적 행동들을 구현하는 것이 목적이다. 이러한 행동들을 구현시키기 위해서 사용하는 한 가지의 기술로는 외부 환경이 행동들을 만들도록 하는 것이다. 이러한 '생물적으로 자극 받는'(biologically-inspired)로봇들의 행동은 외부 환경을 잘 인식할 수 있는 기기만 갖추고 있다면 복잡하고 예측 불가능한 외부 환경 속에서 살아갈 수 있다고 한다. 이러한 방식으로 구현된 로봇을 "행위에 기반을 둔"(behavior-based) 로봇이라고 하며, 이러한 로봇들은 곤충을 모방한 로봇 형태로부터 시작해 성공을 거두며 현재 휴머노이드 로봇까지 확대되었다고 한다.
Hard Artificial Life와 비슷하지만 외형이 생명체의 외피와 같은 유기물질 등으로 되어 있는 경우의 인공생명을 말한다. 이러한 분야가 유전자 조작 등 유기적 생명체를 만들어 내려고 노력하는 생물 분야와 다른 점은 가장 기본적이고 사소한 부분에서 인공 생명을 만들어낸다(creating artificial life from scratch)는 점에 있다.
인공지능(人工知能)은 철학적으로 인간이나 지성을 갖춘 존재, 혹은 시스템에 의해 만들어진 지능, 즉 인공적인 지능을 뜻한다. 일반적으로 범용 컴퓨터에 적용한다고 가정한다. 이 용어는 또한 그와 같은 지능을 만들 수 있는 방법론이나 실현 가능성 등을 연구하는 과학 분야를 지칭하기도 한다.
인공지능이란 분야를 처음 인식하기 시작한 것은 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) 등에서는 작업을 위해 평가 함수의 미분값이 필요할 때가 있는데, 이와 달리 진화 알고리즘은 현재 상태로만 판단하기 때문에 단순하고 쉬운 알고리즘이며 불연속적인 평가 함수에 대해서도 적용이 가능하다. 하지만 진화 알고리즘의 단점으론 어떤 문제를 진화 알고리즘을 이용해서 푸는 일반적인 방법이 없다는 점과 진화 과정에서 고려해야 하는 변수들이 많다는 점들이 있다.
진화 예술.
진화 예술은 컴퓨터에 의해 만들어지는 예술의 한 형태로, 진화 디자인 가운데 예술적 창의성을 가장 큰 특징으로 갖는다. 진화 예술의 기본 배경은 사용자가 자연도태와 유사한 방식인 '선택'메커니즘을 통해 자신이 선호하는 작품을 만들고자 하는 것이다. 모든 진화 예술에서는 하나 이상의 부모 작품이 돌연변이 및 교배되어 다수의 자손 작품을 발생하게 되며, 적합도 평가에 기초해서 다음 세대를 구성할 작품이 선택된다. 가령, 미적인 이미지를 만드는 진화 예술 시스템은 임의의 값으로 초기화된 이미지 집단을 컴퓨터 화면에 보인다. 예술성을 평가할 기준을 컴퓨터 프로그램으로 만드는 데에는 아직 한계가 있기 때문에, 진화 예술가가 직접 이미지를 선택함으로써 자신이 선호하는 작품이 생존해서 더 좋은 작품으로 진화하도록 한다.
진화 예술 시스템은 평가를 통해 선택된 이미지들을 돌연변이해서 다음 세대의 이미지를 만들어낸다. 이렇게 만들어진 이미지는 이전 세대의 것 보다는 미적으로 개선된 것이다. 진화 예술가는 다시 평가에 참여하고 진화계산에 의해 새로운 세대의 이미지가 발생한다. 이런 과정은 원하는 이미지가 만들어질 때까지 반복될 수 있다. 물론, 초기 집단에서 임의로 만들어진 이미지 대신에 이전에 만들었던 작품이나 아직 완성되지 않은 작품을 사용할 수도 있다. 진화 예술에서 진화알고리즘은 끊임없이 새로운 것을 발생시키기 위해 사용된다. 본질적으로 적합도를 평가할 수 있는 기준이 존재한다면 문자열로 표현할 수 있는 모든 것을 진화알고리즘에 의해 진화시킬 수 있다. 예술성을 평가할 기준을 컴퓨터 프로그램으로 만드는 데는 아직 한계가 있기 때문에, 진화 예술에서 작품에 대한 적합도 평가는 사용자가 한다. 즉, 프로그램이 다수의 예술작품을 발생하고 사용자가 자신의 선호도에 따라 작품을 선택하면, 재결합을 통해 새로운 세대의 작품이 발생하게 된다.
진화 음악.
진화 음악은 진화 예술에서 소리를 다루는 부분이다. 진화 음악은 진화 알고리즘으로부터 생성되는 알고리즘적인 음악이다. 진화 음악은 개인, 또는 여러 사람이 만들어낸 소리(멜로디 등)나 그 소리의 일부분을 사용하거나 완전히 랜덤하게 시작된다. 그 다음 계산적인 생물학적 과정(예를 들어 자연선택, 돌연변이, 재결합)을 사용하여 생산된 소리가 더 음악적이 되도록 만든다.
진화 음악의 합성은 소리를 생성하거나 악기를 종합하는 기술과도 연관되어 있다. 진화 음악은 사용자나 청중들에게 음악의 기능이 적합하도록 만들어주는 상호작용적인 진화 알고리즘을 사용하지만, 아직 계산적으로 음악의 품질을 측정하기는 어려움이 있다. 그러나 음악의 품질에 대한 자동 계산의 정확성을 높이는 것에 대한 연구도 현재 이루어지고 있다. 진화 계산 기술은 조화나 반주 작업에도 사용된다. 이러한 진화 연산 작업을 구현하는 기술로는 유전 알고리즘이나 유전 프로그래밍이 있다.
자연발생론.
상태/이벤트 표.
몇가지 종류의 상태 전이 표가 사용된다.가장 흔히 쓰이는 표현 방법은 다음과 같다: 현재 상태(예:B)와 입력값(예:Y)의 조합은 다음 상태(예:C)를 나타낸다. 전체 동작 정보는 표에서 직접 표현되지 않고, 각주를 이용하여서 추가하는 것만 가능하다. 전체 동작 정보를 포함하는 유한 상태 기계는 가상 유한 상태 기계(Virtual finite-state machine)의 상태 표를 이용하여 정의 가능하다.
UML 상태 기계.
통합 모델링 언어(UML, 영어: Unified Modeling Language)는 상태 기계를 나타낼 수 있는 표기법을 갖고 있다. UML 상태 기계는 고전적인 유한 상태기계의 이점은 살리면서, 한계를 극복할 수 있다. UML 상태 기계는 동작와 전이의 연장선상에서 위계적으로 중첩된 상태와 직교 영역이라는 개념을 도입하였다. UML 상태 기계는 밀리 모델과 무어 모델의 특징을 동시에 가진다. 행위와 전이에서, 밀리 모델처럼 시스템의 상태와 이벤트의 발생 모두에 의존적이며, 또 무어 모델처럼 상태보다는 전이에 더 관련깊은 진입 동작과 퇴장 동작에 의존적이기도 하다.
SDL 상태 기계.
SDL은 추상 데이터 타입(ADT, 영어: Abstract Data Types)과 유한 상태 기계를 실행 가능하게 하기 위해, 실행 시맨틱을 삽입한다.
다른 상태 다이어그램.
하드웨어적 응용.
디지털 회로에서, 유한 오토마타는 설계 가능 논리 소자, 프로그래머블 로직 컨트롤러, 논리 회로 그리고 플립플롭 또는 전자계전기를 사용하여 구축될 수 있다. 즉, 하드웨어적 응용에는 상태 변수를 저장할 프로세서 레지스터, 상태 전이 함수를 결정할 여러 가지 논리들과 유한오토모타의 출력을 결정할 논리들이 필요하다.
소프트웨어적 응용.
응용 프로그램의 설계.
유한 오토마타는 미래의 상태에 대한 출력값이 이전 상태에 의존하여 동작을 생성한다. 기본적으로 유한 오토마타는 다음과 같은 것들로 구성된 컴퓨터 프로그램이라 할 수 있다.
유한 오토마타는 다양한 많은 유형들의 이벤트에 의해 작동이 이루어지는 상황에서 가장 유용하고, 특정 이벤트에 대한 응답은 이전 이벤트의 순서에 기반한다. 유한 오토마타를 작동하게 하는 이벤트들은 키보드, 마우스, 타이머, 또는 네트워크 활동 같은 컴퓨터 외적인 요소에서 발생되거나, 응용 프로그램의 다양한 부분들 또는 다른 응용 프로그램들과 같은 컴퓨터 내적인 곳에서 발생될 수 있다. 이러한 유한 오토마타의 성질에 따라 자바스크립트, C# 등을 사용한 응용 프로그램 설계에 사용된다.
텍스트 필터링.
자바나 C#, SQL 등의 프로그래밍 언어에서 결정적 유한 오토마타를 사용하여 지정된 글자가 적합한지 판별할 수 있다. 예를 들어 이메일의 기본적인 형식은 "문자열"+"@"+"도메인" 인데, 주어진 문자열과 이 형식이 일치하는치 판별할 수 있다. 자바에서는 java.util.regex 패키지에서, C#은 System.Text.RegularExpressions 네임스페이스에서, SQL언어는 직접 정규 문법을 사용할 수 있다. 사용자가 정규 문법을 사용해서 만든 코드는 각각의 프로그래밍 언어의 컴파일러에서 자동으로 결정적 유한 오토마타로 변환되어 사용된다.
컴파일러(compiler, 해석기, 번역기)는 특정 프로그래밍 언어로 쓰여 있는 문서를 다른 프로그래밍 언어로 옮기는 프로그램을 말한다. 이러한 작업을 수행하기 위해서는 프로그래머가 입력한 코드를 미리 정의된 자유 문맥 언어의 의미 단위로 나눌 수 있어야 한다. 이때, 유한 오토마타가 사용된다. 프로그래밍 언어의 의미 단위는 거의 예외 없이 정규집합으로 표현 될 수 있다.
대부분의 어휘 분석기 생성기들은 의미 단위를 나타내는 정규표현의 순열을 입력으로 받아서 어떠한 토큰도 인식 할 수 있는 하나의 유한 오토마타를 생성한다. 일반적으로 생성 과정은 일단 정규 표현을 ε-전이를 가진 비결정적 유한 오토마타로 변화시키고 나서 상태들의 부분집합을 이용하여 결정적 유한 오토마타를 구성한다. 각 최종 상태는 발견된 특정한 의미 단위들을 나타내므로 이러한 오토마타들은 무어기계라고 할 수 있다.
예를 들어, 파스칼 언어에 있어서 모든 변수(identifier)들의 집합은 하나의 언어이다. 각 변수는 하나의 문자(letter)로 시작되어야 하며 문자 다음에는 임의 개수의 문자나 숫자(digit)가 혼용하여 사용될 수가 있다. 다음의 문법은 변수에 대한 정확한 정의를 나타내는 규칙들이다.
패리티 비트 생성.
패리티 비트(Parity bit)는 정보의 전달 과정에서 오류가 생겼는지를 검사하기 위해 추가된 비트이다. 전송하고자 하는 데이터의 각 문자에 1 비트를 더하여 전송하는 방법으로 2가지 종류의 패리티 비트(홀수, 짝수)가 있다. 패리티 비트는 오류 검출 부호에서 가장 간단한 형태로 쓰인다.
즉 출력되는 결과는 011101이다.
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) 주계와 무풍을 통합해 무주현으로 개칭하였다.
김구(金龜) 김숙(金淑)
김병민(金秉民) 김양래(金陽來)
김사용(金思容) 김석래(金錫來) 김위(金瑋)
룬체현()은 부탄을 구성하는 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일 한양대학교의료원과 부속병원급 협력병원 협약을 맺어 비공식 명칭으로 한양대학교의료원 한마음병원을 병용 사용하여, 한양대학교 의과대학 임상수련을 한양대학교의료원 산하병원과 동일한 교육을 담당하게 되었다.
경상남도내 종합병원 중 최초로 포괄수가제를 시행하고 있으며 국민건강검진센터를 확장 개소하는 등 진료시스템과 시설환경적 편의를 도모하고 있다.
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번이나 말을 하사하기도 했으며, 원균은 경상우수사 이후에 충청병사,전라병사를 역임하기도 했다)소규모 기병을 이끌고 왜군 여기저기를 휘저은 뒤 골짜기 같이 폐쇄적인 지형으로 유인해서 매복된 궁병으로 왜군을 초토화시키는 전술을 주로 사용했다.
요음()은 い단의 가나에 や행의 스테가나를 붙여 (예: ぎゃ, ぴゅ, じょ) 표기하는 일본어의 음절이다. 요음은 1모라를 형성한다.
요음은 '굽은 소리'를 뜻하여 직음(直音)에 상대되는 말이다. 그리고 직음은 한 개의 가나로 표기되는 데에 반해 요음은 두 개의 가나로 표기된다.
징가(Zynga)는 미국의 소셜 네트워크 게임 개발 업체이다. 징가는 페이스북이나 마이스페이스와 같은 소셜 네트워크 서비스(SNS)에게 독립형 혹은 애플리케이션형 브라우저 기반의 게임을 제공한다. SNS 사용자들의 친목과 인맥관리를 위한 서비스이다.
징가는 두 가지 방법에 의해 수익을 창출한다. 첫 번째는 직접적인 신용 카드 결제에 의한 매출 증가이며., 두 번째는 파트너 비즈니스로부터 얻는 부가적인 매출이다.
이용자들이 징가의 게임들을 즐기기 위해서는 게임 내에서 "에너지"(energy)라는 것이 필요하다. 징가 게임들의 가장 중요한 특징인 "미션"(mission)을 수행하려면 일정 양의 에너지를 소비해야만 한다. 에너지를 모두 소비하고 나면, 최대 한계치에 다다를 때까지 에너지가 천천히 다시 채워진다. 이용자는 채워진 에너지를 통해 다시 추가 미션들을 수행할 수 있게 된다. 하지만 에너지가 채워지는 일정 시간을 기다리지 못하는 이용자들의 심리를 반영하여, 게임 내에서 신용 카드 결제를 통해 에너지를 구매할 수 있도록 만들었다. 이러한 구조에서, 징가는 수익을 얻을 수 있게 된다.
징가의 게임들은 많은 다른 사업들과 연결되어 있다. 이용자들은 게임 점수나 에너지, 혹은 프리미엄을 얻기 위해 징가의 파트너들로부터 신규 신용 카드를 신청하도록 하는 제안을 수락할 수 있으며, 설문조사에 응하기도 하며, 특정 상품이나 서비스를 구매하기도 한다.
스팸성.
징가의 대부분의 게임은 다른 이용자들과의 상호 활동에 의한 게임 내의 이익을 얻는 과정이 중요하게 다루어진다. 따라서 이용자들은 게임을 권유함으로써, 더 많은 사람들과의 상호 활동을 추구하게 된다. 하지만 징가의 게임을 이용하지 않는 사람들은 이러한 과정에서 원치 않게 받게 되는 스팸 광고성 메시지에 대해 많은 불만을 표출하고 있다. 이에 따라, 페이스북은 애플리케이션 개발 관련 준수 조항을 수정하여 이러한 문제점을 해결하려 했다.
지적 재산권 무단 침해.
아스 테크니카(Ars Technica)는 6개월 먼저 출시된 그들의 게임인 플레이피쉬(Playfish)의 레스토랑 시티(Restaurant City)가 징가의 카페 월드(Cafe World)와 거의 비슷하다고 발표했다.
이외에도, 2009년 9월에는 징가의 스트릿 레이싱(Street Racing) 게임안에 사용된 상표와 관련하여 닛산으로부터 경고를 받았다. 그 후 징가는 닛산과 인피니티 브랜드를 차용한 모든 차들의 이름과 섬네일 이미지들을 수정했다. 그와 동시에, 지엠(GM), 페라리, 람보르기니, 사브 등의 다른 브랜드들을 차용한 자동차들의 이름과 디자인을 모두 수정하였다.
토가시 요시히로(, 1966년 4월 27일 ~ )는 일본의 만화가이다. 야마가타현에서 태어났다. 대학에 다닐 때부터 본격적으로 만화를 투고하기 시작하여, 그의 재능을 눈여겨본 슈에이샤에 의해 스카웃되었다. 초기에는 여러 장르를 발표하였으나, 《유유백서》로 유명 만화가가 되었다. 현재는 《헌터X헌터》를 연재하고 있으며, 1999년 1월 6일, 만화가 타케우치 나오코(미소녀전사 《세일러문》 작가)와 결혼하였다. 그의 남동생 토가시 히데아키(冨樫 秀昭) 또한 만화가이며, 주로 성인 만화를 그린다.
토가시 요시히로는 초등학교 2학년 때부터 가볍게 만화를 그리기 시작하였으며, 고등학교 때에는 회화부에 가입하기도 하였다. 이후 야마가타 대학교 교육학부 미술학과에 입학하였다. 1986년,《선생님은 연하!!(センセーは年下!!)》라는 단편 만화를 처음으로 투고하여 제 20회 홉☆스텝상 최종 후보에 올랐으며, 1987년에 3월에는 《쥬라의 미즈키(ジュラのミヅキ)》로 제 24회 홉☆스텝상 우수상, 12월에 《힘차게 스트레이트(ぶっとびストレート)》로 제 34회 테즈카상 준입선을 수상하였다.
1987년, 《주간 소년 점프Winter Special》에 단편인《엉뚱한 생일 선물(とんだバースディプレゼント)》를 게재하여 만화가로 정식 데뷔하였다.
이후에도 《주간 소년 점프Autumn Special》에 《오컬트 탐정단 PART1(オカルト探偵団 PART1)》, 1988년《주간 소년 점프Winter Special》에《HORROR ANGEL》, 《주간 소년 점프Spring Special》에《오컬트 탐정단 PART2(オカルト探偵団 PART2)》,《주간 소년 점프》에 《늑대 따윈 무섭지 않아!!(狼なんて怖くない!!)》등, 총 4개의 단편을 게재하였다.
1989년부터 1990년까지 《주간 소년 점프》에 그의 첫 장편 연재작인《아주 성질 나쁜 큐피드(てんで性悪キューピッド)》를 연재하였다. 단행본 총 4권으로 완결되는 이 작품은 평범한 소년이 귀여운 소녀의 모습을 한 악마를 만나 그와 얽히게 되는 이야기를 그리고 있다.
유유백서.
1990년부터 1994년까지 그를 만화가로서 유명하게 만든 《유유백서》를 《주간 소년 점프》에 연재하였다. 불량 학생인 우라메시 유스케가 영계의 실수로 죽자 영계 탐정이 되어 부활하는 것으로 시작되는 이 작품은 《드래곤볼》의 영향을 받아 격투 만화로 변모하였고 《드래곤볼》, 《슬램덩크》와 함께 90년대 초 《주간 소년 점프》의 황금기를 이끄는 작품이 되었다. 1992년부터는 TV 애니메이션으로 제작되어 방영, 1995년에 총 112화로 완결되었다. 또한 이 작품은 제 39회 소학관 만화상 소년 부문에서 수상하기도 하였으며, 단행본 총 19권에 누계 발행 부수 4926만부라는 기록적인 발행 부수를 올리며 완결되었다.
레벨 E.
1995년부터 1997년까지《주간 소년 점프》에 《레벨 E》를 월 1회씩 연재하였으며, 단행본 총 3권(누계 발행 부수 220만부)으로 완결되었다. 이후 완결된지 14년만에 TV 애니메이션으로 제작되어 2011년 1월부터 4월까지 방영, 총 13화로 완결되었다.
헌터 X 헌터.
1998년부터 현재까지 《주간 소년 점프》에 《헌터X헌터》를 연재하고 있으며, 2006년 첫 장기 휴재 이후 부정기 연재작이 되어 연재와 휴재를 반복하고 있다. 이 작품은 누계 발행 부수 7000만 부를 넘긴 초히트작으로, 곤 프릭스라는 소년이 아버지인 진 프릭스를 찾기 위해 헌터가 되어 모험을 떠나는 이야기를 그리고 있다.
연재를 시작한지 1년만인 1999년부터 TV애니메이션(1999)이 제작되어 2001년에 총 62화로 완결되었으며, 이후에도 TV애니메이션의 내용을 잇는 OVA 1기(2002년,총 8화), OVA 2기(2003년,총 8화), OVA 3기(2004년,총 14화)가 제작되었다.
초등학교 5학년 때 경찰관인 아버지가 타 지역으로 전근가면서 자신도 팀을 옮겼을 당시 우연히 쉬고 있던 주력 선수 대신에 포수를 맡기 시작했다. 가고시마조세이 고등학교를 졸업하고 와세다 대학 스포츠과학부에 진학, 2학년 가을에는 주전 선수 자리를 확보하면서 2007년 춘계 리그전 수위타자, 4시즌 연속 베스트 나인으로 선정되는 등 팀의 중심 선수로서 활약을 했다. 3학년 때는 당시 와세다 대학에 입학한 사이토 유키와 함께 배터리를 짜면서 일부 언론에서는 “사이토 유키의 사랑하는 아내” 라는 표현이 붙여질 정도로 보도되는 경우가 많았지만 사이토도 호소야마다로부터 두터운 신뢰를 받고 있었다. 리그 통산 70경기에 출전하여 214타수 60안타, 타율 2할 8푼, 1홈런, 32타점을 기록했다.
4학년 때인 2008년에는 제4회 세계 대학 야구 선수권 대회 일본 대표팀 선수로 발탁된다. 이 대회에서도 사이토와 배터리를 짜는 기회가 많았던 한편, 타격면에서도 예선 리그 2경기째인 캐나다와의 경기에서 연장전에 끝내기 희생 플라이를 발하는 활약을 보이기도 했다. 그 해 가을에 열린 프로 야구 드래프트 회의에서는 요코하마 베이스타스로부터 4순위 지명을 받아 세계 대학 야구 선수권 대회에서 팀 동료가 된 야마자키 노리하루, 마쓰모토 게이지로와 함께 입단했다. 계약금은 5,500만 엔과 연봉 1,000만 엔(추정)으로 계약을 맺었다.
프로 입단한 첫 해에 입단 동기인 마쓰모토 게이지로, 야마자키 노리하루와 함께 시즌 개막을 1군에서 보냈다. 4월 8일 요미우리 자이언츠전에서 프로 첫 안타가 되는 중월 2루타를 기록했지만 구도 기미야스와 배터리를 짜면서 5회에 8실점, 4개의 피홈런으로 끝났다. 그 후 당분간은 FA로 이적해 온 노구치 도시히로가 포수 마스크를 쓰고 있었지만 노구치는 포일이나 도루를 허용하는 경우가 많아 고령으로 인한 기대 이하의 플레이가 자주 노출되면서 4월 후반부터는 다시 호소야마다로 기용되었다.
5월 8일과 9일 양일의 한신 타이거스전에서는 팀의 연속 완봉에 기여하는 등 주로 리드면에서는 미우라 다이스케나 라이언 글린 등과 같은 투수진이나 구단 수뇌부로부터 신뢰를 얻었다. 경쟁 상대였던 노구치는 2군으로 내려가면서 호소야마다가 사실상 주전 포수가 되었다. 그러나 5월 18일부터는 팀 성적 부진으로 감독직에서 물러난 오야 아키히코를 대신해 쇼난 시렉스 감독인 다시로 도미오가 지휘를 맡게 되면서 포수는 니누마 신지, 다케야마 신고로 기용되는 경우가 많아지게 되자 호소야마다를 포함한 3자 병용이 되었다. 2009년 9월 9일에 부상으로 복귀한 니누마와 교체되면서 결국 2군으로 내려갔고 이후에는 부상도 있어 1군 재승격은 안되었지만 호소야마다가 입단 첫 해에 요코하마 포수진으로서는 드물게 경기 출전이 가장 많았던 포수였다.
2군에서의 주장으로 임명되었지만 시즌 개막을 1군에서 맞이했다. 전반기는 다케야마나 니누마, 후반기에서는 구로바네 도시키와 병용되면서 시즌 종료 때까지는 2군에 내려가는 일은 없었고 요코하마 포수로서는 최다인 84경기에 출전했다. 타격면에서는 타율이 처음으로 2할대를 기록, 프로 데뷔 후 첫 홈런과 후지카와 규지로부터의 끝내기 안타를 때려내는 등의 활약을 보였다. 그 해의 승리 타점 4는 팀내에서는 3위의 숫자였다.
쓰루오카 가즈나리가 FA로 친정팀에 복귀한 것 외에도 구로바네 도시키, 신인인 다카조 슈토의 활약도 있어 춘계 스프링 캠프로부터 시즌 종료 때까지 한 번도 1군에 출전하지 못했고 2군에서는 20경기에 출전에만 그쳤다. 시즌 종료 후 계약 갱신에서는 연봉 1,700만 엔에서 감액 제한을 넘는 65%가 삭감된 연봉 600만 엔을 제시받아 서명했다.
스프링캠프 직전 혈행장애로 인해 송구를 할 수 없는 상황에 이르러 팔꿈치 수술을 받고 완치하였으나 2년 연속으로 1군 출장을 하지 못했고 2군에 머물다가 2013년 10월 3일 구단으로부터 전력외통보를 받고 방출되어 11월 10일 12구단 합동 트라이아웃에 참가했고, 고향팀인 후쿠오카 소프트뱅크 호크스에 지명되었다. 12월 12일 소프트뱅크와 육성선수로 계약하였다.
120m를 멀리 던질 정도의 강한 어깨를 가졌고, 타격에서의 스윙은 나름대로의 속도를 자랑하고 있지만 초구로부터 적극적으로 치지 않고 몰리면서 최종적으로는 범타로 때려내는 타석이 많기 때문에 현재 상태에서는 경기 종반의 기회가 있을 시에 대타로 나오는 경우가 많다. 그러나 수비면과 리드면에서의 평가는 높았고 후쿠자와 요이치는 “포수의 이론을 그 중(베이스타스)에서 가장 이해하고 있는 선수는 호소야마다”라고 말할 정도이다.
타슈(Tashu)는 대전교통공사가 운영하는 대한민국 최초의 공유 자전거 무인대여 시스템이다. 구글 플레이스토어, 앱스토어에서 타슈 앱을 다운받거나 티머니GO 앱을 통해 원하는 장소에서 쉽게 대여하고 사용 후 반납할 수 있다.
2012년 6월자로 유료 회원제로 변경되었다.
2022년 1월부터 조례 개정으로 모든 이용자가 60분을 무료로 이용할 수 있게 되었다.
타슈는 기본 1시간을 무료로 자전거를 이용할 수 있으며 1시간 초과 사용시 30분당 500원이 부과된다. (일 최대 5,000원)
Daum배 TEKKEN CRASH Season3는 대한민국의 이스포츠 대회 중 하나로
리그 개최 당시에는 'TEKKEN CRASH Season7'라는 제목으로 시작되었다.
TEKKEN 6 Bloodline Rebellion
뱅!(Bang!)은 게임 디자이너 에밀리아노 샤라(Emiliano Sciarra)가 디자인하고 이탈리아의 다빈치 게임즈가 발행한 카드 게임이다. 한국에서는 인터하비에서 정식 한국어판을 유통하고 있다. 또한 오리진스 상에서 2003년 최고의 전통 카드 게임(Best Traditional Card Game of 2003) 부문과 최고의 카드 게임 및 확장판 그래픽 디자인 부문에서 상을 받았다.
게임 구성.
임택근(任宅根, 1932년 12월 1일 ~ 2020년 1월 11일)은 대한민국의 프리랜서 아나운서 출신 기업가이며, 본관은 풍천(豊川)이다.
1953년 7월 27일 휴전 후 서울로 돌아온 그는 KBS의 대표 아나운서로 활동하다가 1964년 동양방송이 개국함에 따라 MBC 창설요원들이 대거 이탈하자 영입 제안을 받고 문화방송으로 이직했다. 이후 MBC에서 《MBC 모닝쇼》 등을 진행했다. 이후 MBC의 상무와 전무를 지내고 1980년에 MBC 전무직을 사퇴했다. MBC 퇴사 후 보험관련 사업을 했었으며, 1990년에 KBS 《노래는 사랑을 싣고》의 MC로 20년만에 마이크를 잡기도 했지만 이후 코스모스악기 등 기업인으로 활동했었다.
2008년에 진해군항제를 참관하던 도중 사고를 당해 하반신 불수가 되었고, 2019년에 심장질환 및 뇌경색으로 치료를 받다가 2020년 1월 11일에 타계했다.
임택근은 명 아나운서로 이름이 높았지만, 여러 혼외 관계를 갖는 등 좋지 못한 사생활 때문에 많은 비판을 받았다. 그래서 아들들인 임재범과 손지창과는 사이가 매우 좋지 못했다. 그럼에도 임재범은 임택근이 사고를 당해서 하반신 불수가 되었다는 사실을 전했고, 상주를 맡아 발인을 함께했다.
알랭 바디우(, 1937년 ~ )는 모로코에서 태어난 프랑스의 범마르크스주의 철학자이다. 현재는 현대 프랑스 철학의 주류를 이루고 있는 반플라톤주의와 포스트모더니즘에 대응하는 신플라톤주의와 합리주의의 수호자라는 평가를 받고 있다.
알랭 바디우는 게오르크 칸토어(Georg Cantor)의 집합론, 블라디미르 레닌(Влади́мир Ле́нин)의 혁명 이론, 마오쩌둥(毛澤東)의 모순론, 자크 라캉(Jacques Lacan)의 위상학, 루이 알튀세르(Louis Althusser)의 구조주의를 비판적으로 종합하여 독특한 혁명 이론을 구성하였다.
바디우는 공산주의 활동가이며, 과거 소비에트 연방 및 현존하는 아시아의 공산국가에 대해서는 비판적 지지의 입장을 갖고 있다. 그는 기존의 마르크스-레닌주의 및 마오쩌둥 사상을 교조적으로 따르지 않으며, 앞서 나열한 이념의 구시대성을 비판한 동시에 새롭게 재정립을 시도한 대표적인 학자이다. 바디우는 이런 의미에서 자신을 ‘포스트 레닌-마오주의자’(Post-léniniste-maoïste)라고 일컫는다.
1937년 모로코에서 태어났다. 그의 아버지인 레몽 바디우(Raymond Badiou)는 수학자였고, 제2차 세계 대전 당시에 프랑스 레지스탕스로 활약하였다. 그는 어릴 때부터 사회 참여에 관심을 가졌으며, 이 과정에서 장폴 사르트르를 추종한 영향으로 프랑스 실존주의의 영향을 받았다. 그러나, 알제리 독립에 대해서 모호한 입장을 가지고 있던 사르트르에 회의를 느꼈고 이내 그의 사상과 결별하였다.
1958년에 프랑스의 식민주의에 반대한 연합사회당 설립에 주도적으로 참여하였다. 당시 연합사회당은 프랑스 정부의 알제리 민족 해방 운동 탄압을 방관하고 있던 프랑스 공산당 및 노골적인 식민주의 협조를 꾀하고 있던 기회주의 정당인 노동자 인터내셔널 프랑스 지부에 반대하고 있었으나, 당원 다수는 공산당과 노동자 인터내셔널 둘 중 하나에 연을 두고 있었다. 여기서 바디우는 알제리의 독립을 강력하게 주장·옹호하였고, 프랑스 식민주의를 비판하였다. 그는 당내에서 급진파로 통하였으며, 알제리 독립 전쟁 기간에 프랑스의 알제리 추가 파병에 열정적으로 반대하였다.
1965년 연합사회당이 공산당과 함께 프랑수아 미테랑 지지 선언을 하자, 이에 반발하였다. 1967년에 파리고등사범학교에서 재직하던 루이 알튀세르와 교류하기 시작하나, 68 혁명 이후 정치적으로 구조주의적인 성향을 띠는 마르크스주의자였던 그는 자신의 정치적 성향때문에, 혁명에 미온적이었던 알튀세르와 결별하고 전투적인 마오쩌둥 사상을 그의 정치적 철학 사상으로 받아들인다. 이후 연합사회당이 사회민주주의와 개량주의를 받아들이자 그는 이 정당에서 탈당한 뒤 마르크스-레닌주의자 공산연맹(UCFml)에서 활동하였다. 그러나 마르크스-레닌주의와 마오쩌둥 사상에 완전히 교조화 된 모습을 보이지 않고 치열하게 고민하는데 그 고민의 결과가 그의 저서 『존재와 사건』()이다.
철학적으로도 바디우는 프랑스 주류 철학과 다르다. 이는 그의 선배 교수였던 질 들뢰즈와의 사상적인 대립으로 잘 나타난다. 바디우의 업적은 크게 진리 검증 이론과 주체 이론이라는 두 가지 영역으로 나눠져 있으며, 이 두 주제를 통해 그는 변증법적 유물론의 핵심이 되는 존재론을 수호한다. 바디우는 스스로를 공산주의자라고 평가하며, 존재론의 수호가 공산주의 부활의 필수 요건이라는 것을 강조한다.
알랭 바디우의 사상을 관통하는 주요 개념은 존재론, 칸토어 집합론, 정합주의, 공산주의이다. 그의 역작인 『존재와 사건』은 그가 현재까지 갖고 있는 이념 체계를 이해하는 데에 가장 중요한 저서이다. 바디우는 프랑스 철학을 지배하고 있는 포스트모더니즘의 반(反)진리주의와 영미권의 분석철학(『비트겐슈타인의 반철학』을 통해), 자본주의, 자유주의, 공동체주의의 기만성·허구성을 비판하고, 인간의 이성을 메타수학적 함의와 존재론을 통해 부활시켜 사회주의/공산주의 혁명에 강력한 정당성을 부여하고 있다. 그의 이론은 프랑스 극좌 사상의 새로운 흐름이라고 일컬어진다.
알랭 바디우가 주장하는 진리 논의는 기존 플라톤주의 철학에서 말하는 진리의 그것과 흡사하다. 그러나 바디우는 과거 합리주의자들이 진리 자체를 완전히 정적인 것으로 간주했던 것을 비판한다. 바디우가 보기에 진리 추구는 ‘진리를 검증하는 절차’(Procès)만으로 인식할 수 있다. 물론 바디우는 진리가 ‘확정적이면서 정지한 것’이라는 표현에 대해 큰 비판을 하지 않는다. 그는 앞선 표현이 진리의 작용이 불변한다는 것을 표현하기 위해 충분히 사용할 수 있는 표현이라고 간주한다.
그의 존재론에 따르면, 진리는 항상 현상과 절대를 넘나들며 진행한다. 따라서 인간이 행하는 진리 추구에서 볼 수 있는 진리는 오로지 ‘(그것의)진리의 진행’이며, 이것이 곧 진리이다. 그리고 이는 오직 진리를 검증하는 절차를 통해 확인할 수 있다. 다시 말하여, 진리 검증은 진리 진행 그 자체라는 것이다. 그러나 진리에 대해 ‘정지한 물체’ 또는 ‘고정적이고 확정된 형태’라고 이해한 자들은 진리 검증을 특정 영역에 봉합(Suture)하여 그것의 논의 과정을 극단적으로 축소한다. 바디우가 보기에 진리는 특정 영역에서 단적으로 드러나는 것이 아닌, 여러 가지 영역의 현상적 차원에서 부분적으로 도출되는 것이다. 그리고 이러한 현상 단면을 이용하여 진리를 도출하는 작업을 철학이라고 정의한다. 바디우는 진리를 검증하는 네 가지 과정으로서 정치·과학·예술·사랑이 있다고 주장하였다. 진리 검증은 이 네 가지 영역에서 도출되는 단면을 추상적으로 연결하여 진행되는 것이다.
특정 영역에서 진리 진행을 사색하는 것을 ‘진리 생산의 절차’라고 칭한다. 예를 들어, 예술 영역은 특정한 공간성을 지닌 영역으로, 부분적인 통일성을 자체적으로 갖추고 있다. 이러한 불완전한 통일성이 허용하는 선에서의 진리 진행을 추출할 수 있을 것이며, 이것을 진리 생산의 절차라고 할 수 있다는 것이다. 그러나 봉합에 대한 비판을 가한 바디우 입장에서 결국은 온전한 진리 진행을 파악하기 위해서는 한 영역에만 머물러서는 안 된다.
봉합.
봉합은 진리 검증을 정치·과학·예술·사랑의 영역 중 몇 가지 영역에 한정하는 것을 뜻한다. 예를 들어 영미철학의 기호논리학은 진리 검증을 과학의 영역에 종속하였는데, 사실은 과학의 영역에서도 부분적인 곳에 속하는 언어의 영역에 그 검증 절차를 봉합하였다. 또한 이오시프 스탈린의 변증법적 유물론은 진리 검증을 정치와 과학의 영역에 봉합하였다. 이러한 봉합은 진리 검증 절차에서 네 가지 영역을 유동적으로 이용하는 데에 걸림돌이 된다. 철학은 당면 목표는 바로 탈봉합(Desuture)에 있다.
『존재와 사건』은 칸토어 집한론을 통하여 사유의 존재성을 연역적으로 증명하여 신플라톤주의의 정초성을 확립하려는 바디우의 시도이다. 슬라보예 지젝(Slavoj Žižek)의 『시차적 관점』에 따르면, 바디우는 마르크스주의의 입장을 일부 계승하였으나, 사유의 명증성으로부터 공산주의 사회 확립의 정당성을 찾으려고 한다는 점에서 신자코뱅주의에 더 가깝다. 동시에 그는 진리를 유동적인 것으로 보고 있고, (현상의)운동과 추상 사이의 변증법적 모순성을 강조하는데, 이런 그의 철학적 성찰은 마오쩌둥 사상이 갖고 있는 정합주의의 영향을 받은 것으로 보인다.
바디우는 서구 민주주의의 기만성과 반동성을 비판하였고, 유럽의 좌익이 공산주의를 주장하는 것에 앞서, 서구 민주주의의 가치를 공산주의와 어떻게든 연결하려고 한다(미국 공산당은 이러한 것의 대표적 사례이다)고 비판하였다. 그는 ‘민주주의’(그는 서구식 민주주의를 이렇게 칭한다)를 ‘추상성(철학) 없는 정치’의 대표적 형태이자 (플라톤이 말한 것처럼)저급한 정치라고 하였고, 이러한 정치 형태를 떠받치는 자본의 흐름 및 그것 자체가 성립할 수 있게 한 경제 영역에서의 본질적 원리를 자본주의라고 하였다.
서구 민주주의 비판.
역사에 존재하였던 수많은 공산주의자들과 마찬가지로 바디우는 현재까지 자본주의를 극렬하게 비판하는 입장을 갖고 있다. 그러나 바디우는 단순히 자본주의에 대한 비판만이 아닌, 그것과 상호 연관의 관계를 맺고 있는 서구 민주주의에 대한 근본적인 비판도 병행한다. 그는 이를 ‘민주주의’라고 간단히 칭하며, 미국식 민주주의, 영국식 민주주의가 그가 비판하는 서구 민주주의의 전형이라고 할 수 있다.
자크 랑시에르()의 견해와 비슷하게 바디우는 서방에서 추구하는 ‘민주주의’가 따르고 있는 근본 원리가 ‘아르케(Arkhe) 없는 정치’라고 하였다. 바디우는 여기서 ‘아르케’라는 표현 대신 ‘추상성이 없는 정치’라고 한다. 그러나, ‘민주주의’를 창조적으로 계승하려는 랑시에르와 달리, 바디우는 ‘민주주의’를 창조적으로 계승하는 것은 현상 유지에 불과하다고 주장하였다.