この資料をSMS送信: Game semantics based equivalence checking of higher-order programs