Rchr
J-GLOBAL ID:200901030798025427   Update date: Jun. 11, 2021

Nakajima Shin

Nakajima Shin
Affiliation and department:
Research field  (2): Software ,  Software
Research keywords  (11): Machine Learning Software ,  Software Testsing ,  Cyber Physical Systems ,  Game Theory ,  Socio-Technlogy ,  Formal Methods ,  Dependable Systems ,  Modeling ,  Software Engineering ,  Requirements Specification ,  Logic Model Checking
Papers (113):
more...
MISC (9):
Books (17):
  • ソフトウェア工学から学ぶ機械学習の品質問題
    丸善出版 2020 ISBN:9784621305737
  • Implicit and explicit semantics integration in proof based developments of discrete systems
    Springer 2020 ISBN:9789811550539
  • デジタル・プラットフォーム解体新書〜製造業のイノベーションに向けて〜
    近代科学社 2019 ISBN:9784764905894
  • ソフトウェア工学
    放送大学教育振興会 2019 ISBN:9784595141195
  • Cyber-Physical System Design from an Architecture Analysis Viewpoint
    Springer 2017 ISBN:9789811044359
more...
Lectures and oral presentations  (75):
  • ニューラルネットワーク・ソフトウェアの頑健性検査
    (情報処理学会 第206回ソフトウェア工学研究発表会(オンライン開催) 2020)
  • 統計的な部分オラクルによるテスティング方法
    (日本ソフトウェア科学会第37 回大会(オンライン開催) 2020)
  • 敵対的なセマンティック・ノイズの実行時検知
    (情報処理学会 第205回ソフトウェア工学研究会(オンライン開催) 2020)
  • Distortion Metrics for Trained Machine Learning Models
    (2020)
  • A Brief Introduction to Machine Learning Software Testing
    (2020)
more...
Professional career (1):
  • Ph.D. (The University of Tokyo) (The University of Tokyo)
Work history (18):
  • 2021/04 - 現在 The Graduate University for Advanced Studies
  • 2021/04 - 現在 National Institute of Informatics
  • 2019/11 - 現在 産業技術総合研究所 招聘研究員
  • 2018/04 - 現在 The Open University of Japan
  • 2019/04 - 2021/03 National Institute of Informatics National Institute of Informatics
Show all
Committee career (9):
  • 2018/10 - 現在 産業技術総合研究所 「AI品質マネジメント検討委員会」委員長
  • 2011/06 - 現在 電子情報通信学会システム数理と応用研究専門委員会 専門委員
  • 2004/04 - 現在 日本ソフトウェア科学会 評議委員
  • 2014/06 - 2018/05 日本ソフトウェア科学会 監事
  • 2012/04 - 2018/03 日本ソフトウェア科学会 代表会員
Show all
Awards (5):
  • 2020/09 - 情報処理学会ソフトウェア工学研究会 卓越研究賞
  • 2017/11 - 日本ソフトウェア科学会 第34回大会高橋奨励賞
  • 2015/10 - 情報処理学会 2015年度山下記念研究賞
  • 2004/06 - 日本ソフトウェア科学会 第8回論文賞
  • 2001/09 - 情報処理学会 2001年度山下記念研究賞
Association Membership(s) (1):
日本ソフトウェア科学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page