この資料をSMS送信: Domain Theory and the Logic of Observable Properties