形式的冪級数、畳み込み

概要

今後記述予定。