laion/Wikipedia-Exotic huggingface dataset:
익명 함수

익명 함수(Anonymous function)는 컴퓨터 프로그래밍에서 식별자에 바인딩되지 않은 함수 정의이다. 익명 함수는 종종 고차 함수에 전달되거나 함수를 반환해야 하는 고차 함수의 결과를 구성하는 데 사용되는 인수이다. 함수가 한 번만 사용되거나 제한된 횟수로 사용되는 경우 익명 함수는 명명된 함수를 사용하는 것보다 구문적으로 더 가벼울 수 있다. 익명 함수는 함수형 프로그래밍 언어와 일급 함수를 사용하는 기타 언어에서 어디에나 존재하며, 리터럴이 다른 데이터 유형에 대해 수행하는 것과 동일한 역할을 함수 유형에 대해 수행한다. 익명 함수는 전자 컴퓨터 이전인 1936년에 모든 함수가 익명인 람다 미적분학을 발명한 알론조 처치의 작업에서 유래되었다. 여러 프로그래밍 언어에서는 익명 함수가 람다 키워드를 사용하여 도입되며 익명 함수를 종종 람다 또는 람다 추상화라고 한다. 익명 함수는 1958년 리스프 이후 프로그래밍 언어의 기능이었으며 점점 더 많은 현대 프로그래밍 언어가 익명 함수를 지원한다. 일급 함수 “Higher order functions” (미국 영어). learnyouahaskell.com. 2014년 12월 3일에 확인함.  Fernandez, Maribel (2009), 《Models of Computation: An Introduction to Computability Theory》, Undergraduate Topics in Computer Science, Springer Science & Business Media, 33쪽, ISBN 9781848824348, The Lambda calculus ... was introduced by Alonzo Church in the 1930s as a precise notation for a theory of anonymous functions  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 Abelson, Harold; Sussman, Gerald Jay (1984). 《Structure and Interpretation of Computer Programs》. MIT Press. Formulating Abstractions with Higher-Order Procedures. ISBN 0-262-01077-1. 2021년 9월 21일에 원본 문서에서 보존된 문서. 2024년 4월 13일에 확인함.  Programming language pragmatics, by Michael Lee Scott, section 11.2 "Functional Programming". Roberto Ierusalimschy; Luiz Henrique de Figueiredo; Waldemar Celes (2005). “The Implementation of Lua 5.0”. 《Journal of Universal Computer Science》 11 (7): 1159–1176. doi:10.3217/jucs-011-07-1159.  Burstall, Rod; Strachey, Christopher (2000). “Understanding Programming Languages” (PDF). 《Higher-Order and Symbolic Computation》 13 (52): 11–49. doi:10.1023/A:1010052305354. S2CID 1989590. 2010년 2월 16일에 원본 문서 (PDF)에서 보존된 문서.  (also on 2010-02-16 Joel Moses. "The Function of FUNCTION in LISP, or Why the FUNARG Problem Should be Called the Environment Problem". MIT AI Memo 199, 1970. 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 보관됨 11월 12, 2019 - 웨이백 머신 at IBM developerWorks
의존형

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

김제선(1963년 11월 18일~)은 대한민국의 정치인이다. 제22대 대전광역시 중구청장(2024. 4.~)이다. 2024년 상반기 재보궐 선거에서 당선되었다. 대전자양초등학교 졸업 충남중학교 졸업 보문고등학교 졸업 충남대학교 행정학과 중퇴 한국방송통신대학교 행정학 학사 목원대학교 대학원 공공정책학 석사 대전참여자치연대 사무처장 대전참여자치연대 정책위원장 대전참여자치연대 집행위원장 지방분권국민운동 공동집행위원장 (사)풀뿌리사람들 상임이사 대전광역시 사회적자본지원센터 센터장 (재)충남연구원 이사 재단법인 희망제작소 소장 한국혁신가네트워크 공동대표 경기도 평생교육진흥원 원장 세종특별자치시교육감 비서실장 2024년 4월 11일~: 제22대 민선 8기 대전광역시 중구청장(초선) ※중앙선거관리위원회 선거통계시스템. "김제선(金濟善) 1963년 11월 18일(남) [2024.04.10] 제22대 국회의원선거더불어민주당 / 구·시·군의 장선거 / 대전광역시(중구) / 62,726표 (49.99%) 당선" 최일 (2024년 4월 11일). “김제선 대전 중구청장 취임…"선순환 지역 경제 키워갈 것"”. 《뉴스1》. 네이버 뉴스(보존) (대전). 2024년 5월 9일에 원본 문서에서 보존된 문서. 2024년 5월 10일에 확인함.  김소진 (2024년 4월 11일). “기초단체장 재·보궐 선거…국민의힘·민주 1석씩 차지”. 《농민신문》. 네이버 뉴스(보존). 2024년 5월 9일에 원본 문서에서 보존된 문서. 2024년 5월 10일에 확인함.
제약 프로그래밍

제약 프로그래밍(Constraint programming, CP)은 인공지능, 컴퓨터 과학, 운용과학의 광범위한 기술을 활용하는 조합 문제를 해결하기 위한 패러다임이다. 제약 프로그래밍에서 사용자는 일련의 결정 변수에 대해 실행 가능한 솔루션에 대한 제약 조건을 선언적으로 명시한다. 제약 조건은 실행할 단계나 단계의 순서를 지정하지 않고 찾을 솔루션의 속성을 지정한다는 점에서 명령형 프로그래밍 언어의 일반적인 기본 형식과 다르다. 제약 조건 외에도 사용자는 이러한 제약 조건을 해결하기 위한 방법을 지정해야 한다. 이는 일반적으로 시간순 퇴각검색 및 제약 조건 전파와 같은 표준 방법을 사용하지만 문제별 분기 휴리스틱과 같은 사용자 정의 코드를 사용할 수도 있다. 제약 프로그래밍은 제약 조건을 논리 프로그램에 포함하는 제약 조건 논리 프로그래밍에 뿌리를 두고 있으며 제약 조건 논리 프로그래밍의 형태로 표현될 수 있다. 이러한 논리 프로그래밍 변형은 프롤로그 II에 도입된 특정 제약 클래스를 1987년에 확장한 재퍼(Jaffar)와 라세즈(Lassez)에 의해 탄생했다. 제약 논리 프로그래밍의 첫 번째 구현은 프롤로그 III, CLP(R) 및 CHIP이었다. 논리 프로그래밍 대신 제약 조건을 함수형 프로그래밍, 용어 재작성 및 명령형 언어와 혼합할 수 있다. 제약 조건을 기본적으로 지원하는 프로그래밍 언어로는 오즈(함수 프로그래밍) 및 칼레이드스코프(Kaleidscope, 명령형 프로그래밍)가 있다. 대부분의 제약 조건은 기존 명령형 언어에 대한 별도의 라이브러리인 제약 조건 해결 툴킷을 통해 명령형 언어로 구현된다. 조합 최적화 수학적 최적화 Rossi, Francesca; Beek, Peter van; Walsh, Toby (2006년 8월 18일). 《Handbook of Constraint Programming》 (영어). Elsevier. ISBN 9780080463803.  Jaffar, Joxan, and J-L. Lassez. "Constraint logic programming." Proceedings of the 14th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, 1987. Association for Constraint Programming CP Conference Series Archived 2019년 2월 11일 - 웨이백 머신 Guide to Constraint Programming The Mozart Programming System - archive.today (보관됨 12월 5, 2012), an Oz-based free software (X11-style) Cork Constraint Computation Centre - archive.today (보관됨 1월 7, 2013)
서점원

서점원(徐点源, 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 ~ 제9대 인천광역시 남동구의회 의회운영위원회 위원 2024.04 ~ 제9대 인천광역시 남동구의회 사회도시위원회 위원
극장판 울려라! 유포니엄: 앙상블 콘테스트

《극장판 울려라! 유포니엄: 앙상블 콘테스트》(特別編 響け！ユーフォニアム〜アンサンブルコンテスト〜 도쿠베쓰헨 히비케 유포니아무 안산부루 콘테스토[*])는 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) 국제경쟁 장편 부문 출품작이며, 이시하라 타츠야 감독이 내한하여 팬들과 인사하는 시간을 가졌다. “『響け！ユーフォニアム』久美子2年生編（誓いのフィナーレ+アンサンブルコンテスト）の一挙上映が決定。TVアニメ3期の初公開映像も上映”. 《ファミ通.com》. KADOKAWA Game Linkage. 2024년 2월 17일. 2024년 2월 22일에 확인함.  芝田佳浩; 本田貴信; 中塩路良平 (2023년 8월 26일). “京アニが見せた「復活の兆し」事件以来の代表作公開、元社員が語るスタジオの現在地とは”. 《京都新聞》. 2024년 1월 31일에 확인함.  극장판 울려라! 유포니엄: 앙상블 콘테스트 - 공식 웹사이트 애니메이션 '울려라! 유포니엄' 공식 - X (영어) 극장판 울려라! 유포니엄: 앙상블 콘테스트 - 인터넷 영화 데이터베이스
의도적 프로그래밍

의도적 프로그래밍(Intentional programming)은 컴퓨터 프로그래밍에서 찰스 시모니가 개발한 프로그래밍 패러다임으로, 프로그래머(또는 사용자)가 작업을 구상할 때 염두에 둔 정확한 의도를 소프트웨어 소스 코드에 인코딩한다. 프로그래머가 생각하는 적절한 추상화 수준을 사용하면 컴퓨터 프로그램을 만들고 유지 관리하는 것이 더 쉬워진다. 의도에 대한 관심과 그 작동 방식을 분리함으로써 소프트웨어는 더욱 모듈화되고 재사용 가능한 소프트웨어 코드를 허용한다. 의도적 프로그래밍은 패러다임을 개발하고 패러다임을 시연한 IP(의도적 프로그래밍용)라는 통합 개발 환경(IDE)을 구축한 마이크로소프트 리서치의 팀을 이끌었던 전 마이크로소프트 수석 설계자 찰스 시모니가 개발했다. 마이크로소프트는 2000년대 초에 자바 채택에 대응하기 위해 C 샤프 및 닷넷을 출시했기 때문에 의도적 프로그래밍 패러다임을 제품화하지 않기로 결정했다. 찰스 시모니는 마이크로소프트의 승인을 받아 자신의 아이디어를 마이크로소프트에서 가져와 직접 상용화하기로 결정했다. 그는 이를 추구하기 위해 인탠셔널 소프트웨어라는 회사를 설립했다. 마이크로소프트는 시모니가 마이크로소프트에 재직하는 동안 소스 코드 없이 취득한 의도적 프로그래밍 특허를 인탠셔널 소프트웨어에 라이선스를 부여했다. 마이크로소프트 리서치에서 개발된 의도적 프로그래밍에 대한 개요는 생성적 프로그래밍: 방법, 도구 및 응용 프로그램 책의 11장에 나와 있다. 자동 프로그래밍 객체 지향 데이터베이스 "Simonyi explains, 'It was impractical, when Microsoft was making tremendous strides with .Net in the near term, to somehow send somebody out from the same organization who says, "This is not how you should do things--what if you did things in this other, more disruptive way?'" (Quote from "Anything You Can Do, I Can Do Meta", Tuesday, January 9, 2007, Scott Rosenberg, Technology Review. 보관됨 20 9월 2020 - archive.today) Generative Programming: Methods, Tools, and Applications, by Krzysztof Czarnecki and Ulrich Eisenecker, Addison-Wesley, Reading, MA, USA, June 2000. 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" 보관됨 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년 논문에서 만들어졌다. 전처리기 Feinberg, N.; Keene, S. E.; Matthews, R. O.; Withington, P. T. (1997), 《Dylan programming: an object-oriented and dynamic language》, Addison Wesley Longman Publishing Co., Inc.  Kohlbecker, E.; Friedman, D. P.; Felleisen, M.; Duba, B. (1986). 〈Hygienic Macro Expansion〉 (PDF). 《ACM conference on LISP and functional programming》.
의미론 (컴퓨터 과학)

의미론 또는 시맨틱스(semantics)는 프로그래밍 언어 이론에서 프로그래밍 언어의 의미에 대한 엄격한 수학적 연구이다. 의미론은 프로그래밍 언어 구문의 유효한 문자열에 컴퓨테이션적 의미를 할당한다. 이는 수학적 증명의 의미론과 밀접하게 관련되어 있으며 종종 교차된다. 의미론은 특정 언어로 프로그램을 실행할 때 컴퓨터가 따르는 프로세스를 설명한다. 이는 프로그램의 입력과 출력 간의 관계를 설명하거나 프로그램이 특정 플랫폼에서 어떻게 실행되는지 설명하여 계산 모델을 생성함으로써 수행될 수 있다. 존재론 온톨로지 Goguen, Joseph A. (1975). 〈Semantics of computation〉. 《Category Theory Applied to Computation and Control》. Lecture Notes in Computer Science 25. Springer. 151–163쪽. doi:10.1007/3-540-07142-3_75. ISBN 978-3-540-07142-6.  Aaby, Anthony (2004). 《Introduction to Programming Languages》. 2015년 6월 19일에 원본 문서에서 보존된 문서.  Semantics.
형식 검증

형식 검증(Formal verification)은 하드웨어 및 소프트웨어 시스템의 맥락에서 공식 수학 방법을 사용하여 특정 형식 사양 또는 속성과 관련하여 시스템의 정확성을 증명하거나 반증하는 행위이다. 형식 검증은 시스템의 형식 사양을 위한 주요 인센티브이며 형식 방법의 핵심이다. 이는 전자 설계 자동화에서 분석 및 검증의 중요한 차원을 나타내며 소프트웨어 검증에 대한 한 가지 접근 방식이다. 공식 검증을 사용하면 컴퓨터 보안 인증에 대한 공통평가기준 프레임워크에서 가장 높은 평가 보증 수준(EAL7)이 가능하다. 공식 검증은 암호화 프로토콜, 조합 회로, 내부 메모리가 있는 디지털 회로, 프로그래밍 언어의 소스 코드로 표현된 소프트웨어와 같은 시스템의 정확성을 입증하는 데 도움이 될 수 있다. 검증된 소프트웨어 시스템의 대표적인 예로는 CompCert 검증 C 컴파일러와 seL4 높은 보증 운영 체제 커널이 있다. 이러한 시스템의 검증은 시스템의 수학적 모델에 대한 공식적인 증거가 존재하는지 확인함으로써 수행된다. 시스템을 모델링하는 데 사용되는 수학적 개체의 예로는 유한 상태 기계, 레이블이 있는 전환 시스템, 혼 절, 페트리 넷, 벡터 추가 시스템, 시간 제한 오토마타, 하이브리드 오토마타, 프로세스 대수, 프로그래밍 언어의 형식 의미(예: 연산 의미론, 표시 의미론, 공리적 의미론 및 호어 논리) 등이 있다. 자동 정리 증명 정적 프로그램 분석 Sanghavi, Alok (2010년 5월 21일). “What is formal verification?”. 《EE Times Asia》.  Sanjit A. Seshia; Natasha Sharygina; Stavros Tripakis (2018). 〈Chapter 3: Modeling for Verification〉. Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut; Bloem, Roderick. 《Handbook of Model Checking》. Springer. 75–105쪽. doi:10.1007/978-3-319-10575-8. ISBN 978-3-319-10574-1.  Introduction to Formal Verification, Berkeley University of California, Retrieved November 6, 2013
최옥술

최옥술(崔玉述, 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 ~ 제9대 대전광역시 유성구의회 행정자치위원회 위원
에이스맥스 레드

에이스맥스 레드는 중국의 음악 그룹이다. 2016년 싱글《暖光》으로 데뷔했다. 아이돌 리부팅 프로젝트 더 유닛 (2017) MAXY (2016) Merry Acemas (2016) 启晨 (2017) 暖光 (2017) Goodbye School (2017) 一天一天 (2017) https://n.news.naver.com/article/016/0001297231?sid=106
최은희 (1971년)

최은희(崔銀熙, 1971년 5월 18일 ~ )은 대한민국의 제9대 경기도 화성시의원이다. 숭의여자전문대학 경영과 졸업 화성시 서부녹색어머니연합회 회장 한국외식업중앙회 화성시지부 이사 화성푸드통합지원센터 이사 2024.04 ~ 제9대 경기도 화성시의회 의원 2024.04 ~ 제9대 화성시의회 경제환경위원회 위원
이종문 (1969년)

이종문(李鍾文, 1969년 7월 24일 ~ )은 대한민국의 제9대 경기도 부천시의원이다. 서울특별시 출신이다. 1989.03 한국외국어대학교 무역학과 3년 수료 2001 인하대학교 사학과 졸업 1990 민주자유당 합당 3당 야합 창당대회 반대시위관련 구속 2002 권영길 대통령 후보 부천공동선대본부장 2002 여중생범대위 부천지역 공동대표 2003 이라크파병반대 부천시민행동 공동대표 민주노동당 경기도지부 자주통일위원장 경기도 학교급식개선과 조례제정 부천공동본부장 우리배움터 공동대표(저소득층 아이들과 이주노동자 자녀들의 방과후 공부방) 부천민중연대공동대표 부천비정규노동센터소장 부천시 공공의료원 설립 및 운영 조례안 청구인 대표자 진보당 부천시지역위원회 공동위원장 (사)나눔과 섬김 이사 윤석열반대부천시국회의 공동대표 2024.04 ~ 제9대 경기도 부천시의회 의원 2024.04 ~ 제9대 경기도 부천시의회 재정문화위원회 위원
리튬포어스

리튬포어스(Lithium For Earth Inc.)는 대한민국의 반도체 검사장비 및 인터페이스, 제약, 휴대폰 악세사리 기업이다. 본사는 서울특별시 성동구 아차산로17길 48 1120호에 위치해 있으며 대표이사는 변익성이다. 사명과 달리 매출의 0.6%만 리튬으로 발생하며 핸드폰 악세사리가 주력이다. 프롬써어티으로 설립되었다가 피엠지파마사이언스로 그리고 2023년 5월 현재의 상호를 변경하였다. (주)위드모바일을 합병하였다. 하이드로리튬 한국IR협의회 기술분석보고서-피엠지파마사이언스, 2018. 12. 20 <코>리튬포어스, 상한가 진입.. +30.00% ↑, 서울경제, 2024년 3월 18일 권영지, 리튬포어스, 리튬 간판만 걸고 헛발질에 풋옵션까지, IB토마토, 2024-07-25 공식홈페이지
정영식 (1965년)

정영식(丁榮植, 1965년 1월 26일 ~ )은 대한민국의 제9대 경기도 광명시의원이다. 아주대학교 교통·ITS대학원 공학석사 졸업 광명시 자원봉사센터 이사 일직동 지역사회보장협의체 위원장 2024.04 ~ 제9대 경기도 광명시의회 의원 2024.04 ~ 제9대 경기도 광명시의회 복지문화건설위원회 위원
이희성 (1985년)

이희성(李熙晟, 1985년 1월 21일 ~ )은 대한민국의 제9대 경기도 김포시의원이다. 동국대학교 문화예술대학원 예술경영학석사 졸업 대통령직속 국가균형발전위원회 국민소통 특별위원 더불어민주당 중앙당 부대변인 2024.04 ~ 제9대 경기도 김포시의회 의원 2024.04 ~ 제9대 경기도 김포시의회 도시환경위원회 위원
언더테일 라스트 브레스

언더테일 라스트 브레스(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
Unlucky Morpheus

Unlucky Morpheus(언럭키 모피어스)는 일본의 헤비 메탈 밴드이자 멜로딕 스피드 메탈 밴드이다. Unlucky Morpheusのアルバムランキング [Unlucky Morpheus album ranking]. 《오리콘》 (일본어). 2024년 1월 29일에 확인함.  Unlucky Morpheusのシングルランキング [Unlucky Morpheus single ranking]. 《오리콘》 (일본어). 2024년 1월 29일에 확인함.  Official website
박주현 (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 ~ 제9대 강원특별자치도 동해시의회 예산결산특별위원회 위원 강원도지사 표창(도민 정보화교육 기여) 2018.03.09 제3회 강원의정봉사상 수상 2020.12.01 제5회 강원의정봉사상 수상 2021.12.22 제6회 강원의정봉사상 수상
프랑스 여자 핸드볼 국가대표팀

프랑스 여자 핸드볼 국가대표팀(프랑스어: Équipe de France féminine de handball)은 프랑스를 대표하여 국제 경기에 참가하는 핸드볼 국가대표팀이며, 프랑스 핸드볼 연맹이 운영하고 있다. 위키미디어 공용에 프랑스 여자 핸드볼 국가대표팀 관련 미디어 분류가 있습니다. (프랑스어) 프랑스 여자 핸드볼 국가대표팀 - 공식 웹사이트
안재창

안재창(安載昌, 1873년 12월 10일 ~ 1963년 11월 20일) 일제시대 독립운동가. 본적은 경기도 양주(楊州)이다. 1903년, 하와이 사탕수수 농장의 노동이민자로 미국으로 이주하여 미주 한인사회를 중심으로 독립운동을 전개하였다. 또한 미시간 주 디트로이트 지방의 한인 사회를 이끈 지도자였다. 본관은 죽산(竹山)이다. 아버지는 안시용(安時容)이며, 형인 안재극(安載克)·안재목(安載穆)이 있으며 넷째 아들이다. 조카로 안창호(安昌鎬)가 있다. 1873년, 지금의 경기도 남양주시 별내동 식송마을에 해당하는 경기도 양주군 별내면 덕송리 심근솔의 죽산 안씨 집성촌에서 태어났다. 미국 하와이로 이주하여 독립운동에 투신하였던 죽산 안씨 일가 중 한 명으로, 조카 안창호의 권유를 받아 형인 안재극·안재목과 함께 1902년 12월 22일, 대한제국 제물포항에서 일본 제국과 북중국을 정기적으로 운항하는 일본 선박 켄카이마루를 타고 하와이로 출발하였다. 그리고 1903년 1월 13일, 미국 하와이 주 호놀룰루에 도착하여 이민 생활을 시작하였다. 한국 최초의 미주지역(美洲地域) 이민자 중의 한 명이다. 안재창은 하와이에 있는 한 사탕수수 농장에서 일을 하다가 1907년 3월, 윤병구 목사와 함께 미국 본토인 샌프란시스코로 밀입국하였다. 이후 미국 네브라스카주 링컨의 농장에서 농지개간 사업에 종사하였으며, 국채보상운동이 일어나자 의연금으로 3원을 헌납하였다. 1907년 6월, 솔트레이크로 이사를 가서 3년간 있으면서 첫 1년반은 노동을, 그리고 정원사로 일하면서 저녁에는 성인학교에서 영어를 배웠다. 또한 1909년, 박용만(朴容萬)이 세운 네브래스카 주의 헤이스팅스에 있는 한인소년병학교(韓人少年兵學校)와 생도들을 물심양면 지원하고자 조진찬‧이상진 등과 함께 소년병학교 유지단(維持團)을 조직하였다. 그는 광복 때까지 동지회(同志會)와 대한인국민회(大韓人國民會), 대한민국 임시정부 및 구미위원부(歐美委員部), 광복군 등에 많은 양의 독립운동 자금을 지속적으로 헌납하였다. 1910년 12월, 네브라스카 주 링컨으로 이주하여 박용만, 최경오와 투자하여 농장을 경영했다. 미국 본토 대평원 지역에서 농장을 경영해 성공한 안재창은 1916년, 네브라스카 주 한인거류민회 회장이 되었다. 이후 안재창은 디트로이트에 옮겨가 중국 음식 제조업에 투신하여 정양필, 조오흥 3인이 1922년, 합자로 찹수이 도매회사인 '정안회사'를 설립해 한때 크게 성공하였다. 한인 이민사 전문가 안형주는 당시 안재창이 만든 정안회사의 경영전략이 나름 눈에 띄는 방식으로 운영되었고, 이런 운영 방식이 성공의 밑거름이 됐다고 다음과 같이 지적하였다. 1925년, 정안회사를 주식회사로 변경, 새 건물을 건축하였고 재산은 30만달러에 이르는 큰 자본을 모았다. 남궁염의 권유로 워싱턴 DC에 있는 구미위원부에서 대한민국 시민이라는 신분증을 발급받았다. 그리고 이승만을 지지하는 동지회에 가입했다. 1929년, 재미한인 단체인 동지회의 디트로이트 지회를 조직하였다. 그러나 그가 운영하던 정안회사는 경제대공황으로 큰 타격을 받게되었고, 찹수이 도매업에서 소매업으로 집중하여 명맥을 이어나갔다. 1942년, 대동보국회(大同輔國會)가 국민회에 흡수되어 조직된 대한인국민회의 디트로이트 지방회를 결성하는 데 참여하였다. 1951년 4월, 그의 회사는 해체 신고를 하고 시설과 고객 계정을 매각했다. 그 후 정오리엔탈푸드 등 다른 중국음식 판매 업체에 관여하기도 했지만 크게 성공하지 못했고, 은퇴 생활을 하다가 1963년 11월 20일, 90세를 일기로 사망하였다. 안재창에게 박용만이나 이승만은 최고 학부를 졸업한 카리스마가 있는 독립투사들이었기에 그들을 지도자로 섬기고 성원했고, 박용만이 하와이를 떠난 뒤에는 이승만을 일생 내내 지지하였다고 안형주는 증언하였다. 또한 박용만도 안재창의 일생에서 빼놓을 수 없는 존재였는데, 네브래스카 링컨에서 박용만이 투자한 농장에 합자해 사업을 경영하였다. 또 박용만에게서 농장을 소유하게 되는 절차를 배웠고, 한인 소년병학교 출신이며 네브래스카 농과대학 졸업생인 정양필과 한시호에게 과학적으로 농사짓는 방법을 배웠으며, 그들과 동업자가 되어 주식회사를 세우기도 했다. 안재창은 부인 안유순과 장남 광호, 장녀 기영, 막내 서영을 두었다. 미국에서의 독립 활동이 인정되어 1998년, 건국훈장 애족장이 추서되었다. “안재창(安載昌)”. 《한국역대인물 종합정보 시스템.》.  “독립유공자 공적정보 안재창”. 《공훈전자사료관》.  김강산. “안재창(安載昌)”. 《디지털남양주문화대전》.  “찹수이 도매업으로 성공 후 이승만 박사를 도운 안재창”. 《대한인국민회 기념재단》. 2016년 8월 4일.  김정우 (2022년 1월 13일). “[인물로 돌아보는 미주 한인사] 1세대 이민자 안재창 (6) '역사적 의미'”. VOA.  “미국의 독립유공자안재창 Chae Chang Ahn 安載昌”. 《한인 역사박물관》. 2014년 7월 7일.
야리 라우카넨

야리 라우카넨(핀란드어: Jari Laukkanen)은 다음 사람을 가리킨다. 야리 라우카넨(1962년~2019년)은 핀란드의 크로스컨트리 스키 선수이다. 야리 라우카넨(1967년~)은 핀란드의 아이스하키 선수이다. 야리 라우카넨(1969년~)은 핀란드의 컬링 선수이다.
하이드로리튬

하이드로리튬(Hydro Lithium Inc.)는 대한민국의 기업이다. 본사는 경기도 광주시 오포읍 오포안로 46-10 에 위치해 있으며 대표이사는 전웅이다. 이차전지소재 제조·판매 및 폐전지 재활용, 광물자원 개발 등의 사업을 하고 있다 새만금 국가사업단지에 수산화리튬 대량 생산 공장을 만들 계획에 있으며 대주주인 리튬플러스가 볼리비아 염호 개발 국제 모집 3단계 평가 결과 상위 그룹에 포함돼 4단계 평가로 진입한 바 있다 2022년 10월 13일에 리튬플러스에 인수되었다. 리튬포어스 이브이첨단소재 미래산업 미래나노텍 김성호, 하이드로리튬, 볼리비아 염호개발 4단계 평가절차 돌입···장중 한때 上, 증권일보, 2024년 6월 11일 정희경, 하이드로리튬 리튬포어스 주가 장중 뛰어, 리튬 가격 바닥론에 리튬주 강세, 비즈니스포스트, 2023년 10월 17일 박기영, 하이드로리튬, 오버행 우려↑…리튬 실적은 언제?, 딜사이트, 2023년 12월 6일 양귀남, 하이드로리튬, 볼리비아 염호 개발 국제 모집 4단계 진입, 더벨, 2024.06.11 공식홈페이지 Archived 2022년 12월 9일 - 웨이백 머신