εδと∀∃を語るスレッド、に引き続き

線形代数の2大奥義、消去法と行列式について語ろうぜ