この資料をSMS送信: Advances in Proof-Theoretic Semantics