この資料をSMS送信: Studies on the application of formal semantics to English-Japanese machine translation /