LAB LOG研究室选择评价应用打开应用
评价网站 LabLog 的页面（非研究室官方页面）
46个研究室 · 0条学长学姐评价
加藤 淳 副教授
学长学姐的评价 0条
加藤淳老师研究非线性偏微分方程。 非线性偏微分方程是描述各种自然现象的模型。 研究解是否存在、是否唯一确定等数学上的适定性。 尤其是运用泛函分析和调和分析（傅里叶分析等）的方法，研究描述波动现象的方程。
Jacques Garrigue 教授
学长学姐的评价 0条
Jacques Garrigue老师研究编程语言理论。 其目标是在不损害编程语言表达力的前提下，彻底消除bug。 主要研究对象是类型系统和程序证明。作为函数式编程语言OCaml的开发者之一，一直在追求表达力与安全性的兼顾。 同时也尝试将Coq这一定理证明辅助系统应用于数学和系统的证明。
川村 友美 副教授
学长学姐的评价 0条
川村 友美老师研究纽结理论和低维拓扑。 纽结理论简单来说，是研究绳子缠绕程度的几何学。 老师研究纽结和链环的不变量的性质，也就是用数值或多项式等来表示其复杂程度的量。 据说，看似简单的公式，其证明中却会应用到物理学中发展起来的规范场论等高深理论所得到的成果，这种深奥之处让老师一直惊叹不已。
喜多 奈々緒 副教授
学长学姐的评价 0条
喜多 奈々緒老师以图论、组合优化和算法为中心，研究离散数学与理论计算机科学。 该研究室以优化理论和算法设计为动机，深入探究图的结构。 不涉及应用研究，而是通过不断积累定理与证明来构建理论。 本科阶段在毕业研究中接收理学部数理学科的学生，研究生阶段则接收多元数理科学研究生院的学生。
木下 真也 副教授
学长学姐的评价 0条
木下真也老师研究偏微分方程理论和调和分析。 研究对象是出现在量子力学、等离子体工程、流体力学等领域中，描述各种波动现象的色散型方程和波动方程。 在给定某一时刻的信息（初值）时，证明解存在且唯一确定，并研究该解的行为。 作为工具，调和分析，尤其是傅里叶限制理论，发挥着重要作用。
木原 貴行 教授
学长学姐的评价 0条
木原貴行老师研究数学基础论和数理逻辑。 数学基础论是以数学本身为对象，探究数学的前提与极限的领域。 该研究室关注一种理论：按复杂度对“计算”“证明”“定义”这些数学根基性的概念进行分类。 最近研究的核心，是通过“预言机景”分析层拓扑斯内部的逻辑。
久保 仁 副教授
学长学姐的评价 0条
久保仁老师在信息论领域中研究通信的基础理论。 其专业方向是作为数据压缩理论的信源编码，以及信道编码。 虽然名称听起来像信息工程，但该研究是以概率论为基础的数学分支，有时几乎不使用计算机。 小班课程以涉及概率的课题为基本主题。
白水 徹也 教授
学长学姐的评价 0条
白水徹也老师研究广义相对论与宇宙学。 他将几何学应用于相对论、基本粒子论和宇宙学，提出独创且具有普遍意义的见解与表述。 对于观测中浮现出的宇宙之谜，他采取从几何学入手的独特策略。 理学部数理学科的毕业研究，原则上隔年接收。
杉本 充 教授
学长学姐的评价 0条
杉本充老师研究偏微分方程与傅里叶分析。 自然界的各种现象，用偏微分方程来表示后，就可以作为数学问题来处理。 他旨在通过这样的分析，提炼出能够统一解释各种具体现象的新原理。 尤其是，他旨在将从方程自身结构推导解的性质的方法，应用于解的大小和光滑性等定量性质的分析。
高橋 亮 教授
学长学姐的评价 0条
高橋亮老师研究交换环论。 交换环论是与代数几何、代数组合学以及代数表示论密切相关的领域。 老师主要从代数表示论的角度研究交换环论，即“交换环的表示论”。 目标是理解交换Noether环，特别是Cohen–Macaulay环的模范畴（即有限生成模全体构成的范畴）的结构。
学长学姐的评价仅限学生阅读。使用大学邮箱免费注册后，就能阅读各研究室学长学姐的评价。
免费注册LabLog 是学生专属的研究室评价应用。各大学的学生成员采访研究室的学长学姐，并发布他们的评价。学长学姐的评价仅限使用大学邮箱注册的学生阅读。运营方：株式会社 bestiee
详细了解 LabLog ↗本页的研究室列表和基本信息与 LabLog 介绍允许搜索引擎和 AI 引用。学长学姐评价的正文仅限学生会员阅读，使用条款第8条禁止程序自动抓取（爬虫、输入到 AI 或用于训练）。如需数据用于研究或分析，请联系我们。
LAB LOG