뉴스
"프로그램"(으)로 총 4,427건 검색되었습니다.
- [주말N수학] 컴퓨터의 탄생2022.07.09
- 없음을 보였습니다. 모든 명제가 증명 가능한지 기계적으로 판별하는 것이 가능하다면 ‘프로그램 P(x)는 정상적으로 종료한다’라는 명제 역시 P(x)가 정상적으로 종료하는지 판별할 수 있는데요. 정지 문제를 풀 수 없다는 사실은 수학이 결정 가능성을 지니지 않음을 의미합니다! ※관련기사 ... ...
- “올해는 한국 수학의 해”2022.07.08
- 좋은 멘토로 둬 성장했듯 학생들이 멘토를 만나게 하고 롤모델을 지속으로 제시하는 프로그램이 필요하다”고 말했다. 허 교수 역시 국내 수학자들이 좋은 성과를 내고 있다는 평가와 함께 그들을 위한 안정적 연구 생태계를 마련해야 한다고 평가했다. 그는 “젊음 수학자들이 즐겁게 큰 ... ...
- [우주산업 리포트] "2030년까지 우주 일자리 2만개 만든다" 호주 우주전략2022.07.08
- 머신즈’와 5년간의 파트너십을 체결, NASA의 ‘상업용 달 탑재체 서비스’(CLPS) 프로그램을 포함 다수의 달 탐사 미션에 사용될 예정이다. 2021년 4월 호주 정부는 세계에서 가장 큰 전파망원경과 이로부터 정보를 수신해 처리할 슈퍼 컴퓨터 센터를 설립한다고 발표했다. 약 3억 8700만 호주 달러(약 330 ... ...
- 尹대통령 ‘우주경제 비전 선포’ “우주경제시대 활짝 열어갈 것”연합뉴스 2022.07.07
- 인력양성)”을 의미한다. 아르테미스 프로그램은 미국이 주도하는 국제 유인 달탐사 프로그램으로 2024년까지 우주인을 달에 보내고, 2028년까지 달에 지속가능한 유인기지 건설을 추진하는 계획이다 ... ...
- 가슴 쓸어내린 NASA…달 정거장 궤도시험 위성 교신 복원연합뉴스 2022.07.07
- 뿐만 아니라 지구와 항상 교신이 가능한 위치에 있다는 장점을 갖고 있다. 아르테미스 프로그램은 게이트웨이를 달을 오가는 우주비행사들이 거쳐가는 전진기지로 삼고있어 캡스톤과의 교신이 복원되지 않고 우주의 어둠 속으로 사라졌다면 달 복귀 계획도 차질이 빚어질 수 있었다. ... ...
- 알프스 최고 관측소 덮은 눈, 역사상 가장 빨리 녹았다연합뉴스 2022.07.06
- 이번 사고처럼 끔찍한 결과로 나타날 수도 있다"고 말했다. 유럽연합(EU)의 지구 관측 프로그램인 코페르니쿠스에 따르면 19세기 후반과 21세기 초반 사이에 알프스산맥 기온은 지구 전체보다 두 배 이상 빠르게 상승했다. 이탈리아를 포함하는 지중해 분지는 기후변화 현상이 심각한 곳으로, ... ...
- 달 정거장 건설 출발부터 '삐걱'…궤도시험 위성 연락 끊겨연합뉴스 2022.07.06
- 달 우주정거장 게이트웨이(Gateway)는 미국의 달 복귀 계획인 '아르테미스(Artemis) 프로그램'에서 달을 오가는 우주비행사들이 거쳐가는 전진기지로 구상돼 있어 달 복귀 계획의 중요한 한 축이 출발부터 차질을 빚은 셈이 됐다. 미국 항공우주국(NASA)은 5일(현지시간) '캡스톤'(CAPSTONE) 위성이 지구 ... ...
- [특별기고]우리는 제2,제3의 허준이를 만날 준비가 되어 있는가2022.07.05
- 가지지 못한 그만의 비장의 무기가 되었다. 한국에서 정부 주도로 운영된 석학 초청 프로그램들에 대한 평가는 후하지 않다. 하지만 히로나카 교수라는 멘토를 통해서 또 다른 세계를 보게 된 학생이, 입학 허가가 거부되는 어려움을 뚫고 세계 최고의 수학자 반열에 오른 걸 보라. 미래의 ... ...
- 미국 "중국의 달 장악 경계해야"…중국 "말도 안돼"연합뉴스 2022.07.05
- 대해 매우 우려해야 한다"고 말했다. 넬슨 국장은 이어 중국의 우주 프로그램이 군사 프로그램이며, 중국의 우주 비행사들은 다른 나라의 위성 파괴법을 익히고 있다고 주장했다. 그러면서 특히 물이 있을 것으로 추정되는 달의 남극을 중심으로 우주에서 중국과 미국의 경쟁이 심화하고 ... ...
- "빅테크들, 인공지능 능력 과장…기대감 낮춰야"연합뉴스 2022.07.01
- 내부 직원의 주장이다. 구글 엔지니어 블레이크 르모인은 이달 초 자사의 AI 언어 프로그램 '람다'(LaMDA)가 자신의 권리와 존재감을 자각하고 있다는 것을 발견했다고 밝혔다. 르모인은 WSJ과 인터뷰에서 "시스템의 특성을 과장한 것이 아니다"며 "가능한 한 신중하고 정확하게 불확실성이 어디에 ... ...
