Monthly Archives: April 2014

LEMMON 스타일로 Latex 에서 자연 연역 추론을 표현하기

드디어 LEMMON 스타일로 자연 연역 추론을 표현할 방법을 알게 되었습니다. 몇 가지 다른 표현법을 알고 있었는데 배운 것과 다르고 좀 단순한 것을 찾다가 포기했는데 드디어 찾았습니다. 물론 Edward John Lemmon이 쓴  Beginning Logic 에 사용된 표기법을 말합니다.

이 내용은 http://phloxgroup.wordpress.com 에 있는 ” LEMMON-STYLE NATURAL DEDUCTION PROOFS IN LATEX “이라는 글입니다. 참고하세요. 메뉴얼도 위의 페이지에 있습니다.

맥 검색인 Spotlight 에서 Evernote 가 검색되지 않는 경우 해결책

에버노트를 잘 앱스토어에서 잘 다운 받아 쓰다가 문득 해봤는데 안 검색이 되지 않아서 고생했습니다. 찾아보니 해결책은 쉽습니다. 애버노트 홈피에서 개발자의 다음과 같은 답변을 찾았습니다.

There is an issue with 10.9 and Spotlight functionality. It is a restriction only on Mac App Store builds. To get around this, please download Evernote directly from us at

즉 애플 앱스토어에서 애버노트 앱을 다운 받지 말고,  애버노트 홈에서 다음 링크로 가신 다음,

https://evernote.com/intl/ko/evernote/

그냥 맥용 내려받기 버튼을 누르시면 앱스토어로 가는 경우가 있으니 다음과 같이 해주시면 됩니다. 참고로 이렇게 해도 Spotlight가 완벽하게 작동은 하지 않지만, 쓸만하게 검색이 됩니다.

evernote down 1

evernote_down_2