LAB LOG评价网站 LabLog 的页面
千叶大学
本科：理学部 数学・信息数理学科
研究生院：融合理工学府 数学信息科学专业 数学・信息数理学课程
信息数理（中村 誠希）研究室
机器翻译 · 查看原文
专攻数理逻辑与理论计算机科学的信息数理学老师。
About关于研究室
用数学的语言，探讨逻辑与计算。
中村誠希老师的专业方向是数理逻辑和理论计算机科学。
近年来，
在数学・信息数理学科中，
术语说明
- 数理逻辑
- 将证明和推
理本身作为数学研究对象， 研究逻辑性质的领域 - 关系演算
- 对事物之间的“关系”进行组合运算的体系。
用于以代 数形式表示逻辑和程序的性质 - 克莱尼代数
- 归纳了重复、
选择、 连接等操作所遵循规律的代数。 用于处理正则表达式和程序的行为
Research研究课题
专业方向是数理逻辑和理论计算机科学。
查看更多 ↗Members教师
- 副教授中村 誠希
Voices学长学姐的评价
评价基于在读
对于接受采访的学生，
学长学姐的评价
研究成果
专注于实验室内研究积极在学会・论文中发表
--
课题自由度
导师提供课题自己决定课题
--
指导力度
放手让学生自主 细致指导
--
研究经费
巧妙调配设备・资金充裕
--
成员氛围
各自默默工作热闹融洽
--
整体繁忙程度
全力投入研究时间充裕
--
核心时间-
研究室会议-
暂无学长学姐评价
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与信息数理（中村 誠希）研究室相似的研究室
本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《Signal flow graph for a digital IIR Biquad》 Constant314／CC0（裁剪）
- 相关研究室
（信息数理 （山本 光晴） 研究室） ：《Atari 800 XL home computer with TV monitor and tape program recorder XC12 (cropped)》 winkelnkemper／CC BY-SA 2.0（裁剪） - 相关研究室
（几何 （三田 史彦） 研究室） ：《3D-Cylinder with handle and torus with hole》 作者不詳／公有领域 （裁剪） - 相关研究室
（概率・统计 （奥戸 道子）） ：《Saddle Tower Minimal Surfaces》 Anders Sandberg／CC BY-SA 3.0（裁剪） - 相关研究室
（几何 （梶浦 宏成） 研究室） ：《Kleineigenspace》 Joroco246／CC BY-SA 4.0（裁剪）
关于 LabLog
LabLog 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。