• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Takai Toshinori  高井 利憲

ORCIDConnect your ORCID iD *help
… Alternative Names

TAKAI Toshinori  高井 利憲

Less
Researcher Number 10425738
Other IDs
Affiliation (Current) 2025: 奈良先端科学技術大学院大学, 先端科学技術研究科, 客員准教授
Affiliation (based on the past Project Information) *help 2024: 奈良先端科学技術大学院大学, 先端科学技術研究科, 客員准教授
2017 – 2022: 奈良先端科学技術大学院大学, 先端科学技術研究科, 客員准教授
2016 – 2017: 奈良先端科学技術大学院大学, 情報科学研究科, 客員准教授
2015: 奈良先端科学技術大学院大学, 情報科学研究科, 准教授
2014 – 2015: 奈良先端科学技術大学院大学, 情報科学研究科, 特任准教授
2013: 奈良先端科学技術大学院大学, 情報科学研究科, 助教
Review Section/Research Field
Principal Investigator
Software
Except Principal Investigator
Basic Section 60050:Software-related / Basic Section 25020:Safety engineering-related / Conflict Studies
Keywords
Principal Investigator
議論 / アシュアランスケース / 消費者向けシステム / リスク共有 / 議論フレームワーク / ソフトウェア受け入れテスト / インテグリティレベル / 双極対話議論 / 数理議論学 / アシュアランス … More / 抽象対話議論 / ゴール構造化表記法 / 論証 / 設計根拠 / 議論モデル / 信用の程度 / システムアシュアランス / GSN / 説明責任 / 撤回可能性 / ディペンダビリティ / ソフトウェアレビュー / セーフティケース … More
Except Principal Investigator
階層化 / 複雑システム / STAMP / STPA / モニタリング / SysML / DevOps / ディペンダビリティ / ウエブベースツール / システム保証 / 機械学習システム / アシュアランスケース / 仕様検証 / 不整合解消 / 自然言語処理 / 品質向上 / 仕様 / SMTソルバ / 数理論理学 / 数理議論学 / 議論可視化 / 紛争解決 / 教師あり学習 / 受理可能性学習 / 紛争研究 / 論理 / 知能情報学 / 非単調論理 / 逆問題 / ベイズ推論 / 計算論的議論 / 生成モデル / ベイズ / 機械学習 / 推論 / 議論 Less
  • Research Projects

    (6 results)
  • Research Products

    (29 results)
  • Co-Researchers

    (10 People)
  •  複雑システムに対応する保証付き階層化安全分析手法STPA-Refine

    • Principal Investigator
      岡本 圭史
    • Project Period (FY)
      2024 – 2027
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 25020:Safety engineering-related
    • Research Institution
      Sendai National College of Technology
  •  Dependability Assurance of Machine Learning Systems by DevOps Assurance Cases

    • Principal Investigator
      MATSUNO Yutaka
    • Project Period (FY)
      2020 – 2022
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Nihon University
  •  Developing a tool to assist in resolving specification inconsistencies based on mathematical argumentation theory

    • Principal Investigator
      Okamoto Keishi
    • Project Period (FY)
      2019 – 2021
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Sendai National College of Technology
  •  Argument-Based Data-Driven Conflict Studies

    • Principal Investigator
      Kido Hiroyuki
    • Project Period (FY)
      2015 – 2018
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Conflict Studies
    • Research Institution
      The University of Electro-Communications
      The University of Tokyo
  •  Defining software integrity levels using argumentation theoryPrincipal Investigator

    • Principal Investigator
      Takai Toshinori
    • Project Period (FY)
      2015 – 2017
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Nara Institute of Science and Technology
  •  An effective development method of an assurance case from software review resultsPrincipal Investigator

    • Principal Investigator
      TAKAI Toshinori
    • Project Period (FY)
      2013 – 2014
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Software
    • Research Institution
      Nara Institute of Science and Technology

All 2022 2021 2020 2019 2017 2016 2015 2014 2013 Other

