帰納的にデータ型を定義するとき：$`\require{color} % Using \newcommand{\NN}[1]{ \textcolor{orange}{\text{#1}} } % New Name \newcommand{\NX}[1]{ \textcolor{orange}{#1} } % New EXpression \newcommand{\T}[1]{ \text{#1} } \newcommand{\B}[1]{ \m…