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 引用。