1. カテゴリーなし

ある過剰決定系の Mathematica を用いた解法