研究者
J-GLOBAL ID:200901030798025427   更新日: 2024年02月07日

中島 震

Nakajima Shin
所属機関・部署:
研究分野 (2件): ソフトウェア ,  ソフトウェア
研究キーワード (8件): データ・ガバナンス ,  機械学習ソフトウェア ,  ソフトウェア・テスティング ,  サイバー・フィジカル・システム ,  形式手法 ,  ソフトウェア・モデリング ,  ソフトウェア工学 ,  モデル検査
論文 (121件):
  • Shin Nakajima, Takako Nakatani. AI Extension of SQuaRE Data Quality Model. 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
もっと見る
MISC (81件):
もっと見る
書籍 (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件):
  • 2023/06 - 現在 東京大学 特任教授
  • 2021/04 - 現在 総合研究大学院大学
  • 2021/04 - 現在 国立情報学研究所
  • 2019/11 - 現在 国立研究開発法人産業技術総合研究所 デジタルアーキテクチャ研究センター 招聘研究員
  • 2018/04 - 現在 放送大学 客員教授
全件表示
委員歴 (9件):
  • 2018/10 - 現在 産業技術総合研究所 「AI品質マネジメント検討委員会」委員長
  • 2011/06 - 現在 電子情報通信学会システム数理と応用研究専門委員会 専門委員
  • 2004/04 - 現在 日本ソフトウェア科学会 評議委員
  • 2014/06 - 2018/05 日本ソフトウェア科学会 監事
  • 2012/04 - 2018/03 日本ソフトウェア科学会 代表会員
全件表示
受賞 (5件):
  • 2020/09 - 情報処理学会ソフトウェア工学研究会 卓越研究賞
  • 2017/11 - 日本ソフトウェア科学会 第34回大会高橋奨励賞
  • 2015/10 - 情報処理学会 2015年度山下記念研究賞
  • 2004/06 - 日本ソフトウェア科学会 第8回論文賞
  • 2001/09 - 情報処理学会 2001年度山下記念研究賞
所属学会 (1件):
日本ソフトウェア科学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る