LAB LOG评价网站 LabLog 的页面
计算代数・符号计算（深作 亮也）研究室
机器翻译 · 查看原文
该研究室研究用计算机处理数学公式的计算代数。
About关于研究室
用计算机处理数学公式的计算代数研究。
深作亮也副教授的研究室研究代数计算方法的
主要研究领域为计算机代数，
量词消去法是针对给定的一阶谓词逻辑公式，
最近
术语说明
- 量词消去法
- 求出在实数域上与一阶谓词逻辑公式等价的、
不含量词的逻辑公式的计算方法 - 一阶谓词逻辑公式
- 使用表示“所有”“存在”的符号来书写数学命题的逻辑公式，
可以表 示许多数学问题 - Maple
- 计算机代数系统之一。
在本研究中用作量词消去法的 实现平台
Research研究课题
现实社会中的许多数学问题都是关于实数的问题，
Members教师
- 副教授深作 亮也
Voices学长学姐的评价
评价基于在读
对于接受采访的学生，
学长学姐的评价
--
--
--
--
--
--
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与计算代数・符号计算（深作 亮也）研究室相似的研究室
〈计算代数・符号计算〉产业数学研究所 数学技术前沿研究部门计算代数・符号计算・实代数几何。
〈幅度
量值理论・代数拓扑
〈科学机器学习・AI for Science〉产业数学研究所 数学技术前沿研究部门研究保持物理规律的保结构数值方法，本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《Polynomial expansion》 Min666645／CC BY-SA 3.0（裁剪）
- 相关研究室
（〈计算代数・符号计算〉） ：《Roots of polynomial and its derivative》 Illustr／CC BY-SA 4.0（裁剪） - 相关研究室
（〈幅度 （magnitude） 理论・代数拓扑〉） ：《Wedge sum of spheres》 GeometryGirl／公有领域 （裁剪） - 相关研究室
（量值理论・代数拓扑 （浅尾 泰彦）） ：《I heart algebraic topology ( )》 Quinn Dombrowski from Berkeley, USA／CC BY-SA 2.0（裁剪） - 相关研究室
（〈科学机器学习・AI for Science〉） ：《FEM Simulation Akustik》 Ibsmc／CC BY 4.0（裁剪）
关于 LabLog
LabLog 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。