변화들: 다시 여는 말
블로그에 몇 가지 변화를 줬다. 1. 주소를 바꿨다(https://philtoday.kr). 보다 오랫동안 사용하고, 뉴스레터와 연계하기 위해 오래 전부터 계획하던 생각이다. 이에 맞추어 외부용 메일(wj@)과 뉴스레터용 메일(newsletter@) 역시 본격적으로 사용할 예정이다. 명함에 반영해야지. 2. 블로그 이름도 바꿨다. “백야”를 버리고 “오늘의 철학”으로 왔다. 사적인 공간의 이름이었고,…
뒤집어진 더블 턴스타일(⫤)을 MathJax에서 구현하기
“\newcommand”를 통해 MathJax에서 뒤집힌 더블 턴스타일을 쉽게 호출하는 법…
MathJax와 자연 연역
Fitch style proof나 truth tree proof (tableaux method) 등을 통한 자연 연역 표기를 \(\LaTeX\)에서는 패키지 추가를 통해 할 수 있는데, 유감스럽게도 MathJax는 관련 익스텐션을 제공하지 않는다. 그래서 여러 방법을 고민해 보았다.…
웹 폰트에 이탤릭이 적용 안 되었던 이유
Google fonts에서 분명 폰트의 소스를 긁어왔는데도 특정 스타일이 적용 안 될 때 확인해야 할 사항.…
MathJax를 반응형으로 구현하기
MathJax에서 구현한 수식이 너무 길어서 화면의 범위를 벗어날 때, 스크롤을 통해 수식을 볼 수 있게끔 CSS를 수정하는 법.…
\(\TeX\) 환경에서 (Lewisian) Counterfactual operators 입력을 위한 팁
\(\LaTeX\) 환경 및 동일한 문법을 지원하는 환경에서 루이스 스타일의 반사실 연산자를 쓰는 법.…
겐첸 시스템을 MathJax로! bussproofs
bussproofs 패키지를 통해 여러 가지 증명들을 MathJax 환경 및 \(\LaTeX\) 문법을 지원하는 환경들에서 표현할 수 있다.…
고스트로 이주했다.
워드프레스 기반으로 혼잣말 블로그를 운영하고 있었다. 그런데 기존에 사용하던 호스팅이 너무 오류가 잦았고, 아울러 워드프레스의 무거움을 참기가 어려웠다. 새로운 CMS를 찾던 중 고스트를 발견했다. 디지털오션(DigitalOcean)에 호스팅을 등록한 뒤 고스트로 블로그를 설치했다. 이 블로그는 보다 생산적인 용도로 사용할 생각이다. 공부하는 것들도 공유를 하고, 슬슬 "CV"도 구성해…