線型代数学の基本定理 - 他の言語