서양 종교 음악 전례를 위해 만들어지고 사용된 기능 음악이다. 구교(가톨릭) 음악은 중세, 르네상스 시기에 주로 발달하였고 그레고리오 성가와 미사곡이 있다. 신교(프로테스탄트) 음악은 종교개혁 이후부터 바로크 시기에 주로 발달하였다. 코랄과 칸타타가 있다. 중세 성가 - 구교 음악 그레고리오 성가 로마 가톨릭 교회의 단성 성가로, 악기 반주가 없는 아카펠라 음악이다. 초기에는 라틴어로 된 가사를 갖는 단성 성가였으나 점차 다성화되었다. 가톨릭 전례에서 부르며 성무일도(시간 전례)는 수도원에서 매일 드리는 전례, 미사 전례는 성직자와 일반인에게 개방된 전례를 뜻한다. 미사 전례는 고유문과 통상문으로 나뉘는데, 고유문은 교회력의 절기에 따라 가사가 바뀌는 부분, 통상문은 항상 같은 가사로 불리는 부분이다. ..
분류 전체보기
협주곡(Concerto) 협주곡은 두 음향 매체가 서로 대비 또는 조화를 이루며 발생하는 아름다움을 추구한다. 합주 협주곡 : 리피에노 + 콘체르티노 (큰 악기 그룹 + 작은 악기 그룹) 독주 협주곡 : 오케스트라 + 독주 악기 (큰 악기 그룹 + 독주 악기(들)) 비발디 봄 1악장 사계는 비발디의 바이올린 협주곡으로, 사계절의 이미지를 음악으로 묘사한 작품이다. 오케스트라와 함께 바이올린 솔로가 독립적인 선율을 연주한다. 즉, 이 곡은 독주 협주곡에 속한다. 리토르넬로 형식은 바로크 협주곡에서 주로 사용된 음악 형식으로, 같은 주제가 되풀이되는 리토르넬로 파트와 새로운 내용의 에피소드 파트가 서로 교대하며 진행된다. 이 곡에는 총 4개의 에피소드가 존재하며, 리토르넬로 파트에선 오케스트라와 바이올린이 ..
Procedures를 추가해보자 P → E // 프로그램은 표현식으로 구성된다. E → n // 표현식은 다음 중 하나일 수 있다. | x // 변수 생성 가능 | E + E // 덧셈 가능 | E - E // 뺄셈 가능 | (E) // 괄호 가능 | iszero E // 간단한 함수 (0인지 확인) | if E then E else E // 조건문 가능 | let x = E in E // 지역 변수에 표현식 할당 | read // 입력 5강에서, 우리는 위 Syntax를 만들었었다. 우리는 이제 여기에 아래 두 개를 추가할 것이다. | proc x E | E E proc x E는 인자 x를 받아 E를 실행하는 함수를 정의한다. E E는 함수를 호출하는데 사용될 것이다. Free/Bound Variabl..
Syntax & Semantics 프로그래밍 언어를 설계할 때 가장 중요한 두 가지 요소는 문법(Syntax)과 의미(Semantics)이다. Syntax는 프로그램을 어떻게 작성해야 하는지에 대한 규칙을 정의한다. 프로그램의 구조를 결정하고, 변수, 키워드, 연산자, 구문 등 언어의 요소들이 어떻게 조합되어야 하는지를 명시한다. Semantics는 프로그램이 실제로 어떤 동작을 수행하는지에ㅍ 대한 정의이다. Syntax와 Semantics는 귀납적 정의(Inductive Definitions)로 명시될 수 있다. 첫 번째 언어 구축 먼저, Let이라는 이름의 간단한 언어를 만들어보자. Syntax P → E // 프로그램은 표현식으로 구성된다. E → n // 표현식은 다음 중 하나일 수 있다. | x..
재귀와 고차함수 재귀와 고차함수를 사용함으로써 코드의 의도를 더 명확하게 표현하고 유지 관리가 쉬워지며 오류 가능성이 줄어든다. 즉 더 효율적이고 강력한 프로그래밍이 가능하다. 여기서 고차함수란 함수를 인자로 받거나 함수를 반환하는 함수를 의미한다. 예를 들어 map, filter, reduce와 같은 고차 함수들은 리스트나 배열을 처리할 때 반복되는 패턴의 코드를 간결하게 만들어 주고 재사용성과 모듈성을 향상시킨다. 재귀적 문제 해결 전략은 세 단계로 구분된다. 1. 분해 : 주어진 문제를 더 작고 동일한 구조를 가진 여러 부분 문제로 나눈다. 2. 해결 : 분해된 각 부분 문제를 재귀적으로 해결한다. 3. 통합 : 각 부분 문제의 해결 결과를 통합하여 전체 문제의 해결책을 도출한다. 아래는 예시들이다..
OCaml? OCaml은 함수형 프로그래밍 언어로, 이름대로 ML 프로그래밍 언어 계열에 속한다. 정적 타입 시스템으로 프로그램의 타입 안정성을 보장하며, 컴파일 시간에 변수의 타입을 추론한다. 함수형 프로그래밍 언어이므로 변수는 기본적으로 불변성을 가진다. 함수가 일급 객체로 취급되어, 함수는 다음의 특징을 가진다. - 함수 할당: 함수를 변수에 할당할 수 있다. - 함수 인자: 함수를 다른 함수의 인자로 전달할 수 있다. - 함수 반환: 함수에서 다른 함수를 반환할 수 있다. 하지만, 상태를 변경하는 명령형 프로그래밍도 가능하며 객체 지향 프로그래밍도 가능하다. 하지만 이는 이 카테고리에서 다루지 않겠다. 정적 타입 언어 (Statically Typed Language) OCaml은 정적 타입 언어이..
Natural Numbers 자연수 집합 N = {0,1,2,3...}를 귀납적으로 정의하면 /0, n/n+1 이다. 이 규칙은 다음과 같이 문법적으로 표현될 수 있다: n → 0 | n + 1 Strings 알파벳 집합 {a ... z}을 사용하여 문자열 집합을 정의해보자. 빈 문자열 ε이 있을 때, / ε , α / aα, α / bα ... α / zα 로 귀납적 정의할 수 있다. 문법적으로는, α → ε | xα (x ∈ {a,...,z})으로 나타낼 수 있다. Boolean Values 불린값 B = {true, false}는 유한한 값이다. 이는 그저 공리에 의해서 정의될 수 있다. /true, /false 문법적으로는, b → true | false 이다. Lists 리스트의 끝을 nil로 ..
서류 합격! 사실 이번년도에 삼성 인턴을 넣을 생각은 없었습니다. 대학원 생각도 있었고, 막학년이니 졸업유예하고 1년 쉬어가고 싶다는 생각도 했었기 때문입니다. 그러나 코딩테스트 한 번 봐보고 싶기도 하고, 그래도 나름 삼성인데 한 번 해보면 좋지 않을까? 하며 서류 마감일 당일에서야 자소서를 적기 시작하고 서류 마감 1분 전에 제출했습니다ㅋㅋㅋ 그래서.. 백업본도 없어서... 면접까지 가는게 제일 무서워요.. 자소서 문항은 대충 여기에 왜 지원했는지, 사회 이슈에 대한 소견 등등 항상 나오던 그 문항들 나왔습니다. 프로젝트 관련하여 서술할 곳이 많이 없어서 그건 좀 아쉬웠습니다. 그리고 대학교에서 들은 모든 강의에 대한 학점을 기입하는 문항도 있었어요! 이거 있는 줄 몰랐다가 서류 못넣을 뻔 했습니다...
