• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

高井 利憲  Takai Toshinori

ORCIDORCID連携する *注記
研究者番号 10425738
その他のID
所属 (現在) 2025年度: 奈良先端科学技術大学院大学, 先端科学技術研究科, 客員准教授
所属 (過去の研究課題情報に基づく) *注記 2024年度: 奈良先端科学技術大学院大学, 先端科学技術研究科, 客員准教授
2017年度 – 2022年度: 奈良先端科学技術大学院大学, 先端科学技術研究科, 客員准教授
2016年度 – 2017年度: 奈良先端科学技術大学院大学, 情報科学研究科, 客員准教授
2015年度: 奈良先端科学技術大学院大学, 情報科学研究科, 准教授
2014年度 – 2015年度: 奈良先端科学技術大学院大学, 情報科学研究科, 特任准教授
2013年度: 奈良先端科学技術大学院大学, 情報科学研究科, 助教
審査区分/研究分野
研究代表者
ソフトウェア
研究代表者以外
小区分60050:ソフトウェア関連 / 小区分25020:安全工学関連 / 紛争研究
キーワード
研究代表者
議論 / アシュアランスケース / 消費者向けシステム / リスク共有 / 議論フレームワーク / ソフトウェア受け入れテスト / インテグリティレベル / 双極対話議論 / 数理議論学 / アシュアランス … もっと見る / 抽象対話議論 / ゴール構造化表記法 / 論証 / 設計根拠 / 議論モデル / 信用の程度 / システムアシュアランス / GSN / 説明責任 / 撤回可能性 / ディペンダビリティ / ソフトウェアレビュー / セーフティケース … もっと見る
研究代表者以外
階層化 / 複雑システム / STAMP / STPA / モニタリング / SysML / DevOps / ディペンダビリティ / ウエブベースツール / システム保証 / 機械学習システム / アシュアランスケース / 仕様検証 / 不整合解消 / 自然言語処理 / 品質向上 / 仕様 / SMTソルバ / 数理論理学 / 数理議論学 / 議論可視化 / 紛争解決 / 教師あり学習 / 受理可能性学習 / 紛争研究 / 論理 / 知能情報学 / 非単調論理 / 逆問題 / ベイズ推論 / 計算論的議論 / 生成モデル / ベイズ / 機械学習 / 推論 / 議論 隠す
  • 研究課題

    (6件)
  • 研究成果

    (29件)
  • 共同研究者

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

    • 研究代表者
      岡本 圭史
    • 研究期間 (年度)
      2024 – 2027
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分25020:安全工学関連
    • 研究機関
      仙台高等専門学校
  •  DevOpsアシュアランスケースによる機械学習システムのディペンダビリティ保証

    • 研究代表者
      松野 裕
    • 研究期間 (年度)
      2020 – 2022
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      日本大学
  •  数理議論学に基づく仕様書の不整合解消支援ツールの作成

    • 研究代表者
      岡本 圭史
    • 研究期間 (年度)
      2019 – 2021
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      仙台高等専門学校
  •  実在・仮想データを用いた議論の論理に基づく紛争分析支援

    • 研究代表者
      木藤 浩之
    • 研究期間 (年度)
      2015 – 2018
    • 研究種目
      基盤研究(B)
    • 研究分野
      紛争研究
    • 研究機関
      電気通信大学
      東京大学
  •  議論学を応用したソフトウェアインテグリティレベルの提案研究代表者

    • 研究代表者
      高井 利憲
    • 研究期間 (年度)
      2015 – 2017
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウェア
    • 研究機関
      奈良先端科学技術大学院大学
  •  レビュー結果を利用したアシュアランスケースの効率的な構築保 守手法の開発研究代表者

    • 研究代表者
      高井 利憲
    • 研究期間 (年度)
      2013 – 2014
    • 研究種目
      若手研究(B)
    • 研究分野
      ソフトウェア
    • 研究機関
      奈良先端科学技術大学院大学

すべて 2022 2021 2020 2019 2017 2016 2015 2014 2013 その他

