「多様体の圏上の計算デバイス： 表示オペレータ」で述べたような事、オペレータ〈コンビネータ〉を使って具体的な計算に持ち込むことは必要だな、と思います。手計算では、直感に頼ったショートカットが可能ですが、コンピュータによる数値計算や数式処理で…