Takai Toshinori 高井利憲

… Alternative Names

Researcher Number	10425738
Other IDs
Affiliation (Current)	2020: 奈良先端科学技術大学院大学, 先端科学技術研究科, 客員准教授
Affiliation (based on the past Project Information) *help	2017 – 2020: 奈良先端科学技術大学院大学, 先端科学技術研究科, 客員准教授 2016 – 2017: 奈良先端科学技術大学院大学, 情報科学研究科, 客員准教授 2015: 奈良先端科学技術大学院大学, 情報科学研究科, 准教授 2014 – 2015: 奈良先端科学技術大学院大学, 情報科学研究科, 特任准教授 2013: 奈良先端科学技術大学院大学, 情報科学研究科, 助教
Review Section/Research Field	Principal Investigator Software Except Principal Investigator Basic Section 60050:Software-related / Conflict Studies
Keywords	Principal Investigator アシュアランスケース / 議論 / セーフティケース / ソフトウェアレビュー / ディペンダビリティ / 撤回可能性 / 説明責任 / GSN / システムアシュアランス / 信用の程度 … More Except Principal Investigator 議論 / 推論 / 機械学習 / ベイズ / 生成モデル / 計算論的議論 / ベイズ推論 / 逆問題 / 非単調論理 / 知能情報学 / 論理 / 紛争研究 / 受理可能性学習 / 教師あり学習 / 紛争解決 / 議論可視化 / 機械学習システム / システム保証 / アシュアランスケース / DevOps / モニタリング / 数理議論学 / 数理論理学 / SMTソルバ / 仕様 / 品質向上 / 不整合解消 / 仕様検証 Less

Dependability Assurance of Machine Learning Systems by DevOps Assurance CasesOngoing
- Principal Investigator
  
  松野裕
- 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
数理議論学に基づく仕様書の不整合解消支援ツールの作成Ongoing
- Principal Investigator
  
  岡本圭史
- 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 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
  
  京都大学数理解析研究所講究録, 採録予定
- 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] 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] 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] 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] 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] 議論スキーマからみた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] 自動運転システムにおける運転指示ソフトウェアのシステムアシュアランス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] 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] ペルソナに基づくD-Caseの記述2015
- Author(s)
  高井利憲
- Organizer
  第8回D-Case研究会
- Place of Presentation
  日本大学駿河台キャンパス（東京都千代田区）
- Year and Date
  2015-05-22
- Data Source
  KAKENHI-PROJECT-15K00100
[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] 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] 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] 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
[Presentation] ペルソナに基づく撤回可能付きGSN構築手法の提案　～システムアシュアランス導入に関するリスクケースを題材として～
- 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] アシュアランスケース構築のための議論合成法
- Author(s)
  高井利憲, 木藤浩之, 松野裕
- Organizer
  知能ソフトウェア工学研究会（KBSE）
- Place of Presentation
  電気通信大学, 東京都調布市
- Year and Date
  2015-03-05 – 2015-03-06
- 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

1. Kido Hiroyuki (90705287)

# of Collaborated Projects: 3 results

# of Collaborated Products: 5 results
2. 岡本圭史 (00308214)

# of Collaborated Projects: 2 results

# of Collaborated Products: 2 results
3. 松野裕 (70534220)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 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

Takai Toshinori 高井 利憲

TAKAI Toshinori 高井 利憲

Research Projects

Research Products

Co-Researchers

Dependability Assurance of Machine Learning Systems by DevOps Assurance CasesOngoing

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

数理議論学に基づく仕様書の不整合解消支援ツールの作成Ongoing

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Argument-Based Data-Driven Conflict Studies

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Defining software integrity levels using argumentation theoryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

An effective development method of an assurance case from software review resultsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Author(s)

Journal Title

Data Source

[Journal Article] Automatic Approach to Prepare Information for Constructing an Assurance Case2014

Author(s)

Journal Title

Data Source

[Presentation] Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking2020

Author(s)

Organizer

Data Source

[Presentation] Case Study Applying GQM+Strategies with SysML for IoT Application System Development2019

Author(s)

Organizer

Data Source

[Presentation] Defining extensions with first-order logic formulas, and its computation2019

Author(s)

Organizer

Data Source

[Presentation] Modeling evidence-based arguments by abstract dialectical framework2017

Author(s)

Organizer

Data Source

[Presentation] 議論スキーマからみたGSN/ D-Caseのストラテジに対する考察2017

Author(s)

Organizer

Data Source

[Presentation] 介護施設における移動介護ロボットのシステムアシュアランス2017

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] 自動運転システムにおける運転指示ソフトウェアのシステムアシュアランス2017

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] 消費者向け製品のための効果的なリスク共有手法の提案2016

Author(s)

Organizer

Place of Presentation

Year and Date

Takai Toshinori 高井利憲

TAKAI Toshinori 高井利憲

[Presentation] ソフトウェアの受け入れテストに対するゴール構造化表記法を用いた効率化の取り組み2016

[Presentation] ペルソナに基づく撤回可能付きGSN構築手法の提案　～システムアシュアランス導入に関するリスクケースを題材として～