Search Method

1. Basic Search

   1. Blind Search: Search tree를 만든 후, (모든 경우가 탐색 가능 ==> 너무 많은 시간 소요)

      1. DFS: 깊이 우선으로 탐색 (Local Max에 빠질 가능성)
      2. BFS: 너비 우선으로 탐색 (너무 많은 시간 소요)

   2. Heuristic Search: Search tree에서 경험에 의한 기대치를 반영 ==> 시간 개선을 위해

      1. Hill-Climb(DFS with weight): 각 노드에 경험에 의한 가중치를 부여한 후 우선하여 검색 (local max에 빠질 가능성, 방향전환의 어려움, 평평한 고원 문제)
      2. Beam(BFS with weight): level로 확장한 후 확장된 곳에서 노드의 경험적 가중치를 기반으로 w만큼 선택, 이 과정을 goal를 찾을 때까지 반복
      3. Best First: 어떠한 휴리스틱에 따라서 최근의 모든 경로들을 순서화하여 DFS를 최적화하는 탐색 알고리즘 (???)

2. Optimal Search

   1. British Museum:
   2. Branch and Bound: branch(노드 확장)한 후 확장된 노드 중 가장 좋은 노드로 bound, goal을 찾을 때까지 이 과정을 반복
   3. Branch and Bound with Underestimates: B&B의 과정을 휴리스틱 가중치를 합산하여 적용
   4. A*: 3번 방법(B&B with U)에 Dynamic Programming Principle를 적용한 방법

#. Dynamic Programming Principle: 노드 탐색시 같은 이름의 노드가 존재하면 효율적인 하나만 확장

(예) S-A-D(8) S-D(4)이면 D까지 가는데 후자가 4만큼의 비용이 절약되므로 전자는 고려하지 않음

Rule Based Expert System

1. 개   요

E.S

  |

----------------------------

|                                       |

 Knowledge Base                Inference Engine

|

 -------------------------

|                                    |

    Rule                      Facts, Assertions

예) A toy deduction system identifies animals: 사용자와 system이 질의응답을 통해 어떤 동물인지 알아내는 것

1. Inference Engine

   1. Forward Chaining: Facts, Assertions과 Rule을 이용한 Inference Engine을 기반으로 사실을 찾아내는 방법 (Bottom-Up)

      1. A Toy Deduction System Identifies Animals
         "우유를 주다"  ==> If x가 우유를 준다 then x는 포유동물 이다
         "chews cud(되새김질을 하다)" ==> If x가 표유동물이고 되새김질을 한다 then x는 발굽을 가진 유제동물이다
         "다리가 길다", "목이 길다', "황갈색이다", "얼룩 점이 있다" ==> If x가 발굽을 가진 유제동물이고, 다리와 목이 길고, 황갈색에 얼룰점이 있다. then x는 기린이다
      2. A Toy Reaction System Bags Groceries
         
   2. Backward Chaining: 사실이 주어지고 그 사실이 되기위한 조건을 찾아가며 검증하는 방법 (Top-Down)
      

2. Conflict Resolution Strategies

   1. Rule Ordering: Rule에 우선순위를 두라
   2. Context Ordering: 특정 상황에 맞는 Rules를 그룹화 해라
   3. Specificity Ordering: Superset of the conditions of triggered rule을 이용하라 (???)
   4. Data Ordering: 어떤 우선순위된 list에서 가능한 모든 assertions를 정렬하고 가장 우선순위가 높은 assertions를 이용하라 (???)
   5. Size Ordering: 조건(conditions)의 수가 많은 rule을 사용하라
   6. Recency Ordering: Use the least recently used rule

Simulation Methodology

1. Simulation System Classification

   1. Discrete (time) simulation
   2. Continuous (time) simulation
   3. Discrete event simulation

이 글은 스프링노트에서 작성되었습니다.

3. Deductive Reasoning Agents

연역적 추론 에이전트???

