研究者
J-GLOBAL ID:201301091829506633   更新日: 2021年01月11日

松野 裕

マツノ ユタカ | Matsuno Yutaka
所属機関・部署:
職名: 准教授
ホームページURL (2件): http://mlab.ce.cst.nihon-u.ac.jphttps://sites.google.com/site/yutakamatsuno77/
研究分野 (3件): 安全工学 ,  社会システム工学 ,  ソフトウェア
研究キーワード (1件): プログラミング言語、型理論、ディペンダビリティ、安全性、システム保証
競争的資金等の研究課題 (4件):
  • 2020 - 2023 DevOpsアシュアランスケースによる機械学習システムのディペンダビリティ保証
  • 2017 - 2019 ステークホルダーネットワークによる合意形成支援手法とツールの開発
  • 2015 - 2017 概念モデルとアシュアランスケースによる国際規格認証ドキュメント生成に関する研究
  • 2016 - 2017 市民・専門家双方のための放射線リスク コミュニケーションデータベース構築
論文 (55件):
  • Yutaka Matsuno, Futaba Fukanuma, Shigenobu Tsuruoka. Development of Flood Disaster Prevention Simulation Smartphone Application Using Gamification. Dynamics of Disasters: Impact, Risk, Resilience, and Solutions (Kotsireas, I.S., Nagurney, A., Pardalos, P., Tsokas, A. (Eds.)), Springer Optimization and Its Applications. 2021. 169
  • Yutaka Matsuno, Futaba Fukanuma, Shigenobu Tsuruoka. Dynamics of Disasters-Impact, Risk, Resilience, and Solutions (Kotsireas, I.S., Nagurney, A., Pardalos, P., Tsokas, A. (Eds.)), Springer Optimization and Its Applications, 169. Springer Optimization and Its Applications. 2021. 169
  • 小林孝有, 栗間智大, 杉田卓斗, 村上知里, 松野裕. 大学研究室におけるアジャイルプロセスの提案と実践. 第7回 実践的IT教育シンポジウム(rePiT2021)予稿集. 2021
  • 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
もっと見る
MISC (8件):
特許 (2件):
書籍 (3件):
  • はじめてのD-Case
    一般社団法人 ディペンダビリティ技術推進協会 2018
  • 実践D-Case
    ダイテックオンデマンド出版 2013
  • D-Case入門~ディペンダビリティ・ケースを書いてみよう!~
    ダイテックホールディング 2012
講演・口頭発表等 (140件):
  • DevOpsアシュアランスケースによる自動運転システムの安全性保証
    (電子情報通信学会知能ソフトウェア工学研究会 2021)
  • Web上のニュースソースのタイトル文による自動分類器の提案と検証
    (NLP若手の会 (YANS) 第15回シンポジウム プログラム 2020)
  • Web上のニュースソースのタイトル文による自動分類器の提案と検証
    (電子情報通信学会知能ソフトウェア工学研究会 2020)
  • 開発・運用アシュアランスケースによる機械学習システムのディペンダビリティ保証
    (ウィンターワークショップ2020・イン・京都(遠隔での参加) 2020)
  • 大学研究室におけるアジャイル開発プロセスの提案と実践
    (電子情報通信学会KBSE研究会 2020)
もっと見る
学歴 (3件):
  • 2003 - 2006 東京大学 基盤情報学専攻
  • 2001 - 2003 東京大学 基盤情報学専攻
  • 1997 - 2001 東京大学 電子工学科
学位 (1件):
  • 科学 (東京大学)
経歴 (9件):
  • 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の登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る