ゲーデル数
Gödel numbering for sequences