통합검색

최대 대기시간이 줄었으면 ‘더 안정적’이라고 써도 될까?

두 기간의 최솟값·최댓값과 쓰기 초점을 바꾸어 최대값 개선과 범위 변화가 다른 방향일 때 보고 문장을 고칩니다.

1.3.5.6. Measures of Scale

AI 도구가 보낸 글자 ‘false’는 정말 거짓일까?

JavaScript에서 비어 있지 않은 문자열은 내용이 false여도 참으로 변환됩니다. 입력 자료형과 검사 정책을 바꾸며 실행 경로를 비교합니다.

실제 대화의 논증은 어떻게 찾아내고 평가할까?

리오 그로아크의 스탠퍼드 철학백과 글을 통해 자연어 대화와 토론 속 논증을 찾아 전제·결론·추론으로 정리하고, 문맥에 맞는 기준으로 평가하는 비형식 논리의 역할을 살핀다.

비형식 논리 — Informal Logic

자료베이스에 기록이 없으면 거짓이라고 말해도 될까?

같은 기록 없음이 열린 세계에서는 미정, 닫힌 세계에서는 거짓이 되는 과정을 직접 바꾸며 자료 완전성 가정을 점검합니다.

On Closed World Data Bases

한 번 쓴 전제를, 다시 써도 될까요?

장이브 지라르의 《Linear Logic》(1987)을 따라, 전제의 사용에서 증명망과 정규화까지 읽습니다. 14개의 문답, 15개의 생각그림, 세 가지 실험을 함께 담았습니다.

Jean-Yves Girard, Linear Logic (1987)