hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
한국거래소 주요 업무
상장은 거래소가 정한 요건을 충족한 기업이 발행한 주권을 증권시장에서 거래될 수 있도록 허용하는 것이다. 한국거래소는 상장된 주권에 대해 그 가치를 보증하지는 않는다. 다만 거래소는 거래가 원활하게 이루어지고 가격이 공정하게 형성될 수 있도록 주권 발행기업을 절차에 따라 심사하여 주권을 상장함으로써 기업이 자금을 조달할 수 있게 하고 투자자를 보호하며 투자기회를 제공하는 것이다.
상장법인으로 하여금 자사주식의 투자판단에 중대한 영향을 미칠 수 있는 중요한 정보를 투자자에게 공시하도록 하는 것이다. 투자자는 기업이 공시하는 정보를 참고하여 자유로운 판단과 책임하에 투자결정을 내린다. 공시는 기업과 투자자간 정보의 불균형을 해소하고 증권시장의 공정성을 확보하여 투자자를 보호하는 데 그 목적이 있다.
한국거래소 주요 업무
ETF(Exchange Traded Funds) 증권의 가격이나 주가지수의 움직임에 따라 수익률이 결정될 수 있도록 만들어진 증권상품이다. 자산운용사들이 발행하는 금융상품으로서 여러 주식에 투자하여 만들어지는 상품이기 때문에 상장지수 집합투자증권이라고도 한다. 펀드의 일종으로서 분산투자 효과와 아울러 거래소에 상장되므로 투자와 환금이 편리하여 매매편의성과 낮은 거래비용의 장점이 있다.
거래소 채권시장은 기관투자자와 일반투자자 모두 참여가 가능하다. 국채전문유통시장, Repo 시장, 소액채권시장 및 일반채권시장으로 구분하여 운영된다.
한국거래소 주요 업무
정부는 한국거래소를 온실가스배출권거래소로 지정하였고(2014년 1월 15일), 배출권시장은 2015년 1월 개설되었다. 배출권시장에서는 기업별로 할당된 온실가스 배출허용량(Cap)을 기준으로 기업의 배출량이 적을 경우 그 잉여 배출량을 시장에서 팔 수 있고, 배출허용량보다 초과한 경우 그 기업은 초과한 배출량만큼을 시장에서 구매할 수 있게 되었다. 배출량 거래제도는 효과적인 온실가스 감축과 아울러 기업의 녹색기술 개발 유인을 극대화할 수 있는 장치이다. 탄소배출권 시장에서 거래할 수 있는 시장참가자는 배출권이 할당되는 기업체, 공적금융기관(산업은행, 중소기업은행, 한국수출입은행) 및 정부이다. 일반 개인투자자는 매매거래에 참여하지 못한다.
한국거래소 주요 업무
청산(Clearing)은 매도 및 매수 당사자 사이에 개입하여 모든 매도자에 대해서는 매수자, 모든 매수자에 대해서는 매도자가 되는 중앙거래당사자(CCP, Central Counterparty) 기능을 하는 것이다. 즉 청산은 CCP의 지위에서 매도자 매수자간 채권 채무를 차감하여 확정하고 결제기관에 결제지시를 하며 결제이행을 보증한다. 결제(Settlement)는 청산을 통해 확정된 채권 채무를 증권 인도 및 대금 지급의 방법으로 이행하여 매매거래를 종결시키는 절차이다.
장외파생상품 청산서비스 2013년 9월, 한국거래소는 국내 최초로 장외파생상품 청산기관 인가를 정부로부터 취득함에 따라 2014년 6월부터 장외파생상품의 하나인 원화 이자율스왑(IRS, Interest Rate Swap)거래에 대한 의무청산서비스를 시작하였다. 2016년 12월부터는 달러 이자율스왑 거래에 대한 자율청산서비스도 시행하고 있다.
예방감시 한국거래소의 시장감시위원회는 불공정거래로 이어질 우려가 있는 거래에 대해 해당 투자매매업자(증권회사)에 대해 예방조치를 취하도록 요구한다. 또한 투자매매업자가 자체적으로 불공정거래 방지활동을 수행할 수 있도록 지원한다. 위원회는 시세조종, 미공개정보이용, 단기매매차익 등 불공정거래를 신고할 수 있는 불공정거래 신고센터를 운영하고 있다.
심리/감리 거래소는 시장에서 유가증권의 가격 또는 거래량에 현저한 변동을 가져온 거래 또는 유가증권의 가격에 영향을 미칠 수 있는 공시 풍문 보도 등과 관련하여 불공정매매 혐의가 있는 거래를 조사하는 심리활동을 한다. 거래소는 또한 투자매매업자 및 투자중개업자 등 회원의 의무이행 및 업무관련규정 준수 여부를 확인하는 감리업무도 수행한다.
분쟁조정 투자자와 증권회사 또는 선물회사간 분쟁이 발생할 경우 시장감시위원회는 중립적인 입장에서 투자자들이 신속하게 비용부담 없이 피해구제를 받을 수 있도록 분쟁해결을 돕는다. 분쟁조정대상은 시장에서 매매거래와 관련하여 발생한 권리의무 또는 이해관계에 관한 분쟁이며 위원회의 조정안을 당사자들이 수락하면 민법상 화해계약의 효력이 발생한다.
한국 주식시장의 대표 지수는 코스피(KOSPI)이다. KOSPI200은 대표적인 우량주(블루칩) 지수로서 선물, 옵션, ETF, ELS 등 다양한 금융상품의 기초지수로 이용된다. 거래소는 1964년 수정주가평균식 주가지수를 발표한 이후 현재까지 주가지수, 채권지수, 파생상품지수, 전략형지수 등 다양한 지수를 발표하고 있다. 2014년 말 현재 총 130여종의 지수를 산출하고 있으며 거래소가 발효하는 지수를 기초자산으로 하는 ETF의 규모는 약 15조원 규모이다.
한국거래소 사건·사고 및 논란
2005년 1월 한국거래소는 거래소시장·코스닥시장·한국증권선물거래소가 통합하면서 본사를 부산으로 이전했다. 인원 수로는 총 700명 중 약 300명이 부산에, 400명 정도가 서울에서 근무하고 있다. 부산 본사에 있는 기획·인사·총무 등 경영지원본부 임원들은 1주일에 평균 두 번은 부산과 서울을 오간다. 1년이면 100번 이상 서울~부산을 왕복하는 셈이다. 하지만 세종특별자치시 논란 속에 정치권 등이 서울 재이전론을 들고 나오면서 한국거래소 직원들은 물론 지역경제계 전체가 혼란을 겪었다. 부산 지역의 한 시민단체 관계자는 "한국거래소가 부산으로 본사를 이전한 지 4년이 지났지만 아직도 한국거래소 본사가 완전히 부산에 안착했다고 받아들이는 지역경제인들은 별로 없다"고 말했다. 그는 "한국거래소 본사가 언제 되돌아갈지 모른다는 우려가 있었는데 이번 세종특별자치시 논란 속에 재이전 가능성에 불을 지핀 형국"이라고 덧붙였다.
한국거래소 사건·사고 및 논란
한국거래소의 서울 재이전 문제는 2009년 국회 정무위원회를 통해 흘러나왔고 한국거래소 단일노조도 본사를 부산에서 서울로 이전할 것을 요구하였다. 경영지원본부는 한국거래소의 '컨트롤타워' 역할을 하기 때문에 외부와의 활발한 소통이 필수적이며 파생상품시장본부도 사정은 마찬가지다. 선물시장이 나날이 확대되고 새로운 상품들이 쏟아지면서 주로 여의도에 본사를 둔 선물업체들과 수시로 접촉해야 하지만 물리적인 거리 때문에 어려움을 겪었다.
한국거래소 사건·사고 및 논란
한국거래소의 한 고위 관계자는 "이사장과 각 본부별 의사소통은 '화상회의 장비'가 도입되면서 상당 부분 개선됐지만 금융투자업계 인사들과 다양한 의견을 나누기는 어렵다"며 "서울과 부산을 오가며 업무를 처리하는 것은 상당한 낭비 요인으로 작용한다"고 말했다. 거래소의 또다른 관계자도 "회사 차원에서는 직원들에게 주택을 제공하느라 비용이 더 들고 직원들 입장에서도 서울과 부산에 '두 집 살림'을 하느라 지출이 많이 늘어났다"고 말했다. 실제로 부산에 근무하는 임직원들은 서울을 방문할 때마다 항공편이나 KTX 열차를 이용한다. 항공편의 경우 이용실적에 따라 15~30% 정도 할인을 받고 KTX는 20% 싼 값에 이용하지만 교통비 부담이 적지 않다. 실제 거래소의 감사보고서에 따르면 부산으로 본사가 이전하기 전인 2004년에는 국내 여비로 2억7,058만원을 지출했지만 2008년에는 16억685만원으로 늘어났다. 시간낭비도 무시할 수 없다. 부산 본사에서 여의도 사옥까지 올 때 항공편을 이용할 경우 2시간30분, KTX를 이용할 경우에는 4시간30분가량 소요된다. 한국거래소는 부산과 서울로 분리되면서 부산에 근무하는 직원들에게는 주택 편의도 제공하고 있다. 이석현 민주당 의원실에 따르면 2009년 8월 말 기준으로 한국거래소가 소유·임차 형식으로 보유하고 있는 사택 226채(276억8,300만원) 가운데 206채는 부산에 있는 것으로 나타났으며 부산으로 본사를 옮기는 바람에 발생하는 비용이었다.
한국거래소 사건·사고 및 논란
2008년 9월 21일 감사원은 한국증권선물거래소의 방만경영이 심화되고 있다며 거래소를 공공기관으로 지정, 관리해야 한다고 밝혔다. 감사원은 이날 발표한 한국증권예탁결제원 감사 처분요구서를 통해 한국증권예탁결제원 대주주인 한국증권선물거래소에 대해 "한국증권선물거래소가 사실상 공적기능을 수행하고 있지만, 감독, 견제장치는 미흡한 만큼 공공기관으로 지정해 관리할 필요가 있다"고 기획재정부 장관에게 권고했다.
공공기관 지정 여부를 결정하는 옛 기획예산처는 2007년 4월 거래소 주무부처인 옛 재정경제부가 `한국증권선물거래소는 정부지분이 없는 민간회사이고 상장을 하면 시장통제가 가능하다'는 의견을 제시하자 이를 수용해 한국증권선물거래소를 공공기관으로 지정하지 않았다.
감사원은 "2005-2007년 거래소가 유가증권 및 선물거래 중개를 통해 얻은 평균 독점수입은 전체 수입의 70.5%에 달하고 자체수입은 30.4%를 차지, 공공기관운영법상 한국증권선물거래소는 공공기관 지정요건을 충족하고 있다"고 주장했다.
한국거래소 사건·사고 및 논란
이에 대해 한국증권선물거래소 관계자는 "민영화된 한국증권선물거래소를 공공기관화하는 것은 전 세계 증권시장 흐름과는 맞지 않다"며 "한국증권선물거래소의 민영화를 통해 자율성을 높여가는 것이 옳은 방향"이라며 "감사원이 한국증권선물거래소의 방만경영을 지적하며 관리·감독이 부실하다고 지적했지만 한국증권선물거래소는 감사원 감사를 받지 않더라도 금융감독원으로부터 경영 전반에 대한 감사를 받고 있고, 최근 검찰의 수사도 받았다"고 말했다.
2009년 1월 13일 ‘한국증권선물거래소의 공공기관 지정에 관한 법리적 쟁점’이란 주제로 증권선물거래소(KRX) 주최, 한국증권법학회 후원으로 마련된 심포지엄에서 한양대학교 법과대학 정호경 교수는 공공기관 지정요건이 정부가 출연기관이나 50%이상 지분을 소유한 기관인 만큼 모든 주식을 민간이 소유하고 있는 순수한 사기업인 거래소는 공공기관의 지정대상이 될 수 없다고 밝혔다.
정호경 교수는 “사기업으로서 독점적 사업으로 인한 수입액 기준으로 공공기관을 지정하는 조항(공공기관법 제4조 제1항 제2호)은 위헌 소지 개연성이 크다”며 “사기업을 포함할 경우 헌법상 영업의 자유나 기업의 자유를 침해하는 결과를 초래한다”라고 말했다.
한국거래소 사건·사고 및 논란
2009년 1월 29일 기획재정부는 공공기관운영위원회를 개최해 한국거래소를 포함한 9개 기관을 공공기관으로 신규 지정하고 17개 기관을 지정 해제, 총 297개 기관이 운영법상 관리대상으로 확정됐다고 밝혔다.
2010년 4월 23일 국회 정무위원회 소속 의원들이 한국거래소 업무현황보고에서 거래소 공공기관 지정을 놓고 갑론을박을 벌였다. 민주당 조경태 의원은 "OECD(경제협력개발기구) 국가 중 증권거래소가 공공기관으로 지정된 나라는 슬로바키아와 한국뿐"이라며 "국제사회에 발을 맞추려면 한국거래소 공공기관 지정을 해제해야 한다"고 말했다. 민주당 김동철 의원도 "민간회사인 거래소의 이사장이 금융위원장 제청과 대통령 임명을 거쳐 부임하는 것이 상식적으로 옳은 일이냐"며 의문을 제기했다. 이어 "이명박 정부는 공기업도 민영화하겠다면서 순수 민간기관인 거래소를 통제하려 하고 있다"고 꼬집었다.
한국거래소 사건·사고 및 논란
반면 한나라당 현경병 의원은 김봉수 한국거래소 이사장을 향해 "한국거래소가 공공기관이 돼 국정감사를 받는 것에 대해 정확한 인식을 하는 것이 필요하다"며 "민간 기업이 시장에서 최대 수익을 올리는 것은 해당 기업의 '선(善)'이지만 한국거래소의 고수익은 오히려 민간의 이익과 배치되는 측면이 있다"고 설명했다. 이어 "(한국거래소가 공공기관으로 지정되고 국정감사를 받는 것은)한국거래소의 공공성이 강화됐기 때문"이라고 말했다. 한나라당 이사철 의원도 "돈을 벌어서 이익을 남기는 것은 거래소의 목표가 아니다"고 못박았다.
한편, 김봉수 한국거래소 이사장은 이날 "공공기관은 세계 거래소들과 경쟁 과정에서 걸림돌이 될 수 있다"며 "장기적으로는 공공기관 지정이 해제돼 세계 거래소들과 경쟁할 수 있어야 한다"라는 의견을 밝혔다.
한국거래소 사건·사고 및 논란
2013년 2월 4일 부산경제살리기시민연대는 “정부의 이 같은 결정은 부산을 파생특화금융 중심지로 활성화시키려는 부산시와 시민단체의 입장과도 배치되는 결정”이라며 “지역시민단체는 인수위 방문과 박근혜 당선인 면담요청시 중단됐던 100만인 서명운동 재개 등 다각도의 향후 대응책을 마련할 것”이라고 밝혔다. 박인호 공동대표는 “세계적으로 선진 각국의 거래소들은 국경을 넘어 국가 간 거래소들의 연계 및 통합을 통해 경쟁력을 키워나가고 있고, 중국이나 일본 등 아시아권 거래소들의 도전이 거세지고 있다”면서 “한국거래소의 경쟁력을 키워 역내 자본시장에서 주도적 역할을 담당하고 나아가 부산금융중심지 활성화를 도모하기 위해서는 공공기관 해제가 필요하다”고 강조했다.
김태혁 부산대학교 경영대학원 경영학과 교수도 “최근 거래소간의 글로벌 경쟁이 심화되고 있는데 국내 자본시장의 가장 중요한 인프라인 한국거래소는 공공기관으로 지정된 이후 정책추진 등 조직의 유연성이 떨어지고 있다”라며 “지금처럼 한국거래소가 공공기관으로 묶인 채 정치적으로 자유롭지 못한 상황이 지속되면 한국자본시장의 발전은 어려울 것”이라고 우려했다.
한국거래소 사건·사고 및 논란
2013년 10월 31일 현오석 부총리 겸 기획재정부 장관은 국회 기획재정위원회 국정감사에서 "한국거래소가 자본시장법개정 이전에는 독점적 지위를 갖고 있었지만 지금은 아니다"며 "2014년도에 공공기관 지정에 대해 다시 한 번 검토할 예정"이라고 답변했다.
한국거래소 사건·사고 및 논란
2014년 2월 10일 한국거래소 노동조합은 성명을 통해 기획재정부가 법치주의 근간을 뒤흔드는 위법행위를 중단하고 한국거래소 공공기관 지정을 즉시 해제해야 한다고 주장했다. 노조는 "정부설립 또는 출연기관이 아닌 100% 순수 민간출자 기업인 한국거래소를 기획재정부가 지속적으로 자신들의 통제 아래에 두고 '낙하산 천국'으로 유지하기 위해 공공기관 지정 유지라는 초법적 월권행위를 강행했다"고 지적했다. 특히 "기획재정부가 한국거래소 공공기관 지정의 위법성이 여론의 도마위에 오르자 공공기관운영법을 개정해 스스로의 위법사실을 덮는 꼼수를 부리고 있다는 소문이 들린다"며 "이는 대통령의 국정철학인 '법과 원칙의 준수, 비정상의 정상화, 과감한 규제개혁'에 정면으로 배치되는 것"이라고 반발했다. 이어 "한국거래소가 법적 근거없이 공공기관으로 지정된 지 4년만에 등기임원의 70%가 기획재정부 낙하산으로 채워졌고 한국거래소의 글로벌 경쟁력도 세계 7위에서 15위로 떨어졌으며, 증권업계도 고사직전의 위기에 처했다"고 말했다.
한국거래소 사건·사고 및 논란
2007년 11월 14일 한국증권선물거래소(KRX)는 국제적 이슈가 되고 있는 탄소배출권 거래를 위해 탄소거래소 설립을 추진키로 하고 개설준비단을 설치한다고 밝혔다. 탄소시장개설준비단은 이광수 경영지원본부장보를 단장으로 지배구조 및 조직분야, 관계법령 분야 등 전문가 6명으로 구성된다. 한국증권선물거래소는 시장 메커니즘을 통한 정부의 기후변화 대책 지원과 동북아 탄소배출권 거래시장 선점 등을 위해 탄소배출권 거래소를 추진하게 됐다고 설명했다. 또 관계자는 “신설될 탄소거래소는 기관과 개인들이 모두 참여할 수 있는 현물 및 선물 연계시장으로 출범할 예정”이라며 “오는 12월초 ‘탄소배출권 거래소 개설방향 및 시장활성화’를 주제로 세미나를 개최하고 시장개설 일정등과 관련 재정경제부, 금융감독위원회 등 정부기관과 협의할 것”이라고 말했다.
한국거래소 사건·사고 및 논란
2008년 10월 7일 환경부와 한국증권선물거래소는 ‘탄소배출권거래소 설립·운영에 관한 협력 협약서(MOU)’를 체결하고 국내 온실가스 배출권거래제 도입 및 탄소시장 활성화를 위한 상호 협력 체계를 구축하기로 했다. 이만의 환경부 장관은 이에 대해 “기후변화 위기를 신성장 동력 확보 기회로 활용하기 위해서는 녹색성장 체제로 전환해야 한다”며 “금융 분야에서 탄소배출권 거래 기반을 구축했다는 점에서 큰 의미가 있다”라고 말했다.
2008년 12월 13일 탄소배출권거래소 유치를 추진 중인 전라남도청과 전남지역환경기술개발센터, 기후변화연구소가 주최하고 한국전력거래소, 여수시청, 에코센스가 후원하는 ‘탄소배출권거래소 유치를 위한 기후변화 대응’이라는 국제포럼이 전남대학교 여수캠퍼스 산학연구관 국제세미나실에서 열렸다.
한국거래소 사건·사고 및 논란
탄소배출권거래소 유치를 위해 활발한 활동을 펴고 있는 정도영 한국전력거래소 전력계획처장은 탄소배출권 거래 규모에 있어서 전력산업이 차지하는 비중이 매우 높다는 점을 설명하며 배출권거래소 운영 효율성 등을 생각할 때 배출권 거래사업이 한국전력거래소에 유치돼야 한다고 타당성을 강조했다. 정도영 전력계획처장은 “만약 온실가스 배출량을 초과 발생할 상황이 될 경우, 발전소 가동 중지 우려가 뒤따르게 되는데 이 경우 바로 배출권 거래가 전력수급 안정에 직접적인 영향을 미치게 되는 것 아니냐”며 “특히 우리나라는 국내 온실가스 배출량의 약 25%를 발전부분이 점유할 정도로 온실가스 배출에 있어 전력부분이 차지하는 비중이 높다”고 말했다.
한국거래소 사건·사고 및 논란
2008년 12월 23일 금융경제선물연구원은 경북대학교·계명대학교 등의 관련 교수들이 참석한 가운데 대구경북연구원 회의실에서 '탄소배출권거래소 대구 유치를 위한 세미나'를 갖고 탄소배출권거래소의 대구 유치를 위한 논리 개발에 적극 나서기로 했다. 권상장 원장은 "아일랜드는 금융중심지를 표방하고 관련 산업을 유치한 결과, 금융과 밀접한 IT산업이 동반 발전하면서 IT강국이 됐다. 대구도 탄소배출권거래소를 유치해 새롭고 다양한 성장동력이 생기도록 만들어야 한다"고 주장했다. 이날 탄소배출권거래소 설립 동향에 대해 발표한 대구은행 대은경제연구소 진병용 본부장은 "기후변화에 대응하기 위해 세계가 공조, 온난화의 주범인 탄소배출 규제에 나서면서 배출권 거래가 활성화하게 됐다. 영국 런던에 있는 세계 최대 규모 배출권 거래소인 ECX는 매년 거래물량이 2배 이상 급증하고 있다. 세계 10위의 이산화탄소 배출국인 우리나라도 탄소배출권거래소가 곧 만들어질 것이다. 대구가 이의 유치에 나서야 한다"고 지적했다. 진병용 본부장은 탄소배출권거래소는 한국증권선물거래소가 서울에 만드는 안, 한국증권선물거래소 선물시장본부가 있는 부산에 설립되는 안, 한국전력거래소가 들어서는 전남 나주에 마련되는 안 등이 현재 나와 있으나 대구경북도 우수한 에너지 환경의 중심지인만큼 설립 타당성이 충분하다고 설명했다. 이날 세미나에서 경북대학교 신민식 교수는 "대구가 탄소배출권거래소 유치에서 유리한 입장은 아니다. 하지만 그 파급효과가 엄청나다. 대구경북이 경제적 낙후를 벗기 위해서는 이 거래소를 유치해야한다. 경제적으로 낙후된 대구경북을 위해 정부가 무언가 해줘야 한다"고 말했다.
한국거래소 사건·사고 및 논란
2009년 4월 1일 서울특별시청의 고위 간부는 “우리나라도 앞으로 온실가스 저감의무를 부과받을 가능성이 높은 만큼 국제간 거래가 가능한 이산화탄소 배출권(CER)을 사고 파는 탄소배출권거래소의 유치를 추진하고 있다.”고 밝히며 “아직 정부의 관련 법안이 완비되지 않은 만큼 확정된 것은 없다. 다만 서울의 금융경쟁력 강화라는 긍정적 측면과 수도권 집중화 심화라는 부정적 측면을 충분히 고려해 결정하게 될 것”이라고 전했다. 서울특별시청은 탄소거래소 설립 방안으로 환경부·지식경제부 등 정부와 협의를 통해 공동추진, 런던·파리 등 외국 주요 탄소거래소의 자회사 유치, 독자적 탄소거래소 설립 등을 다각도로 검토하고 있다. 특히 2009년 1월 정부로부터 ‘국제금융중심지’로 지정받은 영등포구 여의도에 거래소를 설립해 기존 금융기관들과의 시너지 효과를 높이겠다는 복안도 갖고 있다.
한국거래소 사건·사고 및 논란
2009년 6월 15일 에너지관리공단과 한국전력거래소, 한국거래소는 미국 워싱턴에서 공동으로 시카고 기후거래소와 국내 배출권거래소 설립 관련 상호협조를 주 내용으로 하는 양해각서(MOU)를 체결했다. 양해각서는 국내 녹색성장의 한 축을 담당할 국내 배출권 거래소 설립 준비 및 국내 자발적 온실가스 감축사업(KCER)활용의 다각화 등 미국 CCX와 국내 관련 기관간 긴밀한 협력의 초석이 되는 내용을 담고 있다. 주요 내용으로는 배출권거래 표준 제정, 온실가스 배출량 검·인증 제도 개발, 국내 온실가스 감축실적(KCER) 연계 협력, 기업 배출량 할당 및 산정지침 개발, 전문인력 양성·교류, 신규 해외시장 진출등이 있으며 국내 배출권거래소 설립 협력과 배출권거래 인프라 구축 관련 지원 등에 대한 내용을 담고 있다.
한국거래소 사건·사고 및 논란
2009년 8월 19일 전라북도청은 국내에 탄소배출권거래소를 설치하려는 정부 방침에 맞춰 도내 탄소배출권 거래소 유치를 위해 현재 관련 용역을 진행 중이라고 밝혔다. 2009년 상반기 착수한 ‘기후변화 대응 종합계획’ 수립 용역에 탄소배출권 거래소 유치 관련 내용이 포함돼 있다는 것이다. 새만금을 저탄소 녹색성장의 거점으로 육성하려는 전북도는 2009년 말 용역 결과가 나오면 정부의 이후 일정에 맞춰 대응에 나선다는 복안이다.
2009년 9월 19일 경상북도청과 포항시청은 포항공과대학교 국제관 대회의실에서 탄소배출권 거래 및 탄소 금융추진전략 워크숍을 개최하였다. 워크숍에서는 탄소배출권 거래 및 기후변화협약관련 산업체와 대학, 연구기관의 전문가 150여 명이 참석하였다. 경상북도청과 포항시청은 워크숍을 계기로 탄소배출권거래소 유치와 함께 탄소거래 전문회사 설립도 추진하기로 했다. 경상북도청 관계자는 “워크숍을 통해 탄소배출권 거래와 관련된 연구동향을 분석하고 공동 유치전략방안을 모색할 계획”이라고 말했다.
한국거래소 사건·사고 및 논란
2009년 10월 13일 부산광역시청과 부산상공회의소에 따르면 탄소배출권거래소 부산 유치운동에 본격적으로 뛰어들기 위해 10월 20일 시청 국제회의실에서 탄소배출권거래소 유치위원회 출범식을 갖고 범시민적인 유치운동을 펼칠 예정이다. 탄소배출권거래소유치위원회는 배영길 부산광역시청 행정부시장과 이경훈 부산상공회의소 부회장이 공동위원장을 맡고, 전영주 한국거래소 파생상품시장본부장 등 금융계와 학계, 시민단체 인사 등 25명의 유치위원으로 구성된다. 유치위원회는 부산에 본사를 두고 있는 한국거래소의 증권, 파생상품거래 시스템 노하우를 활용하면 효율적인 탄소거래소 설립과 운영이 가능할 것으로 보고 있다.
한국거래소 사건·사고 및 논란
2009년 11월 19일 광주광역시청과 전라남도청, 한국전력거래소가 ‘탄소배출권거래소광주·전남유치추진위원회’(공동위원장 김윤석 광주광역시청 경제부시장, 이상면 전라남도청 정무부지사) 출범식을 열고 본격적인 유치 활동에 들어갔다. 위원회에는 김윤석 광주광역시청 경제부시장과 이상면 전라남도청 정무부지사, 한국전력거래소 김광인 처장을 비롯해 조호권 광주광역시의회 부의장, 정환대·이기병 전라남도의회 의원, 박순형 광주상공회의소 사무국장, 최창원 목포상공회의소 사무처장, 김향덕 한국여성경제인협회 광주전남지회장, 정찬주 광주은행 기업고객본부장, 조성용·이우범 전남대학교 교수, 김종선 광주대학교 교수, 권혁열 LG화학 나주공장 환경안전팀장, 김승철 기후변화연구소 소장, 안희만 나주사랑시민회장 등 25명이 참여했다. 한편, 광주광역시청과 전라남도청, 한국전력거래소는 광주·전남공동혁신도시인 빛가람 도시에 탄소배출권거래소 공동유치를 위한 협약을 체결하고 녹색성장위원회 등 중앙정부와 국회 등에 건의 및 지원요청 등 유치활동을 펼치고, 거래소 유치 분위기와 기반을 조성하기 위한 심포지엄과 배출권 모의거래 등을 실시해왔다.
한국거래소 사건·사고 및 논란
2010년 2월 17일 민주당 주승용 의원은 보도자료를 통해 "2012년부터 탄소배출권거래제도가 시작되고 탄소세가 도입된다면 광주.전남 등 호남권은 지역총생산의(GRDP) 16.7%, 부가가치는 12.4%가 감소하는 등 전국에서 가장 큰 손실이 있을 것으로 추산하고 있다"고 강조했다. 주승용 의원은 "그동안 정부는 탄소배출권거래소를 광주,전남공동혁신도시의 한국전력거래소에 설치할 것으로 알려져 왔으나 최근 부산에 설치하려는 움직임이 일고 있다"며 "광주·전남은 신재생에너지 40%정도 생산하고 있고 정부의 신재생에너지 정책의 선도지역으로 녹색성장을 주도해 왔을 뿐 아니라 한국전력거래소와 탄소배출권거래소를 함께 설치하고 있는 세계적인 추세를 감안해 볼 때 탄소거래소는 나주의 혁신도시에 탄소거래소가 설치하는 것이 순리다"고 주장했다.
한국거래소 사건·사고 및 논란
2010년 4월 7일 부산광역시청과 한국거래소는 시청 국제회의실에서 탄소배출권거래소 부산유치를 위한 업무협약 양해각서(MOU)를 체결하였다. 협약은 한국거래소 본사가 있는 부산에 탄소배출권거래소를 유치해 부산을 명실상부한 파생상품 특화 금융중심지로 육성하고 동북아 탄소시장에서 주도적인 역할을 담당하기 위한 것으로 부산광역시청은 탄소배출권거래소 설립 및 유치를 위한 행정지원을 담당하고, 한국거래소는 부산에 설립되는 탄소배출권거래소가 세계적으로 성장할 수 있도록 최선의 노력을 다할 예정이다. 부산광역시청 관계자는 "탄소배출권은 주로 파생상품으로 거래되고 있어 한국거래소의 거래시스템을 활용하면 저비용 고효율의 거래소 설립이 가능하다"며 "따라서 한국거래소 본사가 위치하고 파생상품 특화 금융중심지로 발돋움하는 부산에 탄소배출권거래소를 설립하는 것이 타당하다"고 말했다.
한국거래소 사건·사고 및 논란
또 2010년 5월 31일 부산광역시청은 프랑스 현지에서 유럽의 대표적 탄소배출권 거래회사인 오베오사와 업무협약을 위한 양해각서(MOU)를 체결했다고 밝혔다. 이번 업무협약을 통해 부산광역시청은 오베오사의 탄소배출권 거래 노하우와 경험을 활용해 탄소배출권거래소 부산 유치를 위한 기반 조성에 나서고, 향후 동북아 탄소배출권 거래시장을 선점하는 계기로 삼을 계획이다. 이와 관련하여 김형양 부산광역시청 경제산업실장은 “부산이 국제적인 해양,파생상품 특화 금융중심지가 되기 위해서는 탄소배출권거래소를 반드시 유치해야 한다”라며 “탄소배출권거래소 부산 유치를 통해 국내 및 동북아 탄소금융시장을 주도하고 국제적인 해양파생 특화 금융중심지로서 입지를 다져나가겠다”고 말했다.
한국거래소 사건·사고 및 논란
2010년 6월 30일 삼성경제연구소가 SERI 경제포커스 제299호 ‘탄소배출권거래소 설립의 의의와 과제’ 보고서를 발표하였다. 보고서에서 한국거래소는 금융위원회와 함께 탄소배출권의 유가증권적인 성격과 파생상품 특성을 근거로 배출권거래소를 2011년까지 설립하기로 목표를 설정하였고 장점으로 발달한 국내 파생상품시장, 우수한 IT 기술, 풍부한 유동성 등과 증권거래 노하우와 인프라를 갖추고 있음을 밝히고 단점으로 탄소배출과 실물산업에 대해서는 상대적으로 열위에 있다고 기록하였다.
한국전력거래소는 지식경제부와 함께 배출권 측정 능력과 전문성을 내세워 탄소배출권거래소 설립에 대한 우위를 주장하고 있으며 장점으로 배출권의 대부분은 발전부문에서 발생하기 때문에 전력시장과의 연계성이 중요하고 조율 능력이 필요하다는 점을 밝히고 탄소배출량의 측정과 평가에 대한 전문성을 갖추고 있으나 예탁결제, 전산망 등의 기능이 상대적으로 부족하다고 기록하였다.
한국거래소 사건·사고 및 논란
2010년 11월 12일 부산발전연구원 양진우 선임연구위원은부산광역시청에서 열린 탄소배출권거래소부산유치위원회에서 '부산광역시 탄소배출권거래소 유치 및 대응전략' 보고서를 발표한 자리에서 탄소배출권거래소를 부산에 유치할 경우 향후 5년간 동남권 지역에 모두 4천547억원의 생산유발효과가 발생할 것으로 전망했다. 그에 따르면 부산에 탄소배출권거래소가 들어설 경우 관련 산업이 집적된 동남권 전체적으로 경제적 효과가 유발되는 만큼 다지역 산업연관모형 분석을 한 결과 5년간 발생하는 생산유발효과는 부산 2천175억5천200만원, 울산 1천329억7천800만원, 경남 1천42억4천만원 등 동남권 전체적으로 4천547억7천만원에 달하는 것으로 나타났으며 이 같은 생산유발효과는 전국의 생산유발액 5천958억7천100만원의 76.32%에 달하는 수준이다. 또한 고용유발인원은 5년간 부산 3천433.82명, 울산 2천775.07명, 경남 2천317.98명 등 모두 8천580.87명으로 나타났으며, 부가가치 유발액도 부산 1천260억1천900만원, 울산 930억100만원, 경남 691억8천600만원으로 집계됐다. 소득유발액의 경우 부산 688억3천800만원, 울산 607억4천100만원, 경남 432억5천500만원 등 모두 1천728억3천400만원으로 집계돼 전국의 2천2억4천200만원의 86.31%를 차지했다.
한국거래소 사건·사고 및 논란
2010년 11월 17일 기업에 일정 기간에 탄소를 배출할 수 있는 양, 즉 탄소배출권을 할당한 뒤 시장에서 거래할 수 있도록 하는 내용을 담은 `온실가스 배출권의 할당 및 거래에 관한 법률'이 처음으로 입법 예고되었다. 같은 날 부산광역시청은 부산상공회의소와 공동으로 오전10시부터 오후 6시까지 해운대 파라다이스호텔 그랜드볼룸에서 ‘부산국제탄소금융포럼’을 개최하였다. 1부 행사에서는 허남식 부산광역시장 및 신정택 부산상공회의소 회장의 인사말 순서가 있은 후, 이장무 기후변화센터 이사장이 기조연설을 하였다. 이와 관련하여 부산광역시청 관계자는 “정부가 지정한 파생특화 금융중심지인 부산에서 개최되는 이번 포럼은 탄소배출권거래소 부산유치 등 글로벌 금융 환경 구축을 위한 좋은 기회가 될 것”이라고 밝혔다.
한국거래소 사건·사고 및 논란
2011년 6월 21일 울산광역시청은 온실가스 감축분에 대한 탄소배출권 거래를 위해 임시거래소를 개설하고 6월 27일까지 매일 오전 10시부터 12시까지 2시간 동안 운영하기로 했다. 울산광역시청 관계자는 “올해 처음 개설한 탄소배출권 임시거래소에서 거래될 물량은 매도가능량 302톤 CO2 , 매수 가능량 582톤 CO2 등 모두 884톤 CO2로 최초 호가는 톤당 1만1,200원”이라며 “울산광역시시설관리공단과 울산문화예술회관 등 올해 탄소배출권 시범사업에 참여하고 있는 47개 기관(매도 17개, 매수 26개, 기타 4개)이 사이버거래시장에서 탄소배출권을 사고 파는 과정을 통해 탄소배출권 시범사업을 더욱 적극적으로 이행하게 될 것으로 기대한다”고 말했다.
한국거래소 사건·사고 및 논란
2011년 11월 18일 부산광역시청은 ‘국제탄소금융시장 재편과 부산의 기회’라는 주제로 ‘부산국제탄소금융포럼’을 벡스코에서 개최하였다. 부산광역시청과 부산상공회의소가 공동주최하고, 부산경제진흥원과 한국금융투자협회 주관으로 개최되는 이번 포럼은 국내·외 금융관련 전문가, 학계, 기업관계자 등 250여 명이 참석한 가운데 경제발전과 기후변화 대응 두 가지를 다 해결하기 위한 탄소금융 및 탄소배출권에 대한 논의가 이루어졌다. 이날 패널토론에는 주형환 녹색성장위원회 녹색성장기획단장을 좌장으로 노희진 자본시장연구원 정책제도실장, 야스시 니노미야(Yasushi Ninomiya)일본 글로벌환경전략연구소(IGES) 국장, 손판도 동아대학교 교수 등이 패널로 참석하여 주제발표자와 패널간의 상호의견을 교환하였으며 세션2(탄소금융중심지로의 발전방안)에서는 △이원희 에코프론티어 본부장이 ‘국내 탄소배출권거래제 현황 및 정책동향’ △임동순 동의대학교 교수가 ‘부산금융중심지 발전과 탄소배출권거래제’등에 대해 발표하였다.
한국거래소 사건·사고 및 논란
2012년 3월 26일 광주 북구 을 무소속 김재균 후보는 "탄소배출권거래소 광주 유치를 위해 최선을 다하겠다"고 말했다. 김재균 후보는 보도자료를 통해 "탄소배출권거래소는 거래 및 감축량 검증이 가능한 한국전력거래소(나주 이전)와 연계해 업무를 수행한다면 지역경제에 미치는 영향이 막대할 것"이라며 이같이 말했다. 이어 "탄소배출권거래야말로 미래지향적인 산업으로 첨단산업과 청정지역에 대한 지역이미지에 걸맞은 최적의 입지조건을 갖춘 광주지역에 반드시 유치돼야 한다"고 주장했다.
2012년 5월 2일 온실가스 배출권 거래제도에 관한 법률이 국회 본회의를 통과하였다. 온실가스 배출권거래제는 온실가스 배출권을 할당받은 개별기업이 온실가스 감축에 따르는 비용과 시장의 배출권 가격을 비교하여 온실가스를 감축하거나 배출권 구매를 선택하게 하는 제도로서 시장원리를 적용하여 국가 전체적으로 온실가스 감축비용을 절감할 수 있는 비용 효과적인 감축수단으로 평가받고 있다.
한국거래소 사건·사고 및 논란
2013년 6월 4일 전라남도청은 나주시청에서 탄소배출권거래소 광주·전남 공동유치를 위한 범 시·도민연대회 발대식을 갖고 탄소배출권거래소 유치활동을 적극 지원키로 결의했다고 밝혔다. 범 시·도민연대회는 전라남도청과 광주광역시청이 공동으로 추진하는 광주·전남 공동혁신도시 탄소배출권거래소 유치활동을 지원하기 위해 2013년 4월 광주·전남지역에서 활동하는 경제·사회·환경분야 24개 단체로 결성됐다. 이날 발대식 참석자들은 연대회 회장에 김호남 목포상공회의소 회장을 비롯해 고문, 상임위원을 각각 추대하고 탄소배출권거래소를 나주 빛가람 도시로 유치하기 위한 지원 방안을 논의했으며, 유치활동에 적극 나설 것을 다짐했다. 이들은 “광주·전남공동혁신도시는 한국전력공사, 한전KPS, 한전KDN 및 전력거래소 등 국가 전력기관이 이전함으로써 발전(에너지)산업 기반시설이 구축된다”며 “따라서 탄소배출권 거래소는 국가 전력과 신재생에너지 공급인정서(REC)를 거래하는 한국전력거래소에 반드시 유치돼야 한다”고 주장했다.
한국거래소 사건·사고 및 논란
2013년 10월 23일 한국거래소는 부산광역시청과 공동 후원으로 '탄소배출권거래소 부산유치를 위한 정책세미나'를 열었다. 세미나는 배출권거래소 지정을 앞두고 시민단체뿐 아니라 학계, 기관, 정치권이 한자리에 모여 탄소배출권거래소의 부산 유치를 다짐하는 자리로 대학, 연구소, 공무원, 시민단체 등 150여명이 참석하였다. 김정훈(새누리당 부산 남구 갑) 국회 정무위원장의 축사를 시작으로 이영활 부산광역시청 경제부시장, 최경수 한국거래소 이사장의 축사와 주제 발표 및 패널토의로 진행되었다.
한국거래소 전산 시스템
증권(주식) 거래소인 한국거래소(KRX)는 대한민국 자본 시장 거래 시스템 최초로 2014년에 리눅스 시스템을 도입하였다.
카카오뱅크는 2017년에 대한민국 금융권 중 최초로 전산 시스템에 리눅스를 도입하였다.
국민은행은 2020년도의 차세대 전산 시스템으로 메인프레임과 함께 리눅스를 도입하기로 결정하였다. 원래는 차세대 전산 시스템으로 유닉스를 도입하려고 했으나 그 계획은 취소되었다.
독일 중전차대대
독일 중전차대대(독일어: schwere-Panzer-Abteilung)는 제2차 세계 대전 당시 티거1과 티거2로 편성되어 군단급 이상 부대의 직할 예비대로 주로 전선에 구멍이 생기면 메꾸는 임무를 수행했다. 원래 창설 목적은 공세 작전에서 적 방어선에 돌파구를 여는 역할이었으나, 전황이 급격히 독일에 불리한 쪽으로 수세에 몰리자 애초 창설 목적과는 정 반대의 용도로 사용되었던 것이다. 이것은 티거 전차(1, 2 모두 포함)의 원거리 사격 성능, 중장갑의 방어력과 92발이라는 포탄 탑재량을 활용했기에 가능했다. 전쟁 중 티거에 의해 만들어진 전설은 모두 중전차대대의 작품이다. 국방군 13개 대대, 무장친위대 3개 대대가 편성되었고, 최초 실전 투입은 국방군 소속 501 중전차대대가 북아프리카의 튀니스 전투에 투입된 것이 최초였다.
독일 중전차대대 편성
중전차대대 창설 초기에는 티거1과 3호 전차를 혼성 편성했다. 완편하기에는 티거1의 생산량이 부족했기 때문이다. 티거1의 생산량이 충분해지면서 대대의 3호 전차는 모두 편성에서 빠지게된다. 대대의 표준 편제는 티거 45대이며, 14대씩 1개 중대를 편성하고, 나머지 3대로 대대 지휘부를 편성했다. 티거 전차는 잦은 고장과 기계적 결함 등으로 인해 실제 전투 가능 전차는 편제보다 훨씬 밑돌았다.
티거 전차들의 생산량은 티거1은 2년간 1,350대이며, 티거2는 그보다 적어서 490대에 불과하여 고유 임무를 수행하기 위해 독립부대로 방어나 공격 임무에서 가장 필요한 사단이나 군단에 직할로 임시 배속하는 식으로 운용되었다.
독일 중전차대대 편성된 중전차대대
국방군은 총 13개 대대를 편성했다. 2개 대대를 제외한 나머지 대대는 50x대의 번호를 부여받았다.
무장친위대는 총 3개 대대를 편성했다. 원래는 4번째 대대가 창설 예정이었으나, 결국 실현되지는 못했다.
이름
이름(영어: name) 또는 명칭(名稱)은 물건, 사람, 장소, 생각, 개념 등을 다른 것과 구별하기 위해 부르는 말이다. 이름은 물건/개념의 집합을 통틀어 나타내거나, 특정한 문맥 안에서 유일하거나 완전히 유일한 하나의 물건/개념을 나타낼 수 있다. 1447년에 쓰여진 《용비어천가》에 ‘일훔’의 형태로 처음 등장한다.
사람이 아닌 생물체에는 보통 포괄적인 이름(예를 들어 개와 같은 종명)을 사용하지만, 애완동물과 같은 경우 아닐 수도 있다. 각각의 개체를 부르기 위해 서로 다른 휘파람을 사용하는 펭귄 같이 인간이 아닌 생물체 사이에 이름이 존재하는 경우도 있다. 생물체가 아닌 단체에도 이름을 사용한다. 예를 들어 회사에 붙이는 이름은 사명(社名), 학교에 붙이는 이름은 교명(校名)이라고 부른다.
기술적으로 사용되는 이름, 특히 정해진 기준에 따라 언제나 고유한 이름을 식별자라 한다.
이름 사람의 이름
한국 등의 국가에서는 사람의 이름은 성과 이름으로 구분된다. 성과 이름을 함께 부를 수도 있으며, 일본처럼 성의 종류가 다양한 국가에서는 성으로 사람을 부르기도 한다. 이름으로 사람을 부를 때에는 성을 제외하고 “~아(~야)”를 뒤에 붙여 사용하는 것이 보통이다. 이를테면 “홍길동”이라는 사람이 있으면 친한 사람끼리는 “길동아”라고 부를 수 있다. “홍길동!”과 같이 성과 이름을 같이 말하여 사람을 부를 수도 있지만 이 때는 “아(야)”를 뒤에 붙이지 않는다. 또한 죽은 사람의 이름을 높이어 휘자(諱字)라 하며(죽은 사람의 이름을 부를 때에는 이름 앞에 ‘고(故)’를 붙여 말한다. 예)고 홍길동, 이름을 글자로 쓸 때에는 붉은 색으로 쓰기도 한다.), 산 사람의 이름을 높이어 함자(銜字), 통칭 성함 (姓銜)이라고 한다. 한국에선 성씨를 포함하여 총 7자까지 지을 수 있다.
이름 사람의 이름
반면 영미권 사람의 이름은 John Fitzgerald Kennedy처럼 대개 세 부분으로 이루어져 있다. 첫 번째 이름(First name)은 세례명(Christian name), 주어진 이름(Given name)이라고도 한다. 가운데 이름(Middle name)은 이니셜(Initial)로만 표기할 때도 있다. 마지막 이름(Last name)은 가족 이름(Family name), 성(Surname)이라고 부른다. 이러한 이름 체계는 오스트레일리아나 남아메리카 등 유럽의 식민지였던 지역에까지 전파되었고, 표기할 때에는 보통 First name과 Middle name을 줄여 J.F. Kennedy와 같이 나타내기도 한다.
참조 투명성
참조 투명성와 참조 투명도는 컴퓨터 프로그램의 일부 속성이다.  프로그램 동작의 변경없이 관련 값을 대체할 수 있다면 표현식을 참조 상 투명하다고 할 수 있다. 그 결과, 참조 상 투명한 함수를 평가하게 되면 동일한 인자에 대해 동일한 값을 반환해야 한다. 그러한 함수를 순수 함수라고 부른다. 참조상 투명하지 않은 표현식은 참조상 불투명 하다고 한다.
수학에서 모든 함수 응용은 수학적 함수를 구성하는 요소의 정의에 의해 참조 상 투명하다. 하지만, 프로그래밍에서는 그런 케이스가 항상 맞는 것은 아니며, 함축된 의미의 오해를 피하고자 프로시저와 메소드라는 용어가 사용된다. 함수형 프로그래밍에서는 오로지 참조 상 투명한 함수 만이 고려된다. 어떤 프로그래밍 언어들은 참조 투명성을 보장하기 위한 수단을 제공한다. 어떤 함수형 프로그래밍 언어들은 모든 함수에 대해 참조 투명성을 강제하기도 한다.
참조 투명성
참조 투명성의 중요성은 프로그래머와 컴파일러가 프로그램 동작을 재작성 시스템으로써 추론할 수 있게 한다는 것이다. 이것은 정확성 증명, 알고리즘 단순화, 코드 깨짐없는 코드 수정의 원조, 메모이제이션, 공통 하위 표현식 제거, 지연 평가 혹은 병렬성을 수단으로 하는 코드 최적화를 도울 수 있다.
참조 투명성은 어떤 임의의 시점에 주어진 임의의 입력 집합에 대해 동일한 결과를 요구하는데, 그러므로 참조 상 투명한 표현식은 확정성을 갖는다.
참조 투명성 역사
그 개념(용어는 아니지만)은 Alfred North Whitehead와 Bertrand Russell의 Principia Mathematica (1910-13)에서 시작된 것으로 보인다. 그것은 Word and Object (1960)에서 Willard Van Orman Quine이 쓴 분석 철학에서 채택되었다:
단일 용어 t가 용어 또는 문장 ψ(t)에서 순수하게 참조될 때마다, 포함하는 용어 혹은 문장 φ(ψ(t))에서 순수하게 참조되는 경우, 봉쇄 모드 φ는 참조 상 투명하다.
이 용어는 현재의 사용법, 프로그래밍 언어의 변수에 대한 논의, Christopher Strachey의 Fundamental Concepts in Programming Languages (1967) 독창적인 강의 노트 세트에서 나타난다. 해당 강의 노트는 참고 문헌에서 Quine의 Word and Object을 참조했다.
참조 투명성 예제와 반증
표현식과 관련된 모든 함수가 순수 함수라면, 표현식은 참조 상 투명하다. 또한, 어떤 순수하지 않는 함수는 그 값이 폐기되거나 부작용이 사소한 것이라고 한다면 표현식 내에 포함될 수도 있다.
어떤 소스로부터 입력을 반환하는 함수를 생각해보자. 의사 코드에서, 해당 함수의 호출을 GetInput(Source)라고 할 때, Source는 특정 디스크, 키보드 등이 될 수 있다. Source의 식별 값 별로, 성공적인 반환 값이 다를 것이다. 그러므로, 함수 GetInput()은 확정적이지도 참조 상 투명하지도 않다.
참조 투명성 예제와 반증
좀 더 교묘한 예제는 자유 변수를 갖는 함수에 관한 것으로, 즉 명시적으로 매개 변수로 전달되지 않는 어떤 입력에 의존하는 함수다. 게다가, 전역 변수, (동적 바인딩을 위한) 현재 실행 환경의 변수 혹은 (정적 바인딩을 위한) 클로저 내 변수와 같이, 비 로컬 변수에 대한 이름 바인딩에 따라 분석된다. 이 변수가 매개 변수로 전달되는 값을 변경하지 않고 수정될 수 있다면, 해당 함수에 대한 뒤이은 호출의 결과는 매개 변수가 동일하다고 해도 다를 수 있다. 하지만, 순수 함수 프로그래밍에서 비구조화 할당은 허용되지 않으며, 그로 인해 자유 변수가 값에 정적으로 바운드되면, 정적 바인딩과 불변이성에 기인하여 비 로컬 변수와 그것의 값을 변경할 수 없으므로 함수는 여전히 참조 상 투명하다.
산술적 연산은 참조 상 투명하다: 예를 들어, 는 로 대체 가능하다. 사실, 수학적 관념에서 모든 함수는 참조 상 투명하다: 는 특정 에 대해 항상 같은 결과를 반환하므로 투명하다.
참조 투명성 예제와 반증
할당은 투명하지 않다. 예를 들어, C라는 표현식  은 변수 에 할당되는 값을 변경한다. 의 초기값을 10이라고 가정하면, 해당 표현식의 연속된 두 번의 평가는 각각 과 를 결과로 낸다. 분명히  을  혹은 로 대체하는 것은 프로그램에 다른 의미를 부여하므로, 해당 표현식은 참조 상 투명하지 않다. 하지만, int plusone(int x) {return x+1;}과 같은 함수를 호출하는 것은 투명하다. 암시적으로 입력 를 변경하지 않으며 그래서 부작용이 없기 때문이다.
today()는 투명하지 않은데, 그것을 평가하고 그것의 값을 대체하면("Jan 1, 2001"이라고 하자), 내일 실행할 때와 동일한 값이 아닐 것이다. 그 이유는 상태(날짜)에 의존하기 때문이다.
하스켈과 같은, 부작용이 없는 언어에서, 모든 값 에 대해 이기 때문에 equals를 equals로 대체할 수 있다. 이것은 부작용이 있는 언어에서는 불가능하다.
참조 투명성 명령형 프로그래밍과의 대조
값을 갖는 표현식의 대체가 프로그램 실행의 특정 시점에서만 유효하다면, 그 표현식은 참조 상 투명하지 않다. 이런 시퀀스 포인트의 정의와 순서는 명령형 프로그래밍의 이론적 기초이며 명령형 프로그래밍 언어의 시맨틱의 일부이기도 하다.
하지만, 참조 상 투명한 표현식은 임의의 시점에 평가될 수 있으므로, 시퀀스 포인트 정의나 전체적인 평가 순서의 보장은 필요하지 않다. 이러한 것을 고려하지 않는 프로그래밍을 순수 함수형 프로그래밍이라고 부른다.
참조 상 투명한 스타일의 코드 작성의 한 가지 장점은 주어진 지능적인 컴파일러와 정적 코드 분석이 더 쉬워지며, 자동으로 더 나은 코드 향상 변형이 가능하다. 예를 들어, C로 프로그래밍을 할 때, 루프 내에서 비용이 비싼 함수에 대한 호출을 포함하고는 경우 성능 페널티가 있을텐데, 이는 함수 호출을 프로그램의 결과에 영향이 없도록 루프 밖으로 빼내는 경우에도 마찬가지다. 프로그래머는 아마도 소스 코드 가독성을 희생하여, 호출의 수동 코드 모션을 실행해야 할 것이다. 하지만, 해당 함수 호출이 참조 상 투명하다는 것을 컴파일러가 알 수 있다면, 이러한 변형을 자동으로 수행할 수 있다.
참조 투명성 명령형 프로그래밍과의 대조
참조 투명성을 강제하는 언어의 주요 단점은 연속적인 단계를 갖는 명령형 프로그래밍의 스타일에 자연스럽게 맞춰진 연산 표현식을 더 어색하고 덜 간결하게 만든다는 것이다. 그러한 언어들은 명확한 문법과 모나드와 같은 언어의 순수 함수에 대한 성질을 유지하는 반면, 종종 앞서 말한 일들을 좀 더 쉽게 만들기 위한 메커니즘을 받아들인다.
참조 투명성 또 다른 예제
예제를 보면, 두 개의 함수가 있는데, 하나는 참조 상 불투명하고 다른 하나는 참조 상 투명하다:
함수 rt는 참조 상 투명한데, 이는 x = y일 때, rt(x) = rt(y)임을 의미한다. 예를 들어, rt(6) = 6 + 1 = 7, rt(4) = 4 + 1 = 5 등을 말한다. 하지만, 우리는 rq에 대해 그렇다고 얘기할 수 없는데 수정 가능한 글로벌 변수를 사용하기 때문이다.
rq의 참조 불투명성은 프로그램에 관한 추론을 더 어렵게 만든다. 예를 들어, 다음 구문에 관해 추론하려고 한다고 하자:
누군가 이 구문을 다음과 같이 단순화하려고 할 수도 있다:
하지만, 이것은 rq에 적용할 수 없는데 rq(x)가 실행될 때마다 다른 값을 평가할 수 있기 때문이다. 전달되지 않고 rq에 대한 호출마다 수정될 수 있는 전역 변수에 rq의 반환 값이 의존하고 있음을 기억하자. 이것은 x - x = 0과 같은 수학적 정체성이 더 이상은 유지되지 않음을 의미한다.
참조 투명성 또 다른 예제
그러한 수학적 정체성은 rt와 같은 참조 투명한 함수에게는 유지될 것이다.
하지만, 좀 더 복잡한 분석을 사용해 해당 구문을 다음과 같이 단순화할 수 있다:
이것은 좀 더 많은 단계를 필요로 하며 컴파일러 최적화를 위해 실행 불가능한 코드에 대한 어느 정도의 통찰력을 요구한다.
그러므로 참조 투명성으로 인해 우리는 코드에 대해 추론할 수 있게 되어 좀 더 견고한 프로그램과 테스트를 통해 찾을 수 없는 버그를 발견할 가능성 그리고 최적화 기회 탐색에 대한 가능성을 높일 수 있을 것이다.
권덕규
권덕규(權悳奎, 1891년 8월 7일~1950년 10월 24일)는 한국의 국어학자이다. 호는 애류(崖溜)이다. 조선어학회 33인 가운데 한 명이다. 2019년 광복절에 건국훈장 애국장에 추서됐다.
권덕규 생애
1891년 8월 7일 경기도 김포군에서 출생하여 1913년 휘문고등보통학교(휘문의숙)을 졸업한 뒤, 휘문고보, 중앙고보 등 중등학교에서 국어와 국사를 가르쳤다. 주시경의 직계 제자의 한 사람으로 1921년]] 12월 3일 조선어연구회(현 한글학회) 창립에 주시경과 함께 참여하였고, 한글맞춤법통일안 제정과 《조선어큰사전》 편찬에 참가한 한글학자이다.
1927년 2월 발간되기 시작한 동인지 <한글>에 이병기, 최현배, 정열모, 신명균 등과 함께 활동했다. 여기에 '정음 이전의 조선글' '잘못 고증된 정음 창조자' '조선어와 불교' 등을 기고했다.
1929년 10월에 조직된 조선어사전편찬회의 발기인이 됐고, 그 위원으로 활동했다. 우리글인 한글을 '한글학'이라는 학문으로 정립해 연구하자고 다음과 같이 호소하였다.
"가짜 왜놈들의 하는 꼴이란..."
"가갸를 연구하자. 가갸도 사람의 말을 담는 그릇 곧 글이라 하면 연구하자. 좀 학적으로 연구하자.
권덕규 생애
가갸는 사람의 말 중에 조선말부터 담자는 그릇 곧 조선말부터 쓰자는 글이다, 제 말을 아름답게 쓸 수 없으면 남의 말도 아름답게 써 줄 수 없을 것이다. 가갸를 숭상하자. 가갸글 시대를 만들자. 가갸를 연구하자. 가갸도 학문이다."('어학도 학이라면 가갸도 학문이다' <학생>, 개벽사, 1929, 4.)
그는 1931년에 등장한 조선어학회의 회원이 됐다. 1930년부터 한글맞춤법 통일안의 제정위원·수정위원·정리위원으로 활약했다. 1931년과 1932년에 <동아일보>가 주최하고 조선어학회가 후원한 조선어 강습회에 강사로 참여했다.
그는 1933년 조선어학회가 주최한 '하기 한글 강습회'에도 강사로 참여했다. 조선어 표준말 사정 위원(경기도 대표)에도 이름을 올렸다.