2022-12-23 一般化されたPCセットの形式的定義 CEED Advent Calendar 2022の23日目の記事「一般化されたPCセットの形式的定義」です.この記事は後日断りなく修正されます.github.com