ラムダ式のド・ブラウン・インデックス
ラムダ式のド・ブラウン・インデックス - 檜山正幸のキマイラ飼育記 (はてなBlog)
2023.05.13
檜山正幸のキマイラ飼育記
de Bruijnインデックス