Blaze7451/Wiki-ko-20250601 huggingface dataset:
가상 상속

가상 상속(Virtual inheritance)은 기본 클래스 멤버 변수의 복사본 하나만 손자 파생 클래스에서 상속되도록 보장하는 C 기술이다. 가상 상속이 없으면 두 클래스 B와 C가 클래스 A에서 상속되고 클래스 D가 B와 C 모두에서 상속되는 경우 D에는 A 멤버 변수의 두 복사본(하나는 B를 통해, 다른 하나는 C를 통해)이 포함된다. 범위 확인을 사용하여 독립적으로 액세스할 수 있다.
대신, 클래스 B와 C가 클래스 A로부터 가상으로 상속된다면 클래스 D의 객체는 클래스 A의 멤버 변수 세트 하나만 포함하게 된다.
이 기능은 가상 기본을 파생 클래스와 이 클래스에서 파생된 모든 클래스에 대한 공통 하위 개체로 만들기 때문에 다중 상속에 가장 유용하다. 이는 파생 클래스(위 예의 D)의 관점에서 가상 기본 클래스(A)가 마치 직접 기본 클래스인 것처럼 작동하므로 사용할 조상 클래스에 대한 모호성을 명확하게 하여 다이아몬드 문제를 방지하는 데 사용할 수 있다. D는 기본(B 또는 C)을 통해 간접적으로 파생된 클래스가 아니다.
상속이 부분의 구성보다는 집합의 제한을 나타낼 때 사용된다. C에서는 계층 전체에서 공통으로 사용되는 기본 클래스를 virtual 키워드를 사용하여 virtual로 표시한다.
다음 클래스 계층 구조를 고려할 것.
UML virtual inheritance.svg
struct Animal {
virtual ~Animal() = default;    // Explicitly show that the default class destructor will be made.
virtual void Eat() {}
};
struct Mammal: Animal {
virtual void Breathe() {}
};
struct WingedAnimal: Animal {
virtual void Flap() {}
};
// A bat is a winged mammal
struct Bat: Mammal, WingedAnimal {};

**각주**
분류:C++
잭슨 구조적 프로그래밍

JSP 다이어그램의 예
잭슨 구조적 프로그래밍(Jackson structured programming, JSP) 또는 잭슨법은 영국의 소프트웨어 컨설턴트인 마이클 A. 잭슨(Michael A. Jackson)이 개발하고 1975년 저서인 "프로그램 설계 원리"(Principles of Program Design)에서 설명한 구조적 프로그래밍 방법이다. JSP의 기술은 프로그램이 입력으로 읽고 출력으로 생성해야 하는 파일의 데이터 구조를 분석한 다음 해당 데이터 구조를 기반으로 프로그램 설계를 생성하여 프로그램 제어 구조가 이러한 데이터 구조를 자연스럽고 직관적인 방식으로 처리하는 것이다.
JSP는 시퀀스, 반복, 선택(또는 대안)이라는 세 가지 기본 구조를 사용하여 데이터와 프로그램의 구조를 설명한다. 이러한 구조는 (사실상) 정규 표현식의 시각적 표현으로 다이어그램으로 표시된다.

**각주**

**외부 링크**
  A free graphical JSP Editor written in JAVA-  A JSP editor-  A brief history of the Jackson methods-  Jackson Workbench site
분류:프로그래밍 패러다임
분류:다이어그램
빗자루병

솜털자작나무에 나타난 빗자루병(Taphrina betulina) 
파일:Witch's_broom_pinus_strobus.jpg|섬네일|300x300픽셀| 스트로브잣나무에 나타난 빗자루병.
파일:WitchsBroomYamaska20200207.jpg|섬네일|413x413픽셀| 캐나다 퀘벡 야마스카 국립공원의 빗자루병
빗자루병 또는 총생병(叢生病)은 나무 같은 목본식물의 원래 구조가 변형되는 병이다. 한 부분에서 여러 개의 가지나 잎이 모여 자라며 그 형태가 흡사 중세 시대의 마녀들이 쓰던 빗자루 같다 하여 서양에서는 마녀의 빗자루 (witch's broom 또는 witches' broom)라 부르기도 한다. 대부분이 병원균에 감염되면서 발생한다.
빗자루병의 병징은 피토플라스마 또는 담자균이 일으키며, 카카오와 대추나무 및 멀구슬나무를 비롯한 여러 경제 수목에서 중요하게 작용한다.

**원인**
나무의 특정 모양이나 습성은 2차 분열조직의 생장을 조절하는 호르몬인 옥신의 산물 중 일부이다. 옥신은 부모 가지에서 뻗어 나오는 측아의 생장을 억제시키는데, 빗자루병에 걸리게 되면 순의 순차별 생장이 멈추게 되고 분열조직이 무분별하게 생장한다. 이는 생장 조절을 방해하는 식물 호르몬인 시토키닌이 일으키는 것이다. 이 병징은 피토플라스마 및 세균류가 만들어내는 것이기도 하다. 빗자루병의 생장은 보통 기주식물이 살아 있는 동안이라면 수 년 정도 갈 수 있다. 빗자루병의 나뭇가지를 정상 대목에 접목하면 괴상하게 생긴 나무로 뒤바뀌어버린다. 이는 공격성 유기체가 나뭇가지의 유전된 생장 패턴을 바꿔놓음을 보여준다.

**병징**
철쭉류 빗자루병 병징- 잎과 가지의 왜화 및 위축 증상- 빗자루(총생) 증상- 꽃잎의 엽화 증상(phyllody)- 쇠락- 잎의 황화 증상

**생태적 역할**
빗자루병은 새와 북부하늘다람쥐 등의 포유류에게 서식처를 제공해준다.

**종류**
 대추나무 빗자루병- 오동나무 빗자루병
** 붉나무 빗자루병
** 아까시나무 빗자루병
** 뽕나무 오갈병- 쥐똥나무 빗자루병- 벚나무 빗자루병 - 타프리나속(Taphrina) 곰팡이병

**같이 보기**
 식물병리학- 피토플라스마

**각주**

**외부 링크**
 Witch's broom- BBC h2g2의  Witches' Broom.-  Fir and spruce broom
분류:식물 질병
계약에 의한 설계

