中島震 - 電子書籍 1

プライバシーやセキュリティ、倫理面の重要さを強調し、さまざまな観点から、この問題を繰り返し取り上げている。どのような問題が起こり得るかを逸話を通して説明しており、顕在化していない新しい課題が身近に感……続きを見る

システム障害が起きた時、原因は、ソフトウェアというものの特殊性に求められる傾向がある。ソフトウェアは、手で触れないし、目にも見えない。実体の不確かな存在は、理解しにくいものである。このような「よくわ……続きを見る

画像認識，自然言語処理などの「知的にみえる」アプリケーションやサービスでは、機械学習に大きな期待が寄せられています。一方で，ディープフェイクなどに見られる利用者倫理や，分布外データへの考慮といった問……続きを見る

本書では、ソフトウェア工学の立場から機械学習ソフトウェアの問題（品質への技術的な取組み、技術的な問題点のビジネスへの影響）を整理。また、品質保証を目的とするテスティング技術について解説します。 続きを見る

社会の様々なところにソフトウェアが組み込まれる中、従来その信頼性を確保するための手法であったテスト手法は、時間やコストなどの面で開発の現状に追いつけない状況にある。そのテスト手法に代わるものとして注……続きを見る

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