English
日本大学 
理工学部 
応用情報工学科 

更新日:2018/10/16 
准教授 
松野 裕 
マツノ ユタカ 
MATSUNO Yutaka 

1977年生まれ  
Tel.0474-69-5709  
個人ウェブサイトはこちら  

プロフィール
2001年3月東京大学工学部電子工学科卒業。
2003年3月、2006年3月、東京大学大学院新領域創成科学研究科基盤情報学専攻修士、博士課程修了。博士(科学)。東京大学情報基盤センター特任講師、名古屋大学情報連携統括本部特任講師、電気通信大学大学院情報システム学研究科助教などを経て、2015年4月より日本大学理工学部応用情報工学科准教授。プログラミング言語、システム保証、ディペンダビリティ、安全性などに興味を持つ。情報処理学会、日本ソフトウエア科学会、電子情報通信学会、日本信頼性学会、日本品質管理学会会員。 

経歴 (公開件数: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 
東北大学大学院  情報科学研究科  教育研究支援者  2008/04/01-2008/09/30 
東北大学  電気通信研究所  産学官連携研究員  2006/04/01-2008/03/31 

学歴 (公開件数:3件)
東京大学  工学部  電子工学科  その他  2001/03/31  卒業  国内 
東京大学  新領域創成科学研究科  基盤情報学専攻  修士  2003/03/31  修了  国内 
東京大学  新領域創成科学研究科  基盤情報学専攻  2006/03  修了  国内 

研究分野 (公開件数:2件)
ソフトウェア 
社会システム工学・安全システム 

研究キーワード (公開件数:1件)
プログラミング言語、型理論、ディペンダビリティ、安全性、システム保証 

共同・受託研究希望テーマ (公開件数:1件)
システム保証、安全性、ディペンダビリティ 
詳細表示...

共同・受託研究実績 (公開件数:3件)
放射線測定器の信頼度測定  2016-2016 
自動車のシステム保証  2013-2015 
JST CREST DEOSプロジェクト  2013-2014 
詳細表示...

著書 (公開件数:3件)
はじめてのD-Case  一般社団法人 ディペンダビリティ技術推進協会  2018/06/05 
実践D-Case  ダイテックオンデマンド出版  2013 
D-Case入門~ディペンダビリティ・ケースを書いてみよう!~  ダイテックホールディング  2012 
詳細表示...

論文 (公開件数:55件)
Continuous Argument Engineering: Tackling Uncertainty in Machine Learning based Systems  Proceedings of 6th Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018)  2018/09/18 
D-Case Steps: New Steps for Writing Assurance Cases  Proceedings of 6th Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018)  2018/09/18 
IoTと点流速センサを用いた流量観測システム  土木学会論文集F3(土木情報学)  2018/03/26  10.2208/jscejcei.73.I_251 
D-Case Communicator: A Web Based GSN Editor for Multiple Stakeholders  Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops  2017/09 
Trend Analyses of Failures in Information Systems-A Case Study on Communications Networks and Financial Information Systems (Fast Abstract)  Proc. PRDC 2017  2017/01/22 
詳細表示...

研究発表 (公開件数:115件)
口頭発表(招待・特別)  アシュアランスケースの紹介とSCDLとの連携に向けて  Safety Concept Notation Open Conference 2018 東京  2018/10/16 
口頭発表(招待・特別)  放射線リスクコミュニケーションにおける市民合意形成の取り組み:D‑Case応用事例として  第46回日本放射線技術学会秋季学術大会  2018/10/04 
口頭発表(一般)  Development of Point Current, Gate Opening, Inundation River Sensor for IoT System  第43回土木情報学シンポジウム  2018/09/27 
口頭発表(一般)  Continuous Argument Engineering: 機械学習システムにおける議論モデルの活用に向けて  第1回機械学習工学ワークショップ(MLSE2018)  2018/07/01 
口頭発表(一般)  ゲーミフィケーションを用いた防災シミュレーションツールの開発  減災情報システム第7回合同研究会  2018/03/12 
詳細表示...

受賞 (公開件数:1件)
最優秀論文発表賞  2016/12/14  国内 
詳細表示...

研究費 (公開件数:3件)
文部科学省科学研究費  ステークホルダーネットワークによる合意形成支援手法とツールの開発  2017/04/01-2019/03/31 
その他助成金  市民・専門家双方のための放射線リスク コミュニケーションデータベース構築  2016/03/01-2017/03/01 
文部科学省科学研究費  概念モデルとアシュアランスケースによる国際規格認証ドキュメント生成に関する研究  2015/04/01-2017/03/31 
詳細表示...

担当授業科目 (公開件数:3件)
応用統計 
離散数学 
情報工学実験Ⅱ 
詳細表示...

社会活動 (公開件数:3件)
日科技連第45回信頼性・保全性シンポジウム 特別企画セッション「IoT時代のシステム保証と規格認証」  2015/07/07-現在 
組み込みセキュリティ&セーフティフォーラム  2015/03/12-現在 
D-Case研究会 主査  2012/04/01-現在 
詳細表示...

委員歴 (公開件数:8件)
日本ソフトウエア科学会ディペンダブルシステム研究会  幹事  2015/04/01-現在 
日本ソフトウエア科学会  企画委員  2015/04/01-現在 
日本ソフトウエア科学会  編集委員  2015/04/01-現在 
電子情報通信学会  知能ソフトウエア工学研究会幹事  2015/04/01-現在 
JSAI  AAA2015プログラム委員会  2015/04/01-2015/11/17 
詳細表示...