연역법(deductive method): 이미 증명된 하나 또는 둘 이상의 명제를 전제로 하여 새로운 명재를 결론으로 이끌어내는 것을 연역(deduction)이라 하며, 이러한 연역적 추리의 방법과 절차를 논리적으로 체계화 한 것

 예) 아리스토텔레스의 삼단논법 (간접추리)

      모든 사람은 죽는다.          A -> B (대전제)

      소크라테스는 사람이다.     C -> A (소전제)

      소크라테스는 죽는다.        C -> B (결론)

원문보기

3.0  Intorduce

    Symbolic AI

• AI system 구축을 위한 전통적인 방법
• 주어진 시스템의 환경과 그에 적합한 행동의 symbolic한 representation(묘사, 표현???), 그리고 이 representation에 대한 syntactically manipulating(언어적 조작???)이 적용된 시스템으로 지능적 행동을 생성하는 방법

 본 책에서는 이러한 전통적 방법을 극치화 하는데 중점을 둠

 symbolic representation => logical formulae

 syntactically manipulating => logical deduction(논리적 연역) / theorem-proving(논리적 명제 증명법???)

사무실을 돌아다니며 쓰레기를 줍는 로봇 에이전트가 있다.

이러한 로봇을 구현하기 위한 방법은 여러가지가 있다.

그중 하나의 방법은 작동을 위한 description, 환경의 representation을 에이전트에게 주는것이다.

 RALPH는 복도와 큰 블럭들이 있는 환경에서 작동하는 자동로봇 에이전트이다.

Sensory 입력은 비디오 카메라를 통하고,

'interp' subsystem은 이 영상입력을 내부적 representation format으로 변환, based on first-order logic.

 knowledge base라는 historical reasons를 위한 자료구조로 구성.

이 RALPH를 위해서는 다음 두가지의 문제점을 해결해야 함.

1. The transduction problem: 현실세계를 정확하고 적절하며 유용한 symbolic description으로 변환하는 문제
2. The representation/reasoning problem: 정보를 symbolic하게 표현하고 이것을 조작하고 추론하여 유용한 결과를 내는 에이전트를 얻는 문제

1번문제는 비젼, 음성인식, 학습과 관련된 기술이고, 2번문제는 지식 표현, 자동화 추론, 자동화 계획과 관련된 기술이다.

매우 어렵다. ㅡㅡ;

 하지만, theorem-prover(논리적 명제 증명)을 이용한 에이전트는 이러한 문제를 해결하는데 흥미로울 수도 있다.

 우리가 어떤 theory of agency를 가지고 있다고 생각해 보자. 이 theory of agency는 어떤 performance measure의 최적화를 위해 지능적 에이전트가 어떻게 해야하는지 알려준다. 예를 들면, 에이전트의 궁극적 목적을 만족하기 위한 부분적 목표를 어떻게 생성하는지, 이러한 목표를 달성하기 위해 goal-directed하고 reactive한 행동을 어떻게 interleave하는지

즉, 이 theory는 에이전트가 어떻게 행동해야 하는지에 대한 specification이라 볼 수 있다.

이러한 specification을 만족하는 시스템을 implementation하는 전통적인 방법은 궁극적 목적에 도달하기 까지 점차 concrete되어 가는 stage에 따라 specification의 재정의(refining)이 가능해야 한다.

 그러나 theorem-prover을 이용한 에이전트는 이러한 재정의가 발생하지 않는다. 대신, executable specification이란 것이 있다.

 executable specification: 에이전트의 행동을 생성하기 위해 directly executed된 것이다.

 3.1 Agents as Theorem Provers

deliberate 라는 logic 기반의 에이전트를 만들어 보자.

이러한 에이전트는 내부적으로 전통적 first-order predicate logic formulae의 db로 구성된다.

예를들면, 다음과 같은 fomulae들이 포함되어 있다.

Open(value221)

Temperature(reactor 4726, 321)

Pressure(tank 776, 28)

이 db는 그 에이전트의 환경정보를 가진다. 에이전트의 db는 인간의 belief와 유사한 역활을 한다.

 3.2  Agent-Oriented Programming

 3.3 Concurrent MetateM

이 글은 스프링노트에서 작성되었습니다.

1. Real-time system: 논리적인 수행결과 뿐만 아니라 시간적 제약에 의해 시스템의 정확도가 결정되는 시스템
   예) 공장 자동화, 해저탐사, 프로세스 제어, 로봇, 군사 응용, 비젼시스템
