「この機会にマスターしようぜ、正規表現、構文図、オートマトン」がたくさんのブックマークを集めるなかで、ほとんどブックマークが付かないメモ編に2つもブックマークが付いた記事が。それは、「de Bruijn」ていう記事です。
ラムダ計算の教科書には、たいてい「de Bruijnインデックス」の話が出てくるのですが、de Bruijn が読めない。どうも気になる。最近よく使っている発音サイトでしらべたら「デュブランみたいだ」と、それだけの話。
この話にブックマークが付くということは、de Bruijn が気になっていた人がけっこういるんじゃないでしょうかね。僕は、人名を（しいて書けば）どうカタカナ書きできるかがやたらに気になるんで、発音サイトは助かります。
