この資料をSMS送信: Second Order Logic and the Weak Exponential Hierarchies