ACM SIGMOD 2013 Programming Contest Finalist入り