LAB LOG研究室选择评价应用免费注册

评价网站 LabLog 的页面（非研究室官方页面）

九州大学 产业数学研究所 国际合作拓展部门的研究室

2个研究室 · 0条学长学姐评价

产业数学研究所的其他学科 ›九州大学的本科院系 ›

〈范畴论・形式化方法〉

Daniel Gaina 副教授

学长学姐的评价 0条

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

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

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

保存

---

偏微分方程・变分法研究室（Pierluigi Cesana）

チエザナ ピエルイジ 教授

学长学姐的评价 0条

该研究室运用偏微分方程和变分法，探究材料与分子的行为。

该研究室以偏微分方程和向量值变分法为基础，研究弹性理论和功能材料方面的问题。 研究内容包括用数学对晶体晶格中产生的缺陷建模，以及利用机器学习研究分子的性质。 该研究室还研究区块链交易中出现的异常。 Pierluigi Cesana教授还兼任数理学府数理学专业和数学创新联合学府的教师。

#偏微分方程 #变分法 #石墨烯

保存

---

本页的研究室列表和基本信息与 LabLog 介绍允许搜索引擎和 AI 引用。学长学姐评价的正文仅限学生会员阅读，使用条款第8条禁止程序自动抓取（爬虫、输入到 AI 或用于训练）。如需数据用于研究或分析，请联系我们。