Rchr
J-GLOBAL ID：201801013068224635   Update date: Sep. 17, 2022

Takai Toshinori

Takai Toshinori
Affiliation and department：
Nara Institute of Science and Technology

About Nara Institute of Science and Technology


Research field  (1)： Information theory
Research keywords  (5)： term rewriting system ,  Kleene algebra ,  assurance case ,  system assurance ,  argumentation theory
Papers (25)：
ｍore...
Lectures and oral presentations  (13)：
  • アシュアランスケースの主張の変換を含めた議論パターンの提案 (信頼性)
    (電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2018)
  • An effective method to share understandings about risks of consumer products
    (電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2016)
  • A modular construction of arguments for assurance cases
    (Technical report of IEICE. KBSE 2015)
  • A Proposal of Construction Method of Defeasible GSN Based on Persona : An Example of a Risk Case of introducing System Assurance
    (Technical report of IEICE. KBSE 2015)
  • A report of practical system assurance exercise
    (Technical report of IEICE. KBSE 2015)
ｍore...
Education (4)：
  • 1998 - 2001 Nara Institute of Science and Technology Division of Information Science
  • 1996 - 1998 Nara Institute of Science and Technology Division of Information Science
  • 1994 - 1996 Kyushu Institute of Technology School of Computer Science and Systems Engineering Department of Artificial Intelligence
  • 1989 - 1994 National Institute of Technology, Toyota College Information and Computer Engineering
Association Membership(s) (3)：
JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY ,  THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS ,  INFORMATION PROCESSING SOCIETY OF JAPAN
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM