この資料をSMS送信: Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras