計算機援用証明用スーパーコンピュータの開発

九州大学

Institute of Mathematics for Industry

Jsiam

一般社団法人 日本数学会

文部科学省

Faculty of Mathematics

日本数学会社会連携協議会

数学協働プログラム

統計関連学会連合

数学アドバンストイノベーションプラットフォーム