發送短信: Mathematical structures for computer science.