この資料をSMS送信: Iterated games with LDL goals