![[프로그래밍 언어의 역사] 인간은 실수없이 기계와 대화하고 싶어서](http://dl.dongascience.com/uploads/article/thumbnail/202306/20230531-025.png)
[프로그래밍 언어의 역사] 인간은 실수없이 기계와 대화하고 싶어서
과학동아 2023년 06호
‘튜링-완전(turing-complete)’한 언어다. 튜링-완전하다는 것은 프로그래밍 언어로 기계적인 계산은 뭐든 표현할 수 있다는 의미다. 때문에 이 교수는 “튜링 기계와 람다 계산법이 결론적으로 똑같다”고 말한다. 컴퓨터로 돌릴 수 있는 모든 소프트웨어를 표현할 수 있는 언어기 때문이다. 다만 ...
‘튜링-완전(turing-complete)’한 언어다. 튜링-완전하다는 것은 프로그래밍 언어로 기계적인 계산은 뭐든 표현할 수 있다는 의미다. 때문에 이 교수는 “튜링 기계와 람다 계산법이 결론적으로 똑같다”고 말한다. 컴퓨터로 돌릴 수 있는 모든 소프트웨어를 표현할 수 있는 언어기 때문이다. 다만 ...
![[수학 상위 1% 비밀무기] KAIST, 서울대 동시 합격 비결은?](http://dl.dongascience.com/uploads/article/thumbnail/202305/스크린샷_2023-04-22_오후_4.37_.52_.png)
풀면 좋은가요? 처음에 쉬운 문제를 많이 풀어서 기초 실력을 쌓아 올렸어요. 그다음 기계적인 문제 풀이보다는 생각하면서 푸는 문제를 위주로 풀어봤어요. Q. 수학 공부할 때 뭐가 가장 중요하다고 생각해요? 손과 발을 바쁘게 만드는 거요. 눈으로만 읽고 풀 수 있는 문제도 있지만, 지문이 ...
![[한승전의 ‘초(超)재료] 질긴 세라믹, 질긴 금속 일상의 혁명을 가져오다](http://dl.dongascience.com/uploads/article/thumbnail/202305/pic__2023-05-01_at_2.40_.11_AM_.png)
흡수한 에너지의 양, 인성도 작다. 하지만 고체는 다르다. 원자 간에 결합된 힘 이상으로 기계적인 힘을 가하면 원자들 간 간격은 점점 멀어지고, 외부 힘이 원자결합이 견딜 수 있는 수준을 넘어서면 결합은 끊어져 버린다. 새로운 표면엔 물질 내부와 달리 결합이 끊어진 수많은 원자가 집합해 ...
![[특집] 영화 속 장면을 현실로?! 메타물질](http://dl.dongascience.com/uploads/article/thumbnail/202305/Screenshot_2023-02-22_11.30_.43_Gcy0NX_중간_.jpeg)
영화 의 화려한 홀로그램부터 속 무적의 방패,SF 영화에 등장하는 우주선의 트랙터 빔…. 영화 속 세상에선 현실에서 일어나기힘 ... 음향 메타물질로 UFO의 트랙터 빔을!Part3. [특집] 열적 메타물질로 불꽃 슈트를!Part4. [특집] 기계적 메타물질로 캡틴의 방패를 ...
![[특집] 기계적 메타물질로 캡틴의 방패를!](http://dl.dongascience.com/uploads/article/thumbnail/202305/Screenshot_2023-02-22_14.50_.22_e4YY4S_.png)
이용해도 부분에 따라 강도가 달라지는 등 자연에선 관찰할 수 없는 특징을 지녔어요. 기계적 메타물질은 이런 성질을 이용해 압력이나 충격도 흡수하거나 흘려보낼 수 있죠. 연구팀은 3D 프린터로 ‘맥스웰 격자’라는 구조를 만들었어요. 구조의 형태를 변화시켜 가장자리와 중간 부분의 강도를 ...
![[SF] 끝내](http://dl.dongascience.com/uploads/article/thumbnail/202304/Screenshot_2023-03-27_17.25_.01_XFFIIV_.png)
싶으면 물을 마셔야 해.어쩐지 방법을 찾은 것 같다. #40~42.195km모든 참가자의 얼굴에 기계적인 고통의 표정만 떠오른다. 몇 시간 동안 쉼 없이 지면에 부딪히는 충격을 흡수한 인체는, 구석구석 변형된다. 척추 뼈 사이사이를 채운 디스크가 압축돼 신장은 평균 1.25cm씩 줄고, 위산이 역류해 가슴 ...
![[수학상위 1% 비밀무기] 서울대 수리과학부 새내기 어재혁의 합격 비결은 ? 필사와 수다](http://dl.dongascience.com/uploads/article/thumbnail/202303/pic__2023-02-28_at_11.49_.32_PM_.png)
그래서 시험 시간을 넉넉하게 주는 거 같아요. 앞서 말씀드렸듯 생각하지 않고, 기계적으로 푸는 수학 문제를 싫어해서 저는 이런 시험 문제가 잘 맞았어요. 시험이 끝난 후에는 친구들과 어떻게 풀었는지 이야기하는 시간을 가졌어요. 그래도 풀지 못한 문제가 있으면 선생님께 가서 바로 ...
![[5년 후, 과학은] 의생명과학과 공학의 경계, 조직공학](http://dl.dongascience.com/uploads/article/thumbnail/202302/pic__2023-01-31_at_1.25_.36_AM_.png)
그래핀은 열전도도, 화학적 안정성, 전자 이동도 같은 물리화학전기적 특성과 강도 등 기계적 물성이 매우 우수하며, 여러 생체재료와 안정적으로 결합하죠. 저희 연구실은 2022년 3월 그래핀을 코팅한 티타늄 임플란트의 우수성을 생체재료 분야 학술지에 발표했습니다. 이 그래핀 코팅 임플란트가 ...
![[논문탐독] 휜 숟가락 펴기 힘든 이유](http://dl.dongascience.com/uploads/article/thumbnail/202302/pic__2023-01-31_at_1.07_.24_AM_.png)
아닌 오직 전위만을 생각합니다. 전위의 위치와 그 구조, 네트워크만 알면 숟가락의 기계적 상태가 어떤지 정확히 알 수 있기 때문이죠. 변형경화의 비밀을 풀 열쇠, 다중접합 숟가락이 구부러질 때, 전위는 하나의 면 안에서 움직입니다. 그러다 중간에 방해물들을 만날 수 있습니다. 이때 가장 ...
![[2022 SF 스토리 공모전 수상작] 안스리움](http://dl.dongascience.com/uploads/article/thumbnail/202301/Screenshot_2022-12-28_12.07_.47_BdiVSA_.png)
‘고객과 시선은 절대 마주치지 말 것’이라고 적혀 있기라도 한 듯, 지극히 사무적이고 기계적인 태도로 설진을 대했다.“내세 좌표 확인이요. 빨리 처리해줘요, 급하니까.”설진은 누군가에게 지는 것을 쉬이 허락하지 않는 성격이었다. 족제비같이 생긴 직원이 감히 자신에게 불친절로 ...