WakaraNai

이 슈뢰딩거의 고양이 실험을 요약하면 상자 안의 고양이가 1시간 뒤 절반의 확률로 살아남을 수 있고, 나머지 절반의 확률로 죽는다. 문제는 양자역학의 해석에 따르자면 이 고양이의 생사 여부를 확인해보기 전까지는 이 고양이의 상태를 살아있으면서도 동시에 죽어있는 상태라고 규정한다는 것이다 Qubit와 중첩 상태 일반 컴퓨터는 0과 1로 정보를 처리하고 저장하지만 양자 컴퓨터는 0과 1의 상태를 동시에 갖는 Qubit 단위로 처리하고 저장한다. 양자 역학은 0과 1의 두 가지 상태가 동시에 공존하는 중첩을 허용한다. 하지만 관측을 통해 상태를 확인하면 0 또는 1 가운데 하나의 값을 갖게 된다. 이처럼 관측을 통해 중첩을 깨뜨려 상태를 하나로 확정하는 과정을 결어긋남이라고 한다. 이 용어는 파동이라는 현상에..

컴퓨터 비전 : 인간이 시각정보를 통해 주변 상황을 이해하는 능력을 컴퓨터가 모방하기 위해 필요한 모든 기술 딥러닝 기초 - Learning : 적절한 함수 탐색 - training : 최적의 함수를 선택 - testing : 훈련된 함수로 예측 딥러닝 : Stacked Functions Learned by Machine - 각 함수가 무엇을 해야할 지에 대해 자동으로 학습 - end-to-end training : 입력으로부터 예측 결과까지 한번에 학습 - 신경망과 관련있다 (깊을 수록 parameter가 많아진다), (간단한 선형 함수를 여러 번 이어 붙임) - big data와 GPU 덕분에 가능해졌다. 그럼 shallow learning의 예는? = image processing 딥러닝 분야 - ..

Type Menagerie ex, in ML - primitive types : int real char - construced types : list - 수학에 기반하여 만들어짐 Constructed types ... Use Type: Type Annotator Semantic Analizy checking... - scope rules : 변수 x가 뭐냐 ? binding issue - type rules Type Annotation 타입이 무엇인지 명시해주는 문법이 무엇인지 ML은 *와 ->로 표현했음 - intrinsic type : 코드에 내포된 - BASIC (변수라고 적어야하는 경우) - extreme type : 사용자의 직접 지시가 있어야 함 - ML (파이썬에서 함수 파라미터 타입을 정..

Higher-order Functions : 함수의 매개변수 또는 반환값이 n차원인 함수 ex) quick sort Predefined Higher-order Function == builtin Curry : Curried... 파라미터가 주어지면 연속해서 적용한다. : https://en.wikipedia.org/wiki/Currying 하나의 함수를 반복대상의 모든 원소에 적용 Currying - Wikipedia From Wikipedia, the free encyclopedia Jump to navigation Jump to search Transforming a function in such a way that it only takes a single argument This article is..

Categories of Programming Languages Functional Languages ex) ML, Lisp 익명함수(lambda)로 표현 가능한 함수를 사용하기 Declarative Way - 커피 시킬 때 어떤 우유, 커피콩 써야할지 말하지 않고 커피 달라고만 이야기하면 나온다. state-free - 남이 작성한 코드 수정하기 좋음. 코드를 각 블록 별로 모듈화하여 다루기 때문 == side-effect/외부 영향을 받지 않는다. - 변수에 값을 저장하는 일을 최소화하자 no assignment - recursive로 반복 -> 함수 내에 지역변수를 선언할 필요가 없어짐 - base unit : 작은 함수들을 여러 개 만들어서 조합하는 것이 목적 - divide and qunquer..

컴퓨터 그래픽스 - 시각적 이미지를 생성, 가공, 이용하여 현실감 있는 가상세계를 재현 VR/AR의 역사 - 다모클레스의 검 - SIGGRAPH - 영화 특수 효과 + 컴퓨터 게임 - CAD - MR/ AR - 과학적 가시화 : Scientific Visualization ( 지구의 기류 및 해류 시각화) - 가상 트레이닝 : 수술, 조종 연습 - 가상 프로토타이핑 : 아파트 모델 하우스 처럼 물체 완성 전에 가상으로 체험하기 - 디지털 문화유산 : VR에서 문화재 관람 (어쌔신 크리드 오리진) 3대 분야 및 원리 모델링 - 디지털로 형태(shape)를 표현하는 과정 - 수학(기하) 기반 - 방법 : 3D 스캔, 수학적 모델 렌더링 - 모델의 음영/색깔을 결정하는 과정 - 빛, 모델 속성, 사용자의 눈의..

NLP = AI + linguistics Context-free grammar Chomsky Hierarchy 언어는 행동을 학습하는 것이 아닌, cognitive와 자극 반응에서 유도된 것이다 - regular expression - context free grammar - context sensitive grammar - unrestricted grammar Context Free Grammars - token - non-terminal symbol - start symbol - production = tree-building ruls (::=) 핵심 프로그래밍 언어, 자연언어, 게놈 언어의 세가지 예를 Context Free Grammar로 나타내보면서 컴퓨터가 언어를 다루는 방법론에 대해서 이해한..

Language Systems 사람이 이해하는 언어 : high-level language 기계가 이해하는 언어 : low-level language 어떤 프로그램이 언어가 동작하기 위해서 그 시스템을 어떻게 구현할 지 그려져야 하는데 어떻게 동작하는지에 대한 내용을 보려고 함 Specification + Implementation java의 경우 syntax는 specification, jvm은 implementation Implementation 어떻게 써야 좋은 코드인지, 그 스타일을 명시해주는 역할 Part of COMPUTER - CPU + Heatsink - RAM : random access memory (short-term) FAST - STORAGE HardDrive: Long-term ..

아래 세 개는 모두 같은 문법 각 규칙을 기반으로 a-b-c를 파싱하면 다음과 같다. G1의 경우 a-b부터 시작할지 b-c부터 시작할지 모호해진다 그러므로 파싱 트리는 중요하다 semantic(의미)를 결정하니까 Operator operand 개수에 따라 - unary : -1 - binary : 1+2 - ternary : a?b:c 위치에 따라 - infix : a+b - prefix : +ab - postfix : ab+ operator마다 parentheses를 기반으로 precedence level이 언어를 결정할 수 있지만 그래도 *이 +보다 먼저 계산되야하니까 규칙을 한 단계 내리면서 정할 수 있다 Associativity - Left associative: left to right - (..

프로그래밍을 명시할 때는 specification과 implementation을 담아내야 한다. specification에는 defenition, syntax, semantics를 명시해야 한다 implementation은 실행 방법에 대한 가이드라인(자바는 컴파일이 아닌 VM 기반에서)을 명시한다 syntax(formal grammer) : 프로그램의 구조와 형태 - token, expression, statement, Digit ... 문법의 작동방식 parse tree를 설계하여 문법의 규칙을 정한다 : 명사, : 동사, :sentence => -> Context Free Grammer (CFG) 문맥자유문법 왼쪽에 심볼 하나, 오른쪽에 심볼 하나 이상 terminal symbol = token, ..