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 (127)：

Kozo Okano, Daichi Ofuchi, Shinpei Ogata, Shin Nakajima. Training Data Debugging Through a Lens of Outliers in Neuron Coverage. Proceedings of 2024 IEEE International Conference on AI in Science, Engineering, and Technology (AIxSET 2024). 2024. 297-304
中島震. AI 普及の技術的制度的な阻害要因:大規模言語モデル. 研究技術計画. 2024. 39. 2. 127-140
Takuma Ikeda, Kozo Okano, Shinpei Ogata, Shin Nakajima. Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces. Proceedings of 2nd International Workshop on Intelligent Software Engineering. 2024
Shin Nakajima, Takako Nakatani. AI Extension of SQuaRE Data Quality Model. 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

ｍore...

MISC (81)：

中島震, 中谷多哉子, 滝澤真一郎. 「AIの品質保証」編集にあたって. 情報処理. 2022. 63. 11. 602-603
Si-Mohamed Lamraoui, Shin Nakajima. A Formula-based Approach for Automatic Fault Localization of Multi-fault Programs. 2016. 57. 1
LAMRAOUI Si-Mohamed, NAKAJIMA Shin. SNIPER : An LLVM-based Automatic Fault Localization Tool for Imperative Programs. Technical report of IEICE. SS. 2015. 114. 510. 13-18
中島震. 要求変化へのソフトウェア工学. 電子情報通信学会誌. 2015. 98. 2. 124-129
來間啓伸, 中島震. Event-B : リファインメントに基づくシステム・モデリング. コンピュータソフトウェア. 2014. 31. 1. 43-48

ｍore...

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

ｍore...

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)

ｍore...

Professional career (1)：

Ph.D. (The University of Tokyo)

Work history (18)：

2023/06 - 現在 The University of Tokyo Interfaculty Initiative in Information Studies Graduate School of Interdisciplinary Information Studies 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