線形代数も群論もレッドコーダぐらいしか使わねえだろ…適当ぶっこいてんじゃないよ