[논문 리뷰] Scientific notations for the digital era

Konrad Hinsen|arXiv (Cornell University)|2016. 05. 10.

Scientific Computing and Data Management참고 문헌 12인용 수 3

한 줄 요약

이 논문은 프로그래밍 언어와 데이터 포맷을 통해 표현되는 디지털 과학 지식은 계산 효율성은 높지만 인간 사용자 친화성이 떨어진다는 점을 주장한다. 계산 과학에서 의미 있는 지식 표현, 조합, 공유를 가능하게 하기 위해 단순하고 유연하며 상호운용 가능한 형식 언어를 디지털 과학 표기법으로 설계할 것을 제안하며, Lisp/Racket 및 MOSAIC의 사례를 들어 이러한 표기법을 위한 실용적 프레임워크를 제시한다.

ABSTRACT

Computers have profoundly changed the way scientific research is done. Whereas the importance of computers as research tools is evident to everyone, the impact of the digital revolution on the representation of scientific knowledge is not yet widely recognized. An ever increasing part of today's scientific knowledge is expressed, published, and archived exclusively in the form of software and electronic datasets. In this essay, I compare these digital scientific notations to the the traditional scientific notations that have been used for centuries, showing how the digital notations optimized for computerized processing are often an obstacle to scientific communication and to creative work by human scientists. I analyze the causes and propose guidelines for the design of more human-friendly digital scientific notations.

연구 동기 및 목표

• 현재의 디지털 과학 표기법—예를 들어 프로그래밍 언어와 파일 포맷—이 인간 중심의 과학적 소통과 창의적 연구에 부적합하다는 점을 부각시키는 것.
• 계산 과학이 실험적·이론적 연구와 동일한 수준의 심층적 검토를 받아야 하며, 소프트웨어와 디지털 표현에 대한 동료 검토가 필요하다고 주장하는 것.
• 형식 언어를 모델로 삼아 단순하고, 유연하며, 상호운용 가능한 디지털 과학 표기법을 설계할 것을 주장하는 것. 기존 소프트웨어나 데이터 포맷이 아닌 형식 언어를 기반으로 하는 것이다.
• 계산 과학에서 소프트웨어와 데이터의 인위적인 대비를 해소하기 위해 둘을 동일한 형식 언어 프레임워크 아래 통합하는 것.
• 디지털 지식 표현을 파일 포맷이나 코드로 보는 것이 아니라, 과학적 추론을 위한 표현력 있고 인간이 읽을 수 있는 표기법으로 재고할 것을 계산 과학자들에게 권장하는 것.

제안 방법

• 컴퓨터 과학에서 유래한 형식 언어를 디지털 과학 표기법의 통합 기초로 삼으며, 데이터 포맷과 프로그래밍 언어를 동일한 개념의 예시로 간주한다.
• 계층적 아키텍처를 제안: 최하위 레벨에 기본 데이터 유형(숫자, 배열, 트리, 맵)을 두고, 비트 표현 간 표준화되고 손실이 없는 상호 변환(예: XML, HDF5, IPFS)을 보장한다.
• 모듈화된 언어 설계를 통해 언어의 확장성과 조합성을 실현하며, Racket의 언어 프레임워크 사례를 통해 기존 언어에서 파생하거나 확장할 수 있는 새로운 언어의 구현 가능성을 보여준다.
• 공통 핵심 기반 위에 도메인 특화 표기법을 구축함. 예를 들어, 분자의 시뮬레이션을 위한 MOSAIC은 일반적인 데이터 구조와 여러 비트 수준 표현 방식을 사용한다.
• 수학적 표현을 위한 OpenMath 콘텐츠 사전과 같은 기존 표준을 활용하고, 명확한 인터페이스 정의를 통해 상호운용성을 지원한다.
• 언어가 작고 외우기 쉬우며 개인 및 공동체의 필요에 맞게 확장 가능하도록 하여 인간 사용자 중심의 설계를 우선시하며, 전면적인 프로그래밍 언어의 복잡성을 피한다.

실험 결과

연구 질문

• RQ1 프로그래밍 언어와 파일 포맷이 계산 효율성은 높지만 과학적 소통 수단으로서 부적합한 이유는 무엇인가?
• RQ2 디지털 과학 표기법은 어떻게 설계되어야 하며, 계산 과학에서 인간의 이해와 기계 처리를 동시에 지원할 수 있는가?
• RQ3 다양한 도구와 도메인 간 과학 지식의 신뢰성 있는 조합을 가능하게 하기 위해 디지털 표기법이 가져야 할 구조적 및 의미적 특성은 무엇인가?
• RQ4 형식 언어가 과학자와 계산 시스템 간의 통합 인터페이스로 기능할 수 있는 정도는 어느 정도이며, 현재의 소프트웨어와 데이터 분산 구조를 대체할 수 있는가?
• RQ5 다양한 디지털 과학 표기법 간의 상호운용성을 어떻게 달성할 수 있을까? 이 과정에서 개인 연구자의 단순성이나 유연성은 희생당하지 않도록 해야 한다.

주요 결과

• 프로그래밍 언어와 파일 포맷에 기반한 디지털 과학 표기법은 컴퓨터 최적화되어 있지만 인간의 이해와 창의적 과학 작업을 저해한다.
• 계산 과학에서 소프트웨어와 데이터의 구분은 인위적이며 과학 지식의 구조에는 반영되지 않아 통합과 소통이 어려운 결과를 낳는다.
• 형식 언어는 디지털 과학 표기법의 통합 기초를 제공하며, 단순성과 확장성을 고려해 설계할 경우 기계 처리와 인간 가독성을 동시에 확보할 수 있다.
• Racket 언어 프레임워크는 작은, 조합 가능한, 상호운용 가능한 언어를 쉽게 구축하고 확장할 수 있음을 보여주며, 연구와 소프트웨어 개발을 모두 지원한다.
• 표준화되고 손실이 없는 비트 표현 간 상호 변환(예: XML, HDF5, IPFS)을 통해 상호운용성이 달성될 수 있으며, 여러 형식이 공존하더라도 가능하다.
• 기존의 노력들—예를 들어 MOSAIC—는 잠재력을 보이지만, 공통된 데이터 유형 기반의 핵심 층이 부족하여 보편적 재사용과 조합이 어려운 점에서 한계를 드러내며, 보다 넓은 범위의 재사용과 조합을 가능하게 하기 위해 공통 핵심이 필요하다는 점을 강조한다.