千叶大学理学部数学・信息数理学科的研究室

23个研究室 · 3条学长学姐评价

信息数理（中村誠希）研究室

中村誠希副教授

学长学姐的评价 0条

中村誠希老师的专业方向是数理逻辑和理论计算机科学。近年来，中村老师发表了以关系演算和克莱尼代数为主题的论文。在数学・信息数理学科中，隶属于信息数理学领域。

#数理逻辑 #理论计算机科学 #关系演算

山本光晴教授

学长学姐的评价 0条

山本光晴老师的专业是使用证明验证系统进行形式化。该研究室以计算机验证及其所需的理论框架为研究课题。在数学・信息数理学科中，隶属于信息数理学领域。

#形式化 #证明验证系统 #信息数理学

小寺諒介副教授

学长学姐的评价 0条

小寺諒介老师研究表示论。表示论是把代数的作用转换为矩阵等具体形式来研究的领域。研究对象是量子圈代数、杨代数，以及与它们相关的无限维李代数的表示。他也将晶体基和箭图簇列为研究领域。

#表示论 #杨氏代数 #箭图簇

学长学姐的评价仅限学生阅读。使用大学邮箱免费注册后，就能阅读各研究室学长学姐的评价。

LabLog 是学生专属的研究室评价应用。各大学的学生成员采访研究室的学长学姐，并发布他们的评价。学长学姐的评价仅限使用大学邮箱注册的学生阅读。运营方：株式会社 bestiee

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