id: f8305a27-567e-4f42-93eb-2c8171daebe0
url: http://www.tom.sfc.keio.ac.jp/~hagino/codat.pdf