すべて 雑誌論文 学会発表

  • [雑誌論文] Expressing Dung’s Extensions as FO-Formulas to Enumerate Them with an SMT Solver2020

    • 著者名/発表者名
      Keishi Okamoto, Hiroyuki Kido, Toshinori Takai
    • 雑誌名

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

      巻: 2170 ページ: 64-72

    • NAID

      120006956442

    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-19K11914
  • [雑誌論文] Expressing Dung’s Extensions as FO-Formulas to Enumerate Them with an SMT Solver2020

    • 著者名/発表者名
      Keishi Okamoto, Hiroyuki Kido, Toshinori Takai
    • 雑誌名

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

    • NAID

      120006956442

    • データソース
      KAKENHI-PROJECT-19K11914
  • [雑誌論文] Automatic Approach to Prepare Information for Constructing an Assurance Case2014

    • 著者名/発表者名
      Khana Chindamaikul, Toshinori Takai, Daniel Port, Hajimu Iida
    • 雑誌名

      Information Science Technical Report

      巻: TR2014002 ページ: 1-15

    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-25730044
  • [学会発表] モデルベース開発の実践と評価2022

    • 著者名/発表者名
      大熊拓海,児玉英明,瀧山彰仁,中道浩紀,高井利憲,岡田学,杉田卓斗,松野裕
    • 学会等名
      JSSST DSW 2022
    • データソース
      KAKENHI-PROJECT-20K11753
  • [学会発表] 社会生活に密接に関わるSystem of Systems開発のためのDigital Twin+ACアプローチ2021

    • 著者名/発表者名
      高井利憲
    • 学会等名
      DSW2021
    • 招待講演
    • データソース
      KAKENHI-PROJECT-20K11753
  • [学会発表] 社会生活に密接に関わるSystem of Systems開発のためのDigital Twin+ACアプローチ2021

    • 著者名/発表者名
      高井 利憲
    • 学会等名
      第19回ディペンダブルシステムワークショップ(DSW 2021)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-19K11914
  • [学会発表] Light-weight integration of MBSE and model-checking2021

    • 著者名/発表者名
      Toshinori Takai
    • 学会等名
      ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS2021)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11914
  • [学会発表] DevOpsアシュアランスケースによる自動運転システムの安全性保証2021

    • 著者名/発表者名
      小池湧大、大熊拓海、高井利憲、岡田学、松野裕
    • 学会等名
      電子情報通信学会KBSE研究会
    • データソース
      KAKENHI-PROJECT-20K11753
  • [学会発表] Continuous modeling supports from business analysis to systems engineering in IoT development2020

    • 著者名/発表者名
      Toshinori Takai, Katsutoshi Shintani, Hideki Andoh and Hironori Washizaki
    • 学会等名
      5th International Conference on Enterprise Architecture and Information Systems (EAIS 2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11914
  • [学会発表] Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking2020

    • 著者名/発表者名
      Mitsuaki Tsuji, Toshinori Takai, Kazuki Kakimoto, Naoki Ishihama, Masafumi Katahira, and Hajimu Iida
    • 学会等名
      4th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS), 2020
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11914
  • [学会発表] Defining extensions with first-order logic formulas, and its computation2019

    • 著者名/発表者名
      Keishi Okamoto, Hiroyuki Kido, Toshinori Takai
    • 学会等名
      2019 RIMS Model Theory Workshop
    • データソース
      KAKENHI-PROJECT-19K11914
  • [学会発表] Case Study Applying GQM+Strategies with SysML for IoT Application System Development2019

    • 著者名/発表者名
      Takai, T., Shintani, K., Andoh, H., and Washizaki, H.
    • 学会等名
      8th International Congress on Advanced Applied Informatics (IIAI-AAI), IEEE
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11914
  • [学会発表] Modeling evidence-based arguments by abstract dialectical framework2017

    • 著者名/発表者名
      Toshinori Takai
    • 学会等名
      3rd International Workshop on Argument for Agreement and Assurance (AAA 2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00100
  • [学会発表] 自動運転システムにおける運転指示ソフトウェアのシステムアシュアランス2017

    • 著者名/発表者名
      長村佳歩、高井利憲
    • 学会等名
      第12回 D-Case研究会
    • 発表場所
      日本大学理工学部駿河台キャンパス(東京都千代田区)
    • 年月日
      2017-03-27
    • データソース
      KAKENHI-PROJECT-15K00100
  • [学会発表] 議論スキーマからみたGSN/ D-Caseのストラテジに対する考察2017

    • 著者名/発表者名
      高井 利憲
    • 学会等名
      D-Case研究会
    • データソース
      KAKENHI-PROJECT-15K00100
  • [学会発表] 介護施設における移動介護ロボットのシステムアシュアランス2017

    • 著者名/発表者名
      宮村純真、高井利憲
    • 学会等名
      第12回 D-Case研究会
    • 発表場所
      日本大学理工学部駿河台キャンパス(東京都千代田区)
    • 年月日
      2017-03-27
    • データソース
      KAKENHI-PROJECT-15K00100
  • [学会発表] 消費者向け製品のための効果的なリスク共有手法の提案2016

    • 著者名/発表者名
      八木英光・高井利憲・飯田元
    • 学会等名
      知能ソフトウェア工学研究会 (SIG-KBSE)
    • 発表場所
      由布院公民館(大分県由布市)
    • 年月日
      2016-03-03
    • データソース
      KAKENHI-PROJECT-15K00100
  • [学会発表] ソフトウェアの受け入れテストに対する ゴール構造化表記法を用いた効率化の取り組み2016

    • 著者名/発表者名
      高井利憲
    • 学会等名
      第14回クリティカルソフトウェアワークショップ
    • 発表場所
      ソラシティカンファレンスセンター(東京都千代田区)
    • 年月日
      2016-12-12
    • データソース
      KAKENHI-PROJECT-15K00100
  • [学会発表] Modular construction of assurance cases written in dGSN2015

    • 著者名/発表者名
      Toshinori Takai, Hiroyuki Kido
    • 学会等名
      2nd International Workshop on Argument for Agreement and Assurance
    • 発表場所
      慶応大学日吉キャンパス(横浜市神奈川県)
    • 年月日
      2015-11-17
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15KT0041
  • [学会発表] ペルソナに基づくD-Caseの記述2015

    • 著者名/発表者名
      高井利憲
    • 学会等名
      第8回D-Case研究会
    • 発表場所
      日本大学駿河台キャンパス(東京都千代田区)
    • 年月日
      2015-05-22
    • データソース
      KAKENHI-PROJECT-15K00100
  • [学会発表] An Effective Way to Review and Manage Assurance Cases (Tool Demo: Defeasible GSN)2015

    • 著者名/発表者名
      Toshinori Takai, Hiroyuki Kido and Yutaka Matsuno
    • 学会等名
      2nd International Workshop on Argument for Agreement and Assurance
    • 発表場所
      慶応大学日吉キャンパス(横浜市神奈川県)
    • 年月日
      2015-11-17
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15KT0041
  • [学会発表] Modular construction of assurance cases written in defeasible goal structuring notation2015

    • 著者名/発表者名
      Toshinori Takai, Hiroyuki Kido, and Yutaka Matsuno
    • 学会等名
      2nd International Workshop on Argument for Agreement and Assurance (AAA 2015)
    • 発表場所
      慶應大学日吉キャンパス(神奈川県横浜市)
    • 年月日
      2015-11-17
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00100
  • [学会発表] Constructing Assurance Case using Information From an Issue Tracking System2013

    • 著者名/発表者名
      Khana Chindamaikul, Takai Toshinori, Hajimu Iida
    • 学会等名
      ソフトウェアエンジニアリングシンポジウム2013(SES2013)
    • 発表場所
      東京
    • データソース
      KAKENHI-PROJECT-25730044
  • [学会発表] Retrieving Information from a Document Repository for Constructing Assurance Cases

    • 著者名/発表者名
      Khana Chindamaikul, Toshinori Takai, and Hajimu Iida
    • 学会等名
      2014 Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2014)
    • 発表場所
      Naples, Itary
    • 年月日
      2014-11-03 – 2014-11-06
    • データソース
      KAKENHI-PROJECT-25730044
  • [学会発表] ペルソナに基づく撤回可能付きGSN構築手法の提案 ~ システムアシュアランス導入に関するリスクケースを題材として ~

    • 著者名/発表者名
      泉川大樹, 高井利憲
    • 学会等名
      知能ソフトウェア工学研究会(KBSE)
    • 発表場所
      電気通信大学, 東京都調布市
    • 年月日
      2015-03-05 – 2015-03-06
    • データソース
      KAKENHI-PROJECT-25730044
  • [学会発表] アシュアランスケース構築のための議論合成法

    • 著者名/発表者名
      高井利憲, 木藤浩之, 松野裕
    • 学会等名
      知能ソフトウェア工学研究会(KBSE)
    • 発表場所
      電気通信大学, 東京都調布市
    • 年月日
      2015-03-05 – 2015-03-06
    • データソース
      KAKENHI-PROJECT-25730044
  • [学会発表] Linking Traceability with GSN

    • 著者名/発表者名
      Kenji Taguchi, Souma Daisuke, Hideaki Nishihara, and Toshinori Takai
    • 学会等名
      2014 Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2014)
    • 発表場所
      Naples, Itary
    • 年月日
      2014-11-03 – 2014-11-06
    • データソース
      KAKENHI-PROJECT-25730044
  • [学会発表] A Framework for Defining Degree of Confidence for Assurance Cases

    • 著者名/発表者名
      Toshinori Takai, and Hiroyuki Kido
    • 学会等名
      Proc. of the 53rd Annual Conference of the Instrument and Control Engineers of Japan (SICE 2014)
    • 発表場所
      北海道大学, 札幌
    • 年月日
      2014-09-09 – 2014-09-12
    • データソース
      KAKENHI-PROJECT-25730044
  • [学会発表] A Supplemental Notation of GSN Aiming for Dealing with Changes of Assurance Cases

    • 著者名/発表者名
      Toshinori Takai, and Hiroyuki Kido
    • 学会等名
      The Fourth Workshop on Open Systems Dependability (WOSD2014)
    • 発表場所
      Naples, Itary
    • 年月日
      2014-11-03 – 2014-11-06
    • データソース
      KAKENHI-PROJECT-25730044
  • 1.  木藤 浩之 (90705287)
    共同の研究課題数: 3件
    共同の研究成果数: 6件
  • 2.  岡本 圭史 (00308214)
    共同の研究課題数: 3件
    共同の研究成果数: 3件
  • 3.  松野 裕 (70534220)
    共同の研究課題数: 3件
    共同の研究成果数: 3件
  • 4.  古澤 仁 (00357930)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 5.  阿部 明典 (40221725)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 6.  久代 紀之 (50630886)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 7.  新田 克己 (60293073)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  中村 潤 (80532994)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  高橋 和子 (30330400)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  関 弘翔 (00755043)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

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

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?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi