인간의 사고와 행동은 단순한 알고리즘으로 설명될 수 없으며, 우리의 뇌가 제공하는 다양한 관점을 통해 현실을 이해해야 한다.
λ-계산의 확장적 및 비확장적 함수를 프로세스로 표현하는 방법을 연구하고, 이를 통해 λ-이론을 얻는 방법을 제시한다.
과학지식의 성장은 과학 개념의 축적과 구조화를 통해 이루어진다.
ChatGPT를 활용하여 포트란 기반 기후 시스템 모델을 파이썬/JAX로 번역하고 현대화함으로써 모델의 효율성과 정확성을 향상시킬 수 있다.
ChatGPT 출시 이후 논문 초록에서 AI 생성 확률이 점진적으로 증가하고 있으며, 영어가 모국어가 아닌 저자들이 AIGC 도구를 더 많이 사용하는 것으로 나타났다. 그러나 저자의 학술적 성과와 AIGC 사용 간에는 유의미한 상관관계가 없었다. 또한 이전에 AIGC를 사용했던 저자들이 향후에도 AIGC 도구를 더 많이 사용할 가능성이 높은 것으로 나타났다.
폐쇄적인 디지털 시스템은 인간의 개방적이고 동적인 창의성 과정을 모방하거나 재현하는 데 근본적인 한계가 있다.
대학 컴퓨터 과학 학사 과정에서 이산수학은 필수적이지만, 미적분학의 요구 시기와 배치에 대해서는 일관성이 없다. 이는 학생들의 진입, 유지 및 졸업 시간에 큰 영향을 미칠 수 있다.
람다 계산법의 호출 전략인 call-by-name과 call-by-value를 통합하는 Bang 계산법 프레임워크를 소개하고, 이를 통해 두 전략의 정적/동적 특성을 연구한다.
램쇼-메시나가 제안한 페널티 방법과 인공 압축 방법의 결합은 단독으로 사용하는 것보다 3-4배 더 정확하다.
최종 학년 컴퓨터 공학 학생들의 사기 증후군 수준은 성별에 따라 차이가 있으며, 사기 증후군 수준이 높을수록 코드 이해 시간이 늘어나고 정답률이 낮아진다.