九州大学产业数学研究所研究室列表 | 选择研究室的参考

〈数值分析・计算流体力学〉

田上大助副教授

学长学姐的评价 0条

该研究室研究偏微分方程数值计算方法及其误差。

田上大助副教授的研究领域是应用数学和计算力学，关注偏微分方程数值计算方法的开发、误差评估以及对实际问题的应用。研究对象包括粒子法的数值分析、面向电磁场问题的大规模数值计算方法、粘弹性流动问题、移动边界问题、纳维-斯托克斯方程、热对流问题等。在纳维-斯托克斯方程方面，还研究其在阻力・升力数值计算中的应用；在热对流问题方面，还研究其在玻璃熔融问题数值计算中的应用。

#数值分析 #粒子法 #有限元法

保存

〈范畴论・形式化方法〉

Daniel Gaina 副教授

学长学姐的评价 0条

运用范畴论统一处理各种逻辑体系，为软件验证提供支撑的研究室。

该研究室研究“通用逻辑”（Universal Logic），即用统一的框架来处理各种逻辑体系。该研究室借助范畴论这一数学语言，研究“Institution（机构）”理论，该理论将逻辑体系形式化为签名（符号的集合）、语句、模型和满足关系的组合。该研究室一直从事为软件规约的编写及其验证提供支撑的形式化方法的逻辑基础研究，以及辅助证明的工具的设计。近年来，该研究室将理论进一步拓展到兼具离散与连续行为的混合系统以及量子计算。

#逻辑学 #形式化方法 #范畴论

保存

〈密码数理・安全计算〉

縫田光司教授

学长学姐的评价 0条

该研究室研究密码的数学理论与安全多方计算。

縫田光司教授主要研究密码的数学理论与安全多方计算。除安全多方计算技术外，还从事抗量子计算密码等密码技术的数学安全性评估，以及以伪随机数的使用方法为代表的密码基础理论研究。在数学领域，从事以Coxeter群的结构理论为代表的组合群论，以及组合数学・离散数学的研究。

#密码数学 #安全多方计算 #组合群论

保存

〈多变量多项式密码・数论〉

池松泰彦副教授

学长学姐的评价 0条

该研究室研究即使使用量子计算机也被认为难以破解的密码。

池松泰彦副教授研究抗量子计算密码的开发，这类密码即使使用量子计算机也被认为难以破解。其中，他尤其关注多变量多项式密码，这类密码基于求解多变量二次方程组的困难性构建。该密码被认为是抗量子计算密码的有力候选。但公钥规模较大，以及利用Gröbner基进行的分析尚不充分，是目前的课题，该研究室致力于解决这些问题。

#抗量子计算密码 #多变量多项式密码 #数论

保存

〈应用拓扑学・产学合作〉

森山哲裕副教授

学长学姐的评价 0条

以数理之力挑战制造业中的不确定性的产学合作基地。

下一代制造创新推进中心是九州大学与住友电装株式会社于2025年10月设立的合作研究推进基地。该中心致力于解决制造业工程链和供应链中因依赖人工而产生的不确定性。该中心运用大数据、AI、优化等数理信息技术，开展横跨全部学术领域的跨学科研究。森山哲裕副教授的专业领域为拓扑学、应用拓扑学和产学合作。

#产学合作 #应用拓扑学 #制造业

保存

科学机器学习・AI for Science（谷口隆晴）研究室

谷口隆晴教授

学长学姐的评价 0条

该研究室是研究数值分析和机器学习等内容的应用数学研究室。

谷口隆晴教授的研究室将数值分析、机器学习、数学建模、几何力学理论等列为研究课题。在研究者信息中，其研究领域被归类为应用数学和统计数学。论文中收录了利用神经网络、遵循能量守恒与耗散等物理定律来再现现象的研究。

#数值分析 #机器学习 #数学建模

保存

量值理论・代数拓扑（浅尾泰彦）

浅尾泰彦副教授

学长学姐的评价 0条

研究代数拓扑与Magnitude理论的数学研究室。

浅尾泰彦副教授的研究室是一个关注代数拓扑、Magnitude理论及其应用的数学研究室。该研究室隶属于产业数学研究所的数学技术前沿研究部门。同时兼任数理学研究生院数理学专业以及理学部数学科的教职。

#代数拓扑 #Magnitude理论

保存

计算代数・符号计算（深作亮也）研究室

深作亮也副教授

学长学姐的评价 0条