계약에 의한 설계 스킴(scheme)
계약에 의한 설계(Design by contract, DbC), 계약 프로그래밍, 계약에 의한 프로그래밍은 소프트웨어 설계를 위한 접근 방식이다.
이는 소프트웨어 설계자가 소프트웨어 구성 요소에 대해 형식적이고 정확하며 검증 가능한 인터페이스 사양을 정의해야 한다고 규정하며 이는 전제 조건, 사후 조건 및 불변성을 사용하여 추상 자료형의 일반적인 정의를 확장한다. 이러한 사양은 비즈니스 계약의 조건 및 의무에 대한 개념적 비유에 따라 "계약"이라고 한다.
DbC 접근 방식에서는 서버 구성 요소에 대한 작업을 호출하는 모든 클라이언트 구성 요소가 해당 작업에 필요한 대로 지정된 전제 조건을 충족한다고 가정한다.
이 가정이 너무 위험한 것으로 간주되는 경우(다중 채널 또는 분산 컴퓨팅에서) 반대 접근 방식이 사용된다. 즉, 서버 구성 요소는 모든 관련 전제 조건이 참인지(클라이언트 구성 요소의 요청을 처리하기 전 또는 처리하는 동안) 테스트하고 응답한다. 그렇지 않은 경우 적절한 오류 메시지가 표시된다.

**같이 보기**
 컴포넌트 기반 소프트웨어 공학- 정확성- 방어적 프로그래밍- 정형 기법- 호어 논리- 모듈성 (프로그래밍)- 테스트 주도 개발

**외부 링크**
  The Power of Design by Contract(TM) A top-level description of DbC, with links to additional resources.-  Building bug-free O-O software: An introduction to Design by Contract(TM) Older material on DbC.-  Benefits and drawbacks; implementation in RPS-Obix-  Using Code Contracts for Safer Code
분류:소프트웨어 설계
분류:프로그래밍 패러다임
익명 함수

익명 함수(Anonymous function)는 컴퓨터 프로그래밍에서 식별자에 바인딩되지 않은 함수 정의이다. 익명 함수는 종종 고차 함수에 전달되거나 함수를 반환해야 하는 고차 함수의 결과를 구성하는 데 사용되는 인수이다. 함수가 한 번만 사용되거나 제한된 횟수로 사용되는 경우 익명 함수는 명명된 함수를 사용하는 것보다 구문적으로 더 가벼울 수 있다. 익명 함수는 함수형 프로그래밍 언어와 일급 함수를 사용하는 기타 언어에서 어디에나 존재하며, 리터럴이 다른 데이터 유형에 대해 수행하는 것과 동일한 역할을 함수 유형에 대해 수행한다.
익명 함수는 전자 컴퓨터 이전인 1936년에 모든 함수가 익명인 람다 미적분학을 발명한 알론조 처치의 작업에서 유래되었다. 여러 프로그래밍 언어에서는 익명 함수가 람다 키워드를 사용하여 도입되며 익명 함수를 종종 람다 또는 람다 추상화라고 한다. 익명 함수는 1958년 리스프 이후 프로그래밍 언어의 기능이었으며 점점 더 많은 현대 프로그래밍 언어가 익명 함수를 지원한다.

**같이 보기**
 일급 함수

**각주**

**외부 링크**
  Anonymous Methods - When Should They Be Used? (blog about anonymous function in Delphi)-  Compiling Lambda Expressions: Scala vs. Java 8-  php anonymous functions php anonymous functions-  Lambda functions in various programming languages-  Functions in Go
분류:자료형
분류:함수형 프로그래밍
분류:람다 대수
분류:함수 (프로그래밍)
일급 함수

컴퓨터 과학에서 프로그래밍 언어는 함수를 일급 객체로 취급하는 경우 일급 함수(first-class function)를 갖는다고 한다. 이는 언어가 함수를 다른 함수에 대한 인수로 전달하고, 이를 다른 함수의 값으로 반환하고, 변수에 할당하거나 자료 구조에 저장하는 것을 지원한다는 것을 의미한다. 일부 프로그래밍 언어 이론가들은 익명 함수(함수 리터럴)에 대한 지원도 요구한다. 일급 함수를 사용하는 언어에서는 함수 이름에 특별한 상태가 없다. 이는 함수 유형의 일반 변수처럼 취급된다. 이 용어는 1960년대 중반 크리스토퍼 스트래치가 "일급 객체로서의 기능"이라는 맥락에서 만들어졌다.
일급 함수는 고차 함수의 사용이 표준 관행인 함수형 프로그래밍 스타일에 필수적이다. 고차 함수의 간단한 예는 함수와 목록을 인수로 사용하고 목록의 각 구성원에 함수를 적용하여 형성된 목록을 반환하는 map 함수이다. 언어가 맵을 지원하려면 함수를 인수로 전달하는 것을 지원해야 한다.
함수를 인수로 전달하거나 결과로 반환하는 데는 특정 구현상의 어려움이 있다. 특히 중첩 및 익명 함수에 도입된 비지역 변수가 있는 경우에는 더욱 그렇다. 역사적으로 이러한 문제는 "함수 인수"에서 유래한 이름인 funarg 문제라고 불렸다. 초기 명령형 언어에서는 함수를 결과 유형(예: 알골 60, 파스칼)으로 지원하지 않거나 중첩 함수 및 비지역 변수(예: C)를 생략하여 이러한 문제를 방지했다. 초기 함수형 언어 리스프는 동적 범위 지정의 접근 방식을 취했다. 여기서 비지역 변수는 함수가 정의된 위치 대신 함수가 실행되는 지점에서 해당 변수의 가장 가까운 정의를 참조한다. 어휘 범위가 지정된 일급 함수에 대한 적절한 지원이 스킴에 도입되었으며 함수에 대한 참조를 기본 함수 포인터 대신 클로저로 처리해야 하므로 쓰레기 수집이 필요하다.

**같이 보기**
 eval

**각주**

**출처**
 Leonidas Fegaras.  "Functional Languages and Higher-Order Functions". CSE5317/CSE4305: Design and Construction of Compilers. University of Texas at Arlington.

**외부 링크**
  First-class functions on Rosetta Code.-  Higher order functions date=November 12, 2019 at IBM developerWorks
분류:컴파일러 구성
분류:자료형
분류:함수형 프로그래밍
분류:원시 자료형
분류:프로그래밍 언어 이론
분류:함수 (프로그래밍)
의존형

