來間啓伸 - 電子書籍 (1) 通販 LOOK!! Kobo館

著者：佐藤直人, 小川秀人, 來間啓伸, 明神智之
出版社：リックテレコム
発売日： 2021年06月04日

本書の主題は、「正解を定義できないからこそAIを使う」ことから生じる矛盾を乗り越え、読者がAIシステムをテストできるようになることです。従来行っていた正解に基づくテストは無効ですので、AIソフトウェア向け……続きを見る

価格：2,750円

レビュー件数：2 / 評価平均：★★★★ (3.5) → レビューをチェック

著者：中島震, 來間啓伸
出版社：近代科学社
発売日： 2016年11月04日

論理的なバクを発生させない形式手法!!Event-Bは、パリ地下鉄、ニューヨーク地下鉄、バルセロナ地下鉄、ドゴール空港のシャトルの無人運転を成功に導いた、J.R.アブリエル氏が考案した新しい形式仕様言語である。E……続きを見る

価格：4,180円

著者：来間啓伸
出版社：近代科学社
発売日： 2018年03月23日

仕様の段階で誤りをなくす注目の手法「Bメソッド」を実践活用するための解説書。安心安全を含めてますます高度な機能や性能が要求されるソフトウェアシステムの開発において、厳密な仕様記述を基に開発を行う形式……続きを見る

価格：3,960円

レビュー件数：1 / 評価平均：★★★★★ (5.0) → レビューをチェック

來間啓伸 - 電子書籍 1