^{* 14} http://www.ospn.jp/osc2008-kansai/