2023年11月23日

勤労感謝の日。珍しく慶應も休日。家で本書いてた。読めば読むほどタイポとか表記ゆらぎが出てくる。