フィールド拡張上の線形代数に関するちょっとしたメモ(もちろん、エンコーディングと簡潔な証明への応用)
9.77K