パクストンなぜDFA?