LAB LOG研究室选择评价应用打开应用
评价网站 LabLog 的页面（非研究室官方页面）
777个研究室 · 31条学长学姐评价
亀山 幸義 教授
学长学姐的评价 0条
程序逻辑研究室以保证软件的正确性为大目标，研究基于逻辑的软件基础理论。 该研究室将这些理论应用于软件的验证、合成、变换等研究。 研究的支柱包括：基于λ演算和类型论的程序语言理论、程序变换，以及通过模型检测和定理证明进行的验证。 该研究室由亀山幸義教授主持，所属学生来自本科的信息科学类和研究生院的信息理工学位项目。
天笠 俊之 教授
学长学姐的评价 0条
知识・数据工学研究室研究用于发挥大数据作用的数据工学，以及相关领域的基础技术。 该研究室以数据库和数据挖掘为核心技术，同时也活用机器学习和AI的最新成果开展研究。 在计算科学研究中心、人工智能科学中心、国际综合睡眠医科学研究机构，该研究室还与科学及医学领域合作开展研究开发。
福地 一斗 助理教授
学长学姐的评价 0条
机器学习・数据挖掘研究室通过算法开发和基于数理统计学的理论分析，致力于提高机器学习和数据挖掘的可靠性。 该研究室尤其关注因学习所用数据在无意中产生偏差的“数据偏差”而引发的问题。 在研究室的网站上，该研究室以“MDL研究室”之名进行介绍。
志築 文太郎 教授
学长学姐的评价 0条
交互式编程研究室（IPLAB）从事人机界面和软件方面的研究。 该研究室的特色是不止于逻辑层面的思考，而是切实亲自编写程序、开发软件。 尤其在GUI（图形用户界面）和可视化编程方面，已取得多项研究成果。 该研究室积极与校外研究者及民间厂商开展交流，并鼓励成员在包括国际会议在内的学会上发表论文。
秋本 洋平 教授
学长学姐的评价 0条
黑箱优化研究室以进化计算等黑箱优化技术的设计与分析为研究中心。 工程设计与最优控制中的应用、强化学习、自动机器学习也是该研究室的研究对象。 此外，该研究室还关注进化计算的设计原理与理论分析、基于鲁棒优化和强化学习的可信AI技术，以及生成模型的应用。 该研究室隶属于筑波大学信息科学类和研究生院信息理工学位项目。
町田 文雄 副教授
学长学姐的评价 0条
系统可信性研究室研究如何捕捉AI系统中的错误、故障和性能劣化等不确定因素，从而实现更可靠、更高效的AI系统。 该研究室使用概率模型对可靠性和性能进行定量评估，并在权衡各项质量指标的同时，致力于设计的优化。 研究对象包括使用机器学习的系统、使用UAV（无人机）的系统，以及长时间持续运行的软件等。 在研究室的网站上，该研究室以“可信AI系统研究室（DAIS）”的名称进行介绍。
三末 和男 教授
学长学姐的评价 0条
可视化与交互系统研究室以信息可视化为核心课题，研究如何将数据以视觉方式呈现，使其更易于理解。 该研究室致力于信息视觉表现的设计、用于绘制这些表现的方法的开发、可视化技术的应用，以及人类视觉特性的调查。 该研究室的网站将可视化介绍为理解数据的有效手段之一。
Claus Aranha 副教授
学长学姐的评价 0条
进化计算研究室研究如何在计算机中再现生物的进化机制。 该研究室认为，这一机制既可用于求解工程问题的优化，也可用于在人工系统中创造生命的研究。 该研究室还关注会进化的智能体，以及行为像生物一样的智能体的模拟。 该研究室的网站是Claus Aranha副教授的个人研究页面，内容为英文。
新城 靖 副教授
学长学姐的评价 0条
软件研究室以当今计算机赖以成立、不可或缺的系统软件为研究对象。 例如，没有操作系统，计算机就只是一个空壳；没有编译器，程序就无法运行。 在操作系统与虚拟化技术、分布式系统、语言处理系统等领域，本科毕业研究、硕士和博士的研究正在推进。 该研究室的教育方针是激发并提升每个人的能力。
加藤 和彦 教授
学长学姐的评价 0条
系统软件研究室自1993年起，一直致力于系统软件的研究。 研究对象包括操作系统、分布式系统、网络系统、虚拟计算环境、信息安全以及云计算等。 近年来，该研究室还研究新型交通系统等信息物理系统（CPS）。 在研究室的网站上，该研究室以“系统软件研究室”的名称进行介绍。
学长学姐的评价仅限学生阅读。使用大学邮箱免费注册后，就能阅读各研究室学长学姐的评价。
免费注册LabLog 是学生专属的研究室评价应用。各大学的学生成员采访研究室的学长学姐，并发布他们的评价。学长学姐的评价仅限使用大学邮箱注册的学生阅读。运营方：株式会社 bestiee
详细了解 LabLog ↗本页的研究室列表和基本信息与 LabLog 介绍允许搜索引擎和 AI 引用。学长学姐评价的正文仅限学生会员阅读，使用条款第8条禁止程序自动抓取（爬虫、输入到 AI 或用于训练）。如需数据用于研究或分析，请联系我们。
LAB LOG