blueapple8259/wikipedia_raw_ko huggingface dataset:
{{위키데이터 속성 추적}}
{{회사 정보
| 이름 = 싸이버원
| 원어  = CyberOne Co. Ltd.
| 형태  = 주식회사
| 산업 = 소프트웨어 개발 및 공급업
| 창립 = 2005년 1월
| 시장 정보 = {{KRX|356890}}
| 국가 = {{국기|대한민국}}
| 장소 = 서울특별시 서초구 방배2동 효령로 39
| 인물 = 대표이사 육동현
| 서비스 = 
| 대표 제품 = 
| 자본금 = 23억원
| 매출액 = 227.5억 원(2022년)
| 순이익 = 20.9억 원(2022년)
| 자산 총액 =  
| 주주 = 김용옥(외 7인)(56.3%)
| 종업원 = 238명(2022년)
| 웹사이트 = [http://www.cyberone.kr 싸이버원]
| 영업 이익 = 
}}
'''싸이버원'''(CyberOne Co. Ltd.)은 대한민국의 정보보안 기업이다.<ref>[https://news.mt.co.kr/mtview.php?no=2023121218404227971 아스트론시큐리티·싸이버원, 클라우드 기반 보안관제서비스 강화 위한 MOU 체결, 머니투데이, 2023년 12월 13일]</ref><ref>[https://www.news1.kr/articles/?5259010 아스트론시큐리티-싸이버원, 클라우드 기반 보안 관제 강화 MOU, 뉴스1, 2023년 12월 13일]</ref> 본사는 서울특별시 서초구 방배2동 효령로 39에 위치해 있으며 대표이사는 육동현이다.<ref>[https://m.newspim.com/news/view/20231219000084 싸이버원, '성장 기반을 다지는 중' Not Rated - 키움증권, 뉴스핌, 2023년 12월 19일]</ref>
== 역사 ==
인젠시큐리티서비스에서 현재의 사명으로 변경하였다. 
==상장==
2021년 3월 11일에 주관사를 [[키움증권]]으로 공모가 9,500원에 코스닥 시장에 상장하였다.
== 같이 보기 ==
* [[케이사인]]
* [[수산아이앤티]]
* [[샌즈랩]]

==참고문헌==
<references/>

== 외부 링크 ==
* [http://www.cyberone.kr 공식홈페이지]

[[분류:대한민국의 기업]]
[[분류:서울특별시의 기업]]
[[분류:컴퓨터 보안 소프트웨어 기업]]
{{위키데이터 속성 추적}}
{{회사 정보
| 이름 = 쿠콘
| 원어  = Coocon Corp.
| 형태  = 주식회사
| 산업 = 기타 정보 서비스업
| 창립 = 2006년
| 시장 정보 = {{KRX|294570}}
| 국가 = {{국기|대한민국}}
| 장소 = 서울 영등포구 영신로 220, 19층 (영등포동8가,케이앤케이디지털타워)
| 인물 = 대표이사 김종현
| 서비스 = 
| 대표 제품 = 
| 자본금 =  
| 매출액 =  64.52십억원 (2022년)
| 순이익 = 3.65십억원 (2022년)
| 자산 총액 =  
| 주주 =  [[웹케시벡터]] (30%)
| 종업원 = 186명 (2022년)
| 웹사이트 = [http://www.coocon.net 쿠콘]
| 영업 이익 = 
}}
'''쿠콘'''(Coocon Corp)는 대한민국의 기업이다. 본사는 서울 영등포구 영신로 220, 19층 (영등포동8가,케이앤케이디지털타워)에 위치해 있으며 대표이사는 김종현이다.
<ref>[https://www.newswire.co.kr/newsRead.php?no=969198 쿠콘, 신한은행 금융 상품 비교 서비스에 데이터 중계 서비스 제공, 뉴스와이어, 2023-06-23]</ref>
<ref>[https://www.etnews.com/20220607000180 마이데이터 블루칩<16>마이데이터 기업 '고민 해결사' 쿠콘, ET뉴스, 2022-06-07]</ref>
<ref>[https://zdnet.co.kr/view/?no=20230720140644 쿠콘, '데이터전문기관' 지정…데이터 결합 지원, 지디넷코리아, 2023-07-20]</ref>
==상장==
2021.04.28에 주관사를 [[하나금융투자]], [[삼성증권]]으로 공모가 45,000원에 코스닥 시장에 상장하였다.
== 같이 보기 ==

==참고문헌==
<references/>

== 외부 링크 ==
* [http://www.coocon.net 공식홈페이지]

[[분류:대한민국의 기업]]
[[분류:서울특별시의 기업]]
{{위키데이터 속성 추적}}
{{회사 정보
| 이름 = 현대에이디엠바이오
| 원어  = Hyundai ADM Bio Inc.
| 형태  = 주식회사
| 산업 = 바이오 
| 창립 = 2003년
| 시장 정보 = {{KRX|187660}}
| 국가 = {{국기|대한민국}}
| 장소 = 서울특별시 종로구 새문안로5길 19, 7층 (당주동, 로얄빌딩)
| 인물 = 대표이사 임종언
| 서비스 = 임상시험수탁기관 서비스
| 대표 제품 = 
| 자본금 =  
| 매출액 = 148.8억 원(2022년)
| 순이익 = 266.50백만 원(2022년)
| 자산 총액 =  
| 주주 = [[모비스 (기업)]](34.91%)
| 종업원 = 186명 (2022년)
| 웹사이트 = [http://www.admkorea.co.kr 에이디엠코리아]
| 영업 이익 = 
}}
'''현대에이디엠바이오'''(Hyundai ADM Bio Inc.)는 대한민국의 [[임상시험수탁기관]](CRO) 서비스 기업이다.<ref>[http://www.hitnews.co.kr/news/articleView.html?idxno=50460 적자 확대되는 CRO… 에이디엠코리아의 타개 전략은, 히트뉴스, 2023.12.05]</ref> 본사는 서울특별시 종로구 새문안로5길 19, 7층 (당주동, 로얄빌딩)에 위치해 있으며  대표이사는 김택성, 김광희이다.
<ref>[https://www.newsprime.co.kr/news/article/?no=622142 에이디엠코리아, CRO 기반 사업 영역 다각화, 뉴스프라임, 2023.12.18]</ref>
<ref>[https://m.newspim.com/news/view/20231218000053 에이디엠코리아, 'IPO주관사 업데이트: 사업 다각화 진행 중' Not Rated - 하나증권, 뉴스핌, 2023.12.18]</ref>
==상장==
2021년 6월 3일에 주관사를 [[하나금융투자]]로 공모가 3,800원에 코스닥 시장에 상장하였다.

== 같이 보기 ==
* [[모비스 (기업)|현대바이오사이언스(주)]]
* [[임상시험수탁기관]]

==참고문헌==
<references/>

== 외부 링크 ==
* [http://www.admkorea.co.kr 공식홈페이지]

[[분류:대한민국의 기업]]
[[분류:서울특별시의 기업]]
[[분류:생명공학]]
[[분류:임상 연구]]
[[분류:제약업]]
{{위키데이터 속성 추적}}
{{회사 정보
| 이름 = 플래티어
| 원어  = Plateer Co. Ltd.
| 형태  = 주식회사
| 산업 = 소프트웨어 개발 및 공급업
| 창립 = 2005년
| 시장 정보 = {{KRX|367000}}
| 국가 = {{국기|대한민국}}
| 장소 = 서울시 송파구 법원로9길 26 H Business Park D동 6층
| 인물 = 대표이사 이상훈
| 서비스 = 
| 대표 제품 = 
| 자본금 = 4,134 (백만원)
| 매출액 = 49.96십억원 (2022년)
| 순이익 = 3.96십억원 (2022년)
| 자산 총액 =  
| 주주 = 이상훈 33.79%, [[화인자산운용|아폴론사모투자합자회사]] 11.97%
| 종업원 = 264명 (2022년)
| 웹사이트 = [http://www.plateer.com 플래티어]
| 영업 이익 = 
}}
'''플래티어'''(Plateer Co. Ltd.)는 대한민국의 기업이다. 본사는 서울시 송파구 법원로9길 26 H Business Park D동 6층에 위치해 있으며 대표이사는 이상훈이다.
<ref>[https://zdnet.co.kr/view/?no=20230516093158 플래티어, 1분기 매출 94.5억원…전년比 8.2%, 지디넷코리아, 2023-05-16]</ref>
<ref>[https://www.fntimes.com/html/view.php?ud=2023111422074213879249a1ae63_18 디지털 플랫폼 솔루션 기업 ‘플래티어’, 어려운 IT 투자 환경 속 주력 사업 매출, Fn뉴스, 2023-11-14]</ref>
<ref>[https://www.newspim.com/news/view/20230323000132 플래티어, 작년 매출 19%↑, 499억..."4년 연속 최고 매출 경신", 뉴스핌, 2023-03-23]</ref>
==상장==
2021.08.12에 주관사를 KB증권,하나금융투자로 공모가 11,000원에 코스닥 시장에 상장하였다.

== 같이 보기 ==
* [[화인자산운용]]
==참고문헌==
<references/>

== 외부 링크 ==
* [http://www.plateer.com 공식홈페이지]

[[분류:대한민국의 기업]]
[[분류:서울특별시의 기업]]
{{위키데이터 속성 추적}}
{{회사 정보
| 이름 = 아주스틸
| 원어 = Aju Steel Co. Ltd.
| 형태 = 주식회사
| 산업 = 제조업
| 창립 = 1999년 10월
| 시장 정보 = {{KRX|139990}}
| 국가 = {{국기|대한민국}}
| 장소 = 경상북도 구미시 산동면 첨단기업로 71
| 인물 = 대표이사 이학연
| 서비스 = 
| 대표 제품 = 
| 자본금 = 
| 매출액 = 1.06조원 (2022년)
| 순이익 = 13.4억원 (2022년)
| 자산 총액 = 
| 주주 = 
| 종업원 = 592명 (2022년)
| 웹사이트 = [http://ajusteel.com 아주스틸]
| 영업 이익 = 
}}
'''아주스틸'''(Aju Steel Co. Ltd.)는 대한민국의 기업이다. 본사는 경상북도 구미시 산동면 첨단기업로 71에 위치해 있으며 대표이사는 이학연이다<ref>[https://www.businesspost.co.kr/BP?command=article_view&num=328116 이학연 아주스틸 창업주 겸 대표이사, 비즈니스포스트, 2023-09-22]</ref>
<ref>[https://www.newstomato.com/ReadNews.aspx?no=1198158 [IB토마토]아주스틸, 돈도 없는데 투자 직진…유증 카드 꺼내나, 뉴스 토마토, 2023.12.20]</ref>
<ref>[https://www.newspim.com/news/view/20221201001000 아주스틸, 캐파 확대 본격화...내년 멕시코-폴란드 공장 완공, 뉴스핌, 2023.12.04]</ref>

==상장==
2021.08.20에 주관사를 미래에셋증권으로 공모가 15,100원에 코스닥 시장에 상장하였다.
== 같이 보기 ==

==참고문헌==
<references/>

== 외부 링크 ==
* [http://ajusteel.com 공식홈페이지]

[[분류:대한민국의 기업]]
[[분류:경상북도의 기업]]
[[분류:구미시의 기업]]
{{위키데이터 속성 추적}}
{{회사 정보
| 이름 = 와이엠텍
| 원어 = YM Tech Co. Ltd.
| 형태 = 주식회사
| 산업 = 자동차 
| 창립 = 2004년
| 시장 정보 = {{KRX|273640}}
| 국가 = {{국기|대한민국}}
| 장소 = 충청북도 청주시 홍덕구 옥산면 과학산업3로 38
| 인물 = 대표이사 김홍기
| 서비스 = 
| 대표 제품 = 직류 고전압 EV 릴레이(Relay)
| 자본금 =  
| 매출액 = 492.9억 원(2022년)
| 순이익 = 127.3억 원(2022년)
| 자산 총액 =  
| 주주 = 
| 종업원 = 114명(2022년)
| 웹사이트 = [http://www.goodymt.com 와이엠텍]
| 영업 이익 = 
}}
'''(주)와이엠텍'''(YM Tech Co. Ltd.)는 대한민국의 전기차 충전기 기업이다.<ref>[https://file.irgo.co.kr/data/BOARD/ATTACH_PDF/aa7dc064-d1de-44c1-9a08-aea7cb7bf26d.pdf 와이엠텍 IR 자료 2021년]</ref> 본사는 충북 청주시 홍덕구 옥산면 과학산업3로 38에 위치해 있다. 대표이사는 김홍기이다.<ref>[https://m.itooza.com/view.php?ud=2023051514310334534 "와이엠텍, 산업 성장과 정책 수혜 받을 것", 아이투자, 2023-05-15]</ref>
<ref>[https://www.infostockdaily.co.kr/news/articleView.html?idxno=184069 와이엠텍, ‘고압 양방향 릴레이’ 세계 최초 개발…”LG화학·삼성SDI 손잡아”, 인포스톡데일리, 2022.11.15]</ref>
<ref>[https://www.fnnews.com/news/202304111119025801 와이엠텍, 테슬라 48V 전환 예고..세계최초 고전압 양방향 기술 개발 부각, Fn뉴스, 2023.04.11]</ref>
==상장==
2021년 9월 10일에 주관사를 [[KB증권]]으로 공모가 28,000원에 코스닥 시장에 상장하였다.
== 같이 보기 ==
* [[전기차]]
==참고문헌==
<references/>

== 외부 링크 ==
* [http://www.goodymt.com 공식홈페이지]

[[분류:대한민국의 기업]]
[[분류:충청북도의 기업]]
[[분류:청주시의 기업]]
{{위키데이터 속성 추적}}
{{회사 정보
| 이름 = 아셈스
| 원어 = Assems Inc.
| 형태 = 주식회사
| 산업 = 플라스틱제품 제조업
| 창립 = 2003년
| 시장 정보 = {{KRX|136410}}
| 국가 = {{국기|대한민국}}
| 장소 = 부산 사하구 을숙도대로873번길 31
| 인물 = 대표이사 장지상
| 서비스 = 
| 대표 제품 = 
| 자본금 = 4,479 (백만원)
| 매출액 = 53.05십억원 (2022년)
| 순이익 = 7.08십억원 (2022년)
| 자산 총액 = 
| 주주 = 장지상(외 8인) 46.63%, [[케이앤투자파트너스]](외 2인) 10.34%, [[트러스톤자산운용]] 5.14%
| 종업원 = 89명 (2022년)
| 웹사이트 = [http://assems.com 아셈스]
| 영업 이익 = 
}}

'''아셈스'''(Assems Inc.)는 대한민국의 기업이다. 본사는 부산 사하구 을숙도대로873번길 31에 위치해 있으며 대표이사는 장지상이다.<ref>[https://www.infostockdaily.co.kr/news/articleView.html?idxno=185625 “아셈스, 내년 친환경 제품군을 통한 성장 본격화…목표가 유지”, 인포스톡데일리, 2022.12.07]</ref>
<ref>[https://m.itooza.com/view.php?ud=2022092111134988181 "아셈스, 친환경 신제품 성장성 ‘주목’- 이베스트, 아이투자, 2022.09.21]</ref>
<ref>[https://news.mt.co.kr/mtview.php?no=2023032309390785075 아셈스 올해 신사업 성과 기대…"주가에도 반영될 것"-이베스트, 머니투데이, 2023.03.23]</ref>
==상장==
2022년 2월 7일에 주관사를 한국투자증권으로 공모가 8,000원에 코스닥 시장에 상장하였다.

== 같이 보기 ==

==참고문헌==
<references/>

== 외부 링크 ==
* [http://assems.com 공식홈페이지]

[[분류:대한민국의 기업]]
[[분류:부산광역시의 기업]]
{{위키데이터 속성 추적}}
{{회사 정보
| 이름 = 트윔
| 원어  = Twim Corp
| 형태  = 주식회사
| 산업 =  
| 창립 = 2010년
| 시장 정보 = {{KRX|290090}}
| 국가 = {{국기|대한민국}}
| 장소 = 경기 화성시 삼성1로4길 7-4
| 인물 = 대표이사 정한섭
| 서비스 = 
| 대표 제품 = 
| 자본금 =  
| 매출액 =  19.56십억원 (2022년)
| 순이익 = -5.33십억원 (2022년)
| 자산 총액 =  
| 주주 = 
| 종업원 = 140명  (2022년)
| 웹사이트 = [http://twim21.com 트윔]
| 영업 이익 = 
}}
'''트윔'''(Twim Corp)는 대한민국의 기업이다. 본사는 경기 화성시 삼성1로4길 7-4에 위치해 있으며 대표이사 는 정한섭이다.
<ref>[https://www.fntimes.com/html/view.php?ud=2023111416580613629249a1ae63_18 코스닥 AI 머신비전 기업 ‘트윔’, 매출액 전년 대비 24%↑… 주가 반등할까?, Fn뉴스, 2023-11-14]</ref>
<ref>[https://www.pinpointnews.co.kr/news/articleView.html?idxno=220101#google_vignette 트윔 주가 휘파람...지능형로봇  인공지능(AI)주 매수 후끈, 핀포인트뉴스, 2023.10.06]</ref>
<ref>[https://www.pinpointnews.co.kr/news/articleView.html?idxno=228800 트윔 주가 들썩...매출액 등 실적호전 지속 '파란불', 핀포인트뉴스, 2023.11.26]</ref>
==상장==
2021년 11월 17일에 주관사를 대신증권으로 공모가 22,000원에 코스닥 시장에 상장하였다.

== 같이 보기 ==

==참고문헌==
<references/>

== 외부 링크 ==
* [http://twim21.com 공식홈페이지] {{웨이백|url=http://twim21.com/ |date=20210301102458 }}

[[분류:대한민국의 기업]]
[[분류:경기도의 기업]]
[[분류:화성시의 기업]]
{{위키데이터 속성 추적}}
{{회사 정보
| 이름 = 엔켐
| 원어 = Enchem Co. Ltd.
| 형태 = 주식회사
| 산업 = 기초 화학물질 제조업
| 창립 = 2012년 1월
| 시장 정보 = {{KRX|348370}}
| 국가 = {{국기|대한민국}}
| 장소 = 충청북도 제천시 바이오밸리로 107
| 인물 = 대표이사 오정강
| 서비스 = 
| 대표 제품 = 2차 전지 및 EDLC용 전해액, 첨가제
| 자본금 =  
| 매출액 =  5097.9억원 (2022년)
| 순이익 = 211.8억원 (2022년)
| 자산 총액 =  
| 주주 = 오정강(외 3인) (22.51%)
| 종업원 = 425명 (2022년)
| 웹사이트 = [http://www.enchem.net 엔켐]
| 영업 이익 = 37억 (2023년)
}}

'''엔켐'''(Enchem Co. Ltd.)는 대한민국의 2차전지 전해액 제조 기업이다. 본사는 충북 제천시 바이오밸리로 107에 위치해 있으며 대표이사는 오정강이다.
<ref>[https://www.industrynews.co.kr/news/articleView.html?idxno=50535 엔켐, 전고체 배터리 사업영역 확대… 티디엘 인수, 인더스트리뉴스, 2023년 8월 1일]</ref>
<ref>[https://www.etnews.com/20230719000006 엔켐, 새만금 리튬염 공장 내달 초 착공, ET뉴스, 2023-07-19]</ref>
<ref>[https://www.theguru.co.kr/news/article.html?no=54056 엔켐, 中공장 3분기 가동…"2026년 전해액 생산능력 100만t", 전문가, 2023.05.18]</ref>
== 재무 ==
2024년 발행한 [[전환사채]] 2,500억 중 1,700억 이상 청약 미달되어 대표 주관사 [[KB증권]]과 인수 회사인 [[대신증권]]이 실권수수료 10%를 받고 청약 미달 물량을 전량 떠안았다<ref>[https://biz.chosun.com/stock/stock_general/2024/11/28/WXWQQL2OPZGLTAJNPFFGNXWCBI 엔켐 전환사채, 2500억 중 1700억 이상 청약 미달, 조선비즈, 2024년 11월]</ref>

==상장==
2021년 11월 1일에 주관사를 [[대신증권]]과 [[신한금융투자]]로 공모가 42,000원에 코스닥 시장에 상장하였다.<ref>[https://ssl.pstatic.net/imgstock/upload/research/company/1663715463724.pdf 오강호, COMPANY REPORT 엔켐, 신한금융투자 2022년 9월 21일]</ref>

== 같이 보기 ==
* [[에코프로비엠]]
* [[엘앤에프]]
* [[천보]]
* [[동화기업]]
* [[중앙첨단소재]]

==참고문헌==
<references/>

== 외부 링크 ==
* [http://www.enchem.net 공식홈페이지]

[[분류:대한민국의 기업]]
[[분류:충청북도의 기업]]
[[분류:제천시의 기업]]
{{위키데이터 속성 추적}}
{{회사 정보
| 이름 = 아이티아이즈
| 원어 = ITeyes Inc.
| 형태 = 주식회사
| 산업 = 소프트웨어 개발 및 공급업
| 창립 = 2012년
| 시장 정보 = {{KRX|372800}}
| 국가 = {{국기|대한민국}}
| 장소 = 서울 영등포구 은행로 37
| 인물 = 대표이사 이성남
| 서비스 = 
| 대표 제품 = 클라우드 재해복구서비스
| 자본금 = 2,988 (백만원)
| 매출액 = 545.7억 원(2022년)
| 순이익 = -99.6억 원(2022년)
| 자산 총액 = 
| 주주 = 이성남(외 4인)(53.85%), 우리사주(7.62%)
| 종업원 = 279명(2022년)
| 웹사이트 = [http://www.iteyes.co.kr 아이티아이즈]
| 영업 이익 = 
}}

'''아이티아이즈'''(ITeyes Inc.)는 대한민국의 금융 정보통신(IT) 서비스 기업이다.<ref>[https://dealsite.co.kr/articles/107172 아이티아이즈, 첫 CB 발행…조달자금 용처 '모르쇠', 딜사이트, 2023년 7월 21일]</ref> 본사는 서울 영등포구 은행로 37에 위치해 있으며 대표이사는 이성남이다. 은행, 증권사 등 금융기관 IT 솔루션 구축하는 사업을 한다<ref>[http://www.insightkorea.co.kr/news/articleView.html?idxno=125051 “아이티아이즈, 올해 적자 폭이 축소되고 내년은 흑자전환 전망, 인사이트코리아, 2023년 12월 15일]</ref>
==상장==
2021년 11월 11일에 주관사를 [[신한금융투자]]로 공모가 14,300원에 코스닥 시장에 상장하였다.
== 같이 보기 ==

==참고문헌==
<references/>

== 외부 링크 ==
* [http://www.iteyes.co.kr 공식홈페이지]

[[분류:대한민국의 기업]]
[[분류:서울특별시의 기업]]
{{위키데이터 속성 추적}}
{{회사 정보
| 이름 = 세아메카닉스
| 원어 = SeA Mechanics Co. Ltd.
| 형태 = 주식회사
| 산업 =  
| 창립 = 1999년
| 시장 정보 = {{KRX|396300}}
| 국가 = {{국기|대한민국}}
| 장소 = 경북 구미시 공단동 292-38
| 인물 = 대표이사 조창현
| 서비스 = 
| 대표 제품 = 
| 자본금 =  
| 매출액 = 876.4억 원(2022년)
| 순이익 = 38.3억 원(2022년)
| 자산 총액 =  
| 주주 = 
| 종업원 = 193명(2022년)
| 웹사이트 = [http://seamechanics.com 세아메카닉스]
| 영업 이익 = 
}}
'''세아메카닉스'''(SeA Mechanics Co. Ltd.)는 대한민국의 기업이다. 본사는 경북 구미시 공단동 292-38에 위치해 있으며 대표이사는 조창현이다.
<ref>[https://www.newspim.com/news/view/20221213000870 세아메카닉스, 전장용 부품 사업 급성장...차량용 디스플레이 양산 준비 완료, 뉴스핌, 2022-12-17]</ref>
<ref>[https://www.newswire.co.kr/newsRead.php?no=967198 세아메카닉스, LG에너지솔루션과 669억원 규모 전기차 배터리 모듈커버 공급계약,뉴스와이어, 2023-05-19]</ref>
<ref>[http://www.dailydgnews.com/news/article.html?no=157000 (주)세아메카닉스, 지역 저소득층 지원 앞장, 일일 DG 뉴스, 2023-06-09]</ref>
==상장==
2022년 3월 24일에 주관사를 [[신한금융투자]]로 공모가 4,400원에 코스닥 시장에 상장하였다.

== 같이 보기 ==
* [[에이치피케이]]
==참고문헌==
<references/>

== 외부 링크 ==
* [http://seamechanics.com 공식홈페이지]

[[분류:대한민국의 기업]]
[[분류:경상북도의 기업]]
[[분류:구미시의 기업]]
{{위키데이터 속성 추적}}
[[파일:Mokhzani Mahathir.jpg|섬네일|모크자니 마하티르]]
'''모크자니 마하티르'''({{llang|ms|Mokhzani Mahathir}}, [[1961년]] [[1월 2일]] [[알로르스타르]] ~ )는 [[말레이시아]] 전 총리 [[마하티르 빈 모하맛]]와 [[시티 하스마]]의 아들로 잠시 정계에 몸담았다가 사업을 위해 정계에서 은퇴했다.

{{전거 통제}}
{{기본정렬:마하티르, 모크자니}}
{{토막글|말레이시아|정치인}}
[[분류:마하티르 빈 모하맛]]
[[분류:크다주 출신]]
[[분류:말레이시아의 무슬림]]
[[분류:인도계 말레이시아인]]
[[분류:살아있는 사람]]
[[분류:말레이시아의 기업인]]
[[분류:1962년 출생]]
{{위키데이터 속성 추적}}
[[파일:Forest of Gunma 1980.jpg|thumb|300px]]
'''군마의 숲'''({{llang|ja|{{ruby-ja|群馬|ぐんま}}の{{ruby-ja|森|もり}}|군마노모리}})은 [[군마현]] [[타카사키시]]에 소재한 현립 도시공원이다. 부지 일부는 국유지다. 공원 내에 [[군마현립 근대미술관]]과 [[군마현립 역사박물관]] 등의 시설이 있다.

{{토막글}}

[[분류:군마현의 공원]]
[[분류:다카사키시]]
{{위키데이터 속성 추적}}
'''아이카와 민와'''(合川 珉和, [[생몰년 미상]])는 [[에도 시대]]의 [[교토]]의 [[우키요에]] 화가이다.

== 내력 ==
간쿠(岸駒)의 제자로 불린다. 성은 아이카와(合川) 이름은 히데나리(秀成). 호는 민와(珉和), 세쓰잔(雪山), 아이카와테이(合川亭), 고진(子陳). 작화 기에는 [[분카]]에서 [[분세이]] 때에 걸쳐서, [[요미혼]], 곳케이본, [[교카|교카본]], 에데혼, 교훈서 등 판본의 삽화를 많이 작업하고 있다.

== 작품 ==

* 『모노구사 다로(物草太郎)』 ※요미혼, 분카 4년(1807년) 간행. 세이슈 산진(西洲散人) 작
* 『아리마후데(ありま筆)』 ※곳케이본, 분카 8년(1811년) 간행. 年々房来里 작
* 『[http://www.dh-jac.net/db1/books/results.php?f3=%E5%85%89%E7%90%B3%E7%94%BB%E5%BC%8F 고린 화식(光琳画式)]』 ※에데혼, 분카 15년(1818년) 간행.
* 『[https://www.wul.waseda.ac.jp/kotenseki/html/chi04/chi04_00181/index.html 편액 궤범(扁額軌範)]』　※2편, 분세이 4년(1821년) 서문. 하야미 슌교사이(速水春暁斎) 엮음, 민와 • 기타카와 하루나리(北川春成) 축도

== 참고 문헌 ==

* 일본 우키요에 협회 엮음 『원색 우키요에 대백과사전(原色浮世絵大百科事典)』(제2권) 다이슈칸쇼텐(大修館書店), 1982년
{{전거 통제}}

[[분류:생몰년 미상]]
[[분류:야마시로국 사람]]
[[분류:에도 시대의 화가]]
[[분류:우키요에 화가]]
{{위키데이터 속성 추적}}
{{회사 정보
| 이름 = 성일하이텍
| 원어  = SungEel HiTech Co. Ltd.
| 형태  = 주식회사
| 산업 = 기초 화학물질 제조업
| 창립 = 2000년
| 시장 정보 = {{KRX|365340}}
| 국가 = {{국기|대한민국}}
| 장소 =  전북 군산시 군산산단로 143-12
| 인물 = 대표이사 이강명
| 서비스 = 
| 대표 제품 = 
| 자본금 = 5,947 (백만원)
| 매출액 = 2699.0억원(2022년)
| 순이익 = 392.9억 원(2022년)
| 자산 총액 =  
| 주주 = 이강명(외 2인)(32.58%), [[삼성SDI]](외 2인)(13.63%), 홍승표(외 3인)(5.16%), 우리사주(4.05%)
| 종업원 = 521명 (2022년)
| 웹사이트 = [http://www.sungeelht.com 성일하이텍]
| 영업 이익 = 
}}
'''성일하이텍'''(SungEel HiTech Co. Ltd.)는 대한민국의 리사이클링 기업이다.
<ref>[https://www.businesspost.co.kr/BP?command=article_view&num=324951 Who Is ? 이강명 성일하이텍 대표이사 회장, 비즈니스포스트, 2023년 8월 22일]</ref>
<ref>[https://www.industrynews.co.kr/news/articleView.html?idxno=47138 성일하이텍, 새만금 제3공장 기공식… 2차전지 재활용 초격차 시동, 인더스트리뉴스, 2022년 9월 15일]</ref>
<ref>[https://www.hellot.net/mobile/article.html?no=76421 성일하이텍-한국에머슨, 폐배터리 재활용 공장 건립 공동 추진, 헬로T, 2023년 3월 22일]</ref> 본사는 전북자치도 군산시 군산산단로 143-12에 위치해 있으며 대표이사는 이강명이다.
==상장==
2022년 7월 28일에 주관사를 [[KB증권]], [[대신증권]], [[삼성증권]]으로 공모가 50,000원에 코스닥 시장에 상장하였다.
== 같이 보기 ==
* [[에코앤드림]]
==참고문헌==
<references/>

== 외부 링크 ==
* [http://www.sungeelht.com 공식홈페이지]

[[분류:대한민국의 기업]]
[[분류:전북특별자치도의 기업]]
[[분류:군산시의 기업]]
{{위키데이터 속성 추적}}
{{회사 정보
| 이름 = 포바이포
| 원어 = 4by4 Inc.
| 형태  = 주식회사
| 산업 =  
| 창립 = 2017년
| 시장 정보 = {{KRX|389140}}
| 국가 = {{국기|대한민국}}
| 장소 = 서울특별시 서초구 반포동 강남대로 479 12~14층
| 인물 = 대표이사 윤준호
| 서비스 = 
| 대표 제품 = 
| 자본금 =  
| 매출액 = 161.9억 원(2022년)
| 순이익 = -87.7억 원(2022년)
| 자산 총액 =  
| 주주 = 
| 종업원 = 95명(2022년)
| 웹사이트 = [http://www.4by4inc.com 포바이포]
| 영업 이익 = 
}}

'''포바이포'''(4by4 Inc.)는 대한민국의 비주얼 콘텐츠 전문 기업이다. 본사는 서울특별시 서초구 반포동 강남대로 479 12~14층에 위치해 있으며  대표이사는 윤준호이다.
<ref>[https://zdnet.co.kr/view/?no=20230327083933 포바이포, e스포츠 기업 ‘SBXG’ 인수, 지디넷코리아, 2023년 3월 27일]</ref>
<ref>[https://m.hankookilbo.com/News/Read/A2023062609310001967 "AI가 알아서 화질 고쳐줘" 독보적 영상 개선 기술 개발한 윤준호 포바이포 대표, 한국일보, 2023년 6월 28일]</ref>
<ref>[https://www.asiae.co.kr/article/2023081519595653029 포바이포, 상반기 매출 전년 대비 45%↑…"자회사 영입효과 가시화", 아시아경제, 2023년 8월 15일]</ref>
==상장==
2022년 4월 28일에 주관사를 [[미래에셋증권]]로 공모가 17,000원에 코스닥 시장에 상장하였다.

== 같이 보기 ==

==참고문헌==
<references/>

== 외부 링크 ==
* [http://www.4by4inc.com 공식홈페이지]

[[분류:대한민국의 기업]]
[[분류:서울특별시의 기업]]
{{위키데이터 속성 추적}}
{{레슬링 선수 정보
| 이름 = 테브피크 크시
| 원어명 = Tevfik Kış
| 본명 = Tevfik Kış
| 사진 = 
| 사진크기 = 
| 사진설명 = 
| 국적 = 
| 이전 국적 =
| 출생일 = {{출생일|1934|8|10}}
| 출생지 = [[튀르키예]] [[펠리치크 (초룸주)|펠리치크]]
| 사망일 = {{사망일과 나이|2019|9|4|1934|8|10}}
| 사망지 = [[튀르키예]] [[앙카라]]
| 신장 = 179cm
| 체중 = 87kg
| 별칭 = 
| 별명 = 
| 학력 =
| 웹사이트 =
<!-- 스포츠 -->
| 국가 = [[튀르키예]]
| 종목 = [[레슬링]]
| 세부종목 = 그레코로만형
| 체급 = 라이트헤비급
| 데뷔 = 
| 선수활동 = 
| 소속팀 = 
| 코치 = 
| 은퇴 = 1968년
<!-- 성적 -->
| 올림픽 = 
| 세계선수권대회 = 
| 지역대회 =
| 국내대회 =
| 최고순위 = 
<!-- 수상 -->
| 메달틀 =
{{메달 나라|{{국기나라|튀르키예}}의 선수}}
{{메달 스포츠|남자 [[레슬링]]}}
{{메달 경기|[[올림픽]]}}
{{금메달|[[1960년 하계 올림픽|1960 로마]]|그레코로만형 -87kg}}
{{메달 경기|[[세계 레슬링 선수권 대회|세계 선수권 대회]]}}
{{금메달|[[1962년 세계 레슬링 선수권 대회|1962 털리도]]|그레코로만형 -87kg}}
{{금메달|[[1963년 세계 레슬링 선수권 대회|1963 헬싱보리]]|그레코로만형 -87kg}}
{{은메달|[[1966년 세계 레슬링 선수권 대회|1966 털리도]]|그레코로만형 -87kg}}
{{메달 경기|[[유럽 레슬링 선수권 대회|유럽 선수권 대회]]}}
{{금메달|[[1966년 유럽 레슬링 선수권 대회|1966 에센]]|그레코로만형 -87kg}}
{{메달 경기|[[지중해 게임]]}}
{{금메달|[[1959년 지중해 게임|1959 베이루트]]|그레코로만형 -87kg}}
}}
'''테브피크 크시'''({{llang|tr|Tevfik Kış}}, [[1934년]] [[8월 10일]]~[[2019년]] [[9월 4일]])는 [[튀르키예]]의 [[레슬링]] 선수이다. [[1960년 하계 올림픽]] 그레코로만형 레슬링 라이트헤비급에서 금메달을 획득했고 [[세계 레슬링 선수권 대회|세계 선수권 대회]]에서 2회 우승, 1회 준우승을 차지했다.

현역 은퇴 후에는 [[앙카라]]에서 요식업에 종사했다. 2011년에 국제 레슬링 연맹 명예의 전당에 헌액되었다.

== 외부 링크 ==
* {{언어링크|en}} [https://www.iat.uni-leipzig.de/datenbanken/dbwrestling/daten.php?spid=726DAA4E068D4DE080E614F0ABAF4CA4 테브피크 크시] - Foeldeak Wrestling Database
* {{언어링크|en}} [https://www.olympedia.org/athletes/60346 테브피크 크시] - Olympedia
* {{언어링크|en}} [https://web.archive.org/web/20171101000000/http://www.sports-reference.com/olympics/athletes/ki/tevfik-kis-1.html 테브피크 크시] - Sports Reference
{{올림픽 레슬링 남자 그레코로만형 라이트헤비급 금메달리스트}}
{{기본정렬:크시, 테브피크}}
{{토막글|레슬링인}}

[[분류:1934년 출생]]
[[분류:2019년 사망]]
[[분류:20세기 튀르키예 사람]]
[[분류:21세기 튀르키예 사람]]
[[분류:튀르키예의 남자 레슬링 선수]]
[[분류:튀르키예의 올림픽 금메달리스트]]
[[분류:올림픽 레슬링 메달리스트]]
[[분류:1960년 하계 올림픽 메달리스트]]
[[분류:튀르키예의 올림픽 레슬링 참가 선수]]
[[분류:1960년 하계 올림픽 레슬링 참가 선수]]
[[분류:1968년 하계 올림픽 레슬링 참가 선수]]
[[분류:세계 레슬링 선수권 대회 메달리스트]]
[[분류:튀르키예의 지중해 게임 금메달리스트]]
[[분류:지중해 게임 레슬링 메달리스트]]
[[분류:1959년 지중해 게임 메달리스트]]
[[분류:1959년 지중해 게임 레슬링 참가 선수]]
[[분류:초룸주 출신]]
'''브란코 라도비치'''({{llang|sh|Бранко Радовић}})는 다음 사람을 가리킨다.

* [[브란코 라도비치 (농구인)|브란코 라도비치]](1933년~1993년)는 [[유고슬라비아]]의 [[농구]] 선수, 지도자이다.
* [[브란코 라도비치 (축구인)|브란코 라도비치]](1950년~)는 [[몬테네그로]]의 [[축구]] 선수, 지도자이다.

{{동명이인}}
'''아나 라도비치'''({{llang|sh|Ана Радовић}})는 다음 사람을 가리킨다.

* [[아나 라도비치 (핸드볼 선수)|아나 라도비치]](1986년~)는 [[몬테네그로]]의 [[핸드볼]] 선수이다.
* [[아나 라도비치 (1990년)|아나 라도비치]](1990년~)는 [[세르비아]]의 [[농구]] 선수이다.
* [[아나 라도비치 (1997년)|아나 라도비치]](1997년~)는 [[보스니아 헤르체고비나]]의 [[농구]] 선수이다.

{{동명이인}}
'''알렉산다르 라도비치'''({{llang|sh|Александар Радовић}})는 다음 사람을 가리킨다.

* [[알렉산다르 라도비치 (수구 선수)|알렉산다르 라도비치]](1987년~)는 [[몬테네그로]]의 [[수구]] 선수이다.
* [[알렉산다르 라도비치 (축구인)|알렉산다르 라도비치]](1987년~)는 [[몬테네그로]]의 [[축구]] 선수이다.

{{동명이인}}
{{위키데이터 속성 추적}}
[[파일:Chris Henry (2310846707).jpg|섬네일|2006년 모습]]
'''크리스 헨리'''(Chris Henry, 1983년 5월 17일 – 2009년 12월 17일)는 [[신시내티 벵골스]]의 [[내셔널 풋볼 리그]](NFL)에서 5시즌을 뛰었던 [[미식축구]] [[와이드 리시버]]였다. 웨스트 버지니아에서 대학 미식축구 경기를 했으며 2005 NFL 드래프트 3라운드에서 벵갈스에 의해 드래프트되었다.

헨리는 2009년 12월 17일 약혼녀가 운전하던 트럭에서 말다툼 끝에 끌려가다 사망했다. 부검 결과 헨리는 선수 생활 중 반복적인 머리 타격으로 인해 만성 외상성 뇌병증(CTE)에 걸린 것으로 나타났다. CTE는 부검을 통해서만 확실하게 진단할 수 있고 헨리는 사망했을 때 여전히 NFL에서 활동하고 있었기 때문에 헨리는 활동적인 선수가 사망하고 CTE로 진단될 수 있는 첫 번째 사례를 대표했다.

== 외부 링크 ==
* [https://web.archive.org/web/20091102082801/http://www.bengals.com/team/roster/chris-henry/96603ae9-bf37-425e-83af-e2b92581265d Cincinnati Bengals bio]
* {{Find a Grave|45561374}}

[[분류:1983년 출생]]
[[분류:2009년 사망]]
[[분류:신시내티 벵골스 선수]]
{{위키데이터 속성 추적}}
[[파일:Chris Henry 2015 RWC.jpg|섬네일]]
'''크리스 헨리'''(Chris Henry, 1984년 10월 17일 ~ )는 전 [[아일랜드섬|아일랜드]] [[럭비 유니언]] 럭비 선수이다. 그는 얼스터(Ulster)와 밸리미나 럭비 클럽(Ballymena Rugby Club)에서 뛰었다.

그는 [[퀸스 대학교 벨파스트]]에 진학하기 전에 [[리즈번]]의 월리스 고등학교에서 교육을 받았다. 2009년 11월, 2009년 연말 럭비 테스트를 위한 아일랜드의 39인 선수단에 이름을 올렸고, 호주와의 첫 번째 캡을 받았을 때 다시 2010년 중반 럭비 테스트 시리즈의 선수단에 이름을 올렸다.

2014년 11월, 헨리는 아일랜드가 연말 국제 시리즈에서 [[남아프리카 공화국 럭비 유니언 국가대표팀|남아프리카 공화국]]과 경기를 하기 전에 뇌의 작은 혈관이 일시적으로 막히는 고통을 겪었다.

== 외부 링크 ==
* [https://web.archive.org/web/20081230145054/http://www.ulsterrugby.com/rugby/8734.php?player=19881&includeref=dynamic Ulster profile]

[[분류:1984년 출생]]
[[분류:살아있는 사람]]
[[분류:아일랜드의 럭비 선수]]
[[분류:퀸스 대학교 벨파스트 동문]]
{{위키데이터 속성 추적}}
'''계산 지능'''(CI, Computational Intelligence)이라는 표현은 일반적으로 데이터나 실험적 관찰을 통해 특정 작업을 학습하는 [[컴퓨터]]의 능력을 나타낸다. 일반적으로 [[소프트 컴퓨팅]]의 동의어로 간주되지만 컴퓨팅 지능에 대해 일반적으로 받아들여지는 정의는 아직 없다.

일반적으로 계산 지능은 몇 가지 이유 때문에 수학적 또는 전통적인 모델링이 쓸모가 없을 수 있는 복잡한 실제 문제를 해결하기 위한 자연에서 영감을 받은 계산 방법론 및 접근 방식의 집합이다. 프로세스 중 불확실성이 있거나 프로세스가 본질적으로 확률론적일 수 있다. 실제로 많은 실제 문제는 컴퓨터가 처리할 수 있는 이진 언어(0과 1의 고유 값)로 변환될 수 없다. 따라서 컴퓨팅 지능은 이러한 문제에 대한 솔루션을 제공한다.

사용된 방법은 인간의 추론 방식에 가깝다. 즉, 부정확하고 불완전한 지식을 사용하며 적응적인 방식으로 제어 조치를 생성할 수 있다. 따라서 CI는 다섯 가지 주요 보완 기술을 조합하여 사용한다. 컴퓨터가 [[자연어 이해|자연어를 이해]]할 수 있게 하는 [[퍼지 논리]], 생물학적인 것처럼 작동하여 경험적 데이터를 시스템이 학습하도록 하는 [[인공 신경망]], 자연 선택 과정을 기반으로 하는 [[진화 연산|진화 컴퓨팅]], 학습 이론 및 확률론적 방법을 기반으로 한다. 불확실성 부정확성을 처리하는 데 도움이 된다.

이러한 주요 원리를 제외하고 현재 인기 있는 접근 방식으로는 진화 연산의 일부로 볼 수 있는 군집 지능, 인공 면역 시스템 등 생물학적에서 영감을 받은 알고리즘, 이미지 처리, 데이터 마이닝, 자연어 처리, [[인공지능]] 등이 있다. 컴퓨팅 지능과 혼동된다. 그러나 컴퓨터 지능(CI)과 인공 지능(AI)은 모두 비슷한 목표를 추구하지만 둘 사이에는 분명한 차이가 있다.

따라서 컴퓨팅 지능은 인간처럼 수행하는 방법이다. 실제로 '지능'의 특성은 대개 인간에게 귀속된다. 최근에는 많은 제품과 품목이 추론 및 의사 결정과 직접적으로 연결된 속성인 "지능적"이라고 주장한다.

== 같이 보기 ==
* [[지능형 로봇]]
* [[데이터 마이닝]]

[[분류:인공지능]]
{{위키데이터 속성 추적}}
'''소프트 컴퓨팅'''(Soft computing)은 컴퓨터 과학에서 해결 불가능한 고급 문제에 대한 대략적인 솔루션을 생성하는 [[알고리즘]] 유형을 설명하는 데 사용되는 포괄적인 용어이다. 일반적으로 기존의 하드 컴퓨팅 알고리즘은 문제에 대한 솔루션을 생성하기 위해 구체적인 데이터와 수학적 모델에 크게 의존한다. 소프트 컴퓨팅은 20세기 후반에 만들어졌다. 이 기간 동안 세 가지 분야의 혁신적인 연구가 소프트 컴퓨팅에 큰 영향을 미쳤다. 퍼지 논리는 이진법의 엄격한 0과 1 대신 진실 수준을 사용하여 데이터의 불확실성을 해소하는 계산 패러다임이다. 다음으로 인간의 뇌 기능에 영향을 받는 계산 모델인 신경망이다. 마지막으로 진화계산은 진화나 자연선택과 같은 자연 과정을 모방하는 알고리즘 그룹을 설명하는 용어이다.

[[인공지능]]과 [[기계 학습]]의 맥락에서 소프트 컴퓨팅은 실제 불확실성을 처리하는 도구를 제공한다. 그 방법은 더 나은 솔루션을 위해 기존 방법을 보완한다. 오늘날에는 인공지능과의 결합으로 다양한 연산 알고리즘을 통합한 하이브리드 지능 시스템이 탄생했다. 인공 지능의 응용 분야를 확장하면 소프트 컴퓨팅이 강력한 솔루션으로 이어진다. 핵심 내용으로는 모호성 해결, 유연한 학습, 복잡한 데이터 파악, 실제 적용, 윤리적 인공 지능 등이 있다.

{{전거 통제}}

[[분류:소프트 컴퓨팅| ]]
{{위키데이터 속성 추적}}
'''프로그램 합성'''(Program synthesis)은 [[컴퓨터 과학]]에서 주어진 높은 수준의 형식 사양을 확실히 만족시키는 [[컴퓨터 프로그램|프로그램]]을 구성하는 작업이다. 프로그램 검증과 달리 프로그램은 제공되기보다는 구성된다. 그러나 두 분야 모두 형식 증명 기술을 사용하며 둘 다 서로 다른 수준의 자동화 접근 방식으로 구성된다. [[자동 프로그래밍]] 기술과 달리 프로그램 합성의 사양은 일반적으로 적절한 [[형식 체계|논리 계산]]의 비알고리즘 진술이다.

프로그램 합성의 주요 응용 프로그램은 사양을 충족하는 정확하고 효율적인 코드를 작성해야 하는 프로그래머의 부담을 덜어주는 것이다. 그러나 프로그램 합성에는 [[루프 불변자|루프 불변량]]의 초최적화 및 추론에도 적용할 수 있다.

== 같이 보기 ==
* [[귀납적 프로그래밍]]
* [[메타프로그래밍]]

== 출처 ==
* {{저널 인용|last=Alur |first=Rajeev |last2=Singh |first2=Rishabh |last3=Fisman |first3=Dana |last4=Solar-Lezama |first4=Armando |date=2018-11-20 |title=Search-based program synthesis |url=https://doi.org/10.1145/3208071 |journal=Communications of the ACM |volume=61 |issue=12 |pages=84–93 |doi=10.1145/3208071 |issn=0001-0782}}
* {{저널 인용| author=Zohar Manna, Richard Waldinger| title=Knowledge and Reasoning in Program Synthesis| journal=Artificial Intelligence| year=1975| volume=6| issue=2| pages=175–208| doi=10.1016/0004-3702(75)90008-9}}

[[분류:프로그래밍 패러다임]]
{{위키데이터 속성 추적}}
'''루프 불변성''', '''루프 불변량''', '''루프 불변자'''(Loop invariant)는 [[컴퓨터 과학]]에서 각 반복 이전(및 이후)에 적용되는 [[컴퓨터 프로그램|프로그램]] [[제어 흐름|루프]]의 속성이다. 이는 때때로 코드 [[표명]](assertion)으로 확인되는 논리적 표명이다. 루프의 효과를 이해하려면 불변성을 아는 것이 필수적이다.

공식적인 프로그램 검증, 특히 [[호어 논리|플로이드-호어]] 접근법에서 루프 불변량은 형식적 술어 논리로 표현되고 루프의 속성을 증명하는 데 사용되며 루프(일반적으로 정확성 속성)를 사용하는 확장 [[알고리즘]]에 의해 사용된다. 루프 불변성은 루프에 들어갈 때와 각 반복 후에 참이 되므로 루프에서 나갈 때 루프 불변성과 루프 종료 조건이 모두 보장될 수 있다.

프로그래밍 방법론 관점에서 루프 불변은 루프의 보다 추상적인 사양으로 볼 수 있으며, 이는 이 구현의 세부 사항을 넘어 루프의 더 깊은 목적을 특징으로 한다. 설문 조사 기사는 컴퓨터 과학의 다양한 영역(검색, 정렬, 최적화, 산술 등)의 기본 알고리즘을 다루며 불변의 관점에서 각 알고리즘을 특성화한다.

루프와 [[재귀]] 프로그램의 유사성 때문에 불변성을 사용하여 루프의 부분 정확성을 증명하는 것은 귀납법을 통해 재귀 프로그램의 정확성을 증명하는 것과 매우 유사하다. 실제로 루프 불변은 주어진 루프와 동등한 재귀 프로그램에 대해 증명되는 귀납적 가설과 동일한 경우가 많다.

== 비공식 예제 ==
<syntaxhighlight lang="c" line highlight="6,11">
int max(int n, const int a[]) {
    int m = a[0];
    // m equals the maximum value in a[0...0]
    int i = 1;
    while (i != n) {
        // m equals the maximum value in a[0...i-1]
        if (m < a[i])
            m = a[i];
        // m equals the maximum value in a[0...i]
        ++i;
        // m equals the maximum value in a[0...i-1]
    }
    // m equals the maximum value in a[0...i-1], and i==n
    return m;
}
</syntaxhighlight>

== 같이 보기 ==
* [[불변량]]

[[분류:정형 기법]]
[[분류:제어 흐름]]