새 프로젝트를 생성할 때 마다 생각이 안나서 써놔야겠다. - -
먼저 OpenGL을 사용하기 전에 OpenGL 라이브러리가 설치되어 있어야 한다
프로젝트 설정 >> 링커 >> 입력 >> 추가 종속성 항목
opengl32.lib glut32.lib glu32.lib 추가
Courses
- OpenGL for C : 프로젝트 설정 2012.05.07
- composite 실습 2012.05.07
- Predicate, Clause form 실습 2012.05.07
- LISP 2012.05.01
- Resolution Theorem Proving 2012.05.01
- Unification 2012.05.01
- Using Inference Rules to Produce Predicate Calculus Expressions 2012.05.01
- Calculus Introduction 2012.05.01
- [임베디드] 명령어 실습 2011.09.15
- [소공] 실습 3주차 2011.09.14
OpenGL for C : 프로젝트 설정
2012. 5. 7. 15:44
composite 실습
2012. 5. 7. 12:46
composite 실습
상수(소문자) : f(a) / 변수(대문자)
s1 = {g(X,Y)/Z} S2 = {a/X, b/Y, c/W, d/Z}
1) composition s1s2
s1s2 = { g(a,b)/Z, a/X, b/Y, c/W}
2) composition s2s1
s2s1 = {a/X, b/Y, c/W, d/Z}
#Step 1. 합성 순서대로 합집합 연산
#Step 2. 상수 쪽이 변수인 것을 상수화 함.
#Step 3. 중복 되는 것(X/X, 또는 a/X와 b/X)을 우선순위에 따라 제거. 보통 왼쪽이 우선순위가 높음
'Courses > `2012 AI' 카테고리의 다른 글
| Predicate, Clause form 실습 (0) | 2012.05.07 |
|---|---|
| LISP (0) | 2012.05.01 |
| Resolution Theorem Proving (0) | 2012.05.01 |
| Unification (0) | 2012.05.01 |
| Using Inference Rules to Produce Predicate Calculus Expressions (0) | 2012.05.01 |
Predicate, Clause form 실습
2012. 5. 7. 12:33
a) Anyone meeting Tom is falling in love with him.
b) Anyone who loves Tom is happy.
c) Jane did not meet Tom and Kate met Tom
atomic : meet(X, Y), love(X, Y), happy(Z)
1) to predicate form
a) ∀x meet(x, Tom) -> love(x, Tom)
b) ∀x love(x, Tom) -> happy(x)
c) ￢meet(Jane, Tom)∧meet(Kate, Tom)
2) to clause form
P->Q : ￢P∨Q 의 형태로 없앰 (implacte 를 OR로 변환)
? 근데 한정자가 들어가는지 안들어가는지는 모르겠음.. 확인해봐야 할듯
￢∀∧∨∃
a) ￢meet(x, Tom)∨love(x,Tom)
b) ￢love(x,Tom)∨happy(x)
c) ￢meet(Jane, Tom) // AND 는 그냥 아래줄에 씀
meet(Kate, Tom)
'Courses > `2012 AI' 카테고리의 다른 글
| composite 실습 (0) | 2012.05.07 |
|---|---|
| LISP (0) | 2012.05.01 |
| Resolution Theorem Proving (0) | 2012.05.01 |
| Unification (0) | 2012.05.01 |
| Using Inference Rules to Produce Predicate Calculus Expressions (0) | 2012.05.01 |
LISP
2012. 5. 1. 12:57
5. LISP
리습은 인공지능을 할때 쓰이는 프로그래밍 언어 중 하나이다. 최초로 1958년 MIT의 존 매카시가 개발하였다. 리스프는(LISP)란 이름은 List Processing (리스트 처리) 의 줄임말 이다. 리스프는 여타의 다른 언어들과는 상당히 다르다. 람다 계산법(Lambda Calculus)에 바탕을 두고, 기호 데이터(Symbolic data)를 다루는 문제 풀이에 알맞은 언어로 설계되어 있어 있어, 아톰(Atom)이나 리스트(list) 같은 전혀 새로운 데이터를 쓰고 있다. 리스프는 최초의 개발자 존 매카시가 모든 것을 한꺼번에 개발 한 언어가 아니다. 초창기의 리스프는 산술 계산같은 것이 느린 단점을 지니고 있었고, 사용하기가 조금더 복잡하였다. 하지만, 세월이 지나면서 자신들이 필요한 부분을 보완하고 추가 해가며 발전해 와, 이제는 인공지능에서는 매우 중요한 언어로 자리잡고 있다. 이때문에, 리스프는 대단히 많은 변종들이 존재하며 (ZetaLisp, Franz Lisp, InterLisp 등) , 일반적으로 리스프 라고 하면, 이러한 변종들을 통칭하여 가리킨다.
- Symbolic Expression
위에서도 언급했듯이, Lisp은 전혀 새로운 데이터 타입을 사용한다. Atom 과 List 가 바로 그것이다. 그리고, 이러한 2개를 가리켜 Symbolic Expression 이라고 한다. 그렇다면 이들이 무엇인지 한번 알아보자.
1) Atom : Letters(문자 - 영문으로 대소문자 모두)
Numbers (숫자)
Characters (*, &, %, ...)
2) List : 공백에 의해 구분되는 Atom 또는 다른 리스트들이 괄호 안에 들어가 있는것
( (1 2 3 4) , (1 (2 3) 4 ), ......)
이렇게 2개의 자료형을 사용자가 입려가면, 리스프의 인터프리터(Inerpreter) 는 해당 결과를 화면에 출력한다. Atom을 입력하면, 있는 그대로를 출력하고, List를 입력하면 가장 처음에 나와있는 function definition 을 참조하여, 그에 알맞는 결과를 출력한다.
입력 : ( * 10 9 ) 출력 : 90
입력 : (- (* 10 9 ) ( * 8 10)) 출력 : 10
입력 : (list a b c d e) 출력 : (a b c d e)
입력 : (nth 2 '(a b c)) 출력 : c (어퍼스트로피 빼먹지 않게 주의)
위의 마지막 예제에서 '(a b c) 처럼, 어퍼스트로피가 쓰였다. 이는 (quote (a b c)) 랑 같은 것으로, 괄호 안을 함수로 취급하지 말고 있는 그대로 사용하라(또는 출력하라) 라는 뜻이다. 아래의 예제를 보면 이해가 쉽게 될 것이다.
입력 : (quote (+ 1 6)) 출력 : (+ 1 6)
입력 : ( '(a b) ) 출력 : (a b)
- Function Definition
리스프도 다른 여타의 언어와 마찬가지로 함수를 정의 하고, 사용 할 수 있다. 함수의 정의법은 아래와 같다.
(함수이름 / 함수 변수 목록/ 함수 내에서 수행할 계산)
예를드련, 인자 x를 받아서, x의 제곱을 리턴하는 함수는
(defun double(x) (* x x)) : x를 인자로, 받고 x를 제곱해서 리턴한다.
- Condition
조건문으로, 형태는 (cond ( (조건1) (Action)) ( (조건2)(Action)) ( (조건3....
이런식으로 나간다.
(cond ((< x 0 )(-x)) (t x)) : 만약 x가 0보다 작으면 - x를 출력하고, 0보다 크거나 같으면 그냥 x를 리턴하라.
(defun (absoulute-value (x) (if(< x 0) ( -x) x)) : absolute-value 라는 함수를 선언한다. 만약 0보다 작으면 - x로 리턴
그렇지않으면 그냥 x를 리턴하라.
- Binding Variables
(setq <symbol> <form>) : symbol 은 form의 값을 갖게 한다. (단, symbol은 계산 되지 않는다. 어퍼스트로피가 붙은 상황)
(set <place> <form>) : symbolic expression <place>를 <form>으로 바꾼다. (<place>는 계산된다.)
(setf <place> <form>) : <place>가 <symbol>이면 setq와 같이 동작하고, 그렇지 않으면 set과 같이 동작 한다.
(setq x 1) = 1
(set a 2 ) = ERROR (a cannot be evaluated)
(set 'a 2) = 2
(+ x a ) = 3
(setq 1 '(a b)) = (a b)
(set (car 1) p) = p
1 = (p b) //(car 1) = a이고, a는 p로 치환되었으므로, 1 = (p, b) 이다.
위의 예제를 그대로 setf로 바꾸면 아래와 같다.
(setf x 1) = 1
(setf a 2) = 2
(+ a x) = 3
(setf 1 '(a b)) = (a b)
(setf (car1) p) = p
1 = (p b)
let( (<Symbol> <function>) (<Symbol2><function2>)(<symbol3 .....)
let은 괄호 안에에서 여러개의 변수를 다른 값에 할당할때에 사용한다.
- Else
car - return the first element.
cdr - return the rest element
cons - constructing a list by its parameter (받은 파라미터들로, 리스트를 새로 만든다.)
append - attach each parameter to make lise (받은 파라미터들을 연결하여 리스트를 만든다.)
(car '(a b c d)) : a
(cdr '(a b c d)) : b c d
(first '(a b c d)) : a
(second '(a b c d)) : b
(cons 'a '(b c)) : (a b c)
(cons '(a b) '(c d)) : ( (a b) c d)
(append '(a b) '(c d)) : (a b c d)
- Recursion
리습은 함수형 언어 이기때문에, 특정 문제를 풀기 위해서는 recursion을 통해 계속해서 함수를 호출 해 줘야 한다. 하지만, 실제로 해보면 알 수 있듯이 recursion을 만드는 것이 그리 쉬운 것 만은 아니다. 그래서, 재귀의 형태를 만들기 쉽도록 하는 몇가지 방법에 대해서 알아 보자.
1) Double-Test Tail Recursion
기본 형태는 (Defunc func(x) (cond (endtest_1 endvalue_1)(endtest_2 endvalue_2)(T (func reduced-x))))
예제를 보자. 다음의 예제는 인풋으로 들어온 list 또는 atom이 짝수를 포함하고 있는지를 보는 함수 이다.
defun anyEvenP(x) ( cond ((null x) nil)((even (car x) T)((t (anyEvenP(cdr x)))))
만약, 리스트가 비었으면, nil을 리턴, 그렇지 않고, 리스트의 가장 처음 x가 짝수이면, T(true)를 리턴, 그것도 아니라면 리스트의 맨처음 을 제외한 나머지 부분을 다시 anyEvenP 함수를 재귀적으로 호출한다.
2) Single-Test Tail Recursion
위에서 했던, Doble-Test Tail 이 2개의 조건으로 체크를 했다면, 이것은 한개로 체크를 하는 것이다. 따로 예제는 들지 않겠다.
3) Single-Test Augmenting Recursion (한개의 테스트로 값을 늘려가는)
조건은 한개지만, 리커션이 호출될 때 마다, 특정값이 증가 하도록 만드는 리커션이다. 흔히 1+2+3+4+ ... 를 리커션으로 구할때 각 +와 + 사이의 값이 1씩 증가 하나. 이처럼 리커션이 호출될 때마다 해당 항의 값이 증가하는 재귀함수를 가리킨다.
4) Conditional Augmentaton (조건부 값 상승)
조건에 따라서, 리커션의 각 항을 값을 늘리거나 늘리지 않을때 사용하는 리커션이다. 함수 howManyNum 이라는 것이 있을때, 리스트에서 숫자의 갯수를 리턴한다고 하자. 그러면, 리스트가 {A,B, 3, 5} 일때 값을 2를 리턴해야 한다. 이때에 조건으로 숫자일때에는 값을 증가시키고, 숫자가 아닐때에는 값을 증가시키지 않는 방식을 취한다.
'Courses > `2012 AI' 카테고리의 다른 글
| composite 실습 (0) | 2012.05.07 |
|---|---|
| Predicate, Clause form 실습 (0) | 2012.05.07 |
| Resolution Theorem Proving (0) | 2012.05.01 |
| Unification (0) | 2012.05.01 |
| Using Inference Rules to Produce Predicate Calculus Expressions (0) | 2012.05.01 |
Resolution Theorem Proving
2012. 5. 1. 12:57
4. Resolution Theorem Proving
- Resoulution by Refutation ( 반증에 의한 논리 융합)
Resoulution Refutation(도출 반박) 은 사실이라고 알려진 논리와 공리를 부정하는 Goal을 설정한후, 이 것이 모순됨을 보여주어 논리가 true 임을 증명하는 방법이다. 이 증명은 아래의 순서를 따른다.
1) 전제나 공리를 clause form으로 둔다.
2) 증명하고자 하는것을, 부정하여 공리 집합에 추가한다.
3) 이 clause form들을 같이 도출하여, logically followed(논리적으로 따라오는) 새로운 clause 를 생성한다.
4) 증명하고자 한것을 부정한것과, 최후에 만들어진 clause를 비교하여, 이들이 empty clause를 생성하면, 증명하고자 하는
것은 true가 된다.
순서만 들어서는 굉장히 햇갈릴 것이다. 하지만 우리는 2장에서 inference rule을 할때에 이미 resolution을 어떻게 사용하는지에 대해서 보았다. 그런데, 한가지 이해가 안가는 말이 있을 수 있다. Clause form 이라는게 무엇일까 ? 이는 흔히 우리들이 ∧ 와 ∨등으로 표현하는 식을 말한다. 예를들어, '말은 동물이다.' 라는 것은 horse(X) -> animal(X) 라고 쓸수 있지만, 이를 clause form으로 고치게 되면, -horse(X) ∨ animal(X) 이다. 그렇다면 공리를 clause form으로 바꾸는 순서에 대해서 알아보겠다.
1) 먼저, 모든 logical connective 인 -> 와 <-> 를 제거 한다.
a <-> b = (-a ∨ b) ∧ (-b ∨ a)
a -> b = (-a ∨ b)
2) 부정으로 묶인 scope (괄호) 를 제거한다.
- (a ∧ b) = -a ∨ -b
3) 서로 같은 이름을 가진 변수들이 자신들의 영역에서만 고유하도록 바꿔준다.
(∀X) a(X) ∨ (∀X)b(X) = (∀X) a(X) ∨ (∀Y)b(Y)
4) 모든 한정자를 왼쪽으로 옮겨서 penex normal form으로 만들어 준다.
5) skolemization을 이용해서 모든 existentail quantifier (∃) 를 없애 준다.
(ex. ∃X horse(X) 를 skolemization 하게 되면 hore(Maxim)이 된다.
(∀X)(∀A)(∃B)(∀C)(method(X,A,B,C)) ⇒ (∀X)(∀A)(∀C)(method(X,A,f(X,A),C)) )
6) 모든 universal quantifier를 떼어내 버린다.
7) 모든 표현을 (식) ∧ (식) 의 형태로 고친다.
8) 각각의 ∧로 구분된 식들은 하나의 clause form이 되고, 이들을 다시 rename 하여 사용한다.
아래의 예제를 보면서 이해해 보도록 하자.
'Courses > `2012 AI' 카테고리의 다른 글
| Predicate, Clause form 실습 (0) | 2012.05.07 |
|---|---|
| LISP (0) | 2012.05.01 |
| Unification (0) | 2012.05.01 |
| Using Inference Rules to Produce Predicate Calculus Expressions (0) | 2012.05.01 |
| Calculus Introduction (0) | 2012.05.01 |
Unification
2012. 5. 1. 12:56
3. Unification (단일화)
1차 술어 논리의 문장 P와 Q가 있다고 해보자. 이 두개의 문장에 있는 각 변수들을 서로 match 시키는 작업을 Unification이라고 한다. 예를들어, ∃X friend(maxim,X) 라는 predicate sentence가 있을때, 이를 unification을 하게되면 friend(maxim,jim) 이 된다. 이때에 도메인에는 maxim의 친구 목록중에 jim이 존재 해야한다. 그리고 이를 {jm/X} 로 표시할 수 있다. 이것은 X를 jim으로 바꿔 주었다는 뜻을 가진다. 좀더 예제를 들어보자. plus(X,Y,Z) 라는 sentence가 있다고 해보자. 여기에 {5/X,3/Y,2/Z}를 적용 시키면 plus(5,3,2)가 되고, 결과값은 10이 된다. 여기에서 숫자(5,3,2)들은 각각 X,Y,Z의 substitute라고 하고, X,Y,Z는 original expression 이라고 한다. 이처럼 단일화를 할때에는 아래의 룰을 따른다.
1. Constant (상수) 는 Variable(변수) 의 substitute(대리자)가 될 수 있다.
2. Constant는 다른 것으로 바뀔 수 없다. (대리자를 통한 치환을 할 수 없다.)
3. Variable은 해당 variable을 포함하는 대리자와 unify 될 수 없다. (ex. unify(X, p(X)) is wrong)
4. match를 하려는 predicate sentence에는 unify를 통한 변화를 모두 적용 시켜 줘야 한다.
(ex. plus(X,Y,Z) 와 minus(X,R,T) 가 있을때 {5/X} 를 통해 plus(5,Y,Z)로 바꿔주었다면, minus(5,R,T) 로 역시 변환 해야한다.)
그리고 unify 룰을 서로 합성 시키는 것이 있는데, 이를 composition(합성) 이라고 한다. 각 단계별로 나오는 unification method 를 합성시키는 것이다. 예를들어 단계별로 나오는 method가
{X/Y, W/Z}, {V/X}, {a/V, f(b)/W}
라면 {a/Y, f(b)/Z} 로 composition결과를 만들어 낼 수 있다.
그렇다면 이제 위에서 알아본 모든 방법을 가지고 실제 예제를 unification 해보겠다. 아래의 예제를 통해, unify method를 알아내는 방법을 익히도록 하자.
unify( (parents X(father X)(mother tom), (parents tom(father tom) Y) )는 차례대로 천천히 unify해 나간다. 2개의 sentence를 앞에서부터 비교하여, 서로 같은 부분을 떼어내어 따로 unify를 하고, 다른 부분은 서로 같게 고칠 수 있으면, 고치고 그렇지 않으면 한쪽에 모두 몰아 넣는다.
(1)
(parents X(father X)(mother tom)
(parents tom(father tom) Y) 의 첫번째 공통점은 parents 이다. 그러므로 이를 따로 unify를 진행한다.
unify(parents, parents) 을 아무러 method없이 떼어내는데 성공했다.
(2)
X(father X)(mother tom)
tom(father tom) Y 을 다시 unify하려고 보니, X와 tom이 서로 매치가 된다. 상수는 바꿀 수 없음로 X를 변환한다.
unify(x,tom)이 분리 되었고, 이를 통해
{tom/X} method가 도출되었다.
메서드가 구해졌으니, 이를 남은식에 모두 적용 시킨다. X 는 tom으로 치환된다.
(3)
(father tom)(mother tom)
(father tom) Y 을 unify 하니, father 와 뒤의 상수 가 같은 형태 이다. 그러므로 이를 분리 하는데 먼저
unify(father tom, father tom) 으로 분리 되고, 다시 한번 분리 되어
unify(father, father) 과 unify(tom,tom) 이 된다. 역시, 메서드의 사용 없이 분리가 완료 되었다.
(4)
mother tom
Y 마지막이다. Y와 mother tom은 match 되어야 하므로,
unify(mother tom, Y) 로 unify되고,
{mother tom/Y} method가 도출된다.
'Courses > `2012 AI' 카테고리의 다른 글
| Predicate, Clause form 실습 (0) | 2012.05.07 |
|---|---|
| LISP (0) | 2012.05.01 |
| Resolution Theorem Proving (0) | 2012.05.01 |
| Using Inference Rules to Produce Predicate Calculus Expressions (0) | 2012.05.01 |
| Calculus Introduction (0) | 2012.05.01 |
Using Inference Rules to Produce Predicate Calculus Expressions
2012. 5. 1. 12:56
2. Using Inference Rules to Produce Predicate Calculus Expressions
- Inference Rules
기존에 주어진 추론을 통해 주어진 명제의 true,false를 가리는 것을, Inference Rule 이라고 한다. 아래의 예제를 보자
"Maxim will die" 라는 문장을 아래의 주어진 statement 들로 부터 증명하라.
Maxim is a horse
All horses are animals
All animals will die
therefore. Maxim will die
이처럼, 주어진 3개의 명제로부터, 새로운 1개의 명제를 증명하였다. 이같은 과정을 추론이라고 한다. 이를 predicate calculus로 나타내면 아래와 같다.
horse(Maxim)
∀X (horse(X) ⇒ animal(X))
∀Y (animal(Y) ⇒ die(Y))
therefore. horse(Maxim) ⇒ die(Maxim)
이를 다시 표현하면,
horse(Maxim)
-horse(X) ∨ animal(X)
-animal(Y) ∨ die(Y)
이다. 이것을 Resolution 에 의해 정리하면 아래표와 같게 된다.
Figure 1. Resolution
추론 규칙은 sound 와 complete 의 2가지로 평가된다. 우선 sound는, 생성된 문장이 논리적으로 합당한 경우, 사용된 추론 규칙을 sound(정당) 하다고 한다. 예를들면, P와 P⇒Q 가 domain I 의 범위내에서 둘다 true일 때, 'modus ponens' 추론 규칙은 Q또한, true라는것을 알 수 있게 해준다 그리고 complete(완전) 은, 존재하는 모든 문장들이 추론규칙에 의해 논리적으로 합당하게 생성 될 수 있는 경우 추론규칙을 complete(완전) 하다고 한다. 아래는 사용 할 수 있는 추론 규칙에 대한 것이다.
- modus ponens : 만약 sentence P와 P ⇒ Q 가 참이라면, modus ponens 은 우리에게 Q가 참임을 암시한다.(추론한다.)
- modus tollens : 만약 P ⇒ Q가 참이고, Q가 거짓 이라면, 우리는 P가 거짓 이라는 걸 알 수 있다.
- and elimination : P ∧ Q가 참이면, P와 Q둘다 참이라는 것을 알 수 있다.
- and introduction : P와 Q가 참이면, P ∧ Q 가 참이라는 것을 알 수 있다.
- universal instantitation : p(X)로 표현된 식은, X의 도메인에 포함된 a로 치환한 p(a)로 표현할 수 있다.
'Courses > `2012 AI' 카테고리의 다른 글
| Predicate, Clause form 실습 (0) | 2012.05.07 |
|---|---|
| LISP (0) | 2012.05.01 |
| Resolution Theorem Proving (0) | 2012.05.01 |
| Unification (0) | 2012.05.01 |
| Calculus Introduction (0) | 2012.05.01 |
Calculus Introduction
2012. 5. 1. 12:55
1. Calculus Introduction
우리는 이번 단원에서 두가지의 calculus 를 알아 볼 것이다. Predicate Calculus(명제 논리, 명제 계산) 과 Predicate Calculut(술어 명제, 술어 계산) 의 2가지 이다. 이들은 둘다 모든 언어의 시초라고 할 수 있다.
- Propositional Calculus (명제 논리)
Propositional Calculus (명제 논리) 는 참 또는 거짓을 갖는 문장이다. 이것은, 기호, 문장, 의미 로 표현 할 수 있다. 예를 들면 'It is sunny' 라는 문장이 있다고 해보자. 하나의 언어를 하나의 기호로 정의하는 첫 단계를 Symbol (기호) 라고 한다. It is Sunny 라는 문장은 symbol로 변환되어 P 라고 하자. 그렇다면 지금 바깥이 화창하다면 P는 True가 되는 것이고, 화창하지 않다면 False가 되는 것이다. 그렇다면 It is Sunny 라는것은 문장(sentence)이고, P는 기호 (symbol), 그리고 참 거짓은 의미(semantics) 가 되었다. 그리고 이렇게 기호가 된 문장들은 아래의 기호들로 서로의 관계를 표현 할 수 있다.
∧ - Conjunct 로 흔히 논리곱이라고 하며 'AND'라고도 표현한다. (ex. -P ∧ P = false)
∨ - Disjunct 로 흔히 논리 합 이라고 하며 'OR'라고도 표현한다. (ex. P ∨ -P = true)
⇒ - Implication 으로 논리 함축 이라고 한다. P ⇒ Q 라는 표현식이 있다면, P는 premise(전제) 또는,
antecedent (선행사)라고 하며 Q는 Conclusion (결과) 라고 한다.
또한 명제 논리는 항등법칙(Equivalences)를 갖고 있는데, 이는 아래와 같다. (여기서 -P는 negation P 를 뜻한다.)
- ( -P) = P
(P ∧ Q) = ( -P ⇒ Q)
(P ⇒ Q) = ( -P ⇒ -Q)
- (P ∨ Q) = ( -P ∧ -Q)
- ( P ∧ -Q) = ( -P ∨ -Q)
(P ∨ Q) = (Q ∨ P)
(P ∧ Q) = (Q ∧ P)
((P ∧ Q) ∧ R) = (P ∧ (Q ∧ R))
((P ∧ Q) ∨ R) = (P ∨ R) ∧ (Q ∨ R)
- Predicate Calculus (술어 논리)
Predicate calculus (술어 계산) 은 인공지능 언어이다. 술어 논리 라고도 하는 이 것은 형식 언어이다. 1차 술어 논리는 아래의 3가지 요소에 의해 구성된다.
1) 구성 규칙 - 반복을 통해 잘 구성된 (well-formed) 논리식을 정의한다.
2) 변형 규칙 - 정리를 증명하기 위한 추론 규칙
3) 이를 뒷받침하는 비교의 기준 과 추론 방법
술어 논리 에서는 '한정자 (Quantifier)'가 변수에만 적용 되고, 술어나 함수에 대해서는 허용하지 않는 경우 이를 일차 술어 계산 이라고 한다. 예를들어 ∀x P(x) 의 경우엔 변수에 한정자가 적용된 예이다. 하지만, ∀P P(x) 의 경우엔 술어부호 P에 한정자가 적용 되었으므로, 일차 술어 계산에서는 허용하지 않는 문장인 것이다. 대부분의 논리적인 표현은 일차 술어계산으로 모두 나타낼 수 있으므로, 인공지능 언어에서는 대부분 일차 술어 계산에 근거하고 있다. 특히, 일차 술어 논리는 집합 이론 전부와 모든 수학을 형식화 하기에 충분히 강력하다.
명제 논리에서는 각 P와 Q는 한가지의 명제밖에 담지 못했다. 하지만, 술어 논리에서는 각 성분 사이의 관계에 대해 정의 할 수가 있게 된다. 예를들어 'Tom loves Lissa' 라는 문장이 있다고 했을때, 술어 논리는 Top과 Lissa의 관계를 표현하는 love를 이용하여 'love(Tom, Lissa)' 와 같이 표시 할 수 있다. 이처럼 symbol을 문장으로 표현할 수 있는데, 이것은 소문자 대문자 상관 하지 않고 알파뱃과 숫자를 포함 할 수 있지만, 숫자로 시작해서는 안되고, 띄어쓰기와 알파뱃이 아닌 문자는 사용 할 수 없다. (일반적으로 띄어쓰기 대신 언더바 ' _ ' 를 사용한다.) 다시 정리 해보자면 아래와 같다.
1) 소문자, 대문자 상관없이 영문 알파뱃.
2) 숫자 사용 가능 ( 0, 1, .... , 9)
3) 띄어쓰기대신 언더바 ' _ ' 사용가능
'Q09M_Z' 와 같은 것은 올바른 symbol의 표현법 이지만, #, %, @ 등과 같은 것이 들어가거나 '9pop' 와 같이 숫자로 시작하는 문장등은 사용해서는 안된다.
좀더 정확히 하자면, 술어 논리에는 다양한 symbol 들이 존재 하는데, 이들마다 이름을 쓸때 지켜야할 규칙이 있다.
1) Constant Symbol 은 '상수' 로써, 소문자로 시작 해야 한다.(ex. likes(monkey, banana) 에서 monkey와 banana는 상수)
2) Variable Symbol 은 '변수' 로써, 대문자로 시작 해야 한다. (ex. father(X,tom) 여기서 X는 변수)
3) Function Symbol 은 ' 함수' 로써, 소문자로 시작 해야 한다. (ex. 위에서의 likes나 father와 같이)
그리고 앞에서 언급했듯이 술어 논리에는 '한정자(quantifier)' 라는게 붙을 수 있다. 한정자에는 2가지 종류가 있는데 universal quantifier 인 ∀ 와, existential quantifier인 ∃ 가 있다. ∀X likes(X,ice_cream) 은 아이스크림을 좋아하는 모든 X는 이라는 뜻을 갖는다. ∃Y friends(Y,Jim) 이라는 것은, 짐이라는 친구를 가진 어떤 Y는 이라는 뜻을 갖는다. 이들은 아래의 룰에 따른다.
1) -∀X P(Y) ≡ ∃X -P(X)
2) -∃Y P(Y) ≡ ∀Y -P(Y)
3) ∀X (p(X) ∨ q(X)) ≡ ∀X p(X) ∨ ∀ Y q(Y)
4) ∃X (p(X) ∧ q(X)) ≡ ∃X p(X) ∧ ∃ Y q(Y)
'Courses > `2012 AI' 카테고리의 다른 글
| Predicate, Clause form 실습 (0) | 2012.05.07 |
|---|---|
| LISP (0) | 2012.05.01 |
| Resolution Theorem Proving (0) | 2012.05.01 |
| Unification (0) | 2012.05.01 |
| Using Inference Rules to Produce Predicate Calculus Expressions (0) | 2012.05.01 |
[임베디드] 명령어 실습
2011. 9. 15. 03:48
BASH_BUILTINS(1) BASH_BUILTINS(1)
NAME
bash, :, ., [, alias, bg, bind, break, builtin, caller, cd, command,
compgen, complete, compopt, continue, declare, dirs, disown, echo,
enable, eval, exec, exit, export, false, fc, fg, getopts, hash, help,
history, jobs, kill, let, local, logout, mapfile, popd, printf, pushd,
pwd, read, readonly, return, set, shift, shopt, source, suspend, test,
times, trap, true, type, typeset, ulimit, umask, unalias, unset, wait -
bash built-in commands, see bash(1)
BASH BUILTIN COMMANDS
Unless otherwise noted, each builtin command documented in this section
as accepting options preceded by - accepts -- to signify the end of the
options. The :, true, false, and test builtins do not accept options
and do not treat -- specially. The exit, logout, break, continue, let,
and shift builtins accept and process arguments beginning with - with‐
out requiring --. Other builtins that accept arguments but are not
specified as accepting options interpret arguments beginning with - as
invalid options and require -- to prevent this interpretation.
: [arguments]
No effect; the command does nothing beyond expanding arguments
and performing any specified redirections. A zero exit code is
pwd
/home/oinnoco
[oinnoco@oinnoco ~]$ mkdir embedded
[oinnoco@oinnoco ~]$ ls
Desktop Downloads Pictures Templates embedded
Documents Music Public Videos workspace
[oinnoco@oinnoco ~]$ cd embedded
[oinnoco@oinnoco embedded]$ ls >> ls_result.txt
[oinnoco@oinnoco embedded]$ dir
ls_result.txt
[oinnoco@oinnoco embedded]$ cat ls_result.txt
ls_result.txt
[oinnoco@oinnoco embedded]$ mv ls_result.txt renamed_result.txt
[oinnoco@oinnoco embedded]$ ls
renamed_result.txt
[oinnoco@oinnoco embedded]$ more
usage: more [-dflpcsu] [+linenum | +/pattern] name1 name2 ...
[oinnoco@oinnoco embedded]$ more renamed_result.txt
ls_result.txt
[oinnoco@oinnoco embedded]$ page renamed_result.txt
bash: page: command not found...
Install package 'tcllib' to provide command 'page'? [N/y]
* Running...
* Resolving dependencies...
* Waiting for authentication...
* Resolving dependencies...
* Downloading packages...
* Testing changes...
* Installing packages...
* Scanning applications...
/usr/bin/page: Bad argument "peg".
Unable to locate configuration plugin "peg"
[oinnoco@oinnoco embedded]$ head
renamed_result.txt
renamed_result.txt
what is it?
what is it?
^Z
[4]+ Stopped head
[oinnoco@oinnoco embedded]$ head renamed_result.txt
ls_result.txt
[oinnoco@oinnoco embedded]$ tail renamed_result.txt
ls_result.txt
[oinnoco@oinnoco embedded]$ cp renamed_result.txt copied_file.txt
[oinnoco@oinnoco embedded]$ ls
copied_file.txt renamed_result.txt
[oinnoco@oinnoco embedded]$ vi copied_file.txt
[5]+ Stopped vi copied_file.txt
[oinnoco@oinnoco embedded]$ cat copied_file.txt
ls_result.txt
[oinnoco@oinnoco embedded]$ vi copied_file.txt
[oinnoco@oinnoco embedded]$ cat copied_file.txt
ls_result.txt
이 파일은 renamed_result.txt 파일을 복사한 파일입니다.
이렇게 vi 에디터를 이용해서 파일 내용을 수정할 수 있습니다.
vi 에디터는 콘솔에서 사용할 수 있는 에디터입니다.
[oinnoco@oinnoco embedded]$ mkdir target_dir
[oinnoco@oinnoco embedded]$ ls
copied_file.txt renamed_result.txt target_dir
[oinnoco@oinnoco embedded]$ rmdir target_dir
[oinnoco@oinnoco embedded]$ ls
copied_file.txt renamed_result.txt
[oinnoco@oinnoco embedded]$ rm renamed_result.txt
[oinnoco@oinnoco embedded]$ ls
copied_file.txt
[oinnoco@oinnoco embedded]$ ls -l copied_file.txt
-rw-rw-r--. 1 oinnoco oinnoco 239 9월 15 02:28 copied_file.txt
[oinnoco@oinnoco embedded]$ chmod 777 copied_file.txt
[oinnoco@oinnoco embedded]$ ls -l copied_file.txt
-rwxrwxrwx. 1 oinnoco oinnoco 239 9월 15 02:28 copied_file.txt
[oinnoco@oinnoco embedded]$ cat copied_file.txt
ls_result.txt
이 파일은 renamed_result.txt 파일을 복사한 파일입니다.
이렇게 vi 에디터를 이용해서 파일 내용을 수정할 수 있습니다.
vi 에디터는 콘솔에서 사용할 수 있는 에디터입니다.
diff 명령어 확인을 위해서 내용을 수정합니다.
[oinnoco@oinnoco embedded]$ cat copied_file2.txt
ls_result.txt
이 파일은 renamed_result.txt 파일을 복사한 파일입니다.
이렇게 vi 에디터를 이용해서 파일 내용을 수정할 수 있습니다.
vi 에디터는 콘솔에서 사용할 수 있는 에디터입니다.
[oinnoco@oinnoco embedded]$ diff -i copied_file.txt copied_file2.txt
5c5
< diff 명령어 확인을 위해서 내용을 수정합니다.
---
>
[oinnoco@oinnoco embedded]$ find *.txt
copied_file.txt
copied_file2.txt
[oinnoco@oinnoco embedded]$ grep "에디터" copied_file.txt
이렇게 vi 에디터를 이용해서 파일 내용을 수정할 수 있습니다.
vi 에디터는 콘솔에서 사용할 수 있는 에디터입니다.
[oinnoco@oinnoco embedded]$ gzip -v *.*
copied_file.txt: 36.3% -- replaced with copied_file.txt.gz
copied_file2.txt: 32.6% -- replaced with copied_file2.txt.gz
[oinnoco@oinnoco embedded]$ ls
copied_file.txt.gz copied_file2.txt.gz
[oinnoco@oinnoco embedded]$ gzip -d *.*
[oinnoco@oinnoco embedded]$ ls
copied_file.txt copied_file2.txt
[oinnoco@oinnoco embedded]$ gzip -v -9 *.*
copied_file.txt: 36.3% -- replaced with copied_file.txt.gz
copied_file2.txt: 32.6% -- replaced with copied_file2.txt.gz
[oinnoco@oinnoco embedded]$ gunzip *.*
[oinnoco@oinnoco embedded]$ ls
copied_file.txt copied_file2.txt
[oinnoco@oinnoco embedded]$ compress *.*
bash: compress: command not found...
Install package 'ncompress' to provide command 'compress'? [N/y]
* Running...
* Resolving dependencies...
* Waiting for authentication...
* Resolving dependencies...
* Downloading packages...
* Testing changes...
* Installing packages...
* Scanning applications...
[oinnoco@oinnoco embedded]$ compress *.*
copied_file.txt.Z: already has .Z suffix -- no change
copied_file2.txt.Z: already has .Z suffix -- no change
[oinnoco@oinnoco embedded]$ ls
copied_file.txt.Z copied_file2.txt.Z
[oinnoco@oinnoco embedded]$ uncompress *.*
[oinnoco@oinnoco embedded]$ ls
copied_file.txt copied_file2.txt
[oinnoco@oinnoco embedded]$ tar -cvf tarfile.tar *.*
copied_file.txt.gz
copied_file2.txt
[oinnoco@oinnoco embedded]$ ls
copied_file.txt.gz copied_file2.txt tarfile.tar
[oinnoco@oinnoco embedded]$ tar -tvf tarfile.tar
-rwxrwxrwx oinnoco/oinnoco 10240 2011-09-15 02:50 copied_file.txt.gz
-rwxrwxr-x oinnoco/oinnoco 239 2011-09-15 02:34 copied_file2.txt
[oinnoco@oinnoco Downloads]$ yum install amarok
Loaded plugins: langpacks, presto, refresh-packagekit
You need to be root to perform this command.
[oinnoco@oinnoco Downloads]$ su
암호:
[root@oinnoco Downloads]# yum install amarok
Loaded plugins: langpacks, presto, refresh-packagekit
Setting up Install Process
Resolving Dependencies
--> Running transaction check
---> Package amarok.i686 0:2.4.3-1.fc15 will be installed
--> Processing Dependency: amarok-libs(x86-32) = 2.4.3-1.fc15 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: amarok-utils = 2.4.3-1.fc15 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: kdebase-runtime >= 4.6.5 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libamarokpud.so.1 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libkio.so.5 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libamarokcore.so.1 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libkdnssd.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libmysqlclient.so.18(libmysqlclient_16) for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libplasma.so.3 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libQtCore.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libQtWebKit.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libmygpo-qt.so.1 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: qtscriptbindings(x86-32) for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: liblastfm.so.0 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libkdecore.so.5 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libphonon.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libQtXml.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libampache_account_login.so for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libmysqld.so.0 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libQtGui.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libQtScript.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libthreadweaver.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libkdeui.so.5 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libkcmutils.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libamaroklib.so.1 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libQtSvg.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libsolid.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libkdewebkit.so.5 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libQtNetwork.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libloudmouth-1.so.0 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libamarok-sqlcollection.so.1 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libqjson.so.0 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libQtDBus.so.4 for package: amarok-2.4.3-1.fc15.i686
--> Processing Dependency: libmysqlclient.so.18 for package: amarok-2.4.3-1.fc15.i686
--> Running transaction check
---> Package amarok-libs.i686 0:2.4.3-1.fc15 will be installed
--> Processing Dependency: libtag-extras.so.1 for package: amarok-libs-2.4.3-1.fc15.i686
---> Package amarok-utils.i686 0:2.4.3-1.fc15 will be installed
---> Package kdebase-runtime.i686 0:4.6.5-1.fc15 will be installed
--> Processing Dependency: kde4-macros(api) = 2 for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: kdebase-runtime-libs(x86-32) = 4.6.5-1.fc15 for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: kdebase-runtime-flags = 4.6.5-1.fc15 for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: libmolletnetwork.so.4 for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: libnepomukcommon.so for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: libattica.so.0 for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: libxine.so.1 for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: libknotifyplugin.so for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: libkwalletbackend.so.4 for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: libsopranoclient.so.1 for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: htdig for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: libsoprano.so.4 for package: kdebase-runtime-4.6.5-1.fc15.i686
--> Processing Dependency: libsopranoserver.so.1 for package: kdebase-runtime-4.6.5-1.fc15.i686
---> Package kdelibs.i686 6:4.6.5-2.fc15 will be installed
--> Processing Dependency: shared-desktop-ontologies >= 0.4 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: strigi-libs(x86-32) >= 0.7.2 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: docbook-style-xsl >= 1.76 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: oxygen-icon-theme >= 4.6.2 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: dbusmenu-qt(x86-32) >= 0.6.3 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: libqca.so.2 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: libImath.so.6 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: kde-settings for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: libXss.so.1 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: libdbusmenu-qt.so.2 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: libpolkit-qt-core-1.so.1 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: libIlmImf.so.6 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: libIex.so.6 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: docbook-dtds for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: libHalf.so.6 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: libstreams.so.0 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: libIlmThread.so.6 for package: 6:kdelibs-4.6.5-2.fc15.i686
--> Processing Dependency: libstreamanalyzer.so.0 for package: 6:kdelibs-4.6.5-2.fc15.i686
---> Package liblastfm.i686 0:0.3.3-3.fc15 will be installed
---> Package libmygpo-qt.i686 0:1.0.3-1.fc15 will be installed
---> Package loudmouth.i686 0:1.4.3-8.fc15 will be installed
---> Package mysql-embedded.i686 0:5.5.14-2.fc15 will be installed
---> Package mysql-libs.i686 0:5.5.14-2.fc15 will be installed
---> Package phonon.i686 0:4.5.0-2.fc15 will be installed
--> Processing Dependency: phonon-backend(x86-32) >= 4.4 for package: phonon-4.5.0-2.fc15.i686
---> Package qjson.i686 0:0.7.1-4.fc15 will be installed
---> Package qt.i686 1:4.7.3-8.fc15 will be installed
---> Package qt-webkit.i686 1:4.7.3-8.fc15 will be installed
---> Package qt-x11.i686 1:4.7.3-8.fc15 will be installed
--> Processing Dependency: libmng.so.1 for package: 1:qt-x11-4.7.3-8.fc15.i686
---> Package qtscriptbindings.i686 0:0.1.0-14.fc15 will be installed
--> Running transaction check
---> Package OpenEXR-libs.i686 0:1.7.0-2.fc15 will be installed
---> Package attica.i686 0:0.2.0-1.fc15 will be installed
---> Package dbusmenu-qt.i686 0:0.6.3-3.fc15 will be installed
---> Package docbook-dtds.noarch 0:1.0-54.fc15 will be installed
--> Processing Dependency: sgml-common for package: docbook-dtds-1.0-54.fc15.noarch
---> Package docbook-style-xsl.noarch 0:1.76.1-2.fc15 will be installed
---> Package htdig.i686 4:3.2.0-0.11.b6.fc15 will be installed
---> Package ilmbase.i686 0:1.0.2-3.fc15 will be installed
---> Package kde-filesystem.i686 0:4-38.fc15 will be installed
---> Package kde-settings.noarch 0:4.6-10.fc15 will be installed
---> Package kdebase-runtime-flags.noarch 0:4.6.5-1.fc15 will be installed
---> Package kdebase-runtime-libs.i686 0:4.6.5-1.fc15 will be installed
--> Processing Dependency: kdepimlibs(x86-32) >= 4.6.5 for package: kdebase-runtime-libs-4.6.5-1.fc15.i686
--> Processing Dependency: libssh.so.4 for package: kdebase-runtime-libs-4.6.5-1.fc15.i686
--> Processing Dependency: cagibi for package: kdebase-runtime-libs-4.6.5-1.fc15.i686
--> Processing Dependency: libslp.so.1 for package: kdebase-runtime-libs-4.6.5-1.fc15.i686
---> Package libXScrnSaver.i686 0:1.2.1-2.fc15 will be installed
---> Package libmng.i686 0:1.0.10-5.fc15 will be installed
---> Package oxygen-icon-theme.noarch 0:4.6.5-1.fc15 will be installed
---> Package phonon-backend-xine.i686 0:4.4.4-3.fc15 will be installed
---> Package polkit-qt.i686 0:0.99.0-2.fc15 will be installed
---> Package qca2.i686 0:2.0.3-2.fc15 will be installed
---> Package shared-desktop-ontologies.noarch 0:0.6.0-1.fc15 will be installed
---> Package soprano.i686 0:2.6.0-2.fc15 will be installed
--> Processing Dependency: libiodbc.so.2 for package: soprano-2.6.0-2.fc15.i686
--> Processing Dependency: libclucene.so.0 for package: soprano-2.6.0-2.fc15.i686
--> Processing Dependency: redland-virtuoso for package: soprano-2.6.0-2.fc15.i686
--> Processing Dependency: virtuoso-opensource for package: soprano-2.6.0-2.fc15.i686
---> Package strigi-libs.i686 0:0.7.2-8.fc15 will be installed
---> Package taglib-extras.i686 0:1.0.1-2.fc15 will be installed
---> Package xine-lib.i686 0:1.1.19-6.fc15 will be installed
--> Running transaction check
---> Package cagibi.i686 0:0.1.1-3.fc15 will be installed
---> Package clucene-core.i686 0:0.9.21b-3.fc15 will be installed
---> Package kdepimlibs.i686 0:4.6.5-1.fc15 will be installed
---> Package libiodbc.i686 0:3.52.7-2.fc15 will be installed
---> Package libssh.i686 0:0.4.8-2.fc15 will be installed
---> Package openslp.i686 0:1.2.1-15.fc15 will be installed
---> Package redland-virtuoso.i686 0:1.0.12-3.fc15 will be installed
---> Package sgml-common.noarch 0:0.6.3-34.fc15 will be installed
---> Package virtuoso-opensource.i686 1:6.1.2-3.fc15 will be installed
--> Finished Dependency Resolution
--> Running transaction check
---> Package kde-l10n-Korean.noarch 0:4.6.5-1.fc15 will be installed
--> Processing Dependency: kde-l10n = 4.6.5-1.fc15 for package: kde-l10n-Korean-4.6.5-1.fc15.noarch
--> Running transaction check
---> Package kde-l10n.noarch 0:4.6.5-1.fc15 will be installed
--> Finished Dependency Resolution
Dependencies Resolved
================================================================================
Package Arch Version Repository
Size
================================================================================
Installing:
amarok i686 2.4.3-1.fc15 updates 11 M
kde-l10n-Korean noarch 4.6.5-1.fc15 updates 1.3 M
Installing for dependencies:
OpenEXR-libs i686 1.7.0-2.fc15 fedora 217 k
amarok-libs i686 2.4.3-1.fc15 updates 2.9 M
amarok-utils i686 2.4.3-1.fc15 updates 129 k
attica i686 0.2.0-1.fc15 fedora 167 k
cagibi i686 0.1.1-3.fc15 fedora 56 k
clucene-core i686 0.9.21b-3.fc15 fedora 294 k
dbusmenu-qt i686 0.6.3-3.fc15 fedora 76 k
docbook-dtds noarch 1.0-54.fc15 fedora 217 k
docbook-style-xsl noarch 1.76.1-2.fc15 fedora 2.3 M
htdig i686 4:3.2.0-0.11.b6.fc15 fedora 811 k
ilmbase i686 1.0.2-3.fc15 fedora 75 k
kde-filesystem i686 4-38.fc15 fedora 47 k
kde-l10n noarch 4.6.5-1.fc15 updates 17 k
kde-settings noarch 4.6-10.fc15 fedora 43 k
kdebase-runtime i686 4.6.5-1.fc15 updates 5.7 M
kdebase-runtime-flags noarch 4.6.5-1.fc15 updates 133 k
kdebase-runtime-libs i686 4.6.5-1.fc15 updates 1.1 M
kdelibs i686 6:4.6.5-2.fc15 updates 12 M
kdepimlibs i686 4.6.5-1.fc15 updates 2.2 M
libXScrnSaver i686 1.2.1-2.fc15 fedora 21 k
libiodbc i686 3.52.7-2.fc15 fedora 165 k
liblastfm i686 0.3.3-3.fc15 fedora 151 k
libmng i686 1.0.10-5.fc15 fedora 172 k
libmygpo-qt i686 1.0.3-1.fc15 updates 68 k
libssh i686 0.4.8-2.fc15 fedora 105 k
loudmouth i686 1.4.3-8.fc15 fedora 73 k
mysql-embedded i686 5.5.14-2.fc15 updates 2.7 M
mysql-libs i686 5.5.14-2.fc15 updates 686 k
openslp i686 1.2.1-15.fc15 fedora 57 k
oxygen-icon-theme noarch 4.6.5-1.fc15 updates 28 M
phonon i686 4.5.0-2.fc15 fedora 187 k
phonon-backend-xine i686 4.4.4-3.fc15 fedora 161 k
polkit-qt i686 0.99.0-2.fc15 fedora 70 k
qca2 i686 2.0.3-2.fc15 fedora 428 k
qjson i686 0.7.1-4.fc15 fedora 65 k
qt i686 1:4.7.3-8.fc15 updates 4.2 M
qt-webkit i686 1:4.7.3-8.fc15 updates 5.3 M
qt-x11 i686 1:4.7.3-8.fc15 updates 12 M
qtscriptbindings i686 0.1.0-14.fc15 fedora 3.8 M
redland-virtuoso i686 1.0.12-3.fc15 fedora 26 k
sgml-common noarch 0.6.3-34.fc15 fedora 49 k
shared-desktop-ontologies noarch 0.6.0-1.fc15 fedora 105 k
soprano i686 2.6.0-2.fc15 fedora 619 k
strigi-libs i686 0.7.2-8.fc15 fedora 428 k
taglib-extras i686 1.0.1-2.fc15 fedora 31 k
virtuoso-opensource i686 1:6.1.2-3.fc15 fedora 3.1 M
xine-lib i686 1.1.19-6.fc15 fedora 2.2 M
Transaction Summary
================================================================================
Install 49 Package(s)
Total download size: 106 M
Installed size: 288 M
Is this ok [y/N]: y
Downloading Packages:
Setting up and reading Presto delta metadata
Processing delta metadata
Package(s) data still to download: 106 M
http://ftp.linux.org.tr/fedora/releases/15/Everything/i386/os/Packages/OpenEXR-libs-1.7.0-2.fc15.i686.rpm: [Errno 14] HTTP Error 403 - Forbidden : http://ftp.linux.org.tr/fedora/releases/15/Everything/i386/os/Packages/OpenEXR-libs-1.7.0-2.fc15.i686.rpm
Trying other mirror.
(1/49): OpenEXR-libs-1.7.0-2.fc15.i686.rpm | 217 kB 00:00
(2/49): amarok-2.4.3-1.fc15.i686.rpm | 11 MB 00:02
(3/49): amarok-libs-2.4.3-1.fc15.i686.rpm | 2.9 MB 00:00
(4/49): amarok-utils-2.4.3-1.fc15.i686.rpm | 129 kB 00:00
(5/49): attica-0.2.0-1.fc15.i686.rpm | 167 kB 00:00
(6/49): cagibi-0.1.1-3.fc15.i686.rpm | 56 kB 00:00
(7/49): clucene-core-0.9.21b-3.fc15.i686.rpm | 294 kB 00:00
(8/49): dbusmenu-qt-0.6.3-3.fc15.i686.rpm | 76 kB 00:00
(9/49): docbook-dtds-1.0-54.fc15.noarch.rpm | 217 kB 00:00
(10/49): docbook-style-xsl-1.76.1-2.fc15.noarch.rpm | 2.3 MB 00:02
(11/49): htdig-3.2.0-0.11.b6.fc15.i686.rpm | 811 kB 00:00
(12/49): ilmbase-1.0.2-3.fc15.i686.rpm | 75 kB 00:00
(13/49): kde-filesystem-4-38.fc15.i686.rpm | 47 kB 00:00
(14/49): kde-l10n-4.6.5-1.fc15.noarch.rpm | 17 kB 00:00
(15/49): kde-l10n-Korean-4.6.5-1.fc15.noarch.rpm | 1.3 MB 00:00
(16/49): kde-settings-4.6-10.fc15.noarch.rpm | 43 kB 00:00
(17/49): kdebase-runtime-4.6.5-1.fc15.i686.rpm | 5.7 MB 00:01
(18/49): kdebase-runtime-flags-4.6.5-1.fc15.noarch.rpm | 133 kB 00:00
(19/49): kdebase-runtime-libs-4.6.5-1.fc15.i686.rpm | 1.1 MB 00:00
(20/49): kdelibs-4.6.5-2.fc15.i686.rpm | 12 MB 00:03
(21/49): kdepimlibs-4.6.5-1.fc15.i686.rpm | 2.2 MB 00:01
(22/49): libXScrnSaver-1.2.1-2.fc15.i686.rpm | 21 kB 00:00
(23/49): libiodbc-3.52.7-2.fc15.i686.rpm | 165 kB 00:00
(24/49): liblastfm-0.3.3-3.fc15.i686.rpm | 151 kB 00:00
(25/49): libmng-1.0.10-5.fc15.i686.rpm | 172 kB 00:00
(26/49): libmygpo-qt-1.0.3-1.fc15.i686.rpm | 68 kB 00:00
(27/49): libssh-0.4.8-2.fc15.i686.rpm | 105 kB 00:00
(28/49): loudmouth-1.4.3-8.fc15.i686.rpm | 73 kB 00:00
(29/49): mysql-embedded-5.5.14-2.fc15.i686.rpm | 2.7 MB 00:01
(30/49): mysql-libs-5.5.14-2.fc15.i686.rpm | 686 kB 00:00
(31/49): openslp-1.2.1-15.fc15.i686.rpm | 57 kB 00:00
(32/49): oxygen-icon-theme-4.6.5-1.fc15.noarch.rpm | 28 MB 00:14
(33/49): phonon-4.5.0-2.fc15.i686.rpm | 187 kB 00:00
(34/49): phonon-backend-xine-4.4.4-3.fc15.i686.rpm | 161 kB 00:00
(35/49): polkit-qt-0.99.0-2.fc15.i686.rpm | 70 kB 00:00
(36/49): qca2-2.0.3-2.fc15.i686.rpm | 428 kB 00:00
(37/49): qjson-0.7.1-4.fc15.i686.rpm | 65 kB 00:00
(38/49): qt-4.7.3-8.fc15.i686.rpm | 4.2 MB 00:01
(39/49): qt-webkit-4.7.3-8.fc15.i686.rpm | 5.3 MB 00:02
(40/49): qt-x11-4.7.3-8.fc15.i686.rpm | 12 MB 00:06
(41/49): qtscriptbindings-0.1.0-14.fc15.i686.rpm | 3.8 MB 00:03
(42/49): redland-virtuoso-1.0.12-3.fc15.i686.rpm | 26 kB 00:00
(43/49): sgml-common-0.6.3-34.fc15.noarch.rpm | 49 kB 00:00
(44/49): shared-desktop-ontologies-0.6.0-1.fc15.noarch.r | 105 kB 00:00
(45/49): soprano-2.6.0-2.fc15.i686.rpm | 619 kB 00:00
(46/49): strigi-libs-0.7.2-8.fc15.i686.rpm | 428 kB 00:00
(47/49): taglib-extras-1.0.1-2.fc15.i686.rpm | 31 kB 00:00
(48/49): virtuoso-opensource-6.1.2-3.fc15.i686.rpm | 3.1 MB 00:02
(49/49): xine-lib-1.1.19-6.fc15.i686.rpm | 2.2 MB 00:01
--------------------------------------------------------------------------------
Total 1.7 MB/s | 106 MB 01:01
Running rpm_check_debug
Running Transaction Test
Transaction Test Succeeded
Running Transaction
Installing : 1:qt-4.7.3-8.fc15.i686 1/49
Installing : kde-filesystem-4-38.fc15.i686 2/49
Installing : ilmbase-1.0.2-3.fc15.i686 3/49
Installing : libiodbc-3.52.7-2.fc15.i686 4/49
Installing : OpenEXR-libs-1.7.0-2.fc15.i686 5/49
Installing : liblastfm-0.3.3-3.fc15.i686 6/49
Installing : attica-0.2.0-1.fc15.i686 7/49
Installing : qjson-0.7.1-4.fc15.i686 8/49
Installing : taglib-extras-1.0.1-2.fc15.i686 9/49
Installing : libmng-1.0.10-5.fc15.i686 10/49
Installing : 1:qt-x11-4.7.3-8.fc15.i686 11/49
Installing : xine-lib-1.1.19-6.fc15.i686 12/49
Installing : clucene-core-0.9.21b-3.fc15.i686 13/49
Installing : kde-settings-4.6-10.fc15.noarch 14/49
Installing : kde-l10n-4.6.5-1.fc15.noarch 15/49
Installing : sgml-common-0.6.3-34.fc15.noarch 16/49
Installing : docbook-dtds-1.0-54.fc15.noarch 17/49
Installing : docbook-style-xsl-1.76.1-2.fc15.noarch 18/49
Installing : shared-desktop-ontologies-0.6.0-1.fc15.noarch 19/49
Installing : oxygen-icon-theme-4.6.5-1.fc15.noarch 20/49
Installing : strigi-libs-0.7.2-8.fc15.i686 21/49
Installing : phonon-4.5.0-2.fc15.i686 22/49
Installing : phonon-backend-xine-4.4.4-3.fc15.i686 23/49
Installing : 1:qt-webkit-4.7.3-8.fc15.i686 24/49
Installing : qtscriptbindings-0.1.0-14.fc15.i686 25/49
Installing : polkit-qt-0.99.0-2.fc15.i686 26/49
Installing : dbusmenu-qt-0.6.3-3.fc15.i686 27/49
Installing : libmygpo-qt-1.0.3-1.fc15.i686 28/49
Installing : redland-virtuoso-1.0.12-3.fc15.i686 29/49
Installing : 1:virtuoso-opensource-6.1.2-3.fc15.i686 30/49
Installing : soprano-2.6.0-2.fc15.i686 31/49
Installing : cagibi-0.1.1-3.fc15.i686 32/49
Installing : qca2-2.0.3-2.fc15.i686 33/49
Installing : loudmouth-1.4.3-8.fc15.i686 34/49
Installing : libssh-0.4.8-2.fc15.i686 35/49
Installing : libXScrnSaver-1.2.1-2.fc15.i686 36/49
Installing : 6:kdelibs-4.6.5-2.fc15.i686 37/49
Installing : kdepimlibs-4.6.5-1.fc15.i686 38/49
Installing : amarok-utils-2.4.3-1.fc15.i686 39/49
Installing : 4:htdig-3.2.0-0.11.b6.fc15.i686 40/49
Installing : mysql-embedded-5.5.14-2.fc15.i686 41/49
Installing : openslp-1.2.1-15.fc15.i686 42/49
Installing : kdebase-runtime-libs-4.6.5-1.fc15.i686 43/49
Installing : kdebase-runtime-flags-4.6.5-1.fc15.noarch 44/49
Installing : kdebase-runtime-4.6.5-1.fc15.i686 45/49
Installing : mysql-libs-5.5.14-2.fc15.i686 46/49
Installing : kde-l10n-Korean-4.6.5-1.fc15.noarch 47/49
Installing : amarok-libs-2.4.3-1.fc15.i686 48/49
Installing : amarok-2.4.3-1.fc15.i686 49/49
Installed:
amarok.i686 0:2.4.3-1.fc15 kde-l10n-Korean.noarch 0:4.6.5-1.fc15
Dependency Installed:
OpenEXR-libs.i686 0:1.7.0-2.fc15
amarok-libs.i686 0:2.4.3-1.fc15
amarok-utils.i686 0:2.4.3-1.fc15
attica.i686 0:0.2.0-1.fc15
cagibi.i686 0:0.1.1-3.fc15
clucene-core.i686 0:0.9.21b-3.fc15
dbusmenu-qt.i686 0:0.6.3-3.fc15
docbook-dtds.noarch 0:1.0-54.fc15
docbook-style-xsl.noarch 0:1.76.1-2.fc15
htdig.i686 4:3.2.0-0.11.b6.fc15
ilmbase.i686 0:1.0.2-3.fc15
kde-filesystem.i686 0:4-38.fc15
kde-l10n.noarch 0:4.6.5-1.fc15
kde-settings.noarch 0:4.6-10.fc15
kdebase-runtime.i686 0:4.6.5-1.fc15
kdebase-runtime-flags.noarch 0:4.6.5-1.fc15
kdebase-runtime-libs.i686 0:4.6.5-1.fc15
kdelibs.i686 6:4.6.5-2.fc15
kdepimlibs.i686 0:4.6.5-1.fc15
libXScrnSaver.i686 0:1.2.1-2.fc15
libiodbc.i686 0:3.52.7-2.fc15
liblastfm.i686 0:0.3.3-3.fc15
libmng.i686 0:1.0.10-5.fc15
libmygpo-qt.i686 0:1.0.3-1.fc15
libssh.i686 0:0.4.8-2.fc15
loudmouth.i686 0:1.4.3-8.fc15
mysql-embedded.i686 0:5.5.14-2.fc15
mysql-libs.i686 0:5.5.14-2.fc15
openslp.i686 0:1.2.1-15.fc15
oxygen-icon-theme.noarch 0:4.6.5-1.fc15
phonon.i686 0:4.5.0-2.fc15
phonon-backend-xine.i686 0:4.4.4-3.fc15
polkit-qt.i686 0:0.99.0-2.fc15
qca2.i686 0:2.0.3-2.fc15
qjson.i686 0:0.7.1-4.fc15
qt.i686 1:4.7.3-8.fc15
qt-webkit.i686 1:4.7.3-8.fc15
qt-x11.i686 1:4.7.3-8.fc15
qtscriptbindings.i686 0:0.1.0-14.fc15
redland-virtuoso.i686 0:1.0.12-3.fc15
sgml-common.noarch 0:0.6.3-34.fc15
shared-desktop-ontologies.noarch 0:0.6.0-1.fc15
soprano.i686 0:2.6.0-2.fc15
strigi-libs.i686 0:0.7.2-8.fc15
taglib-extras.i686 0:1.0.1-2.fc15
virtuoso-opensource.i686 1:6.1.2-3.fc15
xine-lib.i686 0:1.1.19-6.fc15
Complete!
[root@oinnoco Downloads]# rpm -qa | grep jre
jre-1.7.0-fcs.i586
[root@oinnoco Downloads]# rpm -qi jre-1.7.0-fcs.i586
Name : jre
Version : 1.7.0
Release : fcs
Architecture: i586
Install Date:
Group : Development/Tools
Size : 48565502
License : http://java.com/license
Signature : (none)
Source RPM : jre-1.7.0-fcs.src.rpm
Build Date :
Build Host : jdk7-lin2-i586.us.oracle.com
Relocations : /usr/java
Packager : Java Software <jre-comments@java.sun.com>
Vendor : Sun Microsystems, Inc.
URL : URL_REF
Summary : Java(TM) Platform Standard Edition Runtime Environment
Description :
The Java Platform Standard Edition Runtime Environment (JRE) contains
everything necessary to run applets and applications designed for the
Java platform. This includes the Java virtual machine, plus the Java
platform classes and supporting files.
The JRE is freely redistributable, per the terms of the included license.
[root@oinnoco Downloads]# rpm -i flash-plugin-10.3.183.7-release.i386.rpm
[root@oinnoco /]# cd mnt
[root@oinnoco mnt]# ls
boot home
[root@oinnoco mnt]# mkdir cdrom
[root@oinnoco mnt]# cd ..
[root@oinnoco /]# mount /dev/cdrom /mnt/cdrom
mount: block device /dev/sr0 is write-protected, mounting read-only
[root@oinnoco /]# cd mnt
[root@oinnoco mnt]# ls
boot cdrom home
[root@oinnoco mnt]# cd cdrom
[root@oinnoco cdrom]# ls
21세기세종계획_Disc1.exe Data autorun.inf lingo.ini link.exe open.ini
[oinnoco@oinnoco embedded]$ ln -s /usr/include/stdio.h stdio.h
[oinnoco@oinnoco embedded]$ ls
copied_file.txt.gz copied_file2.txt df_included_dev.txt stdio.h tarfile.tar
[oinnoco@oinnoco embedded]$ ls -l stdio.h
lrwxrwxrwx. 1 oinnoco oinnoco 20 9월 15 03:34 stdio.h -> /usr/include/stdio.h
[root@oinnoco cdrom]# du
148 ./Data/01_사업개요
35570 ./Data/02_말뭉치/병렬/한영병렬/한영병렬_말뭉치/원시_말뭉치/HWP
29582 ./Data/02_말뭉치/병렬/한영병렬/한영병렬_말뭉치/원시_말뭉치/TXT
65154 ./Data/02_말뭉치/병렬/한영병렬/한영병렬_말뭉치/원시_말뭉치
139600 ./Data/02_말뭉치/병렬/한영병렬/한영병렬_말뭉치/형태분석_말뭉치/HWP
121800 ./Data/02_말뭉치/병렬/한영병렬/한영병렬_말뭉치/형태분석_말뭉치/TXT
261402 ./Data/02_말뭉치/병렬/한영병렬/한영병렬_말뭉치/형태분석_말뭉치
326558 ./Data/02_말뭉치/병렬/한영병렬/한영병렬_말뭉치
327066 ./Data/02_말뭉치/병렬/한영병렬
8430 ./Data/02_말뭉치/병렬/한일병렬/한일병렬_말뭉치/원시_말뭉치
1660 ./Data/02_말뭉치/병렬/한일병렬/한일병렬_말뭉치/형태분석_말뭉치
10092 ./Data/02_말뭉치/병렬/한일병렬/한일병렬_말뭉치
414 ./Data/02_말뭉치/병렬/한일병렬/한일병렬_말뭉치_구축지침및주의사항
11076 ./Data/02_말뭉치/병렬/한일병렬
338144 ./Data/02_말뭉치/병렬
97210 ./Data/02_말뭉치/역사/역사자료_말뭉치/원시_말뭉치/미정제_원시_말뭉치/HWP
108434 ./Data/02_말뭉치/역사/역사자료_말뭉치/원시_말뭉치/미정제_원시_말뭉치/TXT
205646 ./Data/02_말뭉치/역사/역사자료_말뭉치/원시_말뭉치/미정제_원시_말뭉치
13484 ./Data/02_말뭉치/역사/역사자료_말뭉치/원시_말뭉치/정제_원시_말뭉치/HWP
7582 ./Data/02_말뭉치/역사/역사자료_말뭉치/원시_말뭉치/정제_원시_말뭉치/TXT
21068 ./Data/02_말뭉치/역사/역사자료_말뭉치/원시_말뭉치/정제_원시_말뭉치
226716 ./Data/02_말뭉치/역사/역사자료_말뭉치/원시_말뭉치
30658 ./Data/02_말뭉치/역사/역사자료_말뭉치/형태분석_말뭉치/HWP
29972 ./Data/02_말뭉치/역사/역사자료_말뭉치/형태분석_말뭉치/TXT
60632 ./Data/02_말뭉치/역사/역사자료_말뭉치/형태분석_말뭉치
287350 ./Data/02_말뭉치/역사/역사자료_말뭉치
292092 ./Data/02_말뭉치/역사
22166 ./Data/02_말뭉치/현대/구어/현대구어_말뭉치/원시_말뭉치
97098 ./Data/02_말뭉치/현대/구어/현대구어_말뭉치/형태분석_말뭉치
119266 ./Data/02_말뭉치/현대/구어/현대구어_말뭉치
125108 ./Data/02_말뭉치/현대/구어
210 ./Data/02_말뭉치/현대/문어/말뭉치_구축지침
34966 ./Data/02_말뭉치/현대/문어/현대문어_말뭉치/구문분석_말뭉치
350908 ./Data/02_말뭉치/현대/문어/현대문어_말뭉치/원시_말뭉치
807690 ./Data/02_말뭉치/현대/문어/현대문어_말뭉치/형태분석_말뭉치
754964 ./Data/02_말뭉치/현대/문어/현대문어_말뭉치/형태의미분석_말뭉치
1948530 ./Data/02_말뭉치/현대/문어/현대문어_말뭉치
1958028 ./Data/02_말뭉치/현대/문어
2083138 ./Data/02_말뭉치/현대
2713376 ./Data/02_말뭉치
80 ./Data/03_말뭉치_활용프로그램/지능형_형태소분석기/지능형_형태소분석기/지능형 형태소 분석기/data
15628 ./Data/03_말뭉치_활용프로그램/지능형_형태소분석기/지능형_형태소분석기/지능형 형태소 분석기
15630 ./Data/03_말뭉치_활용프로그램/지능형_형태소분석기/지능형_형태소분석기
16010 ./Data/03_말뭉치_활용프로그램/지능형_형태소분석기
206248 ./Data/03_말뭉치_활용프로그램/한영병렬_말뭉치용례검색기/검색용_한영병렬_말뭉치/원시_말뭉치/원시 말뭉치
206250 ./Data/03_말뭉치_활용프로그램/한영병렬_말뭉치용례검색기/검색용_한영병렬_말뭉치/원시_말뭉치
11498 ./Data/03_말뭉치_활용프로그램/한영병렬_말뭉치용례검색기/검색용_한영병렬_말뭉치/형태분석_말뭉치/형태 분석 말뭉치
11500 ./Data/03_말뭉치_활용프로그램/한영병렬_말뭉치용례검색기/검색용_한영병렬_말뭉치/형태분석_말뭉치
217752 ./Data/03_말뭉치_활용프로그램/한영병렬_말뭉치용례검색기/검색용_한영병렬_말뭉치
794 ./Data/03_말뭉치_활용프로그램/한영병렬_말뭉치용례검색기/한영병렬_말뭉치용례검색기/한영 병렬 말뭉치 용례 검색기
796 ./Data/03_말뭉치_활용프로그램/한영병렬_말뭉치용례검색기/한영병렬_말뭉치용례검색기
224866 ./Data/03_말뭉치_활용프로그램/한영병렬_말뭉치용례검색기
80 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(색인)/글잡이II(색인)/data
9956 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(색인)/글잡이II(색인)
9958 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(색인)
456 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/manual/images
806 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/manual
490 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Spoken/Quasi
410 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Spoken/Trans
902 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Spoken
1048 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Written/Art
952 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Written/Docu
856 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Written/Educate
1998 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Written/General
634 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Written/Human
1246 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Written/Imaginar
1676 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Written/Life
744 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Written/News
612 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Written/Science
886 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Written/Society
10654 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus/Written
11558 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)/sample-corpus
14280 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)/글잡이II(직접)
14282 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II/글잡이II(직접)
24988 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/글잡이II
17620 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기/한마루
42610 ./Data/03_말뭉치_활용프로그램/현대문어_말뭉치용례검색기
298204 ./Data/03_말뭉치_활용프로그램
3011730 ./Data
3031040 .
[root@oinnoco cdrom]# df
Filesystem 1K-blocks Used Available Use% Mounted on
rootfs 51606140 3988092 47093972 8% /
udev 1023744 0 1023744 0% /dev
tmpfs 1031152 448 1030704 1% /dev/shm
tmpfs 1031152 704 1030448 1% /run
/dev/mapper/vg_oinnoco-lv_root
51606140 3988092 47093972 8% /
tmpfs 1031152 0 1031152 0% /sys/fs/cgroup
tmpfs 1031152 0 1031152 0% /media
/dev/sda1 495844 70576 399668 16% /boot
/dev/mapper/vg_oinnoco-lv_home
173814544 2188296 162796912 2% /home
/dev/mapper/vg_oinnoco-lv_root
51606140 3988092 47093972 8% /tmp
/dev/mapper/vg_oinnoco-lv_root
51606140 3988092 47093972 8% /var/tmp
/dev/mapper/vg_oinnoco-lv_home
173814544 2188296 162796912 2% /home
/dev/sr0 3045468 3045468 0 100% /media/21세기세종계획_Disc1
/dev/sr0 3045468 3045468 0 100% /mnt/cdrom
[oinnoco@oinnoco Downloads]$ chsh
Changing shell for oinnoco.
암호:
New shell [/bin/bash]: /bin/sh
Shell changed.
[oinnoco@oinnoco embedded]$ df | grep /dev/ > df_included_dev.txt
[oinnoco@oinnoco embedded]$ ls
copied_file.txt.gz copied_file2.txt df_included_dev.txt tarfile.tar
'Courses' 카테고리의 다른 글
| [소공] 실습 3주차 (0) | 2011.09.14 |
|---|---|
| [소공] 11.09.06 (0) | 2011.09.10 |
| [소공] 실습 1주차 (0) | 2011.08.31 |
| [소공] 수업 계획 (0) | 2011.08.30 |
[소공] 실습 3주차
2011. 9. 14. 16:40
They say :
assembly language is low-level java, C# are high-level.
But they do not talk about highest-level languages
What is the highest-level languages?
case1. view a computer as a 4-year old baby
case 2. view a computer as a 10-year old boy
case 2. view a computer as a college student
fact(x+1, xy + y) :- fact(x,y)
main:
fact (5,x)
So there is a final goal
난 소공을 배우고 싶다.
'Courses' 카테고리의 다른 글
| [임베디드] 명령어 실습 (0) | 2011.09.15 |
|---|---|
| [소공] 11.09.06 (0) | 2011.09.10 |
| [소공] 실습 1주차 (0) | 2011.08.31 |
| [소공] 수업 계획 (0) | 2011.08.30 |