MIT 라이선스

정식 명칭	MIT License (X11 License)
작성자	[[매사추세츠 공과대학교]] (MIT)
최초 공개	1988년
유형	[[관용 라이선스]] (Permissive License)
SPDX 식별자	MIT
OSI 승인	예
FSF 자유 소프트웨어	예 (GPL 호환)
카피레프트	아니오
대표 사용 프로젝트	[[Node.js]], [[Ruby on Rails]], [[jQuery]], [[X 윈도 시스템]]

'''MIT 라이선스'''(MIT License)는 [[매사추세츠 공과대학교]](Massachusetts Institute of Technology, MIT)에서 기원한 [[자유 소프트웨어]] [[라이선스]]이다. [[관용 라이선스]](permissive license)의 대표적인 사례로, 소프트웨어의 사용, 복사, 수정, 병합, 출판, 배포, 재라이선싱, 판매 등을 거의 제한 없이 허용하는 것이 특징이다. 유일한 조건은 라이선스 원문과 저작권 표시를 소프트웨어의 모든 사본 또는 상당 부분에 포함해야 한다는 것이다. 그 간결함과 유연성 덕분에 오늘날 세계에서 가장 널리 사용되는 [[오픈 소스]] 라이선스 중 하나로 자리잡았으며, [[GitHub]]에 등록된 프로젝트 중 가장 높은 채택률을 보이고 있다. == 개요 == MIT 라이선스는 소프트웨어 라이선스 중에서도 가장 짧고 단순한 형태에 속한다. 전체 라이선스 본문은 약 170단어에 불과하며, 법률 전문가가 아닌 일반 개발자도 쉽게 이해할 수 있도록 작성되어 있다. 이 라이선스의 핵심 원칙은 다음과 같이 요약할 수 있다. 소프트웨어를 획득한 모든 사람에게 '''무제한적으로''' 소프트웨어를 다룰 수 있는 권한이 부여된다. 여기에는 사용, 복사, 수정, 병합, 출판, 배포, 재라이선싱, 판매할 권리가 포함된다. 이 권한은 소프트웨어 사본을 제공받는 제3자에게도 동일하게 적용될 수 있다. 단, 위의 저작권 고지와 허가 고지가 소프트웨어의 모든 사본 또는 실질적인 부분에 포함되어야 한다는 조건이 존재한다. 또한 소프트웨어는 '''있는 그대로'''(AS IS) 제공되며, 어떠한 종류의 보증도 제공되지 않는다. 이는 소프트웨어 사용으로 인한 문제에 대해 원저작자가 법적 책임을 지지 않는다는 것을 의미한다. MIT 라이선스는 [오픈 소스 이니셔티브]에 의해 공식적으로 [[오픈 소스]] 라이선스로 승인되었으며, [자유 소프트웨어 재단]에서도 [[자유 소프트웨어]] 라이선스로 인정하고 있다. 또한 [[GPL]](GNU General Public License)과 호환되어 MIT 라이선스로 배포된 코드를 GPL 프로젝트에 통합하는 것이 가능하다. == 역사 == === 기원과 X 윈도 시스템 === MIT 라이선스의 역사는 1980년대 [[매사추세츠 공과대학교]]의 컴퓨터 과학 연구와 깊이 연결되어 있다. 이 라이선스의 직접적인 기원은 [[X 윈도 시스템]](X Window System)의 개발 과정에서 찾을 수 있다. 1984년 MIT의 '''제롬 솔처'''(Jerome Saltzer)와 '''짐 게티스'''(Jim Gettys), '''밥 셰이플러'''(Bob Scheifler) 등이 주도한 X 윈도 시스템 프로젝트는 [[유닉스]] 기반 운영체제를 위한 그래픽 사용자 인터페이스 시스템이었다. 이 프로젝트의 성공을 위해서는 가능한 한 많은 하드웨어 벤더와 소프트웨어 개발자가 이 시스템을 채택하도록 해야 했다. 이를 위해 MIT는 X 윈도 시스템을 매우 관대한 조건의 라이선스 하에 배포하기로 결정했다. 이 라이선스는 상업적 사용을 포함한 거의 모든 용도의 사용을 허락하면서도, 소스 코드 공개 의무를 부과하지 않는 방식이었다. 이로 인해 [[DEC]], [[휴렛팩커드]], [[IBM]], [[선 마이크로시스템즈]] 등 주요 컴퓨터 제조업체들이 X 윈도 시스템을 자사 제품에 통합할 수 있었으며, X 윈도 시스템은 유닉스 세계의 사실상 표준 그래픽 인터페이스로 자리잡게 되었다. 이 때문에 MIT 라이선스는 '''X11 라이선스'''라고도 불린다. === 자유 소프트웨어 운동과의 관계 === MIT 라이선스가 등장한 1980년대는 [[자유 소프트웨어]] 운동이 본격적으로 형성되던 시기였다. 1983년 [[리처드 스톨먼]]이 [[GNU 프로젝트]]를 시작하고, 1985년 [자유 소프트웨어 재단]을 설립하면서, 소프트웨어의 자유로운 사용과 공유에 대한 체계적인 철학이 확립되었다. 스톨먼은 1989년 [[GPL]](GNU General Public License)을 발표했는데, GPL은 MIT 라이선스와는 근본적으로 다른 접근 방식을 취했다. GPL은 '''[[카피레프트]]''' 원칙을 도입하여, 파생 저작물 역시 같은 라이선스 조건으로 배포할 것을 요구했다. 반면 MIT 라이선스를 비롯한 관용 라이선스는 파생 저작물에 대한 라이선스 조건을 강제하지 않는다. 이러한 차이는 자유 소프트웨어와 오픈 소스 진영 내에서 오랜 철학적 논쟁을 야기했다. 카피레프트 지지자들은 관용 라이선스가 기업에 의한 코드 독점을 허용한다고 비판했고, 관용 라이선스 지지자들은 진정한 자유란 사용 방식에 대한 제한 없이 코드를 활용할 수 있는 것이라고 주장했다. === 오픈 소스 이니셔티브의 승인 === 1998년 [오픈 소스 이니셔티브]가 설립되면서 [[오픈 소스]] 라이선스에 대한 공식적인 인증 체계가 마련되었다. OSI는 [[오픈 소스 정의]](Open Source Definition)에 부합하는 라이선스를 심사하여 승인하는 역할을 맡았으며, MIT 라이선스는 초기에 OSI의 승인을 받은 라이선스 중 하나가 되었다. OSI의 승인은 MIT 라이선스가 오픈 소스 소프트웨어 생태계에서 공식적인 지위를 확보하는 데 중요한 역할을 했다. === 현대적 확산 === 2010년대 이후 MIT 라이선스의 채택률은 급격히 증가했다. 이는 몇 가지 요인에 기인한다. 첫째, [[GitHub]], [[npm]], [[RubyGems]] 등 패키지 관리 시스템과 코드 호스팅 플랫폼의 성장으로 오픈 소스 생태계가 폭발적으로 확장되었다. 둘째, 웹 프론트엔드 및 [[JavaScript]] 생태계의 급성장과 함께 MIT 라이선스를 채택한 수많은 라이브러리와 프레임워크가 등장했다. 셋째, 기업들이 오픈 소스 전략을 적극적으로 채택하면서, 법적 부담이 적은 MIT 라이선스를 선호하게 되었다. GitHub이 2015년에 발표한 조사에 따르면, MIT 라이선스는 GitHub에 등록된 오픈 소스 프로젝트 중 가장 많이 사용되는 라이선스였다. 이후로도 이 추세는 지속되어, 2020년대 중반 기준으로 GitHub 프로젝트의 약 25~30% 이상이 MIT 라이선스를 채택하고 있는 것으로 추산된다. == 라이선스 전문 == MIT 라이선스의 영문 원문은 다음과 같은 구조를 가진다. 저작권 고지 부분에 해당 연도와 저작권자의 이름이 들어가며, 그 아래에 허가 조항과 면책 조항이 이어진다. 라이선스의 주요 구성 요소는 세 부분으로 나뉜다. '''저작권 고지'''는 소프트웨어의 원저작자와 저작 연도를 명시한다. '''허가 조항'''은 소프트웨어를 제한 없이 사용할 수 있는 권리를 부여하면서, 저작권 및 허가 고지를 사본에 포함할 것을 요구한다. '''면책 조항'''은 소프트웨어가 "있는 그대로" 제공되며 어떠한 보증도 없음을 명시하고, 저작자의 법적 책임을 면제한다. == 주요 특징 == === 관용성 === MIT 라이선스의 가장 두드러진 특징은 극도의 '''관용성'''(permissiveness)이다. 라이선스 보유자는 소프트웨어를 사실상 원하는 대로 사용할 수 있다. 상업적 제품에 포함시키는 것, 수정하여 독점 소프트웨어로 배포하는 것, 다른 라이선스로 재라이선싱하는 것 모두 허용된다. 이는 [[GPL]]이나 [[LGPL]] 등의 [[카피레프트]] 라이선스가 파생 저작물에 동일한 라이선스 적용을 요구하는 것과 대조적이다. === 간결성 === MIT 라이선스는 약 170단어로 구성되어 있어, 주요 오픈 소스 라이선스 중 가장 짧은 편에 속한다. 비교하자면, [[GPL v3]]는 약 5,600단어, [[아파치 라이선스]] 2.0은 약 4,200단어에 달한다. 이 간결함은 법률 전문가의 도움 없이도 라이선스의 내용을 파악할 수 있게 하며, 법적 검토 비용을 줄여주는 실질적인 이점이 된다. === GPL 호환성 === MIT 라이선스는 [[GPL]]의 모든 버전과 호환된다. 이는 MIT 라이선스로 배포된 코드를 GPL 프로젝트에 통합할 수 있다는 것을 의미한다. 다만 그 반대, 즉 GPL 코드를 MIT 라이선스 프로젝트에 통합하는 것은 GPL의 카피레프트 조항으로 인해 제한된다. 이러한 호환성은 MIT 라이선스의 채택률을 높이는 데 기여한 중요한 요인이다. === 면책 조항 === MIT 라이선스에는 명시적인 '''면책 조항'''(disclaimer)이 포함되어 있다. 소프트웨어는 "있는 그대로"(AS IS) 제공되며, 상품성, 특정 목적에의 적합성, 비침해성 등에 대한 명시적이거나 묵시적인 보증이 일체 없다. 소프트웨어의 사용으로 인한 어떠한 손해에 대해서도 저작자나 저작권자는 책임을 지지 않는다. 이 면책 조항은 오픈 소스 소프트웨어 개발자를 법적 위험으로부터 보호하는 중요한 역할을 한다. == 다른 라이선스와의 비교 == === MIT vs. BSD 라이선스 === [[BSD 라이선스]]는 MIT 라이선스와 함께 관용 라이선스의 양대 산맥을 이룬다. 두 라이선스의 핵심 원칙은 거의 동일하지만, 몇 가지 차이점이 존재한다. 원래의 BSD 라이선스(4-Clause BSD)에는 원저작자의 이름을 광고 자료에 표시해야 한다는 '''광고 조항'''(advertising clause)이 있었으나, 이후 이 조항은 삭제되어 수정 BSD 라이선스(3-Clause BSD)와 간략화된 BSD 라이선스(2-Clause BSD)가 만들어졌다. 2-Clause BSD 라이선스는 MIT 라이선스와 사실상 동일한 효과를 가지며, 실무적으로 두 라이선스 간의 차이는 극히 미미하다. === MIT vs. 아파치 라이선스 2.0 === [[아파치 라이선스]] 2.0은 MIT 라이선스와 마찬가지로 관용 라이선스에 속하지만, 몇 가지 추가적인 조항을 포함한다. 가장 주목할 만한 차이점은 아파치 라이선스 2.0에 '''특허 허여 조항'''(patent grant clause)이 포함되어 있다는 것이다. 이 조항은 기여자가 자신의 특허를 소프트웨어 사용자에게 묵시적으로 라이선싱하도록 하여, 특허 관련 소송의 위험을 줄여준다. MIT 라이선스에는 이러한 명시적 특허 조항이 없어, 특허가 중요한 분야에서는 아파치 라이선스 2.0이 더 선호되는 경우가 있다. === MIT vs. GPL === [[GPL]]과 MIT 라이선스의 차이는 오픈 소스 라이선스 체계에서 가장 근본적인 철학적 분기점을 나타낸다. GPL은 [[카피레프트]] 라이선스로서, 파생 저작물 역시 GPL 조건 하에 소스 코드와 함께 배포할 것을 요구한다. 이는 소프트웨어의 "자유"가 후속 사용자에게도 보장되도록 하려는 것이다. 반면 MIT 라이선스는 이러한 제약을 두지 않아, 파생 저작물을 독점 소프트웨어로 배포하는 것도 허용한다. GPL의 접근 방식은 소프트웨어 자유의 보존을 강조하고, MIT 라이선스의 접근 방식은 사용자의 선택의 자유를 강조한다. === MIT vs. ISC 라이선스 === [[ISC 라이선스]]는 [[인터넷 시스템즈 컨소시엄]](Internet Systems Consortium)에 의해 작성된 라이선스로, MIT 라이선스를 더욱 간소화한 형태이다. ISC 라이선스는 MIT 라이선스에서 "사용, 복사, 수정, 병합..." 등의 구체적인 권리 열거를 제거하고, 단순히 "어떤 목적으로든 사용, 복사, 수정, 배포"할 수 있다고 명시한다. 법적 효과는 MIT 라이선스와 동일한 것으로 간주된다. == 주요 사용 사례 == MIT 라이선스는 수많은 유명 오픈 소스 프로젝트에서 채택되고 있다. 대표적인 사례는 다음과 같다. === 웹 프레임워크 및 라이브러리 === '''[[Ruby on Rails]]''' - [[루비]] 기반의 웹 애플리케이션 프레임워크로, 2004년부터 MIT 라이선스로 배포되어 왔다. '''[[Express.js]]''' - [[Node.js]]를 위한 웹 프레임워크로, [[npm]] 생태계의 핵심 구성 요소이다. '''[[jQuery]]''' - 한때 가장 널리 사용된 [[JavaScript]] 라이브러리로, 웹 개발의 표준 도구 역할을 했다. '''[[React.js]]''' - [[메타 플랫폼즈|Meta]]가 개발한 사용자 인터페이스 라이브러리로, 2017년 BSD+Patents 라이선스에서 MIT 라이선스로 전환했다. '''[[Vue.js]]''' - [[에반 유]](Evan You)가 개발한 프로그레시브 프론트엔드 프레임워크이다. '''[[Angular]]''' - [[구글]]이 개발한 웹 애플리케이션 프레임워크이다. === 런타임 및 플랫폼 === '''[[Node.js]]''' - [[JavaScript]] 런타임 환경으로, 서버 사이드 JavaScript의 기반이 되는 프로젝트이다. '''[[.NET|.NET Core / .NET 5+]]''' - [[마이크로소프트]]가 오픈 소스로 전환한 개발 플랫폼이다. '''[[Electron (소프트웨어 프레임워크)|Electron]]''' - [[GitHub]]이 개발한 데스크톱 애플리케이션 프레임워크로, [[Visual Studio Code]], [[Slack]], [[Discord]] 등이 이를 기반으로 한다. === 윈도 시스템 === '''[[X 윈도 시스템]]''' - MIT 라이선스의 기원이 된 프로젝트로, [[유닉스]] 및 [[리눅스]] 시스템의 그래픽 인터페이스 기반이다. == 기업의 MIT 라이선스 활용 == 현대 소프트웨어 산업에서 MIT 라이선스는 기업의 오픈 소스 전략에 핵심적인 역할을 한다. 많은 기업이 자사 프로젝트를 MIT 라이선스로 공개하는 이유는 다양하다. === 생태계 구축 === 기업이 핵심 기술을 MIT 라이선스로 공개하면, 외부 개발자들이 해당 기술을 자유롭게 사용하고 기여할 수 있게 된다. 이를 통해 기술을 중심으로 한 '''개발자 생태계'''가 형성되며, 이는 해당 기업의 상용 제품이나 서비스에 대한 수요를 간접적으로 증가시킨다. [[메타 플랫폼즈|Meta]]의 [[React.js]], [[구글]]의 [[Angular]], [[마이크로소프트]]의 [[Visual Studio Code]] 등이 이러한 전략의 대표적인 사례이다. === 법적 단순성 === MIT 라이선스는 기업의 법무 부서 입장에서 검토와 승인이 용이한 라이선스이다. GPL과 달리 소스 코드 공개 의무가 없으므로, 상업적 소프트웨어에 MIT 라이선스 코드를 통합하는 것이 법적으로 단순하다. 많은 기업이 내부적으로 사용 가능한 오픈 소스 라이선스의 "화이트리스트"를 유지하고 있으며, MIT 라이선스는 거의 예외 없이 이 목록에 포함된다. === 라이선스 전환 사례 === 일부 프로젝트들은 다른 라이선스에서 MIT 라이선스로 전환한 바 있다. 가장 주목받은 사례 중 하나는 2017년 [[React.js]]의 라이선스 변경이다. Meta(당시 Facebook)는 React를 BSD 라이선스에 특허 조항을 추가한 "BSD+Patents" 라이선스로 배포하고 있었으나, 이 특허 조항이 논란을 일으키자 MIT 라이선스로 전환했다. 이 사건은 오픈 소스 라이선스의 선택이 프로젝트의 채택에 얼마나 큰 영향을 미치는지를 보여주는 중요한 사례로 기록된다. == 영향 및 의의 == === 오픈 소스 생태계에 대한 기여 === MIT 라이선스는 현대 [[오픈 소스]] 소프트웨어 생태계의 성장에 지대한 영향을 미쳤다. 그 간결함과 관용성은 개인 개발자부터 대기업까지, 다양한 주체가 오픈 소스에 참여하는 진입 장벽을 낮추는 데 기여했다. 특히 [[npm]] 생태계에서 MIT 라이선스는 사실상의 기본 라이선스로 기능하고 있으며, 수십만 개의 [[JavaScript]] 패키지가 이 라이선스를 채택하고 있다. === 소프트웨어 혁신 촉진 === MIT 라이선스의 관용적 조건은 기존 코드를 기반으로 한 혁신을 촉진했다. 개발자들은 MIT 라이선스로 배포된 코드를 자유롭게 수정하고 재배포할 수 있으므로, 기존 프로젝트의 성과를 바탕으로 새로운 프로젝트를 시작하는 것이 용이해졌다. 이러한 재사용성은 소프트웨어 개발의 효율성을 크게 향상시켰으며, "바퀴를 다시 발명하지 않는다"는 오픈 소스의 핵심 원칙을 실현하는 데 기여했다. === 학술 및 교육 분야 === MIT 라이선스는 학술 연구와 교육 분야에서도 중요한 역할을 한다. 많은 대학 연구 프로젝트와 교육 자료가 MIT 라이선스로 배포되고 있으며, 이는 연구 결과의 재현성과 접근성을 높이는 데 기여한다. 특히 [[인공지능]]과 [[기계학습]] 분야에서 MIT 라이선스로 배포된 연구 코드와 모델이 학계와 산업계의 발전에 큰 영향을 미치고 있다. == 논란 및 비평 == === 특허 보호 부재 === MIT 라이선스에 대한 가장 빈번한 비판 중 하나는 '''명시적 특허 허여 조항'''이 없다는 것이다. [[아파치 라이선스]] 2.0과 달리, MIT 라이선스는 기여자의 특허를 사용자에게 라이선싱하는 조항을 포함하지 않는다. 이로 인해 MIT 라이선스로 배포된 소프트웨어의 사용자가 기여자의 특허 소송에 노출될 가능성이 이론적으로 존재한다. 일부 법률 전문가들은 MIT 라이선스의 "제한 없이 다룰 수 있는" 권리 부여가 묵시적 특허 허여를 포함한다고 해석하기도 하지만, 이에 대한 법적 합의는 아직 명확하지 않다. === 카피레프트 진영의 비판 === [[카피레프트]] 지지자들, 특히 [[자유 소프트웨어 재단]]과 [[리처드 스톨먼]]은 MIT 라이선스와 같은 관용 라이선스가 소프트웨어의 자유를 충분히 보호하지 못한다고 비판한다. 관용 라이선스 하에서 기업은 오픈 소스 코드를 가져다가 독점 소프트웨어에 통합하고, 수정된 버전의 소스 코드를 공개하지 않을 수 있다. 카피레프트 지지자들은 이를 커뮤니티의 노력에 대한 '''무임승차'''(free-riding)로 간주하며, GPL과 같은 카피레프트 라이선스가 이러한 문제를 방지한다고 주장한다. === 라이선스 변경 및 오픈 소스 지속가능성 === 2020년대에 들어 여러 오픈 소스 프로젝트들이 MIT 라이선스나 유사한 관용 라이선스에서 보다 제한적인 라이선스로 전환하는 사례가 증가했다. 대표적으로 [[Redis]], [[MongoDB]], [[Elasticsearch]] 등은 [[클라우드 컴퓨팅]] 업체들이 자사의 오픈 소스 소프트웨어를 서비스로 제공하면서 충분한 기여를 하지 않는다는 이유로 라이선스를 변경했다. 이러한 움직임은 '''오픈 소스의 지속가능성''' 문제를 부각시켰으며, 관용 라이선스만으로는 개발자와 기업의 이해관계를 균형 있게 조율하기 어렵다는 인식을 확산시켰다. === "라이선스 증식" 문제와 변형 === MIT 라이선스의 역사에서 하나의 문제점은 '''라이선스 증식'''(license proliferation)이다. MIT 라이선스에는 하나의 통일된 공식 텍스트가 존재하지 않았으며, 다양한 기관과 프로젝트가 약간씩 변형된 버전을 사용했다. 예를 들어, 원래의 X11 라이선스, Expat 라이선스 등 여러 변형이 존재한다. [[오픈 소스 이니셔티브]]는 이러한 혼란을 줄이기 위해 표준화된 MIT 라이선스 텍스트를 제시하고 있으며, [[SPDX]](Software Package Data Exchange) 표준에서는 "MIT"라는 단일 식별자로 이를 참조한다. == 적용 방법 == MIT 라이선스를 자신의 프로젝트에 적용하는 방법은 비교적 간단하다. 프로젝트의 루트 디렉터리에 '''LICENSE''' 또는 '''LICENSE.txt'''라는 이름의 파일을 생성하고, MIT 라이선스 전문을 복사한 후 저작권 연도와 저작권자 이름을 적절히 기입하면 된다. 또한 [[GitHub]]에서 새 저장소를 생성할 때 라이선스를 선택하는 기능을 제공하며, MIT 라이선스를 선택하면 자동으로 라이선스 파일이 생성된다. 소스 코드 파일의 상단에 짧은 라이선스 헤더를 포함하는 것이 권장되지만, MIT 라이선스에서 이것이 필수 사항은 아니다. 중요한 것은 라이선스 전문과 저작권 고지가 소프트웨어의 모든 사본에 포함되어야 한다는 것이다. == 법적 해석 == MIT 라이선스는 그 간결함에도 불구하고, 몇 가지 법적 해석상의 쟁점이 존재한다. "소프트웨어의 실질적인 부분"(substantial portions of the Software)이 정확히 무엇을 의미하는지, "제한 없이"(without limitation)가 특허권을 포함하는지, "있는 그대로"(AS IS) 면책 조항이 모든 관할권에서 유효한지 등이 논의의 대상이 된다. 특히 [[미국]] 이외의 관할권에서 MIT 라이선스의 면책 조항이 어느 정도까지 효력을 발휘하는지에 대해서는 아직 충분한 판례가 축적되지 않았다. 일부 국가에서는 소비자 보호법에 의해 "모든 보증의 배제"가 제한될 수 있으며, 이 경우 MIT 라이선스의 면책 조항이 온전히 적용되지 않을 가능성이 있다. == 관련 문서 == [[오픈 소스]] [[자유 소프트웨어]] [[소프트웨어 라이선스]] [[관용 라이선스]] [[GPL|GNU 일반 공중 라이선스]] [[아파치 라이선스]] [[BSD 라이선스]] [[ISC 라이선스]] [[카피레프트]] [[오픈 소스 이니셔티브]] [[자유 소프트웨어 재단]] [[매사추세츠 공과대학교]] [[X 윈도 시스템]] [[GitHub]] [[SPDX]] == 외부 링크 == [https://opensource.org/licenses/MIT 오픈 소스 이니셔티브 - MIT 라이선스 전문] [https://choosealicense.com/licenses/mit/ GitHub Choose a License - MIT 라이선스] [https://spdx.org/licenses/MIT.html SPDX - MIT 라이선스 정보] [https://www.gnu.org/licenses/license-list.html#Expat 자유 소프트웨어 재단 - 라이선스 목록] [https://tldrlegal.com/license/mit-license TLDRLegal - MIT 라이선스 요약] [[분류:소프트웨어 라이선스]] [[분류:오픈 소스]] [[분류:자유 소프트웨어 라이선스]] [[분류:매사추세츠 공과대학교]]