この資料をSMS送信: Recent progress in the Boolean domain /