教师古天乐太阳娱乐集团tyc493官方网站详细古天乐太阳娱乐集团tyc493官方网站

语言≫英语
takata-古天乐太阳娱乐集团tyc493官方网站-2jpg

takada yoshiroTakata 古天乐太阳娱乐集团tyc493官方网站

  • 生于1969年，男性
  • 位置：教授
  • 隶属关系：
    • Informatics Group
    古天乐太阳娱乐集团tyc493官方网站系统工程课程，工程研究生院，工程研究生院
    基本工程系研究生院古天乐太阳娱乐集团tyc493官方网站学习课程
  • ResearchMap：https：//researchmapjp/read0119489

教师传记

度 医生（古天乐太阳娱乐集团tyc493官方网站）
教育背景 在大阪大学基础工程研究生院古天乐太阳娱乐集团tyc493官方网站工程学院毕业（1997）
工作历史 奈良科学技术古天乐太阳娱乐集团tyc493官方网站生院助理，科学技术古天乐太阳娱乐集团tyc493官方网站生院（1997-2007）
同时任命NEC Corporation Internet Systems古天乐太阳娱乐集团tyc493官方网站所的访问古天乐太阳娱乐集团tyc493官方网站员（2001-2007）
资格
专业 古天乐太阳娱乐集团tyc493官方网站格式模型和验证
LAB 名称 古天乐太阳娱乐集团tyc493官方网站验证和分析实验室
详细古天乐太阳娱乐集团tyc493官方网站 软件用于世界各地和情况。即使乍看之下似乎正常工作，如果突然发生或停止，这也是一个问题。该实验室正在古天乐太阳娱乐集团tyc493官方网站确保软件正常工作的方法以及如何描述使该软件易于验证的规范。
附属社会 古天乐太阳娱乐集团tyc493官方网站处理社会
电子，古天乐太阳娱乐集团tyc493官方网站和通信工程师的古天乐太阳娱乐集团tyc493官方网站和通信工程师

您可以通过水平滑动来继续表。

负责今年的演讲

教师/古天乐太阳娱乐集团tyc493官方网站 软件古天乐太阳娱乐集团tyc493官方网站 /
古天乐太阳娱乐集团tyc493官方网站生院 特殊古天乐太阳娱乐集团tyc493官方网站 /

您可以通过水平滑动来继续表。

古天乐太阳娱乐集团tyc493官方网站种子

咨询区 计算机系统的数学规格
数学验证方法
当前的古天乐太阳娱乐集团tyc493官方网站 具有基于语言访问控制的程序的模型检查

XML数据库的访问控制模型

消息

古天乐太阳娱乐集团tyc493官方网站成就

主要奖项等

  • 电子，古天乐太阳娱乐集团tyc493官方网站和通信科学研究鼓励奖的古天乐太阳娱乐集团tyc493官方网站和传播工程师的古天乐太阳娱乐集团tyc493官方网站工程师（2022）电子，古天乐太阳娱乐集团tyc493官方网站科学研究专家委员会的电子，古天乐太阳娱乐集团tyc493官方网站和通信工程师的古天乐太阳娱乐集团tyc493官方网站工程师
  • 最佳纸张奖（2019）计算理论方面的古天乐太阳娱乐集团tyc493官方网站6个国际座谈会（ICTAC 2019）

特别古天乐太阳娱乐集团tyc493官方网站论文

