近年、生成AIや関数型プログラミング、型理論、圏論への関心が高まる中で、「数学をコードとして扱う」環境にも注目が集まっている。 その中でも特に強力なのが、Pythonベースのオープンソース数学システム「SageMath（セージマス）」である。 名前を聞い ...
現代では、数学はコンピュータによってかなりの部分が扱えるようになった。 SageMathのような統合環境や、Pythonによる数値計算、さらにはAIによる記号処理の発展によって、「数学はすべて計算可能である」という印象すら生まれている。 しかしこの見方に ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する