change duration
update gitignore
Merge branch 'master' into temp
change duration
Merge branch 'temp' of https://github.com/shunsukesaito/DFA into temp