この資料をSMS送信: Unification of Theories: A Challenge for Computing Science