의존형(dependent type) 또는 종속유형은 컴퓨터 과학 및 논리학에서 정의가 값에 따라 달라지는 유형이다. 이는 유형 이론과 유형 시스템이 겹치는 특징이다. 직관주의적 유형 이론에서는 의존형을 사용하여 "모두에게" 및 "존재합니다"와 같은 논리 수량자를 인코딩한다. Agda, ATS, Coq, F*, Epigram, Idris 및 Lean과 같은 함수형 프로그래밍 언어에서 의존형은 프로그래머가 가능한 구현 세트를 더욱 제한하는 유형을 할당할 수 있도록 하여 버그를 줄이는 데 도움이 된다.
의존형의 두 가지 일반적인 예는 종속 함수와 종속 쌍이다. 종속 함수의 반환 유형은 해당 인수 중 하나의 값(유형뿐만 아니라)에 따라 달라질 수 있다. 예를 들어 양의 정수 n을 사용하는 함수는 길이가 n인 배열을 반환할 수 있다. 여기서 배열 길이는 배열 유형의 일부이다. (이는 유형을 인수로 포함하는 다형성 (컴퓨터 과학) 및 제네릭 프로그래밍과는 다르다.) 종속 쌍은 첫 번째 값에 따라 유형이 달라지는 두 번째 값을 가질 수 있다. 배열 예제를 고수하면 종속 쌍을 사용하여 형식이 안전한 방식으로 배열과 길이를 쌍으로 연결할 수 있다.
의존형은 유형 시스템에 복잡성을 추가한다. 프로그램에서 의존형의 동등성을 결정하려면 계산이 필요할 수 있다. 의존형에 임의의 값이 허용되는 경우 유형 동등성을 결정하는 것은 두 임의의 프로그램이 동일한 결과를 생성하는지 여부를 결정하는 것을 포함할 수 있다. 따라서 유형 검사의 결정 가능성은 주어진 유형 이론의 동등 의미, 즉 유형 이론이 의도적인지 확장적인지 여부에 따라 달라질 수 있다.

**각주**

**외부 링크**
  Dependently Typed Programming 2008-  Dependently Typed Programming 2010-  Dependently Typed Programming 2011-  "Dependent type" at the Haskell Wiki- title=dependent type theory- title=dependent type- title=dependent product type- title=dependent sum type- title=dependent product- title=dependent sum
분류:수학기초론
분류:유형 이론
분류:자료형 체계
김제선

김제선(金濟善, 1963년 11월 18일~)은 대한민국의 정치인이다. 제22대 대전광역시 중구청장(2024. 4.~)이다. 2024년 상반기 재보궐 선거에서 당선되었다.

**학력**
 대전자양국민학교 졸업- 충남중학교 졸업- 보문고등학교 졸업- 충남대학교 행정학과 중퇴- 한국방송통신대학교 행정학 학사- 목원대학교 대학원 공공정책학 석사

**경력**
 대전참여자치연대 사무처장- 대전참여자치연대 정책위원장- 대전참여자치연대 집행위원장- 지방분권국민운동 공동집행위원장- (사)풀뿌리사람들 상임이사- 대전광역시 사회적자본지원센터 센터장- (재)충남연구원 이사- 재단법인 희망제작소 소장- 한국혁신가네트워크 공동대표- 경기도 평생교육진흥원 원장- 세종특별자치시교육감 비서실장- 2024년 4월 11일~: 제22대 대전광역시 중구청장(민선 8기, 더불어민주당, 초선)

**역대 선거 결과**

**각주**
분류:1963년 출생
분류:살아있는 사람
분류:충남중학교 동문
분류:보문고등학교 (대전) 동문
분류:한국방송통신대학교 동문
분류:목원대학교 대학원 동문
분류:대한민국의 사회 운동가
분류:대한민국의 교육인
분류:대전 중구청장
분류:더불어민주당 당원
분류:더불어민주당의 정치인
분류:20세기 대한민국 사람
분류:21세기 대한민국 사람
분류:대전광역시 출신
제약 프로그래밍

제약 프로그래밍(Constraint programming, CP)은 인공지능, 컴퓨터 과학, 운용과학의 광범위한 기술을 활용하는 조합 문제를 해결하기 위한 패러다임이다. 제약 프로그래밍에서 사용자는 일련의 결정 변수에 대해 실행 가능한 솔루션에 대한 제약 조건을 선언적으로 명시한다. 제약 조건은 실행할 단계나 단계의 순서를 지정하지 않고 찾을 솔루션의 속성을 지정한다는 점에서 명령형 프로그래밍 언어의 일반적인 기본 형식과 다르다. 제약 조건 외에도 사용자는 이러한 제약 조건을 해결하기 위한 방법을 지정해야 한다. 이는 일반적으로 시간순 퇴각검색 및 제약 조건 전파와 같은 표준 방법을 사용하지만 문제별 분기 휴리스틱과 같은 사용자 정의 코드를 사용할 수도 있다.
제약 프로그래밍은 제약 조건을 논리 프로그램에 포함하는 제약 조건 논리 프로그래밍에 뿌리를 두고 있으며 제약 조건 논리 프로그래밍의 형태로 표현될 수 있다. 이러한 논리 프로그래밍 변형은 프롤로그 II에 도입된 특정 제약 클래스를 1987년에 확장한 재퍼(Jaffar)와 라세즈(Lassez)에 의해 탄생했다. 제약 논리 프로그래밍의 첫 번째 구현은 프롤로그 III, CLP(R) 및 CHIP이었다.
논리 프로그래밍 대신 제약 조건을 함수형 프로그래밍, 용어 재작성 및 명령형 언어와 혼합할 수 있다. 제약 조건을 기본적으로 지원하는 프로그래밍 언어로는 오즈(함수 프로그래밍) 및 칼레이드스코프(Kaleidscope, 명령형 프로그래밍)가 있다. 대부분의 제약 조건은 기존 명령형 언어에 대한 별도의 라이브러리인 제약 조건 해결 툴킷을 통해 명령형 언어로 구현된다.

**같이 보기**
 조합 최적화- 수학적 최적화

**각주**

**외부 링크**
  Association for Constraint Programming-  CP Conference Series url=https://web.archive.org/web/20190211164203/http://www.a4cp.org/events/cp-conference-series-  Guide to Constraint Programming
*title=The Mozart Programming System, an Oz-based free software (X11-style)
*title= Cork Constraint Computation Centre
분류:제약 프로그래밍
분류:프로그래밍 패러다임
분류:선언형 프로그래밍
서점원

서점원(徐点源, 1961년 11월 2일 ~ )은 대한민국의 제6·7·9대 인천광역시 남동구의원이다.

