LAB LOG评价网站 LabLog 的页面
应用数理研究部门（長谷川 真人）
机器翻译 · 查看原文
从范畴论角度解读计算背后数学结构的研究室。
About关于研究室
提取并分析计算的数学结构。
長谷川研究室研究理论计算机科学，
为了能够对计算机上各种各样的软件进行统一而严谨的讨论，
这是一种通过经过适当抽象的结构来理解复杂计算现象的
主要使用代数和范畴论方法，
术语说明
- 语义学
- 用数学对象严格表示程序计算什么的理论
- 范畴论
- 着眼于对象以及
对象之间箭头 （态射） 的连接方式， 来处理数学结构的理论 - 单子
（monad） - 用范畴论的语言统一处理带副作用的计算等的结构
Research研究课题
该研究室以提
※示意图计算的表示论
为了统一而
※示意图递归・副作用・线性逻辑的模型
研究室一直在研究基于单子
※示意图程序语义学与量子拓扑
探索程序语义学与量子拓扑、
Members教师
- 教授長谷川 真人
Voices学长学姐的评价
评价基于在读
对于接受采访的学生，
学长学姐的评价
--
--
--
--
--
--
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与应用数理研究部门（長谷川 真人）相似的研究室
本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《Kleisli Category - morphism composition》 AugPi／CC BY-SA 4.0（裁剪）
- 计算的表示论：《CommutativeClifford》 AromaticPolygon／CC0（裁剪）
- 递归・
副作用・线性逻辑的模型：《Commutative diagram used in proof of relative exact sequence》 Dom walden／CC BY-SA 4.0（裁剪） - 程序语义学与量子拓扑：《Quantum gate teleportation》 Vtomole／CC BY-SA 4.0（裁剪）
- 相关研究室
（应用数理研究部门 （河村 彰星）） ：《Turing Machine》 Porao／公有领域 （裁剪） - 相关研究室
（应用数理研究部门 （牧野 和久）） ：《B functies 2var versie02》 Bob.v.R／CC BY-SA 4.0（裁剪） - 相关研究室
（应用数理研究部门 （小林 佑輔）） ：《Graph-matroid》 Didia／CC BY-SA 4.0（裁剪） - 相关研究室
（应用数理研究部门 （川北 真之）） ：《Du Val singularities》 Aizenr／CC BY-SA 4.0（裁剪）
关于 LabLog
LabLog 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。