低コスト推論