**경력**
 만월초등학교 급식회 회장- 구월여중 어머니회 회장- 선화여상 학부모회 회장- 민주당 인천광역시당 남동구 갑 여성위원장- 간석동 새마을 부녀회 회원- 2010.07 ~ 2014.06 제6대 인천광역시 남동구의회 의원- 2010.07 ~ 2012.07 제6대 인천광역시 남동구의회 전반기 사회도시위원회 위원- 2010.07 ~ 2012.07 제6대 인천광역시 남동구의회 전반기 예산결산특별위원회 위원장- 2012.07 ~ 2014.06 제6대 인천광역시 남동구의회 후반기 총무위원회 위원- 2012.07 ~ 2014.06 제6대 인천광역시 남동구의회 후반기 의회운영위원회 위원장- 2012.07 ~ 2014.06 제6대 인천광역시 남동구의회 후반기 예산결산특별위원회 위원- 팬더아파트 부녀회장- 민주당 인천광역시당 가족문제특별위원장- 도림초등학교 운영위원회 위원- 남동구 도시계획위원회- 2014.07 ~ 2018.06 제7대 인천광역시 남동구의회 의원- 2014.07 ~ 2016.07 제7대 인천광역시 남동구의회 전반기 사회도시위원회 위원- 2014.07 ~ 2016.07 제7대 인천광역시 남동구의회 전반기 예산결산특별위원회 위원장- 2016.07 ~ 2018.06 제7대 인천광역시 남동구의회 후반기 총무위원회 위원- 2016.07 ~ 2018.06 제7대 인천광역시 남동구의회 후반기 의회운영위원회 위원- 2016.07 ~ 2018.06 제7대 인천광역시 남동구의회 후반기 예산결산특별위원회 위원장- 더불어민주당 인천광역시당 남동구 갑 지역위원회 부위원장- 2024.04 ~ 제9대 인천광역시 남동구의회 의원- 2024.04 ~ 2024.07 제9대 인천광역시 남동구의회 전반기 의회운영위원회 위원- 2024.04 ~ 2024.07 제9대 인천광역시 남동구의회 전반기 사회도시위원회 위원- 2024.07 ~ 제9대 인천광역시 남동구의회 후반기 의회운영위원회 위원장- 2024.07 ~ 제9대 인천광역시 남동구의회 후반기 사회도시위원회 위원- 더불어민주당 인천광역시당 여성위원회 운영위원- 더불어민주당 인천광역시당 여성위원회 직능특별위원장

**역대 선거 결과**
분류:1961년 출생
분류:살아있는 사람
분류:남동구의원
분류:더불어민주당 당원
분류:20세기 대한민국 사람
분류:21세기 대한민국 사람
극장판 울려라! 유포니엄: 앙상블 콘테스트

《극장판 울려라! 유포니엄: 앙상블 콘테스트》(도쿠베쓰헨 히비케 유포니아무 안산부루 콘테스토)는 2023년 8월 4일에 개봉한 일본의 애니메이션 영화다. 타케다 아야노의 소설 《울려라! 유포니엄》의 단편집 '울려라! 유포니엄 키타우지 고등학교 취주악부의 진짜 이야기'가 원작으로 되어 있으며, 2015년부터 방송되고 있는 텔레비전 애니메이션 시리즈의 완전 신작 극장 작품이다. 텔레비전 애니메이션 시리즈에 이어, 제작은 교토 애니메이션, 감독은 이시하라 타츠야가 담당했다.
2019년 개봉한 영화 《극장판 울려라! 유포니엄 ~맹세의 피날레~》에서 이어지는 이야기로, 새로운 부장이 된 주인공 오아미 쿠미코가 앙상블 콘테스트를 위해 분투하는 모습이 그려진다. 전작과 함께 '쿠미코 2학년 편'이라고 호칭되고 있다. 원래는 OVA 작품으로 기획되었던 작품이며, 개봉 시에는 상영 극장에서 '극장 선행 한정판 Blu-ray'의 판매도 이루어졌다.
본작은 교토 애니메이션 방화 사건 발생 후, 첫 시리즈 신작이다. 이 사건에서는 캐릭터 디자인·총작화 감독인 이케다 쇼코와 악기 설정·악기 작화 감독인 타카하시 히로유키 등 본 시리즈의 주요 스태프도 희생되었만, 2명 모두 계속해서 스태프로 크레딧되고 있다.

**줄거리**
새로운 부장이 된 오마에 쿠미코가 인솔하는 키타우지 고교 취주악부는, 문화제에서의 연주를 무사히 마치고, 12월에 행해지는 앙상블 콘테스트를 향해 움직이기 시작하고 있었다. 앙상블 콘테스트란 3명 이상 8명 이하의 소수 편성에 의한 연주를 겨루는 대회로, 쿠미코들은 부의 대표가 되는 멤버를 정할 필요가 있었다. 부원 전원이 관여해 주었으면 하는 타키의 소원과, 코사크 레이나, 부부장이 된 츠카모토 슈이치의 의견도 들어준 다음, 쿠미코는 연주회 형식의 오디션을 열어, 투표를 '부내 투표', '일반 투표'의로 2개로 나누어, 결과가 나뉘었을 경우는 '부내 투표'의 결과를 우선하는 것으로 결정한다.
카나데를 비롯한 부원들은 속속 팀이 결정되어 가는 한편, 쿠미코에게는 전혀 목소리가 들리지 않았다. 드디어 레이나에게 권유받았지만, 괴로운 감정을 안고 있었다. 쿠미코가 들어간다고 결정되고 나서는 속속 다른 멤버도 결정되어, 최종적으로 레이나, 쿠미코, 슈이치, 하즈키에 더해, 2학년 퍼커션 담당 이노우에 준나와 카마야 츠바메, 2학년 호른 담당 모리모토 미치요, 1학년 트럼펫 담당  코히나타 유메의 8명이서, 팔중주를 하게 된다. 연습이 시작된 지 얼마 지나지 않아, 쿠미코는 자신이 권유받는 것이 늦었던 이유를 레나에게 묻자, 권유한다면 코미코로 결정했다, 거절당하면 무서웠다고 밝혀진다. 쿠미코는 기분을 고치지만, 내년에 만약 자신보다 잘하는 사람이 들어오면, 자신은 레이나가 선택해 줄 수 있을까 하고 조금 불안해진다.
오디션에서는 쿠미코의 팀은 일반 투표에서는 1위를 차지했지만, 부내 투표에서는 표를 얻지 못하고, 앙상블 콘테스트에 나가는 것은 이루어지지 않았다. 며칠 후, 대표가 된 팀이 간사이 대회에 출전을 결정했다는 소식을 듣고 억울함을 더하지만, 마음을 바꿔, 내년 전국 대회 금상에 대한 결의를 새롭게 한다.

**캐스트**

**주연**
 쿠로사와 토모요 - 오마에 쿠미코 목소리 역- 아사이 아야카 - 카토 하즈키 목소리 역- 토요타 모에 - 와카시마 사파이어 목소리 역- 안자이 치카 - 코사카 레이나 목소리 역- 타네자키 아츠미 - 요로이즈카 미즈메 목소리 역

