「構文付き変換手インスティチューション 2/n 実例：モノイド」でモノイドに関する実例を出しました。この記事では別な実例、多項式に関わるインスティチューションを紹介します。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\cat}[1]{ \mathcal{#1}…