2. 일반 시스템과의 차이점: task들이 한계시간(deadline)이나 시작 가능시간(release time)과 같은 시간 제약을 가지고 있어 이를 만족시켜야 함.

3. Real-time task / time critical task: 시간적으로 여러가지 제약을 갖는 task

   1. periodic task: 일정한 시간간격을 가지고 task 실행

   2. aperiodic task: task가 일어나는 시간간격이 일정하지 않은 task
4. Slack time
   

5. Real-time Scheduling

   1. Static scheduling

      1. 시스템에 의해 실행되는 task 집합이 미리 정의되어 있는 경우
      2. 주기적인 hard real-time task집합에 유용
      3. 스케줄링되는 task들의 특징과 수를 스케줄링 전에 알 수 있음

   2. Dynamic scheduling

      1. task의 발생 시간이나 특성을 예측할 수 없는 경우에 유용
      2. task의 발생이 가변적이어서 task의 수는 실행시간에 정해짐
         

6. EDF(Earliest-Deadline First) 알고리즘

   1. 임계시간(???)이 가장 근접한 task를 가장 먼저 실행
   2. 대표적인 동적 스케줄링 방식

   3. 다음을 가정

      1. 모든 task들은 선점될 수 있고 나중에 다시 선점된 곳으로부터 계속해서 수행될 수 있다.
      2. 모든 task들은 독립적이어서 다른 task의 시작가능시간(release time)이나 종료시간에 의존하지 않는다.
      3. task의 한계시간(deadline)은 주기와 같다
      4. task 집합의 모든 task는 반드시 주기적일 필요는 없다.
7. 
   

숙제 1: Preemptive가 일반적으로 nonpreemptive scheduling보다 좋은 이유

태스크 스케줄링 방법에는 각 태스크를 우선순위없이 일정 간격으로 번갈아 실행하는 Round-Robin 스케줄링 방법이 있고 우선순위 기준 스케줄링(Priority based scheduling) 방법이 있다.
우선순위 기준 스케줄링(Priority based scheduling) 방법에는 선점형 스케줄링(preemptive scheduling)과 비선점형 스케줄링(non preemptive scheduling) 방법으로 나눌 수 있는데
비선점형에서는 높은 우선순위의 태스크가 활성화되어도 낮은 우선순위의 태스크가 끝날 때까지 기다려야 하지만
선점형에서는 어느때든지 높은 우선순위의 태스크가 낮은 우선순위의 태스크 수행을 가로채고(interrupt or switching) 실행된다.
따라서 선점형 커널이 보다 태스크간의 관계를 조절하기가 용이하다.
이러한 점을 이용하면 스케줄링을 시스템의 특성에 따라 유연하게 조정가능하므로 비선점형 보다 더 좋다고 생각한다.

Non-Preemptive Multitasking (비선점형 멀티태스킹)

 키보드 입력을 허용할 준비가 되어 있을 때처럼 특정 시점에서만 CPU 제어를 다른 응용 프로그램으로 넘길 수 있는 멀티태스킹 환경.

이런 방법으로 많은 계산을 수행하는 한 프로그램에서 시스템을 제어하고 다른 응용 프로그램이 CPU에 대해 제한된 액세스를 가질 수 있게 할 수 있다.

비선점형 멀티태스킹을 "협업 멀티태스킹"이라고도 한다.

이 환경에서 프로그램이 효율적으로 작동할 수 있도록 하기 위해 서로 협력하도록 설계되어야한다.

비선점형 멀티태스킹 운영 체제는 백그라운드로 실행되는 통신 프로그램에 대한 서비스를 보증할 수 없다.

다른 응용 프로그램이 CPU를 불법으로 사용한 경우 CPU가 통신 프로그램에서 수신 데이터를 캡처할 수 있을 만큼 빠르게 인터럽트를 처리할 수 없으므로 데이터를 손실할 수 있다.

선점형 멀티태스킹과 대조적이다.

Preemptive Multitasking (선점형 멀티태스킹)

 실행 중인 모든 프로그램과 처리 시간을 공유하는 멀티태스킹 방법.