标题 作者 出版杂志 发布年
概率策略的非合作有理综合问题 So Koide，古天乐太阳娱乐集团tyc493官方网站 takata，Hiroyuki Seki 古天乐太阳娱乐集团tyc493官方网站和系统上的IEICE交易，vol108-D，No7，pp849-852 2025
关于获胜目标和相关决策问题的策略和平衡 Rindo Nakanishi，古天乐太阳娱乐集团tyc493官方网站 takata，Hiroyuki Seki 古天乐太阳娱乐集团tyc493官方网站和系统上的IEICE交易，第3卷，第3号，第239-251页 2025
带有冻结器等效于Buchi寄存器的Mu-Calculus的子类 古天乐太阳娱乐集团tyc493官方网站 Takata，Akira Onishi，Ryoma Senda，Hiroyuki Seki 古天乐太阳娱乐集团tyc493官方网站和系统上的IEICE交易，第127-D，第12期，第1529-1532页 2024
位置策略的随机游戏中的非合作有理综合问题 So Koide，古天乐太阳娱乐集团tyc493官方网站 takata，Hiroyuki Seki 古天乐太阳娱乐集团tyc493官方网站和系统上的IEICE交易，第3卷，第3期，第311-311页 2024
带有冻结器等效的Mu-Calculus的子类 古天乐太阳娱乐集团tyc493官方网站 Takata，Akira Onishi，Ryoma Senda，Hiroyuki Seki 古天乐太阳娱乐集团tyc493官方网站和系统上的IEICE交易，第3卷，第3期，第294-302页 2023
由带有寄存器的计算模型表达的语言的泵送引理 Rindo Nakanishi，古天乐太阳娱乐集团tyc493官方网站 Takata，Hiroyuki Seki 古天乐太阳娱乐集团tyc493官方网站和系统上的IEICE交易，第3卷，第3号，第284-293页 2023
用新鲜属性降低寄存器下降系统到LTL模型检查中的下降系统 古天乐太阳娱乐集团tyc493官方网站 Takata，Ryoma Senda，Hiroyuki Seki 古天乐太阳娱乐集团tyc493官方网站和系统上的IEICE交易，第105-D，第9号，第1620-1623页 2022
复杂性在无寄存器上下文语法和相关形式主义上结果 Ryoma Senda，古天乐太阳娱乐集团tyc493官方网站 Takata，Hiroyuki Seki 理论计算机古天乐太阳娱乐集团tyc493官方网站，第1卷。 923，第99-125页 2022
LTL型号检查寄存器下降系统 Ryoma Senda，古天乐太阳娱乐集团tyc493官方网站 Takata，Hiroyuki Seki 古天乐太阳娱乐集团tyc493官方网站和系统上的IEICE交易，第104-D，第12期，第2131-2144页 2021
使用非挥发性内存古天乐太阳娱乐集团tyc493官方网站Java对象持久性的开销 Matsumoto Kotaro，高田Yoshiro，ugawa hajiyo 计算机软件，卷。 38，第2号，古天乐太阳娱乐集团tyc493官方网站4-19页 2021
寄存器下降系统的正常定期保存属性 Ryoma Senda，古天乐太阳娱乐集团tyc493官方网站 takata，Hiroyuki Seki 古天乐太阳娱乐集团tyc493官方网站和系统上的IEICE交易，vol104-D，No3，pp370-380 2021
加权寄存器的最佳运行问题 Hiroyuki Seki，Yoshimura，古天乐太阳娱乐集团tyc493官方网站 takata 理论计算机古天乐太阳娱乐集团tyc493官方网站，第1卷。 850，pp185-201 2021
通用寄存器上下文语法 Ryoma Senda，古天乐太阳娱乐集团tyc493官方网站 takata，Hiroyuki Seki 古天乐太阳娱乐集团tyc493官方网站和系统上的IEICE交易，第3卷，第3号，第3页，第540-548页 2020
基于扩展加权下降系统的基于古天乐太阳娱乐集团tyc493官方网站的访问控制的正式验证 Lamilla Alvarez Pablo，Takata，古天乐太阳娱乐集团tyc493官方网站 古天乐太阳娱乐集团tyc493官方网站和系统上的IEICE交易，第5卷，第5期，第1149-1159页 2014
从古天乐太阳娱乐集团tyc493官方网站流规范中自动生成基于历史记录的访问控制 古天乐太阳娱乐集团tyc493官方网站 Takata，Hiroyuki Seki 第8届国际自动化技术研讨会验证和分析（ATVA 2010），计算机古天乐太阳娱乐集团tyc493官方网站的讲义6252，第259-275页 2010
信任谈判中披露树策略的正式语言理论方法 古天乐太阳娱乐集团tyc493官方网站 Takata，Hiroyuki Seki 古天乐太阳娱乐集团tyc493官方网站和系统上的IEICE交易，第2卷，第2期，第200-210页 2009
基于语言的访问控制模型的表达能力的比较 古天乐太阳娱乐集团tyc493官方网站 Takata，Hiroyuki Seki 古天乐太阳娱乐集团tyc493官方网站和系统上的IEICE交易，第5卷，第5期，第5页，第1033-1036页 2009
新的证书链发现方法用于临时网络及其评估 Hisashi Mohri，Ikuya Yasuda，古天乐太阳娱乐集团tyc493官方网站 takata，Hiroyuki seki 古天乐太阳娱乐集团tyc493官方网站处理协会杂志，第1卷。 49，第1号，第362-374页 2008
基于执行历史记录的正式模型和访问控制的验证 高达Yoshiro，王郑，Seki Hiroyuki 电子，古天乐太阳娱乐集团tyc493官方网站与传播工程师研究所杂志，第1卷。 J91-D，第4号，第847-858页 2008
基于历史的方面编织及其表现力的标签过渡模型A-LTS Isao Yagi，古天乐太阳娱乐集团tyc493官方网站 Takata，Hiroyuki Seki 古天乐太阳娱乐集团tyc493官方网站和系统上的IEICE交易，第1卷，第5期，第799-807页 2007
XML文档的可访问性指南的符合性 takada Yoshiro，Nakamura takeshi，Seki Hiroyuki 电子，古天乐太阳娱乐集团tyc493官方网站与传播工程师研究所杂志，第1卷。 J89-D，第4号，pp705-715 2006
使用树自动机进行XML访问控制 Isao Yagi，古天乐太阳娱乐集团tyc493官方网站 takata，Hiroyuki Seki， 计算机古天乐太阳娱乐集团tyc493官方网站，卷。 23，第3号，第51-65页 2006
HBAC：基于历史记录的访问控制及其模型检查的模型 Jing Wang，古天乐太阳娱乐集团tyc493官方网站 Takata，Hiroyuki Seki 第11届欧洲计算机安全古天乐太阳娱乐集团tyc493官方网站研讨会（Esorics 2006），计算机科学讲座4189，第263-278页 2006

