Yasuyuki TAHARA (田原康之)

0110100_Ⅰ類（情報系）, 0110000_情報理工学域, The University of Electro-Communications

ソフトウェア基礎理論

セキュリティの形式検証

Formal Verification of Security

圏論

Category Theory

Formal Semantics

Algebraic Models

Fundamental Theories of Software

Security RE

Secure Systems Engineering

Requirements Engineering (Goal-Oriented RE in particular)

Formal Verification (Model Checking in particular)

Software Engineering

形式的意味論

代数モデル

セキュリティ要求分析

セキュアなシステムの開発手法

要求工学（特にゴール指向要求分析）

形式検証（特にモデル検査）

ソフトウェア工学

Student Mentoring

2025_Research Supervision (Yasuyuki TAHARA)

関連する研究者: Yasuyuki TAHARA (田原康之)

2025

Student Mentoring

2024_Research Supervision (Yasuyuki TAHARA)

関連する研究者: Yasuyuki TAHARA (田原康之)

2024

Student Mentoring

2023_Research Supervision (Yasuyuki TAHARA)

関連する研究者: Yasuyuki TAHARA (田原康之)

2023

Student Mentoring

2022_Research Supervision (Yasuyuki TAHARA)

関連する研究者: Yasuyuki TAHARA (田原康之)

2022

Student Mentoring

2021_Research Supervision (Yasuyuki TAHARA)

関連する研究者: Yasuyuki TAHARA (田原康之)

2021

Student Mentoring

2020_Research Supervision (Yasuyuki TAHARA)

関連する研究者: Yasuyuki TAHARA (田原康之)

2020

Student Mentoring

2019_Research Supervision (Yasuyuki TAHARA)

関連する研究者: Yasuyuki TAHARA (田原康之)

2019

Student Mentoring

2018_Research Supervision (Yasuyuki TAHARA)

関連する研究者: Yasuyuki TAHARA (田原康之)

2018

Student Mentoring

2017_Research Supervision (Yasuyuki TAHARA)

関連する研究者: Yasuyuki TAHARA (田原康之)

2017

Student Mentoring

2016_Research Supervision (Yasuyuki TAHARA)

関連する研究者: Yasuyuki TAHARA (田原康之)

2016