LAB LOG评价网站 LabLog 的页面
东京大学
本科：理学部 数学科
研究生院：数理科学研究生院
長谷川立研究室
机器翻译 · 查看原文
探索编程语言基础背后数学结构的研究室。
About关于研究室
程序深处的数学结构。
长谷川立研究室主要从理论角度研究作为编程语言基础的理论体系。
其核心课题是分
类型论是在λ演算
其中，
术语说明
- 类型论
- 以数
据的种类 （类型） 为线索， 研究程序的结构与正确性的理论 - λ演算
- 仅通过定义函数和向函数代入值来表示计算的基本计算模型
- 多态性
- 使同一个程序能够用于处理多种不同类型数据的性质
Research研究课题
研究领域为理论计算机科学，
Members教师
- 副教授長谷川 立研究成果 ↗
Voices学长学姐的评价
评价基于在读
对于接受采访的学生，
学长学姐的评价
研究成果
专注于实验室内研究积极在学会・论文中发表
--
课题自由度
导师提供课题自己决定课题
--
指导力度
放手让学生自主 细致指导
--
研究经费
巧妙调配设备・资金充裕
--
成员氛围
各自默默工作热闹融洽
--
整体繁忙程度
全力投入研究时间充裕
--
核心时间-
研究室会议-
暂无学长学姐评价
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与長谷川立研究室相似的研究室
本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《Lambda cube》 Денис Москвин／公有领域
（裁剪） - 类型论与编程语言理论：《A lambda-term with links》 PIerre.Lescanne／CC BY-SA 4.0（裁剪）
- 相关研究室
（柏原崇人研究室） ：《Karmansche Wirbelstr kleine Re》 Jürgen Wagner／CC BY-SA 4.0（裁剪） - 相关研究室
（齊藤宣一研究室） ：《Example finite element mesh, for illustrating the concept》 SamitchSandia／CC BY-SA 4.0（裁剪） - 相关研究室
（酒井拓史研究室） ：《Cantor's theorem visual》 Electro blob／CC BY-SA 4.0（裁剪） - 相关研究室
（下村明洋研究室） ：《Traveling wave》 P.wormer／CC BY-SA 3.0（裁剪）
关于 LabLog
LabLog 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。