선점형 멀티태스킹은 실행 중인 프로그램이 CPU에서 되풀이 시간을 얻는 시간 공유 환경을 만든다.

운영 체제에 따라 시간 분할이 모든 프로그램에 대해 동일할 수 있거나 현재 프로그램과 사용자 혼합을 만족하도록 조정할 수 있다.

예를 들면, 포그라운드 로드가 아무리 많아도 백그라운드 프로그램에 더 많은 CPU 시간을 제공할 수 있고 그 반대도 마찬가지이다.

선점형 멀티태스킹은 메인프레임에서 중요하지만 데스크톱 운영 체제에서도 유용하다.

또한 백그라운드로 전송되는 경우 데이터가 손실되지 않는다.

모뎀이나 네트워크 프로그램이 수신 데이터 스트림을 계속 처리해야 하는 시스템 사이클을 OS가 제어할 수 있다.

비선점형 멀티태스킹과 대조적이다.

이 글은 스프링노트에서 작성되었습니다.

세계 10대 불량 음식 VS 세계 10대 건강 음식
[세계 10대 불량 음식] - WHO 발표

1. 기름에 튀긴 식품 
- 심혈관 질병을 일으키는 원인이며 발암 물질을 포함하고 있다. 또한 비타민을 파괴하고 단백질을 변질시킨다.

2. 소금에 절인 식품
- 많이 섭취하면 고혈압을 일으키며 신장에 큰 부담을 준다. 그리고 후두암을 일으키며 점막이 쉽게 헐거나 염증을 생기게 한다.

3. 가공류 고기 식품
- 발암물질 중 하나인 아질산염과 방부제를 대량 포함하고 있으며 간에 큰 부담을 준다.

4. 과자류 식품
- 식용 향료와 색소가 대량 포함되어 있어 간 기능에 부담을 준다. 심하면 비타민을 파괴한다.
열량은 높지만 기타 영양 성분 면에서는 부족하다. 저온에서 구운 과자나 전밀 과자는 포함하지 않는다.
 
5. 사이다 콜라류 식품
- 인산, 탄산을 포함한다. 몸 속의 철분, 칼슘 성분을 소변을 통해 밖으로 배출시킨다. 당도는 매우 높지만 정작 흡수한 당을 에너지화 하는 무기질, 비타민 등 영양 성분은 없기 때문에 몸 속의 비타민을 빼앗아 졸음이 오고 입맛이 없어지게 한다. 또한 인체에 유해한 색소도 많이 들어 있다.

6. 편리류 식품
- 염분이 매우 높고 방부제, 향료를 포함하고 있어 간에 손상을 줄 수 있다.
   열량만 있을 뿐 정작 중요한 영양 성분이 없다.

7. 통조림류 식품
- 생선, 육류, 과일류 등을 모두 포함한다. 비타민을 파괴하고 단백질을 변질시킨다.
  이 또한 열량은 매우 높지만 기타 영양 성분이 낮다.

8. 설탕에 절인 과일류 식품
- 설탕이나 소금에 절인 과일도 불량 식품에 속한다. 발암 물질의 대표격인
  아질산염을 포함하고 있다. 염분이 너무 높고, 방부제, 향료를 포함하고 있다.

9. 냉동 간식류 식품
- 아이스크림, 아이스케이크 등 단 냉동 음식을 말한다. 쉽게 비만해질 수 있고 당도도
   너무 높아 식사에 영향을 준다.

10. 숯불구이류 식품
- 불에 구운 닭다리 한 개는 담배 60개비의 독성과 같으며 신장, 간에 부담을 가중한다

 
[세계 10대 건강 음식] - 타임지 2005년 특별판 선정

1.토마토
붉은색을 내는 성분인 리코펜은 강력한 항암성분. 비타민 C도 풍부해 감기와 스트레스에 대한 저항력을 높여준다. 특히 다른 야채나 과일에 비해 칼로리가 낮아 다이어트에도 좋다.

