この資料をSMS送信: Logic, artificial intelligence, and robotics :