この資料をSMS送信: Categorical quantum models and logics