English version is here.

当開発室では,主にMI研究所で発見された数学の理論や定理をアルゴリズム化し, さらにソフトウェアとして実装することを目的としています. 制作したソフトウェアは,産業界および数学自身を含む諸科学分野における 最先端研究現場の使用に資するよう,国際的に公開していく予定です.


新着情報

2017/1/17 研究集会のお知らせ
Software in Mathematics Demonstration Track in Hakata Workshop 2017

2015/6/9 公開ワークショップのお知らせ
大規模データに対する最大フロー求解アルゴリズムの実装技術の構築
2015/2/15 研究集会のお知らせ
Software in Mathematics Demonstration Track in Hakata Workshop 2015
2014/11/15 研究集会のお知らせ
「高信頼な理論と実装のための定理証明および定理証明器」
2014/06/10 研究集会のお知らせ
IMI Workshop on Optimization in the Real World − Toward solving real world optimization problems − (10/14−15開催).
2014/05/09 研究集会のお知らせ
HPC Activities in Kyushu (7/18開催) 参加申し込み締切 7/4.
2014/01/14 数学ソフトウェア発表者募集
Software in Mathematics Demonstration Track in Hakata Workshop 2014 (2/8開催) 発表者募集. 発表申し込み締切 1/31.
2013/11/28 ニュース
脇隼人准教授, 神山直之准教授が参加するJST CRESTチームがThe 2nd Green Graph 500 ベンチマークで世界一位
2013/11/28 SGW2013のお知らせ
Study Group Workshop 2013 cmp --複雑現象の数理モデル-- (12/2-4開催)
2013/07/05 講習会のお知らせ
Mathematica講習会(7/31開催)
2013/06/28 講習会のお知らせ
MATLAB講習会(7/24開催)
2013/06/28 研究集会のお知らせ
数学ソフトウェアの開発と実践--その現状と未来--(9/9-10開催)
2013/04/24 研究集会のお知らせ
最適化ワークショップ 整数計画法の発展と応用(5/22-23開催)
2013/04/03 研究集会のお知らせ
研究成果報告〜数学ソフトウェア援用・開発を中心として〜(7/29開催)