※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 ライバルはディープラーニング!! 　OTTERは、数学における定理やパズルの解法の証明を支援するソフトウェアで、述語論理を用いて解を導き出す。医療・金融システムの安全性構築、ウイルス検知などにも適用され、欧米では近年、高い評価を受けている。最大の特徴は、ユーザが与えた不完全な論理（情報）であっても、自動的に正しい推論を行うことができる点にある。 　統計的論理を用いる機械学習等に手詰まり感のある中、OTTERには推論を通して新しい解を導き出す“創発的機能”があり、注目のAI技術である。 　本書は、OTTERが得意な論理パズルを具体的な解法プログラムとともに紹介しながら、自動推論・定理証明の方法を解説する。人工知能の研究者・技術者、必読必携の書である。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 画像関連技術の確立に数学・統計学が果たしてきた役割と技術を紹介する。 Part1では、応用事例を理解するために最低限必要な数学（直交関数展開、フーリエ解析、線形代数）や統計学について準備する。 　Part2では、画像データの記憶装置のデータマネージメント技術、信号再生技術に加え、電子透かし技術、画像復元などの画像表現・処理、そして医療分野における画像形成技術を、数学を応用する視点で解説。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 方向統計学を体系的に学べる！ 　ISMシリーズ：進化する統計数理の第7巻であり，方向統計学全般について解説する書籍である． 　方向統計学とは，風向のような角度観測値を含むデータの科学を指す．本書では，角度データの取扱いの説明から始めて，円周の拡張である球面，トーラス，シリンダー，ディスクといった各種座標上でもデータが扱えるように実例を示しながら解説する．いわば方向や角度に着目した統計学の専門書である． 　気象学・環境科学・生態学・生物学・地質学などの研究者，技術者には，必携必読の書である．

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 「計算折り紙」は近年大変注目されているコンピュータサイエンスの分野で、研究対象として「折る」ことに対するアルゴリズム、計算量などを中心に置いている。その応用分野は大変広く、建築・宇宙工学・医療・分子生物学など多岐にわたる。本書は、この「計算折り紙」の第一人者である著者が、折り紙パズルや演習問題を交えながら計算折り紙の最前線を解説していく。「計算折り紙」に関心のある読者必読の書である。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 ものを正当に怖がるための道具　極値統計学 極値統計学とは、豪雨、強風などの極端な自然現象や、ファイナンスなどでリスク評価のために応用される統計手法である。一般に統計学では母集団の中心に対する推測を行う。しかし極値統計学は、極端な現象、すなわち、母集団分布の端（裾）に対する推測を行う。そこには、上述したような極端な現象が存在し、リスク対応やピークの世界―自然災害、ファイナンス、保険、情報通信、生物学、スポーツ―で求められ、活用されている。 本書は導入から書かれており、また、演習問題はＲを活用して、具体的に理解出来るよう工夫してある。極値統計学を学ぼうとする学生や実務家には、必携の書である。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 大きな支持を得て世界中の大学で教科書として活用されているMITの名物博士ストラング先生の線形代数入門書の邦訳である。初歩からはじめ、多くの演習問題を解きながら線形代数の本質の理解へと進めていく。後半では、線形代数の工学的側面にかかわる課題を、具体的な応用事例とその演習問題を解くことにより深く学べる。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 2004年に刊行した『アルゴリズムC 新版』の復刊である。 　本書は、世界の標準教科書として大変高い評価を得ている。直感的でわかりやすい説明、アルゴリズムの振舞いを示す数多くの見事な図、簡潔で具体的なコード、最新の研究成果に基づく実用的アルゴリズムの選択、難解な理論的結果のほどよい説明などがその特長である。 　アルゴリズムに係わる研究者、技術者、大学院生、学生必携必読の書である。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 微分方程式と線形代数を縦横無尽に学べる!! 　MITの名物教授ストラング先生の最新書籍の邦訳。大学数学の基本である微分方程式、線形代数を、今までのセオリー通り独立して学ぶことはもちろん、交互にどのように関連付いているのかを、具体的事例を提示しつつ基礎から学べるよう工夫してある。また、実際に利用する際にどのように考えればよいかを記述しているので、工学を学ぶ読者にも大変適している。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 月刊『情報処理』の人気連載をまとめた本がついに登場！ 情報処理学会誌『情報処理』で好評連載中の「ビブリオ・トーク ―私のオススメ―」がついに一冊の書籍に！ IT研究者の方々による，デマルコやカーニハン，ヘネシー＆パターソン，さらにはアシモフやホーガン，伊藤和典，というバラエティに富んだ書籍紹介を40本収録。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 ロボットを思い通りに操るにはどうすればよいのか？ アルゴリズム(PAD)、C言語（NXC）、NXT-SWを併記しており、相互に参照しながら、効率よくロボットプログラミングが、マスターできます。さらにもの作りの基本サイクルであるPDSサイクルを紹介、計画立案、評価方法など実例を挙げ解説。アイディアやグループ作業のコツなど、ロボコンで役立つ知識も習得できます。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 プログラムの本質は、手順の積み重ねである! プログラミングの学びはじめは大変である。日常生活では体験することのない厳密な手順を要求されるからである。しかし、プログラミングスキルは、情報系はもちろん、他の理工学部系の学生にも必ず求められる現代に必須の能力である。本書は、最初に大変簡便な仮想CPUを題材として、機械語プログラムの本質が手順の積み重ねであることを分かりやすく説明する。そののち、C++で基本的な手続き処理を学ぶ事によってプログラムの本質が理解できるよう工夫されている。コンピュータとプログラミングのうわべの知識ではなく、その本質を理解することができるので、プログラミング教育の導入用教科書として最適の書である。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 C言語を無理なく習得!! 本書は，コンピュータの本質である「手続き的処理」の理解を目標とし，具体的なC言語の例題を通してプログラミングの基礎を学ぶための演習書である．工学系分野の学生及び初学者を対象とし，工学のさまざまな分野で素養として要求されるコンピュータ科学とプログラミングの基礎知識を，C言語の演習を通して無理なく習得できるよう工夫する． 演習課題には，バグを入れたプログラムも提示して，そのバグを発見し修正する過程を通して，理解が進むような工夫してある． また，すべての演習問題に対する解答または略解を巻末に示し，読者がプログラムを順をおって理解できるようにしてある．

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 「そもそもプロジェクトとは？」からスタートできる入門書!! 現実のプロジェクトに関わったことのない初心者でも、プロジェクトやプロジェクトマネジメントに関する基礎的な知識を、順を追って理解できる。学生はもちろん、社会人が、仕事の進め方などを整理するためにもおすすめの1冊！

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 生死の淵から生還した産業医・IT研究者自らが、その実体験と克服手法を具体的・論理的に説く。また、優秀なIT技術者ゆえの過労死、神経障害をいかにしてなくすか会社組織としての対応方法を、ITを知り尽くした産業医としての立場から考える。体調管理が必須な技術者、労務管理、プロジェクト管理、経営者、必読必携

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 人工知能って、いったい何ですか? 人工知能学会の歴代会長を含む人工知能研究の権威が答えます! ! 今話題の深層学習(ディープラーニング)で注目されている機械学習など、人工知能分野で最先端の研究を行う研究者13人が、人工知能学会誌に連載したものを大幅に加筆修正した。研究者として自ら「人工知能とは何か」の再定義を行い、それをふまえて、各研究について一般読者に伝わるようにシッカリと解説を行っている。人工知能に興味のある読者はもちろん、知能、認知、脳科学、人間、哲学などに関心のある読者は必読必携である。13人の紙面上でのキャッチボールが示唆に富んでおり、読んでいてとにかく面白い! !大変好評を得ている『深層学習 Deep Learning 』に続く、人工知能学会監修企画!

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 ありそうで無かった解説書！机上の理論ではなく、開発の現場で活かせる実践的知識と理論の体系化！ ソフトウェア開発の裏表を知り尽くした現役エンジニアが語る基本とエッセンス！ ソフトウェア工学は、ソフトウェア開発に内在する課題や問題を解決する土台となる基礎知識。しかし、様々な要素が複雑に絡まる開発現場では、抽象化された理論では対応しきれない面があることも否定できない。本書は著者が長く開発の第一線で活躍してきた中で、理論と経験を現場で活かせる知識として体系化した、実践に使えるソフトウェア工学の解説書。エンジニアの目からウロコの１冊です。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 アジャイル開発の指南書 アジャイル開発は，従来のウォーターフォール型とは対照的に，顧客にとって価値の高い機能を優先し，迅速・適応的な開発が行えるが，我国ではまだ開発手法の主流であるとはいいがたい。 本書は今後導入が期待されているこのアジャイル開発の概要から，エクストリーム，スクラムを使った開発プロセス，リスクマネジメント，開発事例まで網羅した指南書である。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 JavaとUMLでオブジェクト指向プログラミングを具体的に理解する!本書は,オブジェクト指向という考え方に基づいたプログラム設計・プログラミング言語を具体的に解説し,できるだけ早いうちからオブジェクト指向に慣れてもらい,自然とオブジェクト指向に基づいた発想ができるよう工夫してある.そのために用語の説明を丁寧に行い,継承や委譲といったオブジェクト指向の諸概念を用いたプログラムの動作について解説する.Java の初学者,C 言語などの手続き型言語を学んだ後に,オブジェクト指向プログラミングを学習するための最適の書である.

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 「データサイエンティスト」は世界的に注目されているが、実際にこの職種に就こう、育てよう、また組織としてこの職種を活用していこうと考えた時に、どのよう進めていけばよいのか、新しいがゆえに指標が少ない。本書は著者らの統計数理研究所・IBMコンサルタント部門で培った知見を元に、この仕事を目指す人、育成する人に必要な情報、組織としての活用を分かりやすい事例と整理された内容で理解しやすいよう解説する。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 グラフ・ネットワークアルゴリズムの基礎をしっかり理解!! グラフ・ネットワークアルゴリズムの背後に横たわる数理を，例題と図を多用して，直観的なイメージを抱いて思考を巡らせながら理解できるよう，配慮．また，ほとんどのアルゴリズムにC言語によるプログラムを与え，出力結果を確認できるようにしている．さらに，各章での内容を効果的に復習できるように，章末の演習問題とともに多くの問題でその解答例を付している．また，著者の『アルゴリズムの基礎とデータ構造：数理とC プログラム』の続編でもある．アルゴリズムの基礎を学んだ読者が，より有用性のあるグラフ・ネットワークアルゴリズムを習得するためには必携の良書である．

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 アルゴリズムの基礎をしっかり理解!! 基本となる必須のアルゴリズムとデータ構造のみに焦点をあて，丁寧に数理を理解しながら習得できるよう解説．初学者が直感的に把握できるよう，手作業で確認するように工夫してある． すべてのアルゴリズムにC言語によるプログラムを掲載．また，豊富な演習課題と詳細な解答を掲載し，自学自習ができる． しっかりアルゴリズムとデータ構造を理解しようとする読者には必携の書である．

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 題材で挫折しない。プログラミング経験なしでも大丈夫！はじめてMATLABにふれる読者を対象としている。題材で挫折しないよう，易しい事例で解説を行う。また，プログラミングの経験が無くても学べるよう，導入部分ではプログラムを感じさせないよう進んでいく。4章では，プログラミング経験のない読者にむけて，プログラミングの「いろは」を解説。実際に使いこなすのに有用な14のTipsを収録。MATLAB初学者，必携の書である。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 好評を博したシステム開発技法の指南書、待望の改訂！時代に合わせてアジャイルモデルや最新テスト技法を追加。多様化が加速する開発環境に惑わされないための1冊！ システム開発の本質を見失わないために必要な知識とノウハウ1979年に初版を発行してから30年。時代と状況に合わせて改訂を重ねて使われ続けてきたシステム開発技法解説書の第5版。どんなことにも情報システムが欠かせない現代では、その開発環境も多様化し日々刻々と進化をしています。しかし、どんなに環境が多様化し進化をしても、システム開発の本質は不変。どんな環境で、誰が開発をしようとも、ユーザーの真のニーズをしっかりと把握し、それをシステム要件に反映すること、ユーザーの使い勝手の良いシステムを設計・開発することがシステム開発の原点です。そのような視点と、システム開発技法の歴史、著者の経験と研究を土台にして、現代のシステム開発に必要で、開発者はもちろん、開発されたシステムを利用するユーザーにまでメリットをもたらす技法を余すことなく解説する、プロジェクトマネージャーや現場の開発者必携のバイブル。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 LinkedDataは、構造をもったデータを適切に公開・共有するための新しいWeb技術である。 本書は、このLinked Dataを包括的に解説する日本初の書籍である。内容は、最先端の技術情報をまことに分かりやすく簡潔に述べており、NII（国立情報学研究所）を中心とした我が国の精鋭研究者が翻訳に当たった。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 新しい最適化の手法の幕開け！これまでは特殊なプログラミング言語やアルゴリズム等に精通している事が必要であった最適化問題（数理計画）の解決が、高性能な数理最適化ソルバー（Gurobi）と超高水準プログラミング言語（Python）を用いることで容易に可能となりつつある。本書は、具体例を用いて最適化の基礎理論を解説し、それに即した正確・高速なプログラムを示すことで、問題解決の手本を多数示す。最適化の手法を根本から変える、新しい時代の幕開けを告げる書である。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 本物のデータサイエンティストになるための、データサイエンスの元祖による待望の書 ── バイブル登場！！「ビッグデータ」「統計」「データサイエンス」などが大きく取りざたされ、2012年度から高等学校の一年次必修科目でも単元「データ分析」が導入された。2部構成をとる本書の第I部では、高校の「データ分析」の内容と連携し、データ分析の際に最低限心得ておくべき事柄をわかりやすくまとめている。第II部は、第I部の知識を基に、データサイエンスの入門と、さまざまな分野での事例を通したデータサイエンスの実践を詳説している。また，本文をより深く理解できるよう、随所に「演習問題」「傍注」などを多数配置した。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 昨今、ソフトウェアの正しさを保証するソフトウェア検証の技術が重要視されているが、その中でも特にモデル検査が脚光を浴びている。それは数理論理学などに関する知識があまりない技術者にも、ソフトウェア開発の中で利用することが可能だからであろう。本書はSPINを中心にモデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて実例を通して詳説している。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 本書は、実際にアーキテクチャを設計するための具体的なスキルとして設計原則や開発プロセスと対応付けながら、アーキテクトの最も基本的な素養としてのソフトウェアパターンを丁寧に解説している。ソフトウェアアーキテクト育成ための理論と実践という観点でバランスのとれた書籍であり、独習書として実務家にも最適である。

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

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 UPPAALは，モデル検査ツールとしては比較的利用が容易ではあるが，実際の開発には多くのハードルがある．本書では，そのようなハードルを乗り越えるために必要な，UPPAALツール，時間オートマトン，検証したい性質を記述するための時間時相論理に関する知識，および実際の開発で検証の対象となるUML設計仕様のUPPAALによるモデル化方法など，具体的事例も交えてノウハウを解説している．

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 明確な仕様の記述と検証を行わずして、抵当な開発を行うことは出来ない！ ソフトウェア開発では、上流工程を自然言語で表現する。このため論理的不一致などがおき、手戻りが発生する。これを解決する方法として考えられたのが、数学を用いた形式手法である。本書は、この手法の一つであるVDMとオブジェクト指向記述言語VDM++について実践的に解説する。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 品質向上に貢献する、要求獲得技法を詳解！ ソフトウェアが社会に浸透すると供に、ソフトウェア開発の上流工程ではビジネスや運用環境の変化に即した要求の獲得・仕様化・確認・管理が求められている。要求工学では曖昧で変化しやすい要求を工学的に扱うことで、品質の高い要求仕様書を効率的に作成する各種の手法が開発されている。本書は、要求工学の基礎知識の理解と習得に役立つ1冊である。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 オープンソースの広がりにより、多様な機能を実現することは以前と比較すると驚くばかりに容易になっている。しかし、このような開発法ではスケーラビリティと高信頼性を同時に保証することはできない。機能の実現や追加が比較的安易にできる時代になったからこそ、成長し続けるシステム全体の正常な動作を保証しうる開発検査手法の必要性が増している。 本書では、優れた開発者として最先端の理論やツールと使ってソフトウェア開発をするために必要な基礎知識である、論理学、並行システム、オートマトン、モデル検査のアルゴリズムや実装技術、モデル検証ツールをまとめて解説する。

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

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

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 Mathematica 最新版 Ver10 対応の入門書！Mathematicaは、数式処理ソフトの定番として、数多くのメーカー、研究所、大学で活用されており、個人向けにも安価に提供されている大変強力なソフトである。本書は、高校から大学初年級の数学で学んだことが、Mathematicaではどのように扱われるのかを、具体的に数式とコマンドを対比しながら解説してゆく。後半では実務に使われる数式や、3D手法などをどのように処理すべきか丁寧に解き明かす。Ver10に対応した新しいコマンドの利用方法なども説明。初心者はもちろん、Ver10を新たに導入したユーザーにも必携の書である。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。 本書は、その基礎理論（プロセス代数）であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説する。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 最新にして最強!! MIT人気講義の教科書、第2版！ 大変好評を得ている，MITのトップクラスの人気を誇る講義内容をまとめた計算科学の教科書の第2版。 今回の改訂では，後半の内容が大幅に増え，新たに5章が追加されている。特に「機械学習」を意識して，統計学の話題が豊富になっている。 Python言語を活用して，計算科学を学ぶ読者必携の書！ Python Ver3.5に対応。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 この一冊でPythonがビジネス・研究に使える！ Ver3.5対応！ 本書は今話題の機械学習、ビッグデータ、科学技術計算、最適化等、ビジネス・研究に必須な手法を、Pythonを使って具体的に使いこなせることを目的とする。 　そのために、どのようにPythonやそのモジュール・ライブラリを使いこなせばよいかを、また、解析手法の数学的根拠もあわせて解説する。 　Pythonの初学者や、解析手法に不慣れな読者には大変分かりやすく記述してあり、すぐにPythonを使って様々なことに挑戦できるよう工夫してある。 また、Pythonをより使いこなそうと考えている読者や本格的に解析を行おうとしている読者にも大変示唆に富んだ内容となっている。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 この本は工学と理学の学部学生を対象として，応用数学や計算数学の立場から，研究から開発まで一生涯携わっていく仕事の基礎となる事項について非常に興味深くかつ体系的に導入を行っている教科書あるいは参考書である． 　理工学を学ぶには，物理あるいは数学を中心として，すべてを見渡す方法があるが，本書は計算の数理を中心として理工学全般を学ぶのに適している． 　著者のストラング教授は，優れた研究業績に加えて，MITにおいて非常によく準備されて学生に分かり易く非常に充実した講義をすることで有名である． 　本書も，読み始めると息もつかせぬほど面白いと感じさせる迫力があり，その力で理工学全般の考え方を道案内している．（監訳者序文より）

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 世界標準 MIT 教科書!! 原著は，計算機科学の基礎分野で世界的に著名な4人の専門家がMITでの教育用に著した計算機アルゴリズム論の包括的テキストであり，その第3版．前版までで既にアルゴリズムとデータ構造に関する世界標準教科書としての地位を確立しているが，より良い教科書を目指して再び全面的な記述の見直しがなされ，それを基に新たな章や節の追加なども含めて，大幅な改訂がなされている． 単にアルゴリズムをわかりやすく解説するだけでなく，最終的なアルゴリズム設計に至るまでに，どのような概念が必要で，それがどのように解析に裏打ちされているのかを科学的に詳述している． さらに各節末には練習問題（全957題）が，また章末にも多様なレベルの問題が多数配置されており（全158題），学部や大学院の講義用教科書として，また技術系専門家のハンドブックあるいはアルゴリズム大事典としても活用できる． 本書は，原著の第1～35章，および付録A～Dまでの完訳総合版である．また巻末の索引も圧巻で，和（英）‐英（和）という構成により，「数理用語辞典」としてもまことに有用である．

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 AIプログラミング指南書 ！ 「ロボットは東大に入れるか」、「気まぐれ人工知能プロジェクト作家ですのよ」の両プロジェクトに参画している著者の、AIプログラミング指南書である。 Rubyの入門が終わった読者に、数独を題材に、きわめて具体的にAIプログラムの手法を伝授する。AIシステムに興味のある読者、AIプログラムを作ってみたい読者は必読必携！

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 ポスト深層学習!! 本書は、ポスト深層学習の最右翼として注目される「アンサンブル機械学習」を、具体的にプログラムを動かしながら概観できる“超実践”の書である。 アンサンブル機械学習とは簡単に言えば、従来のいくつかの機械学習法の“良いとこ取り”である。その主な手法であるランダムフォーレスト、ブースティング、バギングなどについて、簡潔に紹介している。 「とにかく使ってみたい」という読者にはうってつけの、まさに「超実践の必読書」となるだろう。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 深層（多段層）ニューラルネットワークの構築は人工知能を模索する研究者にとっては、長年の課題であり夢でもあり、まさに研究対象でもあった。しかしただ単に多層化するだけでは、能力をうまく発揮することは出来なかった。近年、大きなブレークスルーがあり深層学習の手法を使うことにより、機械が自ら表現を学習出来ることが分かった。しかし、新しい手法でもあり、未解決な課題も多く存在している。 本書は、この分野の最先端の著者らが、人工知能学会誌に掲載した連載解説を、大幅に加筆再編したものである。今までの到達点、今後の課題が、具体的な研究成果と共に書かれている。深層学習の理論・応用を、自らの研究に取り込むことを考えている読者には、まさに必携必読の書籍である。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 MIT(マサチューセッツ工科大学)で常にトップクラスの人気を誇る講義内容をまとめた、計算科学の教科書をついに翻訳。今、注目のPython言語を通してプログラミングの手法一般を学ぶという、これまでの教科書にはない内容となっている。また、読者が身近な興味深い問題をどのようにプログラミングして解決してゆくのか、自分で考えさせるという構成となっている。 ・プログラミングの基礎 ・Python言語 ・計算法を理解するために中心となる概念 ・計算機を用いて問題解決を行うためのテクニック