狠狠撸

数学ソフトウェア
あれこれ
Mathlibre Porject
横田博史

何故openSUSEの話で
数学ソフトの話なのか？
?
SuSE 6.2
SuSE 6.3
これらは全てSurfを使って
描かれたものだった。
S.u.S.E.時代はパッケージの
表紙に代数曲面があった！

自己紹介
twitter: @ponpokoz
http://www.bekkoame.ne.jp/~ponpoko/?
なんかもしてました。
Mathlibre Project: http://www.mathlibre.org/?
以前はKnoppix Math. Debian Liveに移行した為。?

数学ソフトウェア
数学ソフトは色々あります。?
大雑把に分けると
数値計算
数式処理
動的幾何
機械証明

数値計算
基本的に行列計算が主体です。
LAPACKやBLASから派生したFORTRANやC
のライブラリを使います。
MATLABが非常に著名です。

数式処理
数式そのものを直接操作するのが目的。
当初は人工知能との関連で研究。
代数的に解くことが主体→計算機代数（グレ
ブナ基底等）

動的幾何ソフト
幾何図形の直感的な操作ができます。
数学教育で注目され始めている(Cinderella,
GeoGebra, KSEG)

機械証明
計算機で証明をすることが目的（ヒルベルト
計画の計算機による実現）。
ヒルベルト計画：人間はより重要な理論の構
築に注力すべきで、些細な定理は機械的に済
ますべき。

最近の注目
数学統合環境Sage
Pythonを使って既存のアプリケーションとライブ
ラリを統合したもの。
OSSのMathematica, MATLABを目指す。
Cloud環境に対応したものもある。?
https://cloud.sagemath.com/

おぼえましょう
Sageは????????ではありませんが、?
とても美味しいシステムです。

狠狠撸

数学ソフトあれこれ

More Related Content

数学ソフトあれこれ