研究者
J-GLOBAL ID：201301091829506633   更新日: 2020年09月03日

松野 裕

マツノ ユタカ | Matsuno Yutaka
所属機関・部署：
日本大学 理工学部応用情報工学科

日本大学 理工学部応用情報工学科 について


職名： 准教授
ホームページURL (2件)： http://mlab.ce.cst.nihon-u.ac.jp ,  https://sites.google.com/site/yutakamatsuno77/
研究分野 (3件)： 安全工学 ,  社会システム工学 ,  ソフトウェア
研究キーワード (1件)： プログラミング言語、型理論、ディペンダビリティ、安全性、システム保証
競争的資金等の研究課題 (4件)：
  • 2020 - 2023 DevOpsアシュアランスケースによる機械学習システムのディペンダビリティ保証
  • 2017 - 2019 ステークホルダーネットワークによる合意形成支援手法とツールの開発
  • 2015 - 2017 概念モデルとアシュアランスケースによる国際規格認証ドキュメント生成に関する研究
  • 2016 - 2017 市民・専門家双方のための放射線リスク コミュニケーションデータベース構築
論文 (52件)：
  • Yoriyuki Yamagata, Yutaka Matsuno. An Algebraic Approach for Confidence Evaluation of Assurance Cases (Short Paper). Proc. of 22nd International Conference on Formal Engineering Methods (ICFEM2020), Lecture Notes in Computer Science (LNCS). 2020
  • Yutaka Matsuno, Toshinori Takai, Shuichiro Yamamoto. Facilitating Use of Assurance Cases in Industries by Workshops with an Agent-based Method. 電子情報通信学会英文論文誌D. 2020. E103-D. 6. 1297-1308
  • Yutaka Matsuno, Fuyuki Ishikawa, Susumu Tokumoto. Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests. Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings. 2019. LNCS11699. 398-404
  • Yuto Onuma, Toshinori Takai, Tsutomu Koshiyama, Yutaka Matsuno. D-Case Steps: New Steps for Writing Assurance Cases. Proceedings of 6th Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018). 2018. LNCS11094. 71-78
  • Fuyuki Ishikawa, Yutaka Matsuno. Continuous Argument Engineering: Tackling Uncertainty in Machine Learning based Systems. Proceedings of 6th Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018). 2018. LNCS11094. 14-21
もっと見る
MISC (8件)：
  • 松野裕, 町田文雄. DSN2019参加報告. コンピュータソフトウェア. 2020. 37. 1. 78-83
  • 松野裕. システム保証のためのソフトウエアテスト. 日本信頼性学会誌. 2016. 38. 2. 108-112
  • 松野 裕, 高井 利憲, ヴァイセ パトゥー, 山本 修一郎. アシュアランスケース構築法の提案. 電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学. 2012. 112. 314. 13-17
  • 大畠明, 松野裕, 田口研治, 中坊 嘉宏. 消費者機械安全性・信頼性保証の国際標準化. SEC Journal. 2012. 27. 170-176
  • 松野裕. D-Case: ステークホルダとシステムをつなぐドキュメント. Bulletin JASA. 2011. 34
もっと見る
特許 (2件)：
書籍 (3件)：
  • はじめてのD-Case
    一般社団法人 ディペンダビリティ技術推進協会 2018
  • 実践D-Case
    ダイテックオンデマンド出版 2013
  • D-Case入門~ディペンダビリティ・ケースを書いてみよう!~
    ダイテックホールディング 2012
講演・口頭発表等 (137件)：
  • 開発・運用アシュアランスケースによる機械学習システムのディペンダビリティ保証
    (ウィンターワークショップ2020・イン・京都(遠隔での参加) 2020)
  • 大学研究室におけるアジャイル開発プロセスの提案と実践
    (電子情報通信学会KBSE研究会 2020)
  • 音声情報のVR空間上での可視化による議事録作成ツールの開発
    (電子情報通信学会KBSE研究会 2020)
  • Safety Assurance of Machine Learning System
    (University of Exeter Business School Seminars 2020)
  • アシュアランスケースの議論構造分析による評価方式の提案
    (第17回 ディペンダブルシステムワークショップ(DSW 2019) 2019)
もっと見る
学歴 (3件)：
  • 2003 - 2006 東京大学 基盤情報学専攻
  • 2001 - 2003 東京大学 基盤情報学専攻
  • 1997 - 2001 東京大学 電子工学科
学位 (1件)：
  • 科学 (東京大学)
経歴 (7件)：
  • 2015/04/01 - 日本大学理工学部 応用情報工学科 准教授
  • 2013/04/01 - 2015/03/31 電気通信大学 大学院情報システム学研究科 社会知能情報学専攻 助教
  • 2012/04/01 - 2013/03/31 名古屋大学 情報連携統括本部 特任講師
  • 2010/04/01 - 2012/03/31 東京大学 情報基盤センター 特任講師
  • 2008/10/01 - 2010/03/31 産業技術総合研究所 システム検証研究センター 産総研特別研究員
全件表示
委員歴 (8件)：
  • 2015/04/01 - 2015/11/17 JSAI AAA2015プログラム委員会
  • 2015/02/01 - 2015/09/30 インプレス・IoTセキュリティフォーラム プログラム委員
  • 2015/04/01 - 電子情報通信学会 知能ソフトウエア工学研究会幹事
  • 2015/04/01 - 日本ソフトウエア科学会 編集委員
  • 2015/04/01 - 日本ソフトウエア科学会 企画委員
全件表示
受賞 (2件)：
  • 2019/12/16 - 日本ソフトウエア科学会ディペンダブルシステム研究会 優秀ポスター発表賞 開発・運用アシュアランスケースによる機械学習システムのディペンダビリティ保証
  • 2016/12/14 - 日本ソフトウエア科学会ディペンダブルシステム研究会 最優秀論文発表賞 市民等と障害情報を共有する障害データベースの構築の試み
所属学会 (5件)：
コンピュータソフトウエア科学会 ,  日本品質管理学会 ,  電子情報通信学会 ,  日本信頼性学会 ,  情報処理学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

Copyright (c) 2009 Japan Science and Technology Agency. All Rights Reserved

TOP