LAB LOG研究室选择评价应用打开应用
评价网站 LabLog 的页面（非研究室官方页面）
27个研究室 · 2条学长学姐评价
梅原 雅顕 教授
学长学姐的评价 0条
梅原研究室的研究领域是微分几何学。 以曲线、曲面等直观可见的对象为研究对象。 目前致力于时空中的极大曲面、三维德西特时空中平均曲率为1的曲面、奇点的等距变形等研究。 对曲面脐点的指数也很感兴趣，并将其作为毕生的研究课题持续研究。
南出 靖彦 教授
学长学姐的评价 0条
南出研究室研究用于提高软件可靠性的理论与技术。 当今社会对软件的依赖程度日益加深，提高其可靠性已成为一大课题。 例如在与网页相关的软件中，程序中的小错误会成为跨站脚本和SQL注入等漏洞的成因。 该研究室尤其致力于基于形式语言和自动机理论的验证技术研究。
田中 圭介 教授
学长学姐的评价 0条
田中研究室从数学视角研究信息安全。 信息安全是指保护信息通信网络的安全。 具体而言，研究涉及密码理论、加密货币・区块链技术以及网络安全。 密码与计算复杂性理论、信息论和数论也有着密切的关系。
増原 英彦 教授
学长学姐的评价 0条
増原研究室研究编程语言与软件开发环境。 该研究室通过探索语言与环境的理论、设计和实现方式，以“让编程变得更有趣”为主要目标。 研究课题范围广泛，包括类型系统、控制机制、运行时编译技术以及集成开发环境的高级化等。
鹿島 亮 副教授
学长学姐的评价 0条
鹿島研究室研究数理逻辑。 其中，研究对象包括与经典逻辑思路不同的非经典逻辑，以及用函数形式表示计算的λ演算。 该研究室用数学的语言把握逻辑体系本身，并研究其性质。 著有《数理逻辑》和《计算机科学中的模态逻辑》。
山下 真 教授
学长学姐的评价 0条
山下研究室研究数学优化。 数学优化是一种数学方法，从满足约束条件的候选方案中找出最佳者。 其中尤其重视连续优化和非线性优化，目标是更高速、更精确地求解更大规模的问题。 该研究室还研究把“以怎样的比例组合众多树木来建造树木园”这一问题，作为半正定规划问题进行计算的方法。
遠藤 敏夫 教授
学长学姐的评价 0条
遠藤研究室研究面向超级计算机等高性能计算系统的软件和算法。 借助校内的TSUBAME4.0超级计算机等，近年来也致力于使用GPU的深度学习的大规模化与高速化。 超级计算机的设计每年都在变化，例如并行度不断提高、内存层次结构日趋复杂。 因此需要能让其更易于使用的软件，该研究室也与关系密切的研究室及其他领域的研究室开展合作研究。
学长学姐的评价仅限学生阅读。使用大学邮箱免费注册后，就能阅读各研究室学长学姐的评价。
免费注册LabLog 是学生专属的研究室评价应用。各大学的学生成员采访研究室的学长学姐，并发布他们的评价。学长学姐的评价仅限使用大学邮箱注册的学生阅读。运营方：株式会社 bestiee
详细了解 LabLog ↗本页的研究室列表和基本信息与 LabLog 介绍允许搜索引擎和 AI 引用。学长学姐评价的正文仅限学生会员阅读，使用条款第8条禁止程序自动抓取（爬虫、输入到 AI 或用于训练）。如需数据用于研究或分析，请联系我们。
LAB LOG