中島震

Nakajima Shin

所属機関・部署：

研究分野 (2件)：ソフトウェア , ソフトウェア

研究キーワード (8件)：データ・ガバナンス , 機械学習ソフトウェア , ソフトウェア・テスティング , サイバー・フィジカル・システム , 形式手法 , ソフトウェア・モデリング , ソフトウェア工学 , モデル検査

論文 (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

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 (ソフトウェアサイエンス). 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報. 2015. 114. 510. 13-18
中島震. 要求変化へのソフトウェア工学. 電子情報通信学会誌. 2015. 98. 2. 124-129
來間啓伸, 中島震. Event-B : リファインメントに基づくシステム・モデリング. コンピュータソフトウェア. 2014. 31. 1. 43-48

書籍 (19件)：

優れたデザインにとってコンセプトが重要な理由
丸善出版 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

講演・口頭発表等 (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)

学位 (1件)：

経歴 (18件)：

全件表示

委員歴 (9件)：

全件表示

受賞 (5件)：

所属学会 (1件)：

日本ソフトウェア科学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

中島 震