CEED Advent Calendar 2022の23日目の記事「一般化されたPCセットの形式的定義」です.この記事は後日断りなく修正されます.github.com
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。