教职人员

语言 ≫ 日语

教授
高田义明

日本大阪大学博士，1997 年

出生年份：1969年
性别：男
隶属关系：

- 信息学院
- 工学研究生院工学系信息系统工学课程
- 工程研究生院工程系信息学课程
研究图：https://researchmapjp/read0119489

专业领域	软件验证与分析
实验室/研究办公室	软件验证与分析实验室随着计算机的应用越来越广泛，软件的缺陷对我们的日常生活产生了很大的影响。当几个罕见的事件同时发生时，看似没有缺陷的软件有时可能会引起麻烦。在这个实验室，我们研究验证软件正确性的方法以及适合逻辑验证的软件系统的规范语言。
当前研究主题	使用基于语言的访问控制对程序进行模型检查
教育背景
专业背景
许可证
学术团体

您可以通过侧面滑动来查看表格的延续。

课程

* 以英语提供的课程带有 (E) 标记

本科学校	软件工程信息技术实验室工作 2 信息学院研讨会项目研究1 毕业论文项目研究2 项目研究3 软件工程项目工程概要自动机和形式语言
研究生院	毕业生个人作品高级研讨会 1 高级研讨会2 计算理论信息学研讨会 I 信息学研讨会 II

您可以通过侧面滑动来查看表格的延续。

研究活动

研究论文	作者：水野宏树、高田义明、关宏之标题：多人游戏中受限安全均衡存在的复杂性期刊：IEICE 信息与系统交易，电子、信息和通信工程师协会年份：2026 作者：So Koide、Yoshiaki Takata、Hiroyuki Seki 标题：概率策略的非合作理性综合问题期刊：IEICE 信息与系统交易，卷。 E108-D，第 7 期，第 849-852 页，电子、信息和通信工程师协会年份：2025 作者：Rindo Nakanishi、Yoshiaki Takata、Hiroyuki Seki 标题：获胜目标的不可区分性和相关决策问题的策略和均衡期刊：IEICE 信息与系统交易，卷。 E108-D，第 3 期，第 239-251 页，电子、信息和通信工程师协会年份：2025 作者：高田义明、大西晃、仙田龙马、关宏之标题：Mu 微积分的子类，其冻结量词相当于 Buchi 配准自动机期刊：IEICE 信息与系统交易，卷。 E107-D，第 12 期，第 1529-1532 页，电子、信息和通信工程师协会年份：2024 年作者：So Koide、Yoshiaki Takata、Hiroyuki Seki 标题：位置策略随机博弈的非合作理性综合问题期刊：IEICE 信息与系统交易，卷。 E107-D，第 3 期，第 301-311 页，电子、信息和通信工程师协会年份：2024 年作者：Rindo Nakanishi、Yoshiaki Takata、Hiroyuki Seki 标题：用寄存器为计算模型表达的语言抽取引理期刊：IEICE 信息与系统交易，卷。 E106-D，第 3 期，第 284-293 页年份：2023 年作者：高田义明、大西晃、仙田龙马、关宏之标题：Mu 微积分的子类，其冻结量词相当于配准自动机期刊：IEICE 信息与系统交易，卷。 E106-D，第 3 期，第 294-302 页年份：2023 年作者：高田义明、仙田龙马、关宏之标题：LTL 模型检查中将具有新鲜度属性的寄存器下推系统简化为下推系统期刊：IEICE 信息与系统交易，卷。 E105-D，第 9 期，第 1620-1623 页，电子、信息和通信工程师协会年份：2022 年作者：Ryoma Senda、Yoshiaki Takata、Hiroyuki Seki 标题：寄存器上下文无关语法和相关形式的复杂性结果期刊：理论计算机科学，卷。 923，第 99-125 页，爱思唯尔年份：2022 年作者：Ryoma Senda、Yoshiaki Takata、Hiroyuki Seki 标题：寄存器下推系统的 LTL 模型检查期刊：IEICE 信息与系统交易，卷。 E104-D，第 12 期，第 2131-2144 页，电子、信息和通信工程师协会年份：2021 作者：Ryoma Senda、Yoshiaki Takata、Hiroyuki Seki 标题：寄存器下推系统的前向正则性保持特性期刊：IEICE 信息与系统交易，卷。 E104-D，第 3 期，第 370-380 页，电子、信息和通信工程师协会年份：2021 作者：Hiroyuki Seki、Reo Yoshimura、Yoshiaki Takata 标题：加权寄存器自动机的最优运行问题期刊：理论计算机科学，卷。 850，第 185-201 页，爱思唯尔年份：2021 作者：Ryoma Senda、Yoshiaki Takata、Hiroyuki Seki 标题：广义寄存器上下文无关语法期刊：IEICE 信息与系统交易，卷。 E103-D，第 3 期，第 540-548 页，电子、信息和通信工程师协会年份：2020 作者：拉米拉·阿尔瓦雷斯·巴勃罗、高田义明标题：基于扩展加权下推系统的基于信息的访问控制子集的形式验证期刊：IEICE 信息与系统交易，卷。 E97-D，第 5 期，第 1149-1159 页年份：2014 年作者：高田义明、关宏之标题：根据信息流规范自动生成基于历史的访问控制期刊：第八届验证与分析自动化技术国际研讨会 (ATVA 2010)，计算机科学讲义 6252，第 259-275 页年份：2010 作者：高田义明、关宏之标题：基于语言的访问控制模型的表达能力比较期刊：IEICE 信息与系统交易，卷。 E92-D，第 5 期，第 1033-1036 页年份：2009 作者：高田义明、关宏之标题：信任协商中披露树策略的形式语言理论方法期刊：IEICE 信息与系统交易，卷。 E92-D，第 2 期，第 200-210 页年份：2009 年作者：Hisashi Mohri、Ikuya Yasuda、Yoshiaki Takata、Hiroyuki Seki 标题：自组织网络中用于建立信任的新证书链发现方法及其评估期刊：日本信息处理学会汇刊，卷。 49，第 1 期，第 362-374 页年份：2008 作者：Isao Yagi、Yoshiaki Takata、Hiroyuki Seki 标题：用于基于历史的切面编织的标记转换模型 A-LTS 及其表达能力期刊：IEICE 信息与系统交易，卷。 E90-D，第 5 期，第 799-807 页年份：2007 年作者：Isao Yagi、Yoshiaki Takata、Hiroyuki Seki 标题：使用树自动机进行 XML 访问控制的静态分析期刊：计算机软件，卷。 23，第 3 期，第 51-65 页年份：2006年作者：王静、高田义明、关宏之标题：HBAC：基于历史的访问控制模型及其模型检查期刊：第 11 届欧洲计算机安全研究研讨会 (ESORICS 2006)，计算机科学讲义 4189，第 263-278 页年份：2006年
奖项	最佳论文奖，第十六届计算理论方面国际学术研讨会 (ICTAC 2019)，2019 年
日本政府的科学研究援助金	项目名称：验证多线程递归程序的形式化模型类别：青年科学家资助金 (B) 项目编号：21700045 项目周期：2009-2010 总预算金额：3,640,000日元关键字：项目名称：开发基于参与者的多线程递归程序的模型检查方法类别：科学研究补助金 (C) 项目编号：24K14901 项目周期：2024-2026 总预算金额：3,380,000日元关键字：

您可以通过侧面滑动来查看表格的延续部分。

社交活动

您可以通过侧面滑动来查看表格的延续部分。

推文