Combinatorial species (Combinatorial species - Wikipedia)は，離散オブジェクトの指数型母関数を扱うための現代的な手法である． 本稿ではspeciesの理論自体を説明することはしないが，大まかに言えばspeciesの理論は離散オブジェクトの組合せ論的な構造…