JDASLはNP効率もうちょいよくしてほしかったな