**조연**
 이시야 하루키 - 츠카모토 슈이치 목소리 역- 오오하시 아야카 - 카마야 츠마베 목소리 역- 후지무라 코노미 - 나카가와 나즈키 목소리 역- 야마오카 유리 - 요시카와 유코 목소리 역- 토야마 나오 -  카사키 노조미 목소리 역- 아마미야 소라 - 히사이시 카나데 목소리 역- 나나세 아야카 - 스즈키 미레이 목소리 역- 쿠노 미사키 - 스즈키 사츠키 목소리 역- 스기우라 시오리 - 켄자키 리리카 목소리 역- 사쿠라이 타카히로 - 타키 노보루 목소리 역- 미나미 마유 - 코히나타 유메 목소리 역- 카와무라 리에 - 이노우에 준나 목소리 역

**기타**
 앙상블 콘테스트 공개를 앞두고 교토 애니메이션 공식 유튜브 채널에서 기존에 나온 유포니엄 극장판 3편을 2023년 7월 28일부터 8월 1일까지 기간 한정으로 무료공개했다.- 2023년 부천국제애니메이션페스티벌(BIAF) 국제경쟁 장편 부문 출품작이며, 이시하라 타츠야 감독이 내한하여 팬들과 인사하는 시간을 가졌다.

**각주**

**외부 링크**
 애니메이션 '울려라! 유포니엄' 공식- 20860298
분류:2023년 애니메이션 영화
분류:일본어 영화 작품
분류:포니캐년의 애니메이션 영화
분류:쇼치쿠의 애니메이션 영화
분류:교토 애니메이션의 애니메이션
분류:일본의 청춘 영화
분류:음악 영화
분류:일본의 드라마 영화
분류:일본의 애니메이션 영화
분류:음악을 소재로 한 영화
분류:교토부를 배경으로 한 영화
분류:고등학교를 배경으로 한 영화
의도적 프로그래밍

의도적 프로그래밍(Intentional programming)은 컴퓨터 프로그래밍에서 찰스 시모니가 개발한 프로그래밍 패러다임으로, 프로그래머(또는 사용자)가 작업을 구상할 때 염두에 둔 정확한 의도를 소프트웨어 소스 코드에 인코딩한다. 프로그래머가 생각하는 적절한 추상화 수준을 사용하면 컴퓨터 프로그램을 만들고 유지 관리하는 것이 더 쉬워진다. 의도에 대한 관심과 그 작동 방식을 분리함으로써 소프트웨어는 더욱 모듈화되고 재사용 가능한 소프트웨어 코드를 허용한다.
의도적 프로그래밍은 패러다임을 개발하고 패러다임을 시연한 IP(의도적 프로그래밍용)라는 통합 개발 환경(IDE)을 구축한 마이크로소프트 리서치의 팀을 이끌었던 전 마이크로소프트 수석 설계자 찰스 시모니가 개발했다. 마이크로소프트는 2000년대 초에 자바 채택에 대응하기 위해 C 샤프 및 닷넷을 출시했기 때문에 의도적 프로그래밍 패러다임을 제품화하지 않기로 결정했다. 찰스 시모니는 마이크로소프트의 승인을 받아 자신의 아이디어를 마이크로소프트에서 가져와 직접 상용화하기로 결정했다. 그는 이를 추구하기 위해 인탠셔널 소프트웨어라는 회사를 설립했다. 마이크로소프트는 시모니가 마이크로소프트에 재직하는 동안 소스 코드 없이 취득한 의도적 프로그래밍 특허를 인탠셔널 소프트웨어에 라이선스를 부여했다.
마이크로소프트 리서치에서 개발된 의도적 프로그래밍에 대한 개요는 생성적 프로그래밍: 방법, 도구 및 응용 프로그램 책의 11장에 나와 있다.

**같이 보기**
 자동 프로그래밍- 객체 지향 데이터베이스

**각주**

**외부 링크**
  Intentional Software - Charles Simonyi's company-  The Death Of Computer Languages, The Birth of Intentional Programming, a technical report by Charles Simonyi (1995)-  Intentional Programming - Innovation in the Legacy Age, a talk by Charles Simonyi (1996)-  Edge.org interview with Charles Simonyi (interviewer: John Brockman)-  Language Workbenches: The Killer-App for Domain Specific Languages? - Martin Fowler's article on the general class of tools that Intentional Programming is an example of.-  "Anything You Can Do, I Can Do Meta" date=2012-02-11  Tuesday, January 9, 2007, Scott Rosenberg, Technology Review-   Awaiting the Day When Everyone Writes Software, The New York Times, 28 January 2007-  Is programming a form of encryption?, by Charles Simonyi (2005)-  Appropriate Levels of Abstraction, by Charles Simonyi (2005)-  The information contents of programs, by Charles Simonyi (2005)-  Feature X Considered Harmful, by Charles Simonyi (2005)-  Notations and Programming Languages, by Charles Simonyi (2005)-  Personal Observations from a Developer, by Mark Edel (2005)-  Microsoft Research's educational video introducing their Intentional Programming system (ASF format, circa 1998, 20 megabytes)
분류:프로그래밍 패러다임
위생 매크로

위생 매크로(Hygienic macro)는 컴퓨터 과학에서 확장 시 실수로 식별자를 캡처하지 않도록 보장되는 매크로이다. 이는 스킴, 딜런, 러스트, 님 및 줄리아와 같은 프로그래밍 언어의 기능이다. 우연한 캡처의 일반적인 문제는 위생 매크로가 도입되기 전에 리스프 커뮤니티에서 잘 알려져 있었다. 매크로 작성자는 문제를 피하기 위해 고유 식별자(예: gensym)를 생성하는 언어 기능을 사용하거나 난독화된 식별자를 사용한다. 위생 매크로는 매크로 확장기에 통합된 캡처 문제에 대한 프로그래밍 방식의 솔루션이다. "위생"이라는 용어는 수학에서 사용되는 용어에서 영감을 받아 위생 매크로 확장을 도입한 콜베커(Kohlbecker) 등의 1986년 논문에서 만들어졌다.

**같이 보기**
 전처리기

**각주**
분류:메타프로그래밍
의미론 (컴퓨터 과학)

