この資料をSMS送信: Generic Programming for Domain Reasoners