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