의미론 또는 시맨틱스(semantics)는 프로그래밍 언어 이론에서 프로그래밍 언어의 의미에 대한 엄격한 수학적 연구이다. 의미론은 프로그래밍 언어 구문의 유효한 문자열에 컴퓨테이션적 의미를 할당한다. 이는 수학적 증명의 의미론과 밀접하게 관련되어 있으며 종종 교차된다.
의미론은 특정 언어로 프로그램을 실행할 때 컴퓨터가 따르는 프로세스를 설명한다. 이는 프로그램의 입력과 출력 간의 관계를 설명하거나 프로그램이 특정 플랫폼에서 어떻게 실행되는지 설명하여 계산 모델을 생성함으로써 수행될 수 있다.

**같이 보기**
 존재론- 온톨로지

**각주**

**외부 링크**
 archive-date=2015-06-19 Semantics.
분류:정형 기법
분류:컴퓨터 과학 내 논리
분류:프로그래밍 언어 의미론
형식 검증

형식 검증(Formal verification)은 하드웨어 및 소프트웨어 시스템의 맥락에서 공식 수학 방법을 사용하여 특정 형식 사양 또는 속성과 관련하여 시스템의 정확성을 증명하거나 반증하는 행위이다. 형식 검증은 시스템의 형식 사양을 위한 주요 인센티브이며 형식 방법의 핵심이다. 이는 전자 설계 자동화에서 분석 및 검증의 중요한 차원을 나타내며 소프트웨어 검증에 대한 한 가지 접근 방식이다. 공식 검증을 사용하면 컴퓨터 보안 인증에 대한 공통평가기준 프레임워크에서 가장 높은 평가 보증 수준(EAL7)이 가능하다.
공식 검증은 암호화 프로토콜, 조합 회로, 내부 메모리가 있는 디지털 회로, 프로그래밍 언어의 소스 코드로 표현된 소프트웨어와 같은 시스템의 정확성을 입증하는 데 도움이 될 수 있다. 검증된 소프트웨어 시스템의 대표적인 예로는 CompCert 검증 C 컴파일러와 seL4 높은 보증 운영 체제 커널이 있다.
이러한 시스템의 검증은 시스템의 수학적 모델에 대한 공식적인 증거가 존재하는지 확인함으로써 수행된다. 시스템을 모델링하는 데 사용되는 수학적 개체의 예로는 유한 상태 기계, 레이블이 있는 전환 시스템, 혼 절, 페트리 넷, 벡터 추가 시스템, 시간 제한 오토마타, 하이브리드 오토마타, 프로세스 대수, 프로그래밍 언어의 형식 의미(예: 연산 의미론, 표시 의미론, 공리적 의미론 및 호어 논리) 등이 있다.

**같이 보기**
 자동 정리 증명- 정적 프로그램 분석

**각주**
분류:정형 기법
분류:컴퓨터 과학 내 논리
분류:이론 컴퓨터 과학
최옥술

최옥술(崔玉述, 1957년 8월 14일 ~ )은 대한민국의 제8·9대 대전광역시 유성구의원이다.

**학력**
 공주대학교- 충남대학교 행정대학원 행정학 석사 졸업- 한남대학교 지역개발대학원 문학 석사

**경력**
 대전광역시 유성구 보건소- 대전광역시 유성구 온천2동장- 대전지방검찰청 형사조정위원- 노인장기요양보험 등급판정위원- 2018.07 ~ 2022.06 제8대 대전광역시 유성구의회 의원- 2018.07 ~ 2020.07 제8대 대전광역시 유성구의회 전반기 사회도시위원회 위원- 2018.07 ~ 2020.07 제8대 대전광역시 유성구의회 전반기 의회운영위원회 위원장- 2020.07 ~ 2022.06 제8대 대전광역시 유성구의회 후반기 사회도시위원회 위원- 2020.07 ~ 2022.06 제8대 대전광역시 유성구의회 후반기 예산결산특별위원회 위원- 조승래 국회의원 특별보좌관- 2024.04 ~ 제9대 대전광역시 유성구의회 의원- 2024.04 ~ 2024.07 제9대 대전광역시 유성구의회 전반기 행정자치위원회 위원- 2024.07 ~ 제9대 대전광역시 유성구의회 후반기 사회도시위원회 위원- 2024.07 ~ 제9대 대전광역시 유성구의회 후반기 예산결산특별위원회 위원

**역대 선거 결과**
분류:1961년 출생
분류:살아있는 사람
분류:충남대학교 행정대학원 동문
분류:한남대학교 대학원 동문
분류:유성구의원
분류:더불어민주당 당원
분류:20세기 대한민국 사람
분류:21세기 대한민국 사람
에이스맥스 레드

에이스맥스 레드는 중국의 음악 그룹이다. 2016년 싱글《暖光》으로 데뷔했다.

**방송**
 아이돌 리부팅 프로젝트 더 유닛 (2017)

**음반**
 MAXY (2016)- Merry Acemas (2016)- 启晨 (2017)- 暖光 (2017)- Goodbye School (2017)- 一天一天 (2017)

**각주**
분류:중국의 음악 그룹
분류:아이돌 리부팅 프로젝트 더 유닛 참가자
최은희 (1971년)

최은희(崔銀熙, 1971년 5월 18일 ~ )은 대한민국의 제9대 경기도 화성시의원이다.

**학력**
 숭의여자전문대학 경영과 졸업

**경력**
 화성시 서부녹색어머니연합회 회장- 한국외식업중앙회 화성시지부 이사- 화성푸드통합지원센터 이사- 2024.04 ~ 제9대 경기도 화성시의회 의원- 2024.04 ~ 2024.07 제9대 경기도 화성시의회 전반기 경제환경위원회 위원- 2024.07 ~ 제9대 경기도 화성시의회 후반기 윤리특별위원회 위원장

**역대 선거 결과**
분류:1971년 출생
분류:살아있는 사람
분류:숭의여자대학교 동문
분류:화성시의원
분류:더불어민주당 당원
분류:20세기 대한민국 사람
분류:21세기 대한민국 사람
이종문 (1969년)

이종문(李鍾文, 1969년 7월 24일 ~ )은 대한민국의 제9대 경기도 부천시의원이다. 서울특별시 출신이다.

**학력**
 1989.03 한국외국어대학교 무역학과 3년 수료- 2001 인하대학교 사학과 졸업

