real-number

3열

1답변

Coquelicot을 mathcomp/SSreflect 위에 설치했습니다. 표준 Coq를 마스터하지 않아도 기본 분석을 수행하고 싶습니다. 이 나의 첫번째 보조 정리하다 : 상태가 Definition fsquare (x : R) : R := x^2. Lemma deriv_x2 : forall y, is_derive (fsquare) y (2 * y).

3열

1답변

8087 코 프로세서가 반환 한 짧은 실수의 분수 부분은 어떻게 변환합니까?

나는 8087에서 레지스터 스택의 맨 위로 파이를로드하는 간단한 프로그램을 작성한 다음 그 실제 메모리를 짧은 실제 메모리 변수로 리턴합니다. FLDPI ;load pi FSTP DWORD PTR shortReal ;store pi in memory, then pop stack shortReal에 저장된 값은 40 49 0F DB 16 진수입

-2열

1답변

배쉬 스크립트는 음수

a=4; b=7; c=5; x =[ a-b ] if (x -gt c) then { echo "x is greater" } else { echo " something" } 내가 c의 부의 접두사를 무시 x 및 c을 비교하려면 에 부의 접두사를 무시합니다.