Takai Toshinori 高井利憲

… Alternative Names

Researcher Number	10425738
Other IDs
Affiliation (Current)	2019: 奈良先端科学技術大学院大学, 先端科学技術研究科, 客員准教授
Affiliation (based on the past Project Information) *help	2019: 奈良先端科学技術大学院大学, 先端科学技術研究科, 客員准教授 2017: 奈良先端科学技術大学院大学, 先端科学技術研究科, 客員准教授 2016 – 2017: 奈良先端科学技術大学院大学, 情報科学研究科, 客員准教授 2015: 奈良先端科学技術大学院大学, 情報科学研究科, 准教授 2014 – 2015: 奈良先端科学技術大学院大学, 情報科学研究科, 特任准教授 2013: 奈良先端科学技術大学院大学, 情報科学研究科, 助教
Review Section/Research Field	Principal Investigator Software Except Principal Investigator Conflict Studies / Basic Section 60050:Software-related
Keywords	Principal Investigator 議論 / アシュアランスケース / 消費者向けシステム / リスク共有 / 議論フレームワーク / ソフトウェア受け入れテスト / セーフティケース / GSN / 撤回可能性 / アシュアランス … More Except Principal Investigator 不整合解消 / 数理議論学 / 議論 / 論理 / 紛争研究 / 数理論理学 / 受理可能性学習 / 議論可視化 / 教師あり学習 / 仕様検証 / 機械学習 / 知能情報学 / 計算論的議論 / 紛争解決 Less

数理議論学に基づく仕様書の不整合解消支援ツールの作成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
実在・仮想データを用いた議論の論理に基づく紛争分析支援Ongoing
- Principal Investigator
  
  木藤浩之
- 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 2017 2016 2015 2014 2013 Other

All Journal Article Presentation

[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] 議論スキーマからみたGSN/ D-Caseのストラテジに対する考察2017
- Author(s)
  高井利憲
- Organizer
  D-Case研究会
- Data Source
  KAKENHI-PROJECT-15K00100
[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] 自動運転システムにおける運転指示ソフトウェアのシステムアシュアランス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] 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] 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] 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] アシュアランスケース構築のための議論合成法
- 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
[Presentation] ペルソナに基づく撤回可能付きGSN構築手法の提案　～システムアシュアランス導入に関するリスクケースを題材として～
- Author(s)
  泉川大樹, 高井利憲
- Organizer
  知能ソフトウェア工学研究会（KBSE）
- Place of Presentation
  電気通信大学, 東京都調布市
- Year and Date
  2015-03-05 – 2015-03-06
- 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] 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

1. 木藤浩之 (90705287)

# of Collaborated Projects: 3 results

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

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. FURUSAWA Hitoshi (00357930)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 阿部明典 (40221725)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 久代紀之 (50630886)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 新田克己 (60293073)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 中村潤 (80532994)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. 高橋和子 (30330400)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 松野裕 (70534220)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results

Takai Toshinori 高井 利憲

高井 利憲 タカイ トシノリ

TAKAI Toshinori 高井 利憲

Research Projects

Research Products

Co-Researchers

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

実在・仮想データを用いた議論の論理に基づく紛争分析支援Ongoing

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] Automatic Approach to Prepare Information for Constructing an Assurance Case2014

Author(s)

Journal Title

Data Source

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

Author(s)

Organizer

Data Source

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

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

Data Source

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

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Modular construction of assurance cases written in dGSN2015

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Modular construction of assurance cases written in defeasible goal structuring notation2015

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] An Effective Way to Review and Manage Assurance Cases (Tool Demo: Defeasible GSN)2015

Author(s)

Takai Toshinori 高井利憲

高井利憲タカイトシノリ

TAKAI Toshinori 高井利憲

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

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