**경력**
 1990 민주자유당 합당 3당 야합 창당대회 반대시위관련 구속- 2002 권영길 대통령 후보 부천공동선대본부장- 2002 여중생범대위 부천지역 공동대표- 2003 이라크파병반대 부천시민행동 공동대표- 민주노동당 경기도지부 자주통일위원장- 경기도 학교급식개선과 조례제정 부천공동본부장- 우리배움터 공동대표(저소득층 아이들과 이주노동자 자녀들의 방과후 공부방)- 부천민중연대공동대표- 부천비정규노동센터소장- 부천시 공공의료원 설립 및 운영 조례안 청구인 대표자- 진보당 부천시지역위원회 공동위원장- (사)나눔과 섬김 이사- 윤석열 반대 부천시 국회의 공동대표- 2024.04 ~ 제9대 경기도 부천시의회 의원- 2024.04 ~ 2024.07 제9대 경기도 부천시의회 전반기 재정문화위원회 위원- 2024.07 ~ 제9대 경기도 부천시의회 후반기 의회운영위원회 위원- 2024.07 ~ 제9대 경기도 부천시의회 후반기 행정복지위원회 위원

**역대 선거 결과**
분류:1969년 출생
분류:살아있는 사람
분류:서울특별시 출신
분류:한국외국어대학교 동문
분류:인하대학교 동문
분류:부천시의원
분류:진보당 당원
분류:20세기 대한민국 사람
분류:21세기 대한민국 사람
리튬포어스

리튬포어스(Lithium For Earth Inc.)는 대한민국의 반도체 검사장비 및 인터페이스, 제약, 휴대폰 악세사리 기업이다. 본사는 서울특별시 성동구 아차산로17길 48 1120호에 위치해 있으며 대표이사는 변익성이다.
사명과 달리 매출의 0.6%만 리튬으로 발생하며 핸드폰 악세사리가 주력이다. 탄산리튬 소재를 생산하는 신규 사업을 추진 중에 있다.

**역사**
프롬써어티으로 설립되었다가 피엠지파마사이언스로 그리고 2023년 5월 현재의 상호를 변경하였다. (주)위드모바일을 합병하였다.

**같이 보기**
 하이드로리튬

**참고문헌**

**외부 링크**
  공식홈페이지
분류:대한민국의 기업
분류:서울특별시의 기업
분류:1998년 설립된 기업
정영식 (1965년)

정영식(丁榮植, 1965년 1월 26일 ~ )은 대한민국의 제9대 경기도 광명시의원이다.

**학력**
 아주대학교 교통·ITS대학원 공학석사 졸업

**경력**
 광명시 자원봉사센터 이사- 일직동 지역사회보장협의체 위원장- 2024.04 ~ 제9대 경기도 광명시의회 의원- 2024.04 ~ 2024.07 제9대 경기도 광명시의회 전반기 복지문화건설위원회 위원- 2024.07 ~ 제9대 경기도 광명시의회 후반기 운영위원회 위원- 2024.07 ~ 제9대 경기도 광명시의회 후반기 자치행정교육위원회 위원

**역대 선거 결과**
분류:1965년 출생
분류:살아있는 사람
분류:아주대학교 동문
분류:광명시의원
분류:더불어민주당 당원
분류:20세기 대한민국 사람
분류:21세기 대한민국 사람
이희성 (1985년)

이희성(李熙晟, 1985년 1월 21일 ~ )은 대한민국의 제9대 경기도 김포시의원이다.

**학력**
 동국대학교 문화예술대학원 예술경영학석사 졸업

**경력**
 대통령직속 국가균형발전위원회 국민소통 특별위원- 더불어민주당 중앙당 부대변인- 2024.04 ~ 제9대 경기도 김포시의회 의원- 2024.04 ~ 2024.07 제9대 경기도 김포시의회 전반기 도시환경위원회 위원- 2024.07 ~ 제9대 경기도 김포시의회 후반기 행정복지위원회 위원- 2024.07 ~ 제9대 경기도 김포시의회 후반기 윤리특별위원회 위원

**역대 선거 결과**
분류:1965년 출생
분류:살아있는 사람
분류:동국대학교 대학원 동문
분류:김포시의원
분류:더불어민주당 당원
분류:20세기 대한민국 사람
분류:21세기 대한민국 사람
언더테일 라스트 브레스

언더테일 라스트 브레스(Undertale Last Breath)는 ZerJox가 제작한 언더테일 팬게임이다. 본래의 라스트 브레스 프로젝트는 2020년 6월 경 챕터 1이 완성된 이후 챕터 2까지 추가로 계획되어 있었으나, 이는 모종의 이유로 인해 중단되었다. 그 후 스프라이트와 대사 일부를 변경한 총 3페이즈 분량의 리마스터 버전 그리고 비공식 출시한 4페이즈를 끝으로 완결되었다.

**전개**
언더테일 세계관에서 플레이어가 몰살을 계속 진행하던 중, 30번째 몰살 때 워터폴에서 이전에 보지 못한 어떤 문을 보고 호기심이 생겨 문을 열고 안으로 들어간다. 그곳에는 누군가 서 있었고, 그것을 건드리려 하자 갑자기 플레이어는 기절하고, 정신을 차렸을 때 그는 이미 밖으로 빠져나간 후였다. 그 플레이어는 밖으로 빠져나간 후 스노우딘에 가서 샌즈를 만난다. 그와 샌즈는 서로 플레이어가 한 행동에 대해 얘기하게 된다.
그렇게 샌즈는 인간이 지금까지 했던 행동을 알게 되고, 샌즈는 이 일을 마지막 숨결을 다해 막기로 한다. 페이즈 1은 원작 샌즈보다 난이도가 더 높으며, 중반부에서는 원작과 다르게 주황색 뼈도 날린다. 또한 도중에 자비를 베풀지 않고 마지막 공격을 한 뒤에 자비를 베푼다. 이 상태로 공격을 하면 반투명한 가스터의 손이 나타나지만 샌즈는 데미지를 입는다.
페이즈 2에서는 공격을 맞았으나 샌즈의 체력은 여전히 0.000001이 남아 있었다. 전투를 할때 공격을 피하지 않고 뼈다귀로 막는 모습을 보여주며, 해당 페이즈부터 화면이 거꾸로 뒤집히거나 90° 회전하는 등 매우 어려워진다. 하지만 마지막 공격에서 결국 지치게 되고 인간이 공격하는 순간 또 다시 가스터의 손이 나타난다. 하지만 이번에는 아예 데미지가 들어가지 않는다. 공격을 해도 아무 효과도 없다.
전투가 시작되기 직전 샌즈의 두개골이 가스터의 두개골처럼 금이 가고 일그러지게 된다. 그리고 뼈다귀로 플레이어의 모든 버튼을 파괴한다. 때문에 페이즈 3 내내 아예 플레이어의 턴 없이 샌즈의 공격을 계속해서 피해야 한다. 화면이 뒤집히거나 회전하는 등 온갖 기괴한 패턴이 등장하나 난이도 자체가 훨신 더 높아졌고, 이때 샌즈의 뒤틀린 스프라이트와 긴장감을 고조시키는 음악 때문에 체감 난이도는 그 이상으로 높다.
이후 샌즈가 지쳐 더 이상 공격을 할 수 없게 됨에 따라 전투가 끝나며, 플레이어의 선택 없이 공격이 가해져 사망한다.

