もう1個長そうなの見つけた。これも面白そう

http://almond.cs.uec.ac.jp/theses/paper/2005/undergraduate/kubodera.pdf