著者典拠情報

標目形：
中島, 震 (1955-)||ナカジマ, シン
属性：
Personal
場所：
大阪府
日付：
1955
注記：
SRC:オブジェクト指向最前線 / 青山幹雄, 深澤良彰編 (朝倉書店, 1996.7-) 2002の奥付頁による
法政大学経営学部教授(2002-2004)
国立情報学研究所教授(2004-)
著者典拠ID：
DA13681738


 close
1.

図書
図書
1. AIリスク・マネジメント : 信頼できる機械学習ソフトウェアへの工学的方法論
中島震著
出版情報: 東京 : 丸善出版, 2022.12
所蔵情報: loading…
2.

図書
図書
2. ソフトウェア工学から学ぶ機械学習の品質問題
中島震著
出版情報: 東京 : 丸善出版, 2020.11
所蔵情報: loading…
3.

図書
図書
3. ソフトウェア工学
中谷多哉子, 中島震編著
出版情報: 東京 : 放送大学教育振興会, 2019.3
シリーズ名: 放送大学大学院教材 ; 8970149-1-1911 . 情報学プログラム||ジョウホウガク プログラム
所蔵情報: loading…
4.

図書
図書
4. ソフト・エッジ : ソフトウェア開発の科学を求めて
中島震, みわよしこ著
出版情報: 東京 : 丸善出版, 2013.3
シリーズ名: 丸善ライブラリー ; 383 . 情報研シリーズ||ジョウホウケン シリーズ ; 17
所蔵情報: loading…
5.

図書
図書
5. 抽象によるソフトウェア設計 : Alloyではじめる形式手法
Daniel Jackson著 ; 今井健男 [ほか] 共訳
出版情報: 東京 : オーム社, 2011.7
所蔵情報: loading…
6.

図書
図書
6. SPINモデル検査入門
Mordechai Ben‐Ari著 ; 谷津弘一, 野中哲, 足立太郎共訳
出版情報: 東京 : オーム社, 2010.3
所蔵情報: loading…
7.

図書
図書
7. SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN
中島震著
出版情報: 東京 : 近代科学社, 2008.4
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. ソフトウェア工学から学ぶ機械学習の品質問題 (: electronic bk)
中島震著
出版情報: 東京 : Maruzen ebook lirbary, [20--]
オンライン: https://elib.maruzen.co.jp/elib/html/BookDetail/Id/3000103307
所蔵情報: loading…
9.

図書
図書
9. オブジェクト指向最前線 (['96] - 2003)
青山幹雄, 深澤良彰編
出版情報: 東京 : 朝倉書店, 1996.7-
所蔵情報: loading…