**기타**
플레이어는 샌즈를 살해한 후 나아가 아스고어를 만난다. 하지만 원래 전개와는 달리 갑자기 플라위가 나타나 주인공을 덩굴로 묶어 고정시킨다. 그리고 아스고어는 플레이어의 죄상과 그로 인하여 고통받고 죽어야 했던 괴물들에 대하여 말하고는 플레이어를 죽이게 된다.
이후 결계를 파괴하고 지상으로 나오나, 엔딩에서 바깥으로 나온 것으로 확인된 괴물은 아스고어와 플라위뿐이다. 그러면서 플라위는 덤덤하게 있는 아스고어에게 지상에 올라오는게 목적이 아니였나고 물어본다. 하지만 아스고어는 그런건 더 이상 상관없다고, 이미 수많은 괴물들이 죽었다며 모든것이 자신의 책임임을 인정하고 자신이 휠씬 능동적이였다면 이런일이 벌어지진 않았다며 후회한다.
그러면서 그 해골의 말이 맞았다면서 자신이 너무 우유부단했다며 미리 대책을 준비했어야 했고, 자신은 실패했다고 하면서 지금까지 그 플레이어를 막지 못한것에 대해 후회한다. 그래도 플라위는 상황이 심각하지만 긍정적인 부분을 생각하라면서 드디어 인간을 물리치는데 성공했다며 위로해준다.
그러면서 아스고어에게 전화가 걸려오는데, 전화를 받는 상대는 다름아닌 알피스였고, 아직 살아남은 괴물들이 있다는 암시를 하면서 게임은 끝난다.

**음악 목록**
 페이즈 1
https://m.youtube.com/watch?v=tm8EyQEO3yo&pp=ygUYTGFzdCBicmVhdGggc2FucyBwaGFzZSAx- 페이즈 2
https://m.youtube.com/watch?v=oM9GHCuOE50&pp=ygUYTGFzdCBicmVhdGggc2FucyBwaGFzZSAx- 페이즈 3
https://m.youtube.com/watch?v=PyoSCZLRURs- 페이즈 4
https://m.youtube.com/watch?v=akPu0sqBm5U&pp=ygUYbGFzdCBicmVhdGggc2FucyBwaGFzZSA0
분류:2020년 비디오 게임
Unlucky Morpheus

Unlucky Morpheus(언럭키 모피어스)는 일본의 헤비 메탈 밴드이자 멜로딕 스피드 메탈 밴드이다.

**음반**

**정규 음반**

**주요 확장 음반**

**메이저 싱글 음반**

**각주**

**외부 링크**
  Official website
분류:일본의 헤비 메탈 밴드
분류:2008년 결성된 음악 그룹
분류:6인조 음악 그룹
박주현 (1971년)

박주현(朴珠現, 1971년 8월 13일 ~ )은 대한민국의 제7·8·9대 강원도 동해시의원이다. 강원도 동해시 묵호읍 출신이다.

**학력**
 동호국민학교 25회- 묵호여자중학교 18회- 묵호고등학교 34회- 동해전문대학교 사무자동화과 졸업- 한국방송통신대학교 영어영문학과- 강원대학교 대학원 영어영문학 석사과정 졸업

**경력**
 기독교대한감리회 동해시·삼척시 지방연합회 청년회장- 동해화력발전처 외국인 감리단(ABBCE) 근무- 열린우리당 강원도당 동해시·삼척시 당원협의회 여성위원장- 민주평화통일자문회의 동해시협의회 사회복지분과위원장- 한명숙 대선경선 동해시 여성위원장- 묵호고등학교 총동문회 총무국 차장(인터넷 팀장)- 한명숙 팬클럽 '행복한사람들' 공동대표- 강원체신청 강사지원단 정보화교육 강사- 동해시청 정보화교육 강사(평생학습관)- 민주당 강원도당 여성위원회 부위원장- 2014.07 ~ 2018.06 제7대 강원도 동해시의회 의원- 2014.07 ~ 2016.07 제7대 강원도 동해시의회 전반기 예산결산특별위원회 위원- 2016.07 ~ 2018.06 제7대 강원도 동해시의회 후반기 예산결산특별위원회 위원- 더불어민주당 강원도당 윤리심판위원회 윤리심판위원- 2018.07 ~ 2022.06 제8대 강원도 동해시의회 의원- 2018.07 ~ 2020.07 제8대 강원도 동해시의회 전반기 예산결산특별위원회 위원- 2020.07 ~ 2022.06 제8대 강원도 동해시의회 후반기 예산결산특별위원회 위원- 더불어민주당 강원도당 여성위원회 부위원장- 더불어민주당 강원도당 대변인- 호민관대학 자치분권 강사(강원도 지방분권 전문강사)- 더불어민주당 탈당- 2023.08.14 국민의힘 입당- 2024.04 ~ 제9대 강원특별자치도 동해시의회 의원- 2024.04 ~ 2024.07 제9대 강원특별자치도 동해시의회 전반기 예산결산특별위원회 위원- 2024.07 ~ 제9대 강원특별자치도 동해시의회 후반기 윤리특별위원회 위원장- 2024.07 ~ 제9대 강원특별자치도 동해시의회 후반기 예산결산특별위원회 위원

**수상**
 강원도지사 표창(도민 정보화교육 기여)- 2018.03.09 제3회 강원의정봉사상 수상- 2020.12.01 제5회 강원의정봉사상 수상- 2021.12.22 제6회 강원의정봉사상 수상

**역대 선거 결과**
분류:1971년 출생
분류:살아있는 사람
분류:동호초등학교 (강원) 동문
분류:하랑중학교 (강원) 동문
분류:묵호고등학교 동문
분류:한중대학교 동문
분류:한국방송통신대학교 동문
분류:강원대학교 동문
분류:동해시의원
분류:국민의힘 당원
분류:20세기 대한민국 사람
분류:21세기 대한민국 사람
프랑스 여자 핸드볼 국가대표팀

프랑스 여자 핸드볼 국가대표팀(Équipe de France féminine de handball)은 프랑스를 대표하여 국제 경기에 참가하는 핸드볼 국가대표팀이며, 프랑스 핸드볼 연맹이 운영하고 있다. 

**외부 링크**
 fr 
분류:여자 핸드볼 국가대표팀
핸드볼