뉴스
"실행 가능함"(으)로 총 476건 검색되었습니다.
- [주말N수학] 절대로 해결할 수 없는 문제2022.09.11
- 어떤 증명 과정을 거쳤는지 살펴봅시다. 정지 문제가 가능하다면 정지 문제란 현재 실행 중인 프로그램이 계산을 끝내고 언젠가 종료하는지 아니면 영원히 계산을 반복하는지 판별하는 기계가 존재할 수 있는지를 묻는 문제입니다. 튜링은 정지 문제를 풀 수 없다는 사실을 증명하기 위해 튜링 ... ...
- 롯데, KAIST에 140억 출연...'탄소중립' 연구 허브 조성동아사이언스 2022.08.29
- 꾸미겠다는 구상이다. 이광형 KAIST 총장은 “미래 혁신을 향한 롯데의 혜안과 이를 실행하기 위한 과감한 기부 결정에 감동과 감사의 마음을 전한다”며 “미래 유통을 선도하고 지구와 인류의 지속가능한 발전을 도모할 성과가 나오길 기대한다”고 밝혔다. ... ...
- 14년 만에 학생연구자 인건비 기준 최대 30% 오른다동아사이언스 2022.08.26
- 예정이다. 세부 기준 마련이 필요한 일부를 제외하고는 2023년부터 연구현장에서 즉시 실행된다. 주영창 과기정통부 과학기술혁신본부장은 "연구현장에 자율성과 창의성을 확대해 연구자가 연구에 몰입할 수 있는 환경을 조성하고자 했다"며 "매년 연구자의 애로사항에 귀를 기울여 창의적이고 ... ...
- 민간 원자력정책발굴단 구성...소형모듈원자로 개발 방향 논의동아사이언스 2022.08.19
- 혁신기술 확보를 위한 주요국들의 기술패권 경쟁이 뜨거운 상황”이라며 “정책의 실행 가능성과 효과성 제고를 위해 민간 차원의 다양한 연구 산업적 수요 발굴 및 효율적 지원방안과 자문이 필요하다”고 밝혔다. 이날 첫 간담회에서는 혁신형 SMR 개발 추진방향을 논의했다. 과기정통부는 ... ...
- "지방소멸 등 지역위기 극복 수단은 '과학기술'"연합뉴스 2022.07.15
- 20여 년간 과학기술정책에서 지역 역할은 중앙정부 정책의 단순한 시행 무대에서 실행자와 파트너로서 역할과 기능 확대를 목표로 했지만, 여전히 선언적인 수준에 머무르고 있다"고 밝혔다. 현재 지역은 중앙정부 방향에 따라 지역 혁신을 위한 과학기술정책을 집행하고 있지만, 정책 수립과 예산 ... ...
- '탈원전 폐기' 공식화…원전비중 확대에 업계 기대감-환경단체 반대연합뉴스 2022.07.06
- 원전업계 관계자는 "정부가 새 계획을 추진하는 것은 반갑지만 실제로 준비해서 실행하는 데 몇 년은 걸릴 것"이라며 "원전 정책을 추진하다 보면 반핵단체의 반대도 부딪히지 않을까 싶다"고 말했다. 산업부가 지난달 21일 정부세종청사에서 개최한 새정부 에너지정책 방향 수립을 위한 ... ...
- [표지로 읽는 과학]기후의 미래를 위해 지금은 행동할 시간동아사이언스 2022.06.26
- 장기적으로 사회경제적 웰빙과 형평성을 보장하는 건전한 지구 기후 적응 계획을 실행할 수 있는지 분석한 프랑스국립과학연구센터 연구진 분석과 국제 무역 정책이 글로벌 기후 의제를 지원할 방법을 평가한 독일 베를린 기후연구소 연구진의 분석을 특집에 소개했다 ... ...
- OLED 최적 소재 찾고 질병 유전변이도 분석하는 슈퍼컴퓨터동아사이언스 2022.06.13
- 연구뿐만 아니라 소재, 물질, 핵물리, 약물 효과 등 첨단 산업에 필요한 시뮬레이션을 실행하고 인공지능(AI) 모델을 훈련하는 데 필수적인 자원이 되고 있다”며 “강력한 슈퍼컴퓨터를 보유하면 산업계와 학계의 경쟁 우위를 점할 수 있다는 점에서 전세계에서 슈퍼컴퓨터 투자 경쟁이 일어나고 ... ...
- 北 코로나 장기전 대비하나…내각 주도 보건 인프라 구축 나서연합뉴스 2022.06.07
- 안목과 발전적 견지에서 방역토대의 정비·보강을 강력히 추진하기 위한 계획이 실행되고 있다"며 내각과 보건성에서 물질 기술적 준비사업을 전개해 나가고 있다고 전했다. 이번 코로나 확진자 수습 과정에서 낙후한 보건 인프라 실태가 고스란히 드러남에 따라 이를 보강 정비하기 위한 의료 ... ...
- IBM, 초소형위성으로 에지 컴퓨팅 구축한다동아사이언스 2022.05.30
- 참가자들은 위성 속 센서 데이터에 접속하고 사진을 촬영하거나 우주에서 계산을 실행해 그 데이터를 다시 지구로 가져올 수 있다. 나임 알타프 IBM 스페이스테크 최고기술책임자(CTO)는 “IBM의 우주 에지 컴퓨팅 실험은 우주에서 컨테이너를 구동하고 인공위성에서 생산되는 원시 데이터에 AI를 ... ...