2.시금치
뽀빠이가 시금치를 괜히 먹은 게 아니다. 시금치에는 여자들에게 특히 필요한 칼슘과 철분이 많고 섬유질이 풍부해 포만감을 주는 다이어트 식품이다. 데친 시금치 나물은 한 접시에 겨우 40kcal!

3.견과류
땅콩, 호두, 잣, 아몬드 등에 들어 있는 비타민 E는 콜라겐 생성을 도와 피부를 아름답게 만들어준다. 일주일에 2~3회, 땅콩 20알 이상 먹어야 눈에 띄는 효과가 나타난다. ‘먹는 화장품’인 셈.

4.브로콜리(or 양배추)
슬포라판, 인동 등의 성분이 들어 있어 유방암, 대장암, 위암의 발생을 억?┎磯?. 섬유질과 베타카로틴이 풍부해 식욕을 억제시키는 다이어트 식품이기도 하다.

5.귀리(or 보리)
베타글루칸이라는 수용성 식이섬유가 포만감을 느끼게 하고 몸에 해로운 콜레스테롤을 배출시킨다.
강력한 항암, 항바이러스 효과
** 강력한 항암, 항바이러스 효과 **

6.사스 예방 음식으로 각광받고 있는 마늘.
알리신과 스코르진 등은 강력한 항균물질로 식중독과 바이러스의 침투를 막는다. 또한 혈액순환을 원활하게 해 심장질환을 예방한다.

7.녹차
폴리페놀은 발암물질의 침투를 막고 특유의 떫은 맛은 위장 운동을 활발하게 한다. 녹차를 많이
마시는 아시아 지역에서는 위암 발생률이 현저히 낮다.
  
8.적포도주
자줏빛을 내는 색소에는 항암작용이 있는 것으로 알려졌다. 와인의 떫은 맛을 내는 타닌 성분은
몸에 유익한 콜레스테롤을 활성화시켜 동맥경화를 예방한다.

9.연어(or 고등어)
오메가 3 지방산은 콜레스테롤을 낮추고 관절염을 예방하는 데 탁월한 효과가 있다. 특히 고등어는 오메가 3 지방산(일명 DHA)이 연어의 2배! 이 성분은 기억력과 학습 능력을 높이고 노인성 치매도 예방한다.

10.블루베리(or 가지)
보라색을 내는 안토시안 색소는 심장병을 예방하며 바이러스와 세균을 죽이는 효과가 있다.
가지의 보라색도 같은 효과가 있다

이 글은 스프링노트에서 작성되었습니다.

 이런 면에서 일반적으로 디지털 신경세포가 더 복잡하다고 할 수 있다.

단지 가중 총합이 한계치 이상인가 아닌가에 따라 1 이나 0 을 출력하는 대신,

디지털 신경세포는 입력물들의 가중 총합을 계산하고, 여기에서 한계치를 뺀 다음, 그 값을 곧바로 출력한다.

그러나 디지털 신경세포의 작동 방식은 생물학적 신경세포와 비슷하다.

높은 출력값은 일련의 빠른 펄스에 해당하고, 낮은 출력값은 일련의 느린 펄스에 해당한다.

그러나 결국 이런 종류의 신경세포, 이른 바 '지각자 (perceptron)'는 일반화되지 못했다.

출력이 단지 단선적으로 입력에 반응하기 때문에 신경세포가 배울 수 있는 기능은 아주 기초적이고 선형적인 것에 불과하다.

이것은 단지 입력의 변화가 출력의 변화로 이어진다는 것만을 의미한다.

어떤 입력물에 작은 변화를 가하면 출력물에도 그에 따른 작은 변화가 발생할 뿐이다.

출력이 입력에 정비례한다면 그 신경세포는 다소 지루하고 비효과적일 것이다.

이 점을 극복하기 위해 오늘날 일반적인 디지털 신경세포에는 한 가지 비결이 추가되었다.

일단 입력물들의 가중 총합을 계산하고 한계치를 빼고 나면, 신경세포는 그 값을 변형시킨다.

이것은 전송 함수나 활성화 함수로 계산되는데, 대개 S 자형 곡선 (sigmoid curve) 이 이용된다.

여러분이 수학을 좋아하는지 모르겠지만, 일반적인 함수는 y = 1/(1 + e^-x) 이다.

