评价网站 LabLog 的页面(非研究室官方页面)
62个研究室 · 2条学长学姐评价

西崎 真也 教授
学长学姐的评价 0条
西崎研究室(Lambda Laboratory)研究程序设计语言理论、类型系统、形式化方法及其应用。 研究如何在程序执行之前,用数学方法确认程序能够按预期运行。 以λ演算为基础,构建把环境和延续等计算机制当作值来处理的理论。 还利用模型检测,验证通信协议和Web服务器等的安全性与可靠性。

小林 隆志 教授
学长学姐的评价 0条
小林研究室研究软件工程,尤其是软件维护和设计支持。 该研究室致力于分析大量软件成果物,从中找出对开发支持有用的信息。 分析对象不仅包括源代码和运行记录,还包括开发活动的历史记录。 该研究室将静态分析、动态分析技术与自然语言处理、数据挖掘、机器学习相结合,开发支持方法和工具。

秋山 泰 教授
学长学姐的评价 0条
秋山研究室研究医学、药学和生物学大数据的分析技术,以及大规模模拟技术。 研究目标是应用于人类疾病成因的阐明、药物研发支持以及环境中微生物的分析等。 无论是数据分析还是模拟,都充分利用超级计算机和云计算来进行。 在药物研发方面,研究室致力于分子动力学模拟、分子对接模拟以及机器学习的应用。

高安 美佐子 教授
学长学姐的评价 0条
高安美佐子研究室运用统计物理学、统计科学和信息科学的方法,分析广泛领域的现象。 该研究室通过人类活动、经济、生物信息等大数据观测现象,并构建能够再现这些现象的极简数学模型。 利用构建的模型,通过理论分析和模拟来理解复杂系统。 该研究室设有引入了安全技术的大数据分析室,形成了经济物理学・社会物理学与生命科学的研究基地。

権藤 克彦 教授
学长学姐的评价 0条
权藤研究室研究用于支持程序开发者的软件开发工具。 如今的软件规模已超过100万行,远远超出了仅靠人力就能开发的体量。 调试器、版本管理系统、集成开发环境等以往的工具,仍有改进的空间。 该研究室的研究方针是:在享受编程这一智力性工作的同时,实现能够用于现实软件的工具。

金子 晴彦 副教授
学长学姐的评价 0条
金子研究室研究能让计算机系统实现高可靠、高效率的编码技术。 其中之一是差错控制码,用于发现并纠正数据在存储或通信过程中出现的乱码错误。 所涉及的码种类繁多,包括同步错误的纠正、约束码、LDPC码、极化码等。 此外,研究室还从事数据压缩、基于编码理论的抗量子计算密码以及可信计算(dependable computing)方面的研究。

宮崎 純 教授
学长学姐的评价 0条
宮崎研究室研究面向数据的大规模高性能计算、云计算等大规模信息管理。 该研究室利用多核CPU、GPU和新型内存技术,开发高效处理海量数据的方法。 该研究室还研究如何高效访问积累在云存储中的大数据。 该研究室也在推进信息推荐系统的研究,即从海量信息中取出用户想要的信息。

吉瀬 謙二 教授
学长学姐的评价 0条
吉瀬研究室致力于探索新型计算机系统和硬件加速器。 计算机体系结构、嵌入式系统和FPGA技术是主要研究对象。 该研究室利用FPGA设计处理器和加速器的体系结构,并将其作为实际电路运行起来。 研究内容包括加速数据排序的电路、RISC-V处理器、片上网络的模拟运行等。

下坂 正倫 副教授
学长学姐的评价 0条
下坂研究室致力于在移动、可穿戴与普适计算信息处理领域,实现创新的智能信息处理。 该研究室基于日常生活中自然采集到的感知数据,理解并建模人的行为及其背后的意图。 该研究室将位置信息和搜索记录等大规模数据与可穿戴传感器和无线信号相结合,致力于更深入地理解并预测人流以及个人的行为。 该研究室还致力于人流预测系统的社会应用落地等,向产业界回馈技术成果。

横田 理央 教授
学长学姐的评价 0条
横田理央研究室正在研究如何将使用超级计算机的大规模分布式并行计算应用于各个领域。 深度学习所使用的神经网络规模逐年增大,正逐渐变成只有超级计算机才能完成计算的状况。 由于直接运行现有框架无法提升速度和精度,因此该研究室要逐一解决大规模计算特有的课题。 解决当今超级计算机的课题,同时也是提前解决十年后身边的计算服务器上将会出现的课题。
学长学姐的评价仅限学生阅读。使用大学邮箱免费注册后,就能阅读各研究室学长学姐的评价。
免费注册LabLog 是学生专属的研究室评价应用。各大学的学生成员采访研究室的学长学姐,并发布他们的评价。学长学姐的评价仅限使用大学邮箱注册的学生阅读。运营方:株式会社 bestiee
详细了解 LabLog ↗本页的研究室列表和基本信息与 LabLog 介绍允许搜索引擎和 AI 引用。学长学姐评价的正文仅限学生会员阅读,使用条款第8条禁止程序自动抓取(爬虫、输入到 AI 或用于训练)。如需数据用于研究或分析,请联系我们。