该研究室研究用计算机处理数学公式的计算代数。

深作亮也副教授的研究室研究代数计算方法的开发与应用。主要研究领域为计算机代数，已提高量词消去法的效率，并将其实现于计算机代数系统Maple中。量词消去法是针对给定的一阶谓词逻辑公式，计算在实数域上与其等价的、不含量词的逻辑公式的方法。最近也开始着手将实数域上的计算机代数方法应用于数理科学领域的研究。

#计算机代数 #实代数几何 #量词消去法

保存

数理建模・适应网络研究室（手老篤史）

手老篤史副教授

学长学姐的评价 0条

该研究室用数学模型研究生物的行为与智能。

数理建模・适应网络研究室开展的研究，是用数学模型探究生物的行为与智能。该研究室用方程描述真黏菌等单细胞生物表现出的行为，并在计算机上再现，以探寻智能的起源。研究课题还包括：从行走等周期性动作与身体内部状态的关系出发，探究行为是如何被控制的。该研究室位于产业数学研究所（Institute of Mathematics for Industry）的应用理论研究部门。

#数学模型 #自适应网络 #行为控制

保存

代数分析学・表现论（落合啓之）研究室

落合啓之教授

学长学姐的评价 0条

运用代数分析学方法研究表示论与特殊函数的研究室。

代数分析・表示论研究室专攻代数分析学，主要研究表示论中出现的特殊函数。该研究室以数学和数理科学为中心开展研究。该研究室也开展产学合作研究，其成果的一部分与合作研究者一起获得了2014年度文部科学大臣表彰的科学技术奖。落合教授的网站上还有一个页面，把ABC猜想写成了连小学生也能看懂的说明。

#代数分析 #表示论 #特殊函数

保存

九州大学产业数学研究所的研究室

〈数值分析・计算流体力学〉

该研究室研究偏微分方程数值计算方法及其误差。

〈范畴论・形式化方法〉

运用范畴论统一处理各种逻辑体系，为软件验证提供支撑的研究室。

〈密码数理・安全计算〉

该研究室研究密码的数学理论与安全多方计算。

〈多变量多项式密码・数论〉

该研究室研究即使使用量子计算机也被认为难以破解的密码。

〈应用拓扑学・产学合作〉

以数理之力挑战制造业中的不确定性的产学合作基地。

科学机器学习・AI for Science（谷口隆晴）研究室

该研究室是研究数值分析和机器学习等内容的应用数学研究室。

量值理论・代数拓扑（浅尾泰彦）

研究代数拓扑与Magnitude理论的数学研究室。

计算代数・符号计算（深作亮也）研究室

该研究室研究用计算机处理数学公式的计算代数。

数理建模・适应网络研究室（手老篤史）

该研究室用数学模型研究生物的行为与智能。

代数分析学・表现论（落合啓之）研究室

运用代数分析学方法研究表示论与特殊函数的研究室。

关于 LabLog

九州大学 产业数学研究所的研究室

〈数值分析・计算流体力学〉

该研究室研究偏微分方程数值计算方法及其误差。

〈范畴论・形式化方法〉

运用范畴论统一处理各种逻辑体系，为软件验证提供支撑的研究室。

〈密码数理・安全计算〉

该研究室研究密码的数学理论与安全多方计算。

〈多变量多项式密码・数论〉

该研究室研究即使使用量子计算机也被认为难以破解的密码。

〈应用拓扑学・产学合作〉

以数理之力挑战制造业中的不确定性的产学合作基地。

科学机器学习・AI for Science（谷口 隆晴）研究室

该研究室是研究数值分析和机器学习等内容的应用数学研究室。

量值理论・代数拓扑（浅尾 泰彦）

研究代数拓扑与Magnitude理论的数学研究室。

计算代数・符号计算（深作 亮也）研究室

该研究室研究用计算机处理数学公式的计算代数。

数理建模・适应网络研究室（手老 篤史）

该研究室用数学模型研究生物的行为与智能。

代数分析学・表现论（落合 啓之）研究室

运用代数分析学方法研究表示论与特殊函数的研究室。

关于 LabLog

九州大学产业数学研究所的研究室

科学机器学习・AI for Science（谷口隆晴）研究室

量值理论・代数拓扑（浅尾泰彦）

计算代数・符号计算（深作亮也）研究室

数理建模・适应网络研究室（手老篤史）

代数分析学・表现论（落合啓之）研究室