나도 그렇지만, 이 함수의 의미가 별로 감동적이지 않다 해도 걱정할 필요는 없다.

그것은 단지, 신경세포가 입력에 따라 0 이나 1 의 값을 출력할 때 비선형적 방식을 적용하게 하는 방법일 뿐이다.

그것은 신경세포가 이제 선형적 방식에서 벗어나 훨씬 더 복잡한 것들을 배울 수 있게 되었음을 의미한다.

이것이 대표적인 디지털 신경세포이다.

그것은 우리의 컴퓨터 안에 살면서 0 이나 1 로 된 수많은 입력물들을 받는다.

이때 신경세포는 그 입력물들의 가중치와 합을 계산하고 그 값에서 한계치의 값을 뺀다. 그리고 비선형적 S 자형 함수를 이용하여 그 값을 변형시킨 다음 결과를 출력한다.

출력물은 0 이나 1 의 값이다. ............

그리고 입력되는 값들은 다른 신경세포들에게서 전달되는데, 이 신경세포들은 하나의 신경망을 이룬다 ...................... (Peter J. Bentley 2001)

무슨 말일까? ㅡㅡ;

이 글은 스프링노트에서 작성되었습니다.

Technology Review caught up with Pentland to ask him about reality mining and its implications.

Technology Review: When you talk about reality mining, what do you mean?

Sandy Pentland: The real roots of it go back to early 1990s, when people first started talking about context-aware computing. Just look at a cell phone. It knows where you are, and this is obviously sort of useful. But the generalization is that maybe it can know lots of things about you. Take your Facebook friends as an example. The phone could know which ones you socialize with in person, which ones are your work friends, and which friends you've never seen in your life. That's an interesting distinction, and reality mining can make it automatic. It's about making the "dumb" information-technology infrastructure know something about your social life. All this sort-of Web 2.0 stuff is nice, but you have to type stuff in. Things are never up to date, and unless you consciously know about something, you can't put it in. Reality mining is all about paying attention to patterns in life and using that information to help you do things like set privacy policies, share things with people, notify people when you're near them, and just to help you live your life.

TR: What technologies are enabling reality mining now?

SP: Today's cell phones are on us all the time, and they come with hardware that can act as sensors for your environment. For instance, if Bluetooth is turned on, then the phone can see and be seen by other Bluetooth devices. You can start to make a record of the Bluetooth-enabled devices you encounter throughout the day. Then you can figure out, based on the frequency [with which] you encounter other people's Bluetooth phones, what sort of relationship you have with them.

The iPhone also has an accelerometer that could tell if you are sitting and walking. You don't have to explicitly type stuff in; it's just measured. And all phones have built-in microphones that can be used to analyze your tone of voice, how long you talk, how often you interrupt people. These patterns can tell you what roles people play in groups: you can figure out who the leader is and who the followers are. It's folk psychology, and some of the stuff people may already know, but we haven't been able to measure it, at such a large scale, before these phones.

이 글은 스프링노트에서 작성되었습니다.

온톨로지의 어원: 철학의 존재론

존재론: 실재에 대한 정확한 이해를 추구하는 학문이다

실재: 우리의 눈에 보이는 이 세상의 모든 것

존재론 + 실재: 이 세상을 규정하기 위해 세상에 존재하는 실체들에 대한 명확한 이해와 정의를 연구하는 것

온톨로지는 이러한 존재론의 기본 철학을 정보시스템에 적용하여 정보시스템의 대상이 되는 자원의 개념을 명확하게 정의하고 상세하게 기술하여 보다 정확한 정보를 찾을 수 있도록 하는데 목적이 있다.

정보를 효과적으로 관리하고 검색하기 위한 지향점

Tom Gruber: An ontology is a specification of a conceptualization (온톨로지는 개념화의 명세이다.)

개념화: 무언가를 개념으로 만드는 것 즉, 사물이나 추상적으로 존재하는 관념들을 구체적인 집합으로 만드는 것

이 글은 스프링노트에서 작성되었습니다.

로그 (logarithm)

요약

수학용어.

설명

