de Bruijn のスペルを修正する。