F스타
"보안을 수학적으로 입증"… F*로 안전한 코드 만들기
프로그래밍의 많은 부분이 추상화, 산업화됐다고 해도 그 내부는 여전히 수학이다. 소프트웨어의 기반 수학은 프로그래밍 언어와 알고리즘을 움직이게 하고 코드를 빌드하는 데 사용하는 툴과 개념을 제공한다. 코드는 다양한 시점에 다양한 방식으로 ...
프로그래밍의 많은 부분이 추상화, 산업화됐다고 해도 그 내부는 여전히 수학이다. 소프트웨어의 기반 수학은 프로그래밍 언어와 알고리즘을 움직이게 하고 코드를 빌드하는 데 사용하는 툴과 개념을 제공한다. 코드는 다양한 시점에 다양한 방식으로 ...
“전사적으로 주 4일 혹은 주 4.5일 근무제 시행을 검토하고 있다”