この資料をSMS送信: GPU-based Graver Basis Extraction for Nonlinear Integer Optimization