近年、生成AIや関数型プログラミング、型理論、圏論への関心が高まる中で、「数学をコードとして扱う」環境にも注目が集まっている。 その中でも特に強力なのが、Pythonベースのオープンソース数学システム「SageMath（セージマス）」である。 名前を聞い ...