1. カテゴリーなし

Knuth の形式微分アルゴリズムの実現