「この機会にマスターしようぜ、正規表現、構文図、オートマトン」がたくさんのブックマークを集めるなかで、ほとんどブックマークが付かないメモ編に2つもブックマークが付いた記事が。それは、「de Bruijn」ていう記事です。ラムダ計算の教科書には、たい…