日本語
NIHON UNIVERSITY's 
College of Science and Technology 
Department of Computer Engineering 

Updated : 2018/10/16 
Associate Professor 
MATSUNO Yutaka 

Birth:1977  
Tel.0474-69-5709  
My website is here.  

Profile
Yutaka Matsuno is associate professor in College of Science and Technology, Nihon University, Japan. Before he joined to Nihon University, he was assistant professor in Graduate School of Information Systems, The University of Electro-Communications. His research interests include programming language, type system, dependability, safety, and system assurance. He obtained Ph.D. in Graduate School of Frontier Science, The University of Tokyo in 2006, and B.E. from Faculty of Technology, The University of Tokyo, Japan in 2001. 

Career (Number of the published data : 7)
College of Science and Technology, Nihon University  Department of Computer Engineering  Associate Professor  2015/04/01-Present 
Graduate School of Information Systems, The University of Electro-Communications  Department of Social Intelligence and Informatics  Assistant Professor  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 

Academic background (Number of the published data : 3)
The University of Tokyo  Faculty of Engineering  Department of Electronics Engineering  Others  2001/03/31  Graduated  Domestic 
The University of Tokyo  Graduate School of Frontier Science  Department of Frontier Informatics  Master course  2003/03/31  Completed  Domestic 
The University of Tokyo  Graduate School of Frontier Science  Frontier Informatics  2006/03  Completed  Domestic 

Academic degrees (Number of the published data : 1)
科学  東京大学  2006/03/31 

Research Areas (Number of the published data : 2)
Software 
Social systems engineering/ Safety system 

Research keywords (Number of the published data : 1)
Programming Language, Type Theory, Dependability, Safety, System Assurance 

Proposed theme of joint or funded research (Number of the published data : 1)
システム保証、安全性、ディペンダビリティ 
View details...

Achievements of joint or funded research (Number of the published data : 3)
放射線測定器の信頼度測定  2016-2016 
自動車のシステム保証  2013-2015 
JST CREST DEOSプロジェクト  2013-2014 
View details...

Bibliography (Number of the published data : 3)
はじめてのD-Case  一般社団法人 ディペンダビリティ技術推進協会  2018/06/05 
実践D-Case  ダイテックオンデマンド出版  2013 
D-Case入門~ディペンダビリティ・ケースを書いてみよう!~  ダイテックホールディング  2012 
View details...

Papers (Number of the published data : 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 
View details...

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

Prizes (Number of the published data : 1)
最優秀論文発表賞  2016/12/14  Domestic 
View details...

Research expenses (Number of the published data : 3)
Grant-in-Aid for Scientific Research  ステークホルダーネットワークによる合意形成支援手法とツールの開発  2017/04/01-2019/03/31 
Other grant  市民・専門家双方のための放射線リスク コミュニケーションデータベース構築  2016/03/01-2017/03/01 
Grant-in-Aid for Scientific Research  概念モデルとアシュアランスケースによる国際規格認証ドキュメント生成に関する研究  2015/04/01-2017/03/31 
View details...

Alloted class (Number of the published data : 3)
応用統計 
離散数学 
情報工学実験Ⅱ 
View details...

Social activities (Number of the published data : 3)
日科技連第45回信頼性・保全性シンポジウム 特別企画セッション「IoT時代のシステム保証と規格認証」  2015/07/07-Present 
組み込みセキュリティ&セーフティフォーラム  2015/03/12-Present 
D-Case研究会 主査  2012/04/01-Present 
View details...