수학용어. 를 1이 아닌 양수, 를 임의의 양수라 할 때 에 대하여 ＝를 성립시키는 실수 는 오직 하나만 존재하는데, 이 를 ＜를 밑으로 하는 의 로그＞라고 하며 =log라 나타낸다. 또 여기서 를 log(즉 )의 ＜진수(眞數)＞라고 한다. 로그(log)는 logarithm의 약칭으로서, 구용어로는 대수(對數)라 하였다. 로그의 기본적인 성질을 간추려보면 다음 다섯 공식과 같다.
＞0, ≠1, ＞0, ＞0, 는 임의의 실수 일 때,









=log에서 밑 를 정해 놓고, 의 값에 대한 log의 값을 나타낸 표를 ＜로그표＞라 한다. 위의 공식 ⑵ 의 경우는 이 로그표에서 log와 log의 값을 각각 읽어서 합 log＋log=log의 값을 계산한다. 이와 같이 로그표를 읽음으로써 로그값을 구할 수 있는데, 반대로 로그값을 알고 그 진수의 값을 구하려면, 로그값을 구하는 경우의 반대 절차에 따라 로그표를 읽으면 된다. 즉 합 log의 값을 로그표를 읽어서 계산했다면, 그 반대 절차로 로그표를 읽어서 log의 진수 의 값을 구할 수 있다. 따라서 진수의 곱셈을 로그표에 의해 로그의 덧셈으로 바꿀 수 있다. 마찬가지로 공식 ⑶ 에 의해 진수의 나눗셈을 로그의 뺄셈으로 바꿀 수 있으며, 공식 ⑷ 에 의해 진수의 거듭제곱 또는 거듭제곱근을 구하는 계산을 각각 로그와 실수의 곱셈 또는 나눗셈으로 바꿀 수 있다. 로그는 이상과 같은 실용적인 필요성에 의해 개발된 것으로 J. 네이피어에 의해 개척되었으며, 또한 그는 처음으로 로그표를 만들어 공표하기도 했다. 이와는 별도로 J. 뷔르기도 1603∼1611년에 걸쳐서 로그표를 만들었으며, 1620년에 이를 간행하였다. 기수법은 보통 십진법에 의하기 때문에, 실용상의 계산에는 10을 밑으로 하는 로그를 사용하는 것이 편리하다. 이와 같은 로그를 ＜상용(常用)로그(common logarithm)＞라 하는데, 초등수학에서는 보통 밑 10을 생략하여 log라 나타낸다. 따라서 공식 ⑴ 에 의해 log10=1로 된다. 1이고 의 정수부분이 ＋1자리(0)인 수이면 =10′, 1′＜10이라 쓸 수 있으므로 log=＋log′, 0log′＜1로 된다. 또 0＜＜1이고 의 소숫점 아래 째 자리에서 처음으로 0이 아닌 숫자가 나타나는 소수는, =10′′, ′=－, 1′＜10이라 쓸 수 있으므로, log=′＋log′, 0log′＜1로 된다. 위의 (1인 경우) 또는 ′(0＜＜1인 경우)을 상용로그 log의 ＜지표＞라 하며, log′을 ＜가수(假數)＞라 한다. 이상의 설명에 의거하여 1′＜10인 ′에 대한 상용로그표에서 가수(로그의 소수부분)를 구하고, 이것에 의 자리수에 의해 정해지는 정수 또는 ′, 즉 지표를 더함으로써 의 상용로그 log의 값이 구해진다. 상용로그표는 이상과 같은 원리에 의거해서 작성되었으며, 1794년에 G.F. 베가에 의해 완전한 것으로 만들어졌다. 한편, 수학 이론에서는



를 밑으로 하는 로그인 log가 이용된다. 이 로그를 ＜자연(自然)로그(natural logarithm)＞라 하며, 보통 밑 를 생략하여 log라 나타내지만, 드물게 ln라 나타내는 경우도 있다. 자연로그와 상용로그의 상호 관계를 간추리면 다음과 같다.





단

이 글은 스프링노트에서 작성되었습니다.

어떤것의 시작은 재능으로 시작한다 할 수 있지만 그것을 이룩하는데는 노력이 필요하다.