您可以继续进行水平滑动。

学术演示，讲座等

  1. 3D Picloss的NP完整性无细分古天乐太阳娱乐集团tyc493官方网站和3D PICLOSS在高度1，古天乐太阳娱乐集团tyc493官方网站处理协会第36游戏古天乐太阳娱乐集团tyc493官方网站学研究小组（2016）
  2. 第八届国际自动化技术研讨会验证和分析，（2010）
  3. 第12日本软件古天乐太阳娱乐集团tyc493官方网站节目和编程语言研讨会，（2010年）

附属科学古天乐太阳娱乐集团tyc493官方网站

Kaken是美国国家古天乐太阳娱乐集团tyc493官方网站学院提供的服务。

类别 古天乐太阳娱乐集团tyc493官方网站问题 古天乐太阳娱乐集团tyc493官方网站主题 古天乐太阳娱乐集团tyc493官方网站期 建议编号
代表 自动验证多线程递归程序的正式模型 年轻古天乐太阳娱乐集团tyc493官方网站（b） 2009 - 2010 21700045
代表 演员模型类型多线程递归程序的模型检查方法的开发 基础古天乐太阳娱乐集团tyc493官方网站（C） 2024-2026（计划） 24K14901
共享 古天乐太阳娱乐集团tyc493官方网站基于理性的验证和图形游戏中自动合成的统一解决方案 基础古天乐太阳娱乐集团tyc493官方网站（C） 2025-2028（计划） 25K15055

您可以继续进行水平滑动。

社会贡献和公共关系活动

外部委员会成员，学术会议活动等

  1. 古天乐太阳娱乐集团tyc493官方网站处理协会，Shikoku分支机构委员会成员（2024-2026）
  2. IEICE，古天乐太阳娱乐集团tyc493官方网站与传播工程师副主席，电子，古天乐太阳娱乐集团tyc493官方网站和传播工程师协会软件科学研究专家委员会（2024-2026）
  3. 电子与古天乐太阳娱乐集团tyc493官方网站与传播工程师协会Shikoku分支机构成员（2024-2026）
  4. 电子，古天乐太阳娱乐集团tyc493官方网站与传播工程师协会成员，软件科学研究专家委员会（2022-2024）
  5. 古天乐太阳娱乐集团tyc493官方网站处理协会Shikoku分支部门秘书（2022-2024）
  6. 电子，古天乐太阳娱乐集团tyc493官方网站和通信工程师研究所电子，古天乐太阳娱乐集团tyc493官方网站和通信工程师的古天乐太阳娱乐集团tyc493官方网站和通信工程师软件科学研究专家委员会（2010- 2014年）
  7. 古天乐太阳娱乐集团tyc493官方网站 古天乐太阳娱乐集团tyc493官方网站 古天乐太阳娱乐集团tyc493官方网站 SHIKOKU分支会计秘书（2009-2011）

一般讲座等

  1. 什么是程序？ ，

您可以继续进行水平滑动。