計算代数・数式処理 研究室|九州大学 マス・フォア・インダストリ研究所 数学テクノロジー先端研究部門|研究室口コミアプリ「ラボログ」