信息系统评价学研究室

About关于研究室

运用基于理论的数理方法，设计并评价信息系统。

信息系统评价学研究室研究对信息系统的设计与评价有用的数理模型和算法，以及对它们的分析。
在高可靠性的信息系统中，基于理论的数理方法发挥着重要作用。
该研究室发挥理论研究的优势，也开展产学合作研究。
在研究室网站上，该研究室以“伊藤(健)・全研究室”的名称进行介绍。

Research研究课题

该研究室从理论角度研究对信息系统的设计与评价有用的数理模型和算法。研究课题涉及面广，网站上介绍了“组合转移”和“配电运行”两个方向。

※示意图

组合转移理论↗

这是对“状态空间上的转移变化”进行数理建模并加以分析的算法理论。以15数码问题这一身边的例子为切入点，研究图上的转移问题，从理论上考察什么样的输入容易计算，什么样的输入则计算困难。

※示意图

用数理方法解决配电运行中的课题↗

将配电网视为网络，把停电最小化、计算尽早恢复供电的步骤等课题，建模为关于图的组合优化问题。要从庞大的路径选项中找出最优路径，需要高速算法，该研究以产学合作研究的形式开展。

Voices学长学姐的评价

评价基于在读（或曾在读）学生的个人经历，不代表研究室官方观点。评价的有无或数量不代表对研究室的评价。

对于接受采访的学生，无论内容如何，我们可能会赠送谢礼（价值1,000日元的礼品）。