atcoder programs written by junji