LAB LOG评价网站 LabLog 的页面
东京科学大学
本科：信息理工学院 数理・计算科学系
研究生院：信息理工学院 数理・计算科学课程
鹿島亮研究室
机器翻译 · 查看原文
用数学的语言研究逻辑本身的数理逻辑研究室。
About关于研究室
以数学方法研究非经典逻辑。
鹿島研究室研究数理逻辑。
其中，
该研究室用数学的语言把握逻辑体系本身，
著有《数理逻辑》和《计算机科学中的模态逻辑》。
术语说明
- 数理逻辑
- 用数学方法处理证明与推
理机制本身的领域 - 非经典逻辑
- 遵循与只用“真或假”来思考的经典逻辑不同的规则的逻辑。
包括模态逻辑和直觉主义逻辑等 - λ演算
- 仅通过“构造函数”和“将值代入函数”这两种操作来表示计算的体系
Research研究课题
以数
Members教师
- 副教授鹿島 亮研究成果 ↗
Voices学长学姐的评价
评价基于在读
对于接受采访的学生，
学长学姐的评价
研究成果
专注于实验室内研究积极在学会・论文中发表
--
课题自由度
导师提供课题自己决定课题
--
指导力度
放手让学生自主 细致指导
--
研究经费
巧妙调配设备・资金充裕
--
成员氛围
各自默默工作热闹融洽
--
整体繁忙程度
全力投入研究时间充裕
--
核心时间-
研究室会议-
暂无学长学姐评价
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与鹿島亮研究室相似的研究室
本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《Formulas on an old blackboard (Unsplash)》 Roman Mager roman_lazygeek／CC0（裁剪）
- “可证明”的
逻辑：《1925 kurt gödel》 作者不詳／公有领域 （裁剪） - 相关研究室
（西畑伸也研究室） ：《Collision de solitons hydrodynamiques》 Christophe.Finot, Julien Fatome, Stéphane Pitois／CC BY-SA 4.0（裁剪） - 相关研究室
（土岡俊介研究室） ：《Gosset 1 22 polytope》 Tom Ruen／公有领域 （裁剪） - 相关研究室
（田中健一郎研究室） ：《Domain coloring x2-1 x-2-i x-2-i d x2+2+3i》 Djiboun／CC BY-SA 4.0（裁剪） - 相关研究室
（梅原雅顕研究室） ：《Catalan minimal surface 03》 Rectas／CC0（裁剪）
关于 LabLog
LabLog 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。