發送短信 : A logical approach to computational corpus linguistics /