MathJax와 자연 연역

Fitch style proof나 truth tree proof (tableaux method) 등을 통한 자연 연역 표기를 \(\LaTeX\)에서는 패키지 추가를 통해 할 수 있는데, 유감스럽게도 MathJax는 관련 익스텐션을 제공하지 않는다. 그래서 여러 방법을 고민해 보았다.…

고스트로 이주했다.

워드프레스 기반으로 혼잣말 블로그를 운영하고 있었다. 그런데 기존에 사용하던 호스팅이 너무 오류가 잦았고, 아울러 워드프레스의 무거움을 참기가 어려웠다. 새로운 CMS를 찾던 중 고스트를 발견했다. 디지털오션(DigitalOcean)에 호스팅을 등록한 뒤 고스트로 블로그를 설치했다. 이 블로그는 보다 생산적인 용도로 사용할 생각이다. 공부하는 것들도 공유를 하고, 슬슬 "CV"도 구성해 둘 작정이다.…