Contributors Hiromi ISHII h-ishii@math.tsukuba.ac.jp Shingo Tomura tomcat19940508@gmail.com Akira Terui terui@math.tsukuba.ac.jp Taisuke Hikawa s1210822@u.tsukuba.ac.jp Shynkarou Mikalai s1313012@math.tsukuba.ac.jp