All Journal Article Presentation

  • [Journal Article] Expressing Dung’s Extensions as FO-Formulas to Enumerate Them with an SMT Solver2020

    • Author(s)
      Keishi Okamoto, Hiroyuki Kido, Toshinori Takai
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: 2170 Pages: 64-72

    • NAID

      120006956442

    • Open Access
    • Data Source
      KAKENHI-PROJECT-19K11914
  • [Journal Article] Expressing Dung’s Extensions as FO-Formulas to Enumerate Them with an SMT Solver2020

    • Author(s)
      Keishi Okamoto, Hiroyuki Kido, Toshinori Takai
    • Journal Title

      京都大学数理解析研究所講究録, 採録予定

    • NAID

      120006956442

    • Data Source
      KAKENHI-PROJECT-19K11914
  • [Journal Article] Automatic Approach to Prepare Information for Constructing an Assurance Case2014

    • Author(s)
      Khana Chindamaikul, Toshinori Takai, Daniel Port, Hajimu Iida
    • Journal Title

      Information Science Technical Report

      Volume: TR2014002 Pages: 1-15

    • Open Access
    • Data Source
      KAKENHI-PROJECT-25730044
  • [Presentation] モデルベース開発の実践と評価2022

    • Author(s)
      大熊拓海,児玉英明,瀧山彰仁,中道浩紀,高井利憲,岡田学,杉田卓斗,松野裕
    • Organizer
      JSSST DSW 2022
    • Data Source
      KAKENHI-PROJECT-20K11753
  • [Presentation] 社会生活に密接に関わるSystem of Systems開発のためのDigital Twin+ACアプローチ2021

    • Author(s)
      高井利憲
    • Organizer
      DSW2021
    • Invited
    • Data Source
      KAKENHI-PROJECT-20K11753
  • [Presentation] 社会生活に密接に関わるSystem of Systems開発のためのDigital Twin+ACアプローチ2021

    • Author(s)
      高井 利憲
    • Organizer
      第19回ディペンダブルシステムワークショップ(DSW 2021)
    • Invited
    • Data Source
      KAKENHI-PROJECT-19K11914
  • [Presentation] Light-weight integration of MBSE and model-checking2021

    • Author(s)
      Toshinori Takai
    • Organizer
      ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS2021)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K11914
  • [Presentation] DevOpsアシュアランスケースによる自動運転システムの安全性保証2021

    • Author(s)
      小池湧大、大熊拓海、高井利憲、岡田学、松野裕
    • Organizer
      電子情報通信学会KBSE研究会
    • Data Source
      KAKENHI-PROJECT-20K11753
  • [Presentation] Continuous modeling supports from business analysis to systems engineering in IoT development2020

    • Author(s)
      Toshinori Takai, Katsutoshi Shintani, Hideki Andoh and Hironori Washizaki
    • Organizer
      5th International Conference on Enterprise Architecture and Information Systems (EAIS 2020)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K11914
  • [Presentation] Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking2020

    • Author(s)
      Mitsuaki Tsuji, Toshinori Takai, Kazuki Kakimoto, Naoki Ishihama, Masafumi Katahira, and Hajimu Iida
    • Organizer
      4th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS), 2020
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K11914
  • [Presentation] Defining extensions with first-order logic formulas, and its computation2019

    • Author(s)
      Keishi Okamoto, Hiroyuki Kido, Toshinori Takai
    • Organizer
      2019 RIMS Model Theory Workshop
    • Data Source
      KAKENHI-PROJECT-19K11914
  • [Presentation] Case Study Applying GQM+Strategies with SysML for IoT Application System Development2019

    • Author(s)
      Takai, T., Shintani, K., Andoh, H., and Washizaki, H.
    • Organizer
      8th International Congress on Advanced Applied Informatics (IIAI-AAI), IEEE
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K11914
  • [Presentation] Modeling evidence-based arguments by abstract dialectical framework2017

    • Author(s)
      Toshinori Takai
    • Organizer
      3rd International Workshop on Argument for Agreement and Assurance (AAA 2017)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00100
  • [Presentation] 自動運転システムにおける運転指示ソフトウェアのシステムアシュアランス2017

    • Author(s)
      長村佳歩、高井利憲
    • Organizer
      第12回 D-Case研究会
    • Place of Presentation
      日本大学理工学部駿河台キャンパス(東京都千代田区)
    • Year and Date
      2017-03-27
    • Data Source
      KAKENHI-PROJECT-15K00100
  • [Presentation] 議論スキーマからみたGSN/ D-Caseのストラテジに対する考察2017

    • Author(s)
      高井 利憲
    • Organizer
      D-Case研究会
    • Data Source
      KAKENHI-PROJECT-15K00100
  • [Presentation] 介護施設における移動介護ロボットのシステムアシュアランス2017

    • Author(s)
      宮村純真、高井利憲
    • Organizer
      第12回 D-Case研究会
    • Place of Presentation
      日本大学理工学部駿河台キャンパス(東京都千代田区)
    • Year and Date
      2017-03-27
    • Data Source
      KAKENHI-PROJECT-15K00100
  • [Presentation] 消費者向け製品のための効果的なリスク共有手法の提案2016

    • Author(s)
      八木英光・高井利憲・飯田元
    • Organizer
      知能ソフトウェア工学研究会 (SIG-KBSE)
    • Place of Presentation
      由布院公民館(大分県由布市)
    • Year and Date
      2016-03-03
    • Data Source
      KAKENHI-PROJECT-15K00100
  • [Presentation] ソフトウェアの受け入れテストに対する ゴール構造化表記法を用いた効率化の取り組み2016

    • Author(s)
      高井利憲
    • Organizer
      第14回クリティカルソフトウェアワークショップ
    • Place of Presentation
      ソラシティカンファレンスセンター(東京都千代田区)
    • Year and Date
      2016-12-12
    • Data Source
      KAKENHI-PROJECT-15K00100
  • [Presentation] Modular construction of assurance cases written in dGSN2015

    • Author(s)
      Toshinori Takai, Hiroyuki Kido
    • Organizer
      2nd International Workshop on Argument for Agreement and Assurance
    • Place of Presentation
      慶応大学日吉キャンパス(横浜市神奈川県)
    • Year and Date
      2015-11-17
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15KT0041
  • [Presentation] ペルソナに基づくD-Caseの記述2015

    • Author(s)
      高井利憲
    • Organizer
      第8回D-Case研究会
    • Place of Presentation
      日本大学駿河台キャンパス(東京都千代田区)
    • Year and Date
      2015-05-22
    • Data Source
      KAKENHI-PROJECT-15K00100
  • [Presentation] An Effective Way to Review and Manage Assurance Cases (Tool Demo: Defeasible GSN)2015

    • Author(s)
      Toshinori Takai, Hiroyuki Kido and Yutaka Matsuno
    • Organizer
      2nd International Workshop on Argument for Agreement and Assurance
    • Place of Presentation
      慶応大学日吉キャンパス(横浜市神奈川県)
    • Year and Date
      2015-11-17
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15KT0041
  • [Presentation] Modular construction of assurance cases written in defeasible goal structuring notation2015

    • Author(s)
      Toshinori Takai, Hiroyuki Kido, and Yutaka Matsuno
    • Organizer
      2nd International Workshop on Argument for Agreement and Assurance (AAA 2015)
    • Place of Presentation
      慶應大学日吉キャンパス(神奈川県横浜市)
    • Year and Date
      2015-11-17
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00100
  • [Presentation] Constructing Assurance Case using Information From an Issue Tracking System2013

    • Author(s)
      Khana Chindamaikul, Takai Toshinori, Hajimu Iida
    • Organizer
      ソフトウェアエンジニアリングシンポジウム2013(SES2013)
    • Place of Presentation
      東京
    • Data Source
      KAKENHI-PROJECT-25730044
  • [Presentation] Retrieving Information from a Document Repository for Constructing Assurance Cases

    • Author(s)
      Khana Chindamaikul, Toshinori Takai, and Hajimu Iida
    • Organizer
      2014 Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2014)
    • Place of Presentation
      Naples, Itary
    • Year and Date
      2014-11-03 – 2014-11-06
    • Data Source
      KAKENHI-PROJECT-25730044
  • [Presentation] ペルソナに基づく撤回可能付きGSN構築手法の提案 ~ システムアシュアランス導入に関するリスクケースを題材として ~

    • Author(s)
      泉川大樹, 高井利憲
    • Organizer
      知能ソフトウェア工学研究会(KBSE)
    • Place of Presentation
      電気通信大学, 東京都調布市
    • Year and Date
      2015-03-05 – 2015-03-06
    • Data Source
      KAKENHI-PROJECT-25730044
  • [Presentation] アシュアランスケース構築のための議論合成法

    • Author(s)
      高井利憲, 木藤浩之, 松野裕
    • Organizer
      知能ソフトウェア工学研究会(KBSE)
    • Place of Presentation
      電気通信大学, 東京都調布市
    • Year and Date
      2015-03-05 – 2015-03-06
    • Data Source
      KAKENHI-PROJECT-25730044
  • [Presentation] Linking Traceability with GSN

    • Author(s)
      Kenji Taguchi, Souma Daisuke, Hideaki Nishihara, and Toshinori Takai
    • Organizer
      2014 Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2014)
    • Place of Presentation
      Naples, Itary
    • Year and Date
      2014-11-03 – 2014-11-06
    • Data Source
      KAKENHI-PROJECT-25730044
  • [Presentation] A Framework for Defining Degree of Confidence for Assurance Cases

    • Author(s)
      Toshinori Takai, and Hiroyuki Kido
    • Organizer
      Proc. of the 53rd Annual Conference of the Instrument and Control Engineers of Japan (SICE 2014)
    • Place of Presentation
      北海道大学, 札幌
    • Year and Date
      2014-09-09 – 2014-09-12
    • Data Source
      KAKENHI-PROJECT-25730044
  • [Presentation] A Supplemental Notation of GSN Aiming for Dealing with Changes of Assurance Cases

    • Author(s)
      Toshinori Takai, and Hiroyuki Kido
    • Organizer
      The Fourth Workshop on Open Systems Dependability (WOSD2014)
    • Place of Presentation
      Naples, Itary
    • Year and Date
      2014-11-03 – 2014-11-06
    • Data Source
      KAKENHI-PROJECT-25730044
  • 1.  Kido Hiroyuki (90705287)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 6 results
  • 2.  Okamoto Keishi (00308214)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 3 results
  • 3.  MATSUNO Yutaka (70534220)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 3 results
  • 4.  FURUSAWA Hitoshi (00357930)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  阿部 明典 (40221725)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  久代 紀之 (50630886)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 7.  新田 克己 (60293073)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  中村 潤 (80532994)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 9.  高橋 和子 (30330400)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  関 弘翔 (00755043)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi