LAB LOG评价网站 LabLog 的页面
応用数理研究部門（長谷川 真人）
正在显示日语原文 · 查看译文
計算の根底にある数学構造を圏論で読み解く研究室。
About关于研究室
計算の数学構造を取り出して分析する。
長谷川研究室は、
コンピュータ上の
複雑な
主に
术语说明
- 意味論
- プログラムが
何を 計算するかを、 数学の 対象と して 厳密に 表す理論 - 圏論
- 対象と、
その あいだの 矢印 （射）の つながり方に 注目して、 数学の 構造を 扱う 理論 - モナド
- 副作用を
伴う 計算などを、 圏論の 言葉で まとめて 扱う ための 構造
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 引用。