>>35
離散数学、計算量、オートマトン、あたりでは。
http://www.sigmod.org/sigmod/dblp/db/indices/a-tree/n/Nozaki:Akihiro.html