第二回「範疇文法と証明論」シンポジウム に触発されて、ずっと積ん読だった『日本語文法の形式理論』を読み始めた。 #catproof