※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 論理的なバクを発生させない形式手法!!Event-Bは、パリ地下鉄、ニューヨーク地下鉄、バルセロナ地下鉄、ドゴール空港のシャトルの無人運転を成功に導いた、J.R.アブリエル氏が考案した新しい形式仕様言語である。Event-Bは、仕様記述の単位をイベントとし、基礎となる集合論などはBメソッドの考え方を継承する。本書は、Event-Bの入門書である。また実際に利用するための仕様構築統合環境として、RODINプラットホームの利用方法を解説する。具体的に学べるよう図書館の事例や、組込みとして自動車のドアロック・システムを紹介している。形式手法や、形式仕様言語を学ぶ技術者や研究者には最適の書である。

本書の主題は、「正解を定義できないからこそAIを使う」ことから生じる矛盾を乗り越え、読者がAIシステムをテストできるようになることです。従来行っていた正解に基づくテストは無効ですので、AIソフトウェア向けの新しいテストの方法を説明していきます。 ●想定読者 本書の想定読者は、AIソフトウェアのテスト方法がわからず困っている技術者や、AIシステムに品質問題が発生しないか心配な品質保証担当者、あるいは自社の業務にAIを導入したいけれど、知識不足に不安を抱いている事業担当者などです。 ●本書に必要な前提知識 ・ソフトウェア開発の基礎知識だけでよく、AI/機械学習やソフトウェアテストの専門知識は不要です。 ・4章から7章のチュートリアルは、Pythonを知らなくても体験できます。 ・集合演算や論理式には簡単な記号だけを使っており、高校初級程度の数学の知識があれば、より深く内容を理解できるでしょう。 ・数式やプログラムコードを読み飛ばしても、概要を理解できるよう構成しています。 ●主な構成 まず、AIの専門家でない方々に向けて、１章ではできるだけ平易に「AIとは何か？」の説明から始めます。続く２章では、AIシステムのテストの難しさと、考え方を説明します。３章からはいくつかのテスト技術について説明するとともに、テストを実行するためのソフトウェアの導入方法や実行例も含めながら詳しく解説することで、読者がAIソフトウェアのテストを実践できるようになることをめざします。 ◆「AI/Data Science実務選書」とは… AI開発とデータサイエンスのプラクティスを集め、実務家のスキル獲得／向上を力強く支援します。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 社会の様々なところにソフトウェアが組み込まれる中、従来その信頼性を確保するための手法であったテスト手法は、時間やコストなどの面で開発の現状に追いつけない状況にある。そのテスト手法に代わるものとして注目されてきているのが形式的手法による検証（モデル検査法）であり、その中の一つがSPINである。本書はSPINの基礎から実際の利用方法までを具体的に解説する日本で初めての書籍である。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 イノベーションを解き明かす！ インターネットを基盤とした情報技術が、あらゆる分野の産業に新しいイノベーションを起こしている。本書は、これらの背景を歴史的変遷と技術的変遷の両方から紹介する。特にその中核となるデジタル・イノベーションやデジタルプラットフォームについては、単なる技術の視点だけでなくビジネスと技術の両面から本質を解き明かしており、また、イノベーション・モデルの転換やプラットフォームの役割についても、技術基盤としてのソフトウェアとビジネス思想としてのオープン＆クローズ戦略という、2つの視点から解説する。ドイツのインダストリー4.0をはじめとする各国の動きにも触れており、産業政策などに関心のある読者にとって有意義な1冊である。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 仕様の段階で誤りをなくす注目の手法「Bメソッド」を実践活用するための解説書。安心安全を含めてますます高度な機能や性能が要求されるソフトウェアシステムの開発において、厳密な仕様記述を基に開発を行う形式手法に対する関心と期待が高まっている。本書は、我が国初のBメソッドの書き下ろし入門書である。実際の開発への適用を意識した実用指向の内容が、平明でわかりやすく記述されている。