Product of JOIss2014(http://www.ioi-jp.org/seminar/2014/summer-semi.html)