Rchr
J-GLOBAL ID:200901030798025427   Update date: Feb. 07, 2024

Nakajima Shin

Nakajima Shin
Affiliation and department:
Research field  (2): Software ,  Software
Research keywords  (8): Data Governance ,  Machine Learning Software ,  Software Testsing ,  Cyber Physical Systems ,  Formal Methods ,  Software Modeling ,  Software Engineering ,  Logic Model Checking
Papers (121):
  • Shin Nakajima, Takako Nakatani. AI Extension of SQuaRE Data Quality Model. 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C). 2021. 306-313
  • Shin Nakajima. Software Testing with Statistical Partial Oracles - Application to Neural Networks Software -. Proc. 10th SOFL+MSVL. 2021. 175-192
  • Shin Nakajima. Constructing Rigorous Sketches for Refinement-based Formal Development: An Application to Android. Implicit and Explicit Semantics Integration in Proof Bsed Deveopment of Discrete Systems. 2020. 331-346
  • Shaoying Liu, Shin Nakajima. Automatic Test Case and Test Oracle Generation based on Functional Scenarios in Formal Specifications for Conformance Testing. IEEE Transactions on Software Engineering. 2020. 48. 2. 691-712
  • Shin Nakajima. Distortion and Faults in Machine Learning Software. Proc. SOFL+MSVL 2019. 2020. 29-41
more...
MISC (81):
more...
Books (19):
  • The Essence of Software:Why Concepts Matter for Great Design
    2023 ISBN:9784621308134
  • AIリスク・マネジメント 信頼できる機械学習ソフトウェアへの工学的方法論
    丸善出版 2022 ISBN:9784621307809
  • ソフトウェア工学から学ぶ機械学習の品質問題
    丸善出版 2020 ISBN:9784621305737
  • Implicit and explicit semantics integration in proof based developments of discrete systems
    Springer 2020 ISBN:9789811550539
  • デジタル・プラットフォーム解体新書〜製造業のイノベーションに向けて〜
    近代科学社 2019 ISBN:9784764905894
more...
Lectures and oral presentations  (79):
  • 大規模言語モデルの不確かさを乗り越える ~基本的な考え方から社会的課題まで~
    (JAISTトランスフォーマティブ知識経営オープンセミナー 2023)
  • (振る舞い予想・対応可能性)システムのトラスト
    (デジタル社会における新たなトラスト形成〜総合知による取り組み〜 2023)
  • AIの倫理的な品質特性としてのプライバシー
    (電子情報通信学会ソフトウェア研究会・ディペンダブルコンピューティング研究会 2022)
  • Risk Management around Machine Learning Software
    (The 11th international workshop on SOFL + MSVL for Reliability and Security 2022)
  • ニューラルネットワーク・ソフトウェアの頑健性検査
    (情報処理学会 第206回ソフトウェア工学研究発表会(オンライン開催) 2020)
more...
Professional career (1):
  • Ph.D. (The University of Tokyo)
Work history (18):
  • 2023/06 - 現在 The University of Tokyo The Interfaculty Initiative in Information Studies (III) Project Professor
  • 2021/04 - 現在 The Graduate University for Advanced Studies
  • 2021/04 - 現在 National Institute of Informatics
  • 2019/11 - 現在 National Institute of Advanced Industrial Science and Technology Digital Architecture Research Center Visiting Researcher
  • 2018/04 - 現在 The Open University of Japan Visiting Professor
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