http://www.osdp.cs.tsukuba.ac.jp/wiopt/index.htm