한 분야의 대가가 되는데는 10,000시간의 노력이 필요하다.

세상을 바꾸려하기 전에 세상을 바꿀 수 있는 너를 만들어라.

세상이 너에게 귀기울일 수 있는 절대적인 기술을 지녀라

'젊어서 고생은 사서도 한다' 하지만 지금은 젊어서 고생할 것이 별로 없다. 고생할 것을 찾아라.

이제는 과거의 리더쉽이 아닌 새로운 리더쉽이 필요한 세상이 된 것이다.

 과거와 달리 ‘위로하고, 이해하고, 위무하고, 따뜻하게 머리를 맞대는 리더쉽’, 그것이 바로 공적, 사적 정의를 모두 만족시키는 새로운 리더쉽의 형태이기 때문이다. 이것은 ‘리더 한 명이 천 걸음을 앞서며 나를 따르라’고 외치는 리더쉽이 아닌, ‘천 명의 손을 잡고 같이 한 걸음’을 설득하며 나아가는 리더쉽이 대중이 기다리는 혹은 선도 성장기의 새로운 테제이자, 새로운 시기 리더쉽의 모형인 것이다.

좌파, 우파는 머리 나쁜 사람들의 사고다. 세상을 그렇게 단순하게 이해하려는 것이기 때문이다. 

20세기에는 정보를 독점하고 가공하고 전달하는 기득권의 시대였다면 지금은 대중의 시대다”.

http://blog.naver.com/donodonsu/100091499215

이 글은 스프링노트에서 작성되었습니다.

영통~~~강남역:영통막차:23:20분.영통첫차:05:30분
노선번호:3001번.
영통살구골ㅡ동아아파트ㅡ청명주공아파트ㅡ태평양화학ㅡ아주대ㅡ경찰청ㅡ경기대
동수원IC.~~~~고속도로ㅡ양재역 ㅡ강남역 (참고로,영통은 버스가 일직끊어짐)


영통~~~사당역
노선번호:7000번
영통첫차:05:30분
영통막차:23:20분
경희대학교ㅡ영통살구골ㅡ동아아파트ㅡ삼성홈플러스(영통점)ㅡ그랜드마트ㅡ청명삼익아파트
.황골주공아파트ㅡ영통빌리지ㅡ단오극장ㅡ원천유원지ㅡ매원초등학교ㅡ남부경찰서ㅡKT
(동수원지사)ㅡ법원사거리ㅡ아주대학교입구ㅡ아주대학교ㅡ유신고교ㅡ효성초교ㅡ동성여중
.수원월드컵경기장ㅡ풍림아파트ㅡ우만주공4단지ㅡ우만3단지ㅡ경기지방경찰청ㅡ경기대후문
.영동고속도로(동수원IC ㅡ 북수원IC ),~~~~~과천,의왕간 고속도로ㅡ 관문사거리
ㅡ 남태령역 ㅡ 사당역 

수원역~~~~~강남역:수원기점막차:00:30분
노선번호:3000번
수원역ㅡ수원세무서ㅡ중부소방서ㅡ팔달문ㅡ장안문ㅡ수원전화국ㅡ장안문ㅡ장안구청ㅡ한일타운
ㅡ수일여중ㅡ가스안전공사ㅡ파장동삼익아파트ㅡ의왕고속도로경유~~양재.강남역회차


수원역~~~~~사당역 << 30분 간격으로 24시간 운행함!!>>
노선번호:7770번
수원역ㅡ화서문ㅡ장안문ㅡ종합운동장ㅡ한일타운ㅡ과천,의왕고속도로경유~~~사당역
참고 : 7770번 ..토.일요일 (공휴일포함) 에는 24시간,운행을 안합니다.

사당역에서 영통가는 막차는 02:00입니다.

단 일요일은 24:30차가 막차임

참고로 강남역에서 3007번을 타면 수원터미널을 가는데 강남역 막차는 01:40입니다.

단 일요일은 24:10차가 막차임

→3000번은 강남역 막차가 02:00임

→공휴일만 막차가 24:10임

이 글은 스프링노트에서 작성되었습니다.