中島 震
Shin Nakajima
更新日: 01/25
基本情報
- 所属
- 国立情報学研究所 (名誉教授)
- 学位
-
博士（学術）(2000年11月 東京大学)
- ORCID iD
https://orcid.org/0000-0002-3827-3165- researchmap会員ID
- 5000034850
- 外部リンク
ソフトウェア・システムのディペンダビリティを向上する技術に関心があります．最近話題のCPS/IoT/SoSといった新しいソフトウェアでは，正しさの基準を明確に書き表せないことが多いです．ソフトウェア工学の従来の方法でディペンダビリティを論じることが困難になったといえるでしょう．「システムの方法」との融合を模索するのかな，と考えているところです．
経歴
19-
2025年4月 - 現在
-
2023年6月 - 現在
-
2021年4月 - 現在
-
2021年4月 - 現在
-
2018年4月 - 現在
-
2019年11月 - 2025年3月
-
2019年4月 - 2021年3月
-
2017年4月 - 2021年3月
-
2005年4月 - 2021年3月
-
2018年4月 - 2019年3月
-
2006年4月 - 2017年3月
-
2012年4月 - 2016年3月
-
2004年12月 - 2007年3月
-
2004年4月 - 2007年3月
-
2004年4月 - 2006年3月
-
2003年10月 - 2004年11月
-
2002年4月 - 2004年3月
-
2001年12月 - 2003年9月
-
1981年4月 - 2002年3月
所属学協会
1受賞
5-
2020年9月
-
2017年11月
-
2015年10月
-
2004年6月
-
2001年9月
主要なMISC
81主要な書籍等出版物
21-
丸善出版 2025年3月 (ISBN: 9784621310328)
-
放送大学教育振興会 2025年3月 (ISBN: 9784595142208)
-
丸善出版 2023年7月 (ISBN: 9784621308134)
-
丸善出版 2022年12月 (ISBN: 9784621307809)
-
丸善出版 2020年11月 (ISBN: 9784621305737)
-
放送大学教育振興会 2019年3月 (ISBN: 9784595141195)
主要な講演・口頭発表等
82-
ソフトウェアエンジニアリングシンポジウム：ワークショップ３ 2025年9月16日 招待有り
-
電子情報通信学会知能ソフトウェア工学研究会 2025年1月23日
-
JAISTトランスフォーマティブ知識経営オープンセミナー 2023年10月8日 招待有り
-
デジタル社会における新たなトラスト形成〜総合知による取り組み〜 2023年1月10日 招待有り
-
電子情報通信学会ソフトウェア研究会・ディペンダブルコンピューティング研究会 2022年10月25日 招待有り
-
The 11th international workshop on SOFL + MSVL for Reliability and Security 2022年10月24日 招待有り
主要な担当経験のある科目(授業)
8主要な論文
128-
研究 技術 計画 39(2) 127-140 2024年9月 招待有り
-
IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C) 306-313 2021年12月 査読有り筆頭著者
-
IEEE Transactions on Software Engineering 48(2) 691-712 2020年6月 査読有り
-
Proc. IFIP-ICTSS 2019 56-64 2019年10月 査読有り
-
コンピュータ・ソフトウェア 35(2) 26-32 2018年5月 査読有り
-
研究/技術/計画（研究・イノベーション学会誌） 32(3) 235-250 2017年11月 招待有り
-
FM 2015: FORMAL METHODS 9109 378-394 2015年 査読有り
-
Electronic Notes in Theoretical Computer Science 151(2) 89-105 2006年5月31日 査読有り
-
Progress in Informatics (2) 57-76 2005年11月 査読有り
-
コンピュータ・ソフトウェア 19(2) 82-98 2002年3月 査読有り
-
FIRST INTERNATIONAL SYMPOSIUM ON CYBER WORLDS, PROCEEDINGS 378-385 2002年 査読有り
-
コンピュータ・ソフトウェア 18(5) 17-46 2001年9月15日
-
Proc. SPIN 2001 163-182 2001年5月1日 査読有り
-
FM'99-Formal Methods, VOL II 1709 1664-1683 1999年 査読有り
-
Proceedings of the 1997 International Conference on Software Engineering (ICSE) 34-44 1997年 査読有り筆頭著者
委員歴
9-
2018年10月 - 現在
-
2011年6月 - 現在
-
2004年6月 - 2030年5月
-
2014年6月 - 2018年5月
-
2012年4月 - 2018年3月
-
2012年6月 - 2014年5月
-
2013年1月 - 2013年2月
-
2010年6月 - 2012年5月
-
1999年6月 - 2003年5月
主要な社会貢献活動
6