1. Greedy 알고리즘이란?개념- 현재 순간에 최적이라고 생각되는 선택을 반복하며 문제를 해결하는 방식- 과거의 선택이나 미래 결과는 고려하지 않음- 단순해 보이지만, 특정 문제에서는 매우 효율적이고 최적해를 보장함 구조선택 selection : 현재 가장 좋아 보이는 항목 선택유효성 확인 feasibility check: 지금까지 선택한 것들이 전체 해결 가능성 있는지 검사해결 여부 확인 solution check: 현재 선택 집합이 전체 문제의 해인지 확인 예제 - 동전 거스름돈 문제 (coin change problem): 금액 n을 최소 개수의 동전 {25, 10, 5, 1}로 표현하기 ex) 30 -> 25+5 - Brute-force 방식: 가능한 모든 조합 다 시도해보기, 매우느림 -> ..

1. 변수와 언어의 기본 개념 변수란?- 명령형 언어에서 변수는 폰 노이만 구조의 '메모리 셀' 추상화임- 함수형 언어의 변수는 변경 불가능한 '상수'에 가까움.- 중요한 속성: 타입, 영역(scope), 수명(Lifetime) 2. 이름과 특수어 이름- 변수, 함수, 매개변수 등 구분을 위한 문자열- C99: 내부 이름 63자 의미 / 외부 이름 31자 제한- C++, JAVA, C#: 사실상 제한 없음 표기법 예시 CamelCase: myStackPascalCase: MyStacksnake_case: my_stackkebab-case: my-stack (주로 URL, CLI에서 사용)Hungarian Notation: strName, iCount언어별 특징 PHP: $namePerl: $, @, %..

1. Introduction현실 세계 → 컴퓨터 세계 : 현실 → 이해 → 형식화(Formalism) → 설계/코딩 → 응용/운영 - 왜 형식화가 필요한가? : 검증 가능(verifiable), 구현 가능(machine understandable) ex) 수식, 다이어그램(UML), 대수(Algebra) SW 생명주기 vs DB 생명주기SW life cycleDB life cycle요구사항 분석요구사항 분석기능 명세모델링설계스키마 설계구현DB 환경 구축테스트데이터 입력, 품질관리유지보수질의 및 관리 DB의 2가지 관점- 논리적(Logical or Conceptual): 정보 구조 중심 - DB 설계, 모델- 물리적(Physical): 파일 구조, 인덱스 등 - DBMS 관련→ 논리/물리 독립성 중..

1. 관계형 모델이란?- 수학 기반 모델 (수리적 표현): 다이어그램(UML) 같은 시각 표현이 아니라, 수학적 기호와 개념을 통해 데이터 구조를 표현- 핵심 구조- 데이터베이스: 여러 개의 테이블(관계) 집합- 관계 R: 속성들의 카티시안 곱의 부분집합- Ai: 속성 (attribute, 도메인, 필드)- ai: 속성 값- 스키마: R(A₁, A₂, ..., Aₙ) - 튜플: (a₁, a₂, ..., aₙ) 2. Relation as Table : 테이블로 표현된 관계Attributes: 열 (column)Tuples: 행 (row)Relation schema : 테이블 이름 + 속성 목록 + 타입 + 제약조건 (키)Movie(title, year, length, genre) 왜 관계형 모델인가?- 단..

1. 생명 정보학 생명정보학:생명과학적 데이터, 특히 대규모의 복잡한 데이터셋을 이해하기 위한 방법론과 소프트웨어 도구를 개발하는 분야→ 즉 생명과학 빅데이터를 다루기 위한 방법론과 도구를 개발 현대 생명정보학: 단순히 분석 지원을 넘어서 연구의 중심 있기 시작했다. 공간 전사체학 (Spatial Trancriptomics): 세포의 위치 정보를 포함한 전사체 분석, 세포 유형별 RNA를 공간상에서 측정- SpaceTx 컨소시엄: 공간 전사첵학 실험 빛 분석 방법론 비교 분석 연구주제1: Deep Adversarial Autoencoder - 오토인코더와 adversarial learning을 결합한 분류기연구주제2: CRISPER 유전자 가위- 유전자편집기술(질병치료, 신약개발, 신품종개발)연구주제3..

1. 의미론정의: 프로그램 실행 시 "무슨 일이 일어나는지"를 기술하는 것표현방식: 자연어로 표현 가능하지만 모호성 존재 → 형식 의미론으로 보완대표적인 형식 의미론: 추상기계코드 방식, 수학적 정의 방식 등 분류정적 의미론프로그램 실행 전에 의미 확인 (ex. 타입 검사 등)동적 의미론 프로그램 실행 중 의미를 설명 (기능적, 표기적, 공리적 의미론 포함) 2. 속성 문법 (Attribute Grammar)- 의미론적 정보를 문맥자유문법(CFG)에 부가하는 형식적 구조- 1968년 도널드 커누스 제안- 주요 목적: 문법 구조와 의미 연결 (컴파일러 설계에서 핵심) 핵심 구성 요소기본 문맥자유문법 (CFG)구문 구조 정의속성(Attribute)터미널, 논터미널과 연관된 값 (ex